Passer au contenu principal Passer au contenu du pied de page

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

Édition : Alfons Laarman

3 septembre 2021

60,99 $ ~~Réduction sur le prix courant 75,48 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Theoretical Computer Science and General Issues

Publié par: Springer International Publishing

ISBN: 9783030846299

Recent Trends in Analysis of Images, Social Networks and Texts: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020 Revised Supplementary Proceedings

Wil M. P. van der Aalst Couverture souple
80,50 $
2 formats offerts
Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings

Gregor Engels Couverture rigide
160,95 $
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings

Juergen Dingel Couverture souple
80,50 $
Technologies And Innovation: 7th International Conference, Citi 2021, Guayaquil, Ecuador, November 22-25, 2021, Proceedings

Rafael Valencia-garc Couverture souple
124,50 $
2 formats offerts
Lean and Agile Software Development: 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedin: 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedings

Adam Przyby Couverture souple
124,50 $
2 formats offerts
Model-Driven Engineering and Software Development: 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers

Luís Ferreira Pires Couverture souple
116,95 $
2 formats offerts
Research and Advanced Technology for Digital Libraries: 13th European Conference. ECDL 2009, Corfu, Greece, September 27 - October 2, 2009, Proceedings

José Luis Borbinha Couverture souple
160,95 $
Web and Wireless Geographical Information Systems: 7th International Symposium, W2GIS 2007, Cardiff, UK, November 28-29, 2007, Proceedings

J. Mark Ware Couverture souple
80,50 $
Analysis of Images, Social Networks and Texts: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020, Revised Selected Papers

Wil M. P. van der Aalst Couverture souple
80,50 $
2 formats offerts
Descriptional Complexity Of Formal Systems: 23rd Ifip Wg 1.02 International Conference, Dcfs 2021, Virtual Event, September 5, 2021, Proceedings

Yo-sub Han Couverture souple
94,95 $
2 formats offerts
Privacy in Statistical Databases: UNESCO Chair in Data Privacy, International Conference, PSD 2016, Dubrovnik, Croatia, September 14-16, 2016, Proceedings

Josep Domingo-Ferrer Couverture souple
80,50 $
2 formats offerts
Advances in Information Retrieval: 34th European Conference on IR Research, ECIR 2012, Barcelona, Spain, April 1-5, 2012, Proceedings

Ricardo Baeza-Yates Couverture souple
80,50 $
E-infrastructure And E-services For Developing Countries: 11th Eai International Conference, Africomm 2019, Porto-novo, Benin, December 3-4, 2019, Proceedings

Rafik Zitouni Couverture souple
80,50 $
2 formats offerts
Intelligent Data Engineering and Automated Learning - IDEAL 2022: 23rd International Conference, IDEAL 2022, Manchester, UK, November 24-26, 2022, Proceedings

Hujun Yin Couverture souple
145,95 $
2 formats offerts
Intelligent Data Engineering and Automated Learning - IDEAL 2022: 23rd International Conference, IDEAL 2022, Manchester, UK, November 24-26, 2022, Proceedings

Hujun Yin Couverture souple
58,50 $
Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Jun Pang Couverture souple
80,50 $
2 formats offerts
e-Infrastructure and e-Services for Developing Countries: 6th International Conference, AFRICOMM 2014, Kampala, Uganda, November 24-25, 2014, Revised Selected Papers

Amos Nungu Couverture souple
80,50 $
2 formats offerts
Conceptual Modeling: 40th International Conference, Er 2021, Virtual Event, October 18-21, 2021, Proceedings

Aditya Ghose Couverture souple
124,50 $
2 formats offerts
Conceptual Modeling: 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings

João Paulo A. Almeida Couverture souple
116,95 $
2 formats offerts
Artificial Intelligence in HCI: Second International Conference, AI-HCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings

Helmut Degen Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

Auteur

Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings

Fabrizio Biondi Couverture souple
80,50 $
2 formats offerts
Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Sebastian Maneth Couverture souple
80,50 $
2 formats offerts
Software Engineering And Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Radu Calinescu Couverture souple
127,42 $ ~~Réduction sur le prix courant 131,50 $ à~~
2 formats offerts
Algorithms And Complexity: 12th International Conference, Ciac 2021, Virtual Event, May 10-12, 2021, Proceedings

Tiziana Calamoneri Couverture souple
124,50 $
2 formats offerts
Algorithms And Data Structures: 17th International Symposium, Wads 2021, Virtual Event, August 9-11, 2021, Proceedings

Anna Lubiw Couverture souple
160,95 $
2 formats offerts
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Owolabi Legunsen Couverture souple
160,95 $
2 formats offerts
Verification, Model Checking, And Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

Fritz Henglein Couverture souple
145,95 $
2 formats offerts
Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part Ii

Alexandra Silva Couverture souple
72,95 $
2 formats offerts
Theory and Practice of Natural Computing: 10th International Conference, TPNC 2021, Virtual Event, December 7-10, 2021, Proceedings

Claus Aranha Couverture souple
87,95 $
2 formats offerts
Integer Programming And Combinatorial Optimization: 22nd International Conference, Ipco 2021, Atlanta, Ga, Usa, May 19-21, 2021, Proceedings

Mohit Singh Couverture souple
80,50 $
2 formats offerts
Architecture Of Computing Systems: 34th International Conference, Arcs 2021, Virtual Event, June 7-8, 2021, Proceedings

Christian Hochberger Couverture souple
80,50 $
2 formats offerts
Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

David Parker Couverture souple
80,50 $
2 formats offerts
Computational Data And Social Networks: 10th International Conference, Csonet 2021, Virtual Event, November 15-17, 2021, Proceedings

David Mohaisen Couverture souple
124,50 $
2 formats offerts
Trends In Functional Programming: 22nd International Symposium, Tfp 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers

Viktória Zs Couverture souple
65,95 $
2 formats offerts
Job Scheduling Strategies For Parallel Processing: 24th International Workshop, Jsspp 2021, Virtual Event, May 21, 2021, Revised Selected Papers

Dalibor Klus Couverture souple
102,50 $
2 formats offerts
Verification, Model Checking, And Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Constantin Enea Couverture souple
80,50 $
2 formats offerts
High Performance Computing: 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 - July 2, 2021, Proceedings

Bradford L. Chamberlain Couverture souple
80,50 $
2 formats offerts
Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Christos Kaklamanis Couverture souple
262,95 $
2 formats offerts
Integer Programming And Combinatorial Optimization: 21st International Conference, Ipco 2020, London, Uk, June 8-10, 2020, Proceedings

Daniel Bienstock Couverture souple
102,50 $
2 formats offerts
Fundamentals Of Computation Theory: 22nd International Symposium, Fct 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings

Leszek Antoni Gäsieniec Couverture souple
80,50 $
2 formats offerts