Passer au contenu principal Passer au contenu du pied de page

Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I

Shuvendu K. Lahiri Édition : Chao Wang

16 juillet 2020

65,95 $

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 330 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

669

Theoretical Computer Science and General Issues

Publié par: Springer Nature

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

ISBN: 9783030532871

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Shuvendu K. Lahiri Couverture souple
65,95 $
2 formats offerts
Algorithms and Complexity: 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

Paul G. Spirakis Couverture souple
80,50 $
Requirements Engineering in the Big Data Era: Second Asia Pacific Symposium, Apres 2015, Wuhan, China, October 18-20, 2015, Proceedings

Lin Liu Couverture souple
80,50 $
Distributed Computing: 30th International Symposium, Disc 2016, Paris, France, September 27-29, 2016. Proceedings

Cyril Gavoille Couverture souple
80,50 $
2 formats offerts
Big Data Analytics And Knowledge Discovery: 21st International Conference, Dawak 2019, Linz, Austria, August 26-29, 2019, Proceedings

Carlos Ordonez Couverture souple
80,50 $
2 formats offerts
Euro-Par 2010 - Parallel Processing: 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I

Pasqua D'Ambra Couverture souple
160,95 $
Theory And Applications Of Models Of Computation: 16th International Conference, Tamc 2020, Changsha, China, October 18-20, 2020, Proceedings

Jianer Chen Couverture souple
80,50 $
2 formats offerts
Quality of Information and Communications Technology: 15th International Conference, QUATIC 2022, Talavera de la Reina, Spain, September 12-14, 2022, Proceedings

Antonio Vallecillo Couverture souple
131,50 $
2 formats offerts
Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings

Rocco De Nicola Couverture souple
80,50 $
Data Science in Engineering, Volume 10: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023

Ramin Madarshahian Couverture souple
58,50 $
Data Science in Engineering, Volume 10: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023

Ramin Madarshahian Couverture rigide
364,95 $
2 formats offerts
Graph Transformation: 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings

Maribel Fernández Couverture souple
102,50 $
2 formats offerts
Linking Theory and Practice of Digital Libraries: 25th International Conference on Theory and Practice of Digital Libraries, TPDL 2021, Virtual Event, September 13-17, 2021, Proceedings

Gerd Berget Couverture souple
116,95 $
2 formats offerts
Automated Technology For Verification And Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Dang Van Hung Couverture souple
80,50 $
2 formats offerts
WALCOM: Algorithms and Computation: 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings

Sheung-hung Poon Couverture souple
80,50 $
2 formats offerts
New Opportunities For Software Reuse: 17th International Conference, Icsr 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Rafael Capilla Couverture souple
202,95 $
2 formats offerts
Intelligent Human Computer Interaction: 12th International Conference, IHCI 2020, Daegu, South Korea, November 24-26, 2020, Proceedings, Part I

Madhusudan Singh Couverture souple
80,50 $
2 formats offerts
Data Science in Engineering Vol. 10: Proceedings of the 42nd IMAC, A Conference and Exposition on Structural Dynamics 20: Proceedings of the 42nd IMAC, A Conference and Exposition on Structural Dynamics 2024

Thomas Matarazzo Couverture rigide
262,95 $
2 formats offerts
Intelligent Human Computer Interaction: 12th International Conference, IHCI 2020, Daegu, South Korea, November 24-26, 2020, Proceedings, Part II

Madhusudan Singh Couverture souple
80,50 $
2 formats offerts
Data Science in Engineering, Volume 9: Proceedings of the 40th IMAC, A Conference and Exposition on Structural Dynamics 2022

Ramin Madarshahian Couverture souple
291,95 $

Évaluation éditoriale

chao wang

Auteur

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Shuvendu K. Lahiri Couverture souple
65,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
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Alexandra Silva Couverture souple
72,95 $
2 formats offerts
Mathematical Software - Icms 2018: 6th International Conference, South Bend, In, Usa, July 24-27, 2018, Proceedings

James H. Davenport Couverture souple
80,50 $
2 formats offerts
Mathematical Software - Icms 2020: 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings

Anna Maria Bigatti Couverture souple
80,50 $
2 formats offerts
Software and Data Engineering: 33rd International Conference, SEDE 2024, San Diego, CA, USA, October 21-22, 2024, Proceedings

Wenying Feng Couverture souple
116,95 $
2 formats offerts
Mathematical Software - Icms 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Gert-Martin Greuel Couverture souple
80,50 $
2 formats offerts
Computational Data And Social Networks: 9th International Conference, Csonet 2020, Dallas, Tx, Usa, December 11-13, 2020, Proceedings

Sriram Chellappan Couverture souple
80,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
Combinatorial Algorithms: 30th International Workshop, Iwoca 2019, Pisa, Italy, July 23-25, 2019, Proceedings

Charles J. Colbourn Couverture souple
116,95 $
2 formats offerts
Computer Aided Systems Theory - EUROCAST 2019: 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised Selected Papers, Part II

Roberto Moreno-d Couverture souple
80,50 $
2 formats offerts
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Couverture souple
71,50 $
String Processing And Information Retrieval: 27th International Symposium, Spire 2020, Orlando, Fl, Usa, October 13-15, 2020, Proceedings

Christina Boucher Couverture souple
80,50 $
2 formats offerts
Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14, 2019, Proceedings

Majid Zamani Couverture souple
80,50 $
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
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Natasha Sharygina Couverture souple
160,95 $
Verification And Evaluation Of Computer And Communication Systems: 12th International Conference, Vecos 2018, Grenoble, France, September 26-28, 2018, Proceedings

Mohamed Faouzi Atig Couverture souple
80,50 $
2 formats offerts
Computer Aided Systems Theory - EUROCAST 2017: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

Roberto Moreno-d Couverture souple
80,50 $
2 formats offerts
Combinatorial Optimization And Applications: 14th International Conference, Cocoa 2020, Dallas, Tx, Usa, December 11-13, 2020, Proceedings

Weili Wu Couverture souple
160,95 $
2 formats offerts
Verification And Evaluation Of Computer And Communication Systems: 14th International Conference, Vecos 2020, Xi'an, China, October 26-27, 2020, Proceedings

Belgacem Ben Hedia Couverture souple
80,50 $
2 formats offerts