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

Evolving OpenMP in an Age of Extreme Parallelism: 5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings

Matthias S. Müller Couverture souple
80,50 $
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 $
Universal Access in Ambient Intelligence Environments: 9th ERCIM Workshop on User Interfaces for All, Konigswinter, Germany, September 27-28, 2006, Revised Papers

Constantine Stephanidis Couverture souple
80,50 $
Evaluation of Novel Approaches to Software Engineering: 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Hermann Kaindl Couverture souple
124,50 $
2 formats offerts
Evaluation of Novel Approaches to Software Engineering: 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Hermann Kaindl Couverture souple
72,95 $
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
Evaluation of Novel Approaches to Software Engineering: 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revised Selected Papers

Ernesto Damiani Couverture souple
124,50 $
2 formats offerts
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Zhenhua Duan Couverture souple
80,50 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings

Étienne Andr Couverture souple
80,50 $
2 formats offerts
Object, Models, Components, Patterns: 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings

Carlo A. Furia Couverture souple
80,50 $
Fundamental Approaches to Software Engineering: 15th International Conference, FASE 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

Juan De Lara Couverture souple
80,50 $
Human-Computer Interaction. User Experience and Behavior: Thematic Area, HCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part III

Masaaki Kurosu Couverture souple
160,95 $
2 formats offerts
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
Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Marieke Huisman Couverture souple
80,50 $
2 formats offerts
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings

Alex Groce Couverture souple
102,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 $
Service-Oriented Computing: 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Marco Aiello Couverture souple
94,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 $
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Frank S. de Boer Couverture rigide
80,50 $
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings

Yamine Ait-ameur Couverture souple
80,50 $
2 formats offerts

john fitzgerald

Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

Gethin Norman 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 $
Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Vittorio Cortellessa Couverture souple
80,50 $
Integration of AI and OR Techniques in Constraint Programming: 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings

Helmut Simonis 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 $
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Cliff B. Jones Couverture souple
80,50 $
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Andrea Corradini Couverture souple
80,50 $
Fun with Algorithms: 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010, Proceedings

Paolo Boldi 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 $
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 $
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings

Marcella Anselmo Couverture souple
80,50 $
2 formats offerts
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Didier Bert 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 $
Advances in Geometric Modeling and Processing: 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010, Proceedings

Bernard Mourrain 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 $
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

Alexander Kurz Couverture souple
80,50 $
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Couverture souple
71,50 $
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

Couverture souple
71,50 $
Fundamental Approaches to Software Engineering: 15th International Conference, FASE 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

Juan De Lara Couverture souple
80,50 $