Passer au contenu principal Passer au contenu du pied de page

Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Antti Valmari

15 mars 2006

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

308

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: 9783540331025

Neural Nets WIRN Vietri-99: Proceedings of the 11th Italian Workshop on Neural Nets, Vietri Sul Mare, Salerno, Italy, 20-22 May 1999

Maria Marinaro Couverture souple
160,95 $
Hci International 2019 - Posters: 21st International Conference, Hcii 2019, Orlando, Fl, Usa, July 26-31, 2019, Proceedings, Part Ii

Constantine Stephanidis Couverture souple
80,50 $
2 formats offerts
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings

Farhad Arbab Couverture souple
80,50 $
2 formats offerts
Service-Oriented Computing: 16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3-9, 2022, Revised Selected Papers

Johanna Barzen Couverture souple
80,50 $
2 formats offerts
Frontiers of Computer Vision: 26th International Workshop, IW-FCV 2020, Ibusuki, Kagoshima, Japan, February 20-22, 2020, Revised Selected Papers

Wataru Ohyama Couverture souple
80,50 $
2 formats offerts
The Past and Future of Information Systems: 1976 -2006 and Beyond: IFIP 19th World Computer Congress, TC-8, Information System Stream, August 21-23, 2006, Santiago, Chile

David Avison Couverture souple
160,95 $
2 formats offerts
Towards Autonomous Robotic Systems: 20th Annual Conference, Taros 2019, London, Uk, July 3-5, 2019, Proceedings, Part Ii

Kaspar Althoefer Couverture souple
116,95 $
2 formats offerts
Artificial Life: Borrowing from Biology: 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009, Proceedings

Kevin B. Korb Couverture souple
80,50 $
Proceedings of the Royal Geographical Society of London, Volume 20; volumes 1875-1876

Royal Geographical Society (great Britai Couverture rigide
40,50 $
Computer Aided Systems Theory - EUROCAST '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22 - 26, 1993. Proceedings

Couverture souple
100,77 $
Before The World Wide Web: A History Of Usenet And Bulletin Board Systems

Leysha Halsey Couverture souple
23,99 $
Frontiers in Internet Technologies: Third CCF Internet Conference of China, ICoC 2014, Shanghai, China, July 10-11, 2014, Revised Selected Papers

Shiyong Zhang Couverture souple
80,50 $
2 formats offerts
Unconventional Computation and Natural Computation: 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings

Daniela Genova Couverture souple
102,50 $
2 formats offerts
Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings

Gagandeep Singh Couverture souple
116,95 $
2 formats offerts
Algorithmic Game Theory: 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011. Proceedings

Giuseppe Persiano Couverture souple
80,50 $
Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers

Roberto Moreno-Diaz Couverture souple
160,95 $
Mobile Agents: First International Workshop, MA '97, Berlin, Germany, April, 7-8, 1997, Proceedings

Couverture souple
71,50 $
NEO 2015: Results of the Numerical and Evolutionary Optimization Workshop NEO 2015 held at September 23-25 2015 in Tijuana, Mexico

Oliver Schütze Couverture souple
248,50 $
3 formats offerts
Identity and Privacy in the Internet Age: 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009, Proceedings

Audun Josang Couverture souple
80,50 $
Graph-Theoretic Concepts in Computer Science: International Workshop WG '87, Kloster Banz/Staffelstein, FRG, June 29 - July 1, 1987. Proceedings

Couverture souple
71,50 $

Évaluation éditoriale

Auteur

Integer Programming and Combinatorial Optimization: 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings

Jon Lee Couverture souple
80,50 $
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings

Alex Groce Couverture souple
102,50 $
Structural Information And Communication Complexity: 27th International Colloquium, Sirocco 2020, Paderborn, Germany, June 29-july 1, 2020, Proceedings

Andrea Werneck Richa Couverture souple
80,50 $
2 formats offerts
Implementation and Application of Automata: 19th International Conference, Ciaa 2014, Giessen, Germany, July 30 - August 2, 2014, Proceedings

Markus Holzer Couverture souple
80,50 $
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Patrick Godefroid Couverture souple
80,50 $
Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings

Franz Winkler Couverture souple
80,50 $
Combinatorial Pattern Matching: 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012, Proceedings

Juha Kärkkäinen Couverture souple
80,50 $
Algorithm Theory - Swat 2010: 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings

Haim Kaplan Couverture souple
80,50 $
Evolutionary Computation in Combinatorial Optimization: 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Martin Middendorf Couverture souple
72,95 $
Architecture of Computing Systems - ARCS 2012: 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings

Andreas Herkersdorf Couverture souple
80,50 $
Architecture Of Computing Systems - Arcs 2013: 26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings

Hana Kubatova Couverture souple
80,50 $
Descriptional Complexity Of Formal Systems: 22nd International Conference, Dcfs 2020, Vienna, Austria, August 24-26, 2020, Proceedings

Galina Jiráskov Couverture souple
80,50 $
2 formats offerts
Implementation and Application of Automata: 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers

Jan Holub Couverture rigide
80,50 $
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings

Marco Gribaudo Couverture souple
80,50 $
2 formats offerts
Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings

Fabrizio Biondi Couverture souple
80,50 $
2 formats offerts
Model Checking Software: 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Jaco van der Pol Couverture souple
80,50 $
Algorithms - ESA 2014: 22th Annual European Symposium, Wrocaaw, Poland, September 8-10, 2014. Proceedings

Andreas S. Schulz Couverture souple
80,50 $
Genetic Programming: 12th European Conference, Eurogp 2009 Tubingen, Germany, April, 15-17, 2009 Proceedings

Leonardo Vanneschi Couverture souple
80,50 $
Algebraic Informatics: 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

Andreas Maletti 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 $