Passer au contenu principal Passer au contenu du pied de page

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Édition : Jyotirmoy Deshmukh

7 octobre 2020

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

Programming and Software Engineering

Publié par: Springer International Publishing

ISBN: 9783030605087

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
Software Engineering And Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Radu Calinescu Couverture souple
131,50 $
2 formats offerts
Big Data Analytics: 8th International Conference, Bda 2020, Sonepat, India, December 15-18, 2020, Proceedings

Ladjel Bellatreche Couverture souple
80,50 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2020: 29th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 15-18, 2020, Proceedings, Part I

Igor Farka Couverture souple
160,95 $
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
Artificial Neural Networks and Machine Learning - ICANN 2020: 29th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 15-18, 2020, Proceedings, Part II

Igor Farka Couverture souple
160,95 $
2 formats offerts
Blockchain and Trustworthy Systems: 5th International Conference, Blocksys 2023, Haikou, China, August 8-10, 2023, Proceedings, Part II

Couverture souple
110,50 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2023: 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part X

Lazaros Iliadis Couverture souple
131,50 $
2 formats offerts
Robotics, Computer Vision and Intelligent Systems: First International Conference, ROBOVIS 2020, Virtual Event, November 4-6, 2020, and Second International Conference, ROBOVIS 2021, Virtual Event, October 27-28, 2021, Revised Selected Papers

Péter Galambos 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
Proceedings of 4th International Conference on Artificial Intelligence and Smart Energy: ICAIS 2024, Volume 1

S. Manoharan Couverture souple
72,95 $
Proceedings of 4th International Conference on Artificial Intelligence and Smart Energy: ICAIS 2024, Volume 1

S. Manoharan Couverture rigide
364,95 $
2 formats offerts
Computational Intelligence and Network Systems: First International Conference, CINS 2023, Dubai, United Arab Emirates, October 18-20, 2023, Proceedings

Pranav M Pawar Couverture souple
94,95 $
2 formats offerts
Computational Intelligence and Network Systems: First International Conference, CINS 2023, Dubai, United Arab Emirates, October 18-20, 2023, Proceedings

Raja Muthalagu Couverture souple
58,50 $
Blockchain and Trustworthy Systems: 5th International Conference, Blocksys 2023, Haikou, China, August 8-10, 2023, Proceedings, Part I

Couverture souple
103,95 $
2 formats offerts
Advanced Network Technologies and Intelligent Computing: Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I

Isaac Woungang Couverture souple
145,95 $
2 formats offerts
Proceeding Of The International Conference On Computer Networks, Big Data And Iot (iccbi - 2019)

A. Pasumpon Pandian Couverture souple
321,50 $
2 formats offerts
Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings

François Boulier Couverture souple
116,95 $
2 formats offerts
Advanced Network Technologies and Intelligent Computing: Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part II

Isaac Woungang Couverture souple
175,50 $
2 formats offerts
Proceedings of 4th International Conference on Machine Learning, Advances in Computing, Renewable Energy and Communication: MARC 2023, Volume 1

Anuradha Tomar Couverture rigide
408,95 $

Évaluation éditoriale

jyotirmoy deshmukh

Auteur

Intelligent Tutoring Systems: 16th International Conference, Its 2020, Athens, Greece, June 8-12, 2020, Proceedings

Vivekanandan Kumar Couverture souple
80,50 $
2 formats offerts
Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings

Shiva Nejati Couverture souple
80,50 $
2 formats offerts
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

Jyotirmoy V. Deshmukh Couverture souple
204,50 $
2 formats offerts
Performance Evaluation and Benchmarking for the Era of Cloud(s): 11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers

Raghunath Nambiar Couverture souple
80,50 $
2 formats offerts
Runtime Verification: 5th International Conference, Rv 2014, Toronto, On, Canada, September 22-25, 2014. Proceedings

Borzoo Bonakdarpour Couverture souple
80,50 $
Service-oriented Computing: 19th International Conference, Icsoc 2021, Virtual Event, November 22-25, 2021, Proceedings

Hakim Hacid Couverture souple
204,50 $
2 formats offerts
Model And Data Engineering: 10th International Conference, Medi 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings

Christian Attiogb Couverture souple
80,50 $
2 formats offerts
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

Maurizio Gabbrielli Couverture souple
80,50 $
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
Simulation and Modeling Methodologies, Technologies and Applications: 9th International Conference, SIMULTECH 2019 Prague, Czech Republic, July 29-31, 2019, Revised Selected Papers

Mohammad S. Obaidat Couverture souple
248,50 $
2 formats offerts
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

Maria Christakis Couverture souple
80,50 $
2 formats offerts
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Shaz Qadeer Couverture souple
80,50 $
Programming Languages And Systems: 17th Asian Symposium, Aplas 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings

Anthony Widjaja Lin Couverture souple
80,50 $
2 formats offerts
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Omri Isac Couverture souple
102,50 $
2 formats offerts
Data Integration in the Life Sciences: 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceedings

Naveen Ashish Couverture souple
80,50 $
2 formats offerts
Performance Evaluation And Benchmarking For The Analytics Era: 9th Tpc Technology Conference, Tpctc 2017, Munich, Germany, August 28, 2017, Revised Selected Papers

Raghunath Nambiar Couverture souple
87,95 $
2 formats offerts
Software Engineering for Resilient Systems: 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

Istv Majzik Couverture souple
65,95 $
Specifying Big Data Benchmarks: First Workshop, WBDB 2012, San Jose, CA, USA, May 8-9, 2012 and Second Workshop, WBDB 2012, Pune, India, December 17-18, 2012, Revised Selected Papers

Tilmann Rabl Couverture souple
72,95 $
Performance Evaluation And Benchmarking: 12th Tpc Technology Conference, Tpctc 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers

Raghunath Nambiar Couverture souple
80,50 $
2 formats offerts
Stabilization, Safety, and Security of Distributed Systems: 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

Sandeep Kulkarni Couverture souple
80,50 $