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

Jyotirmoy Deshmukh Édition : Dejan Niäkovi

8 octobre 2020

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

538

Programming and Software Engineering

Publié par: Springer Nature

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

ISBN: 9783030605070

Enterprise, Business-Process and Information Systems Modeling: 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings

Han Van Der Aa Couverture souple
124,50 $
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 Animation and Social Agents: 33rd International Conference on Computer Animation and Social Agents, CASA 2020, Bournemouth, UK, October 13-15, 2020, Proceedings

Feng Tian 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
Algorithms and Architectures for Parallel Processing: 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Jaideep Vaidya Couverture souple
80,50 $
2 formats offerts
Neural Information Processing: 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II

Minho Lee Couverture souple
80,50 $
Agents and Artificial Intelligence: 13th International Conference, ICAART 2021, Virtual Event, February 4-6, 2021, Revised Selected Papers

Ana Paula Rocha Couverture souple
80,50 $
2 formats offerts
Collaborative Computing: Networking, Applications and Worksharing: 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part III

Honghao Gao Couverture souple
145,95 $
2 formats offerts
Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks: Third IFIP WG 11.2 International Workshop, WISTP 2009 Brussels, Belgium, September 1-4, 2009 Proceedings Proceedings

Olivier Markowitch Couverture souple
80,50 $
Collaborative Computing: Networking, Applications and Worksharing: 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part II

Honghao Gao Couverture souple
145,95 $
2 formats offerts
Collaborative Computing: Networking, Applications and Worksharing: 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part I

Honghao Gao Couverture souple
145,95 $
2 formats offerts
Advanced Data Mining And Applications: 13th International Conference, Adma 2017, Singapore, November 5-6, 2017, Proceedings

Gao Cong Couverture souple
160,95 $
2 formats offerts
Social Robotics: 11th International Conference, Icsr 2019, Madrid, Spain, November 26-29, 2019, Proceedings

Miguel A. Salichs Couverture souple
80,50 $
2 formats offerts
Public-Key Cryptography - PKC 2022: 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8-11, 2022, Proceedings, Part II

Goichiro Hanaoka Couverture souple
145,95 $
2 formats offerts
Public-Key Cryptography - PKC 2022: 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8-11, 2022, Proceedings, Part I

Goichiro Hanaoka Couverture souple
160,95 $
2 formats offerts
Machine Learning and Cybernetics: 13th International Conference, Lanzhou, China, July 13-16, 2014. Proceedings

Xizhao Wang Couverture souple
80,50 $
Computer Supported Cooperative Work and Social Computing: 16th CCF Conference, ChineseCSCW 2021, Xiangtan, China, November 26-28, 2021, Revised Selected Papers, Part I

Yuqing Sun Couverture souple
248,50 $
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
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: 26th Iberoamerican Congress, CIARP 2023, Coimbra, Portugal, November 27-30, 2023, Proceedings, Part I

Verónica Vasconcelos Couverture souple
58,50 $
Pattern Recognition And Artificial Intelligence: Third Mediterranean Conference, Medprai 2019, Istanbul, Turkey, December 22-23, 2019, Proceedings

Chawki Djeddi Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

Auteur

Mathematics Of Program Construction: 13th International Conference, Mpc 2019, Porto, Portugal, October 7-9, 2019, Proceedings

Graham Hutton Couverture souple
80,50 $
2 formats offerts
Runtime Verification: 21st International Conference, Rv 2021, Virtual Event, October 11-14, 2021, Proceedings

Lu Feng Couverture souple
124,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: 18th International Conference, Rv 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings

Christian Colombo Couverture souple
124,50 $
2 formats offerts
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Ezio Bartocci 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 $
Nasa Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings

Ritchie Lee Couverture souple
116,95 $
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
Product-focused Software Process Improvement: 20th International Conference, Profes 2019, Barcelona, Spain, November 27-29, 2019, Proceedings

Xavier Franch Couverture souple
80,50 $
2 formats offerts
Static Analysis: 28th International Symposium, Sas 2021, Chicago, Il, Usa, October 17-19, 2021, Proceedings

Cezara Drägoi Couverture souple
131,50 $
2 formats offerts
Nasa Formal Methods: 11th International Symposium, Nfm 2019, Houston, Tx, Usa, May 7-9, 2019, Proceedings

Julia M. Badger Couverture souple
109,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
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Patricia M. Hill Couverture souple
80,50 $
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
Search-based Software Engineering: 12th International Symposium, Ssbse 2020, Bari, Italy, October 7-8, 2020, Proceedings

Aldeida Aleti Couverture souple
124,50 $
2 formats offerts
Reversible Computation: 12th International Conference, Rc 2020, Oslo, Norway, July 9-10, 2020, Proceedings

Ivan Lanese 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
Reversible Computation: 8th International Conference, Rc 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Simon Devitt Couverture souple
80,50 $
2 formats offerts
Programming Languages And Systems: 19th Asian Symposium, Aplas 2021, Chicago, Il, Usa, October 17-18, 2021, Proceedings

Hakjoo Oh Couverture souple
124,50 $
2 formats offerts
Static Analysis: 16th International Symposium, Sas 2009, Los Angeles, Ca, Usa, August 9-11, 2009, Proceedings

Jens Palsberg Couverture souple
80,50 $