Passer au contenu principal Passer au contenu du pied de page

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

John Derrick Édition : John Fitzgerald , Stefania Gnesi

12 juin 2012

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

378

Theoretical Computer Science and General Issues

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783642308840

Human-Computer Interaction - INTERACT 2021: 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part I

Carmelo Ardito Couverture souple
233,95 $
2 formats offerts
Cross-Cultural Design. Methods, Tools and User Experience: 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I

Pei-Luen Patrick Rau Couverture souple
80,50 $
2 formats offerts
Human-Computer Interaction - INTERACT 2021: 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part IV

Carmelo Ardito Couverture souple
189,95 $
2 formats offerts
Human-Computer Interaction - INTERACT 2021: 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part III

Carmelo Ardito Couverture souple
80,50 $
2 formats offerts
Human-Computer Interaction - INTERACT 2021: 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part II

Carmelo Ardito Couverture souple
175,50 $
2 formats offerts
Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Grace A. Lewis Couverture souple
80,50 $
Advances in Swarm Intelligence: 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, Proceedings, Part II

Ying Tan Couverture souple
116,95 $
2 formats offerts
Videogame Sciences And Arts: 11th International Conference, Vj 2019, Aveiro, Portugal, November 27-29, 2019, Proceedings

Nelson Zagalo Couverture souple
80,50 $
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 $
Reliable and Autonomous Computational Science: International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 201: International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010

Sung Y. Shin Couverture souple
160,95 $
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 $
Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Farhad Arbab Couverture souple
80,50 $
Human-Computer Interaction - INTERACT 2021: 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part V

Carmelo Ardito Couverture souple
80,50 $
2 formats offerts
Computers Helping People with Special Needs: 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11-15, 2022, Proceedings, Part II

Klaus Miesenberger Couverture souple
124,50 $
2 formats offerts
Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings

Giancarlo Guizzardi Couverture souple
80,50 $
2 formats offerts
Human-Computer Interaction: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part IV

Masaaki Kurosu Couverture souple
204,50 $
2 formats offerts
Human-Computer Interaction: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Masaaki Kurosu Couverture souple
160,95 $
2 formats offerts
Human-Computer Interaction. Design Practice in Contemporary Societies: Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part III

Masaaki Kurosu Couverture souple
131,50 $
2 formats offerts
Computers Helping People with Special Needs: 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11-15, 2022, Proceedings, Part I

Klaus Miesenberger Couverture souple
116,95 $
2 formats offerts
Advances in Conceptual Modeling: ER 2022 Workshops, CMLS, EmpER, and JUSMOD, Hyderabad, India, October 17-20, 2022, Proceedings

Renata Guizzardi Couverture souple
87,95 $
2 formats offerts

Évaluation éditoriale

john fitzgerald

Auteur

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

Alexander Kurz Couverture souple
80,50 $
Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

Egon Börger Couverture souple
80,50 $
Foundations of Genetic Algorithms: 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers

Christopher R. Stephens Couverture souple
80,50 $
Algorithms and Models for the Web Graph: 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012, Proceedings

Anthony Bonato Couverture souple
102,50 $
Algorithms and Complexity: 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings

Josep Diaz Couverture souple
80,50 $
Theory and Practice of Natural Computing: First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings

Adrian-Horia Dediu Couverture souple
105,50 $
Graph Drawing: 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers

David Eppstein Couverture souple
80,50 $
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

Gethin Norman Couverture souple
80,50 $
Approximation and Online Algorithms: Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers

Giuseppe Persiano Couverture souple
80,50 $
Learning and Intelligent Optimization: Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers

Vittorio Maniezzo Couverture souple
80,50 $
Graph Drawing: 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers

Walter Didimo Couverture souple
80,50 $
Theory and Practice of Natural Computing: Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

Adrian-Horia Dediu Couverture souple
80,50 $
Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Joel Ouaknine Couverture souple
80,50 $
Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings

Olivier Bournez Couverture souple
80,50 $
Mathematical Methods for Curves and Surfaces: 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers

Michael Floater Couverture souple
80,50 $
Unconventional Computation and Natural Computation: 11th International Conference, Ucnc 2012, Orleans, France, September 3-7, 2012, Proceedings

Jerome Durand-Lose Couverture souple
72,95 $
Experimental Algorithms: 14th International Symposium, Sea 2015, Paris, France, June 29 - July 1, 2015, Proceedings

Evripidis Bampis Couverture souple
80,50 $
Distributed Computing: 24th International Symposium, Disc 2010, Cambridge, Ma, Usa, September 13-15, 2010, Proceedings

Nancy A. Lynch Couverture rigide
80,50 $
Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

Klaus Jansen Couverture souple
80,50 $
Evolutionary and Biologically Inspired Music, Sound, Art and Design: Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Penousal Machado Couverture souple
72,95 $