Passer au contenu principal Passer au contenu du pied de page

Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings

Wolfgang Ahrendt Édition : Heike Wehrheim

20 juin 2020

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

181

Programming and Software Engineering

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783030509941

Human Centered Design: Second International Conference, HCD 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings

Masaaki Kurosu Couverture souple
160,95 $
Cloud Computing and Services Science: 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Maarten Van Steen Couverture souple
72,95 $
Distributed, Ambient and Pervasive Interactions: 4th International Conference, DAPI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Norbert Streitz Couverture souple
80,50 $
2 formats offerts
Cloud Computing and Services Science: 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Maarten Van Steen Couverture souple
189,95 $
2 formats offerts
Algorithm Engineering and Experimentation: International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected Papers

Couverture souple
71,50 $
Design, User Experience, and Usability: UX Research, Design, and Assessment: 11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Marcelo M. Soares Couverture souple
204,50 $
2 formats offerts
Social Computing and Social Media: Design, User Experience and Impact: 14th International Conference, SCSM 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Gabriele Meiselwitz Couverture souple
160,95 $
2 formats offerts
Testing of Software and Communicating Systems: 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings

Margus Veanes Couverture souple
80,50 $
Cloud Computing and Services Science: 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7-9, 2020, Revised Selected Papers

Donald Ferguson Couverture souple
80,50 $
2 formats offerts
Cross-Cultural Design. User Experience of Products, Services, and Intelligent Environments: 12th International Conference, CCD 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I

Pei-Luen Patrick Rau Couverture souple
80,50 $
2 formats offerts
Evaluation of Novel Approaches to Software Engineering: 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers

Raian Ali Couverture souple
80,50 $
2 formats offerts
Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4-5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23-25, 2018, Revised Selected Papers

Zheng Li Couverture souple
80,50 $
2 formats offerts
Design, User Experience, and Usability. Design for Contemporary Interactive Environments: 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Aaron Marcus Couverture souple
80,50 $
2 formats offerts
Research and Education in Urban History in the Age of Digital Libraries: Second International Workshop, UHDL 2019, Dresden, Germany, October 10-11, 2019, Revised Selected Papers

Florian Niebling Couverture souple
124,50 $
2 formats offerts
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Marsha Chechik Couverture souple
80,50 $
2 formats offerts
Virtual, Augmented and Mixed Reality: Design and Development: 14th International Conference, VAMR 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Jessie Y. C. Chen Couverture souple
160,95 $
2 formats offerts
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

Armin Biere Couverture souple
65,95 $
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

Armin Biere Couverture souple
65,95 $
Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers

Aleksander Byrski Couverture souple
80,50 $
2 formats offerts
Universal Access in Human-Computer Interaction. Applications and Services: 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part IV

Constantine Stephanidis Couverture souple
160,95 $

Évaluation éditoriale

heike wehrheim

Auteur

Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings

Jasmin Christian Blanchette Couverture souple
80,50 $
Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Holger Giese Couverture souple
80,50 $
Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Esther Guerra Couverture souple
80,50 $
2 formats offerts
Modelling Foundations and Applications: 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

Jordi Cabot Couverture souple
80,50 $
Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings

Frédéric Loulergue Couverture souple
80,50 $
2 formats offerts
Software Quality as a Foundation for Security: 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings

Peter Bludau Couverture souple
160,95 $
2 formats offerts
Software Quality as a Foundation for Security: 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings

Peter Bludau Couverture souple
58,50 $
Static Analysis: 25th International Symposium, Sas 2018, Freiburg, Germany, August 29-31, 2018, Proceedings

Andreas Podelski Couverture souple
80,50 $
2 formats offerts
Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Hubert B. Keller Couverture souple
72,95 $
Principles And Practice Of Constraint Programing-cp 2013: 19th International Conference, Cp 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings

Christian Schulte Couverture souple
80,50 $
Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Helmut Seidl Couverture souple
80,50 $
Tests and Proofs: 6th International Conference, Tap 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

Achim Brucker Couverture souple
102,50 $
Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Wolfgang Ahrendt Couverture souple
80,50 $
2 formats offerts
Graph Drawing: 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers

Ulrik Brandes Couverture souple
80,50 $
Supercomputing: 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings

Julian M. Kunkel Couverture souple
80,50 $
Robust Argumentation Machines: First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedin: First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

Philipp Cimiano Couverture souple
72,95 $
Implementation and Application of Automata: 19th International Conference, Ciaa 2014, Giessen, Germany, July 30 - August 2, 2014, Proceedings

Markus Holzer Couverture souple
80,50 $
Ecscw '99: Proceedings of the Sixth European Conference on Computer Supported Cooperative Work 12-16 September 1999, Copenhagen, Denmark

Couverture souple
142,95 $
Graph Transformation: 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Russ Harmer Couverture souple
94,95 $
2 formats offerts
Computers Helping People with Special Needs, Part II: 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings

Klaus Miesenberger Couverture souple
160,95 $