Passer au contenu principal Passer au contenu du pied de page

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

Édition : Lu Feng

6 octobre 2021

90,99 $ ~~Réduction sur le prix courant 113,23 $ à~~

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

Big Data Analytics: 9th International Conference, Bda 2021, Virtual Event, December 15-18, 2021, Proceedings

Satish Narayana Srirama Couverture souple
124,50 $
2 formats offerts
Big Data Analytics: 9th International Conference, BDA 2021, Virtual Event, December 15-18, 2021, Proceedings

Satish Narayana Srirama Couverture souple
58,50 $
Big Data - BigData 2021: 10th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings

Jinpeng Wei Couverture souple
80,50 $
2 formats offerts
Service-oriented Computing: 19th International Conference, Icsoc 2021, Virtual Event, November 22-25, 2021, Proceedings

Hakim Hacid Couverture souple
204,50 $
2 formats offerts
Machine Learning for Networking: 4th International Conference, MLN 2021, Virtual Event, December 1-3, 2021, Proceedings

Éric Renault Couverture souple
87,95 $
2 formats offerts
Database and Expert Systems Applications - DEXA 2021 Workshops: BIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021, Virtual Event, September 27-30, 2021, Proceedings

Gabriele Kotsis Couverture souple
80,50 $
2 formats offerts
Advanced Information Systems Engineering Workshops: CAiSE 2022 International Workshops, Leuven, Belgium, June 6-10, 2022, Proceedings

Jennifer Horkoff Couverture souple
87,95 $
2 formats offerts
The Semantic Web - ISWC 2021: 20th International Semantic Web Conference, ISWC 2021, Virtual Event, October 24-28, 2021, Proceedings

Andreas Hotho Couverture souple
160,95 $
2 formats offerts
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Tayssir Touili Couverture souple
160,95 $
Rough Sets: International Joint Conference, Ijcrs 2021, Bratislava, Slovakia, September 19-24, 2021, Proceedings

Sheela Ramanna Couverture souple
145,95 $
2 formats offerts
Advanced Information Systems Engineering Workshops: Caise 2021 International Workshops, Melbourne, Vic, Australia, June 28 - July 2, 2021, Proceedings

Artem Polyvyanyy 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 $
Algebraic Informatics: 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

Andreas Maletti Couverture souple
80,50 $
Serious Games: Joint International Conference, JCSG 2021, Virtual Event, January 12-13, 2022, Proceedings

Bobbie Fletcher Couverture souple
87,95 $
2 formats offerts
Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings

Yoram Moses Couverture souple
80,50 $
Database Systems for Advanced Applications: 15th International Conference, DASFAA 2010, Tsukuba, Japan, April 1-4, 2010, Proceedings, Part II

Hiroyuki Kitagawa Couverture souple
160,95 $
Data Science and Machine Learning: 21st Australasian Conference, AusDM 2023, Auckland, New Zealand, December 11-13, 2023, Proceedings

Diana Benavides-Prado Couverture souple
116,95 $
2 formats offerts
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceeding: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Chris Hawblitzel Couverture souple
80,50 $
Advances in Multimedia Modeling: 17th International Multimedia Modeling Conference, MMM 2011, Taipei, Taiwan, January 5-7, 2011, Proceedings, Part II

Kuo-Tien Lee Couverture souple
80,50 $
Web Engineering: 23rd International Conference, ICWE 2023, Alicante, Spain, June 6-9, 2023, Proceedings

Irene Garrig Couverture souple
124,50 $
2 formats offerts

Évaluation éditoriale

lu feng

Auteur

Runtime Verification: 18th International Conference, Rv 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings

Christian Colombo Couverture souple
124,50 $
2 formats offerts
Reversible Computation: 13th International Conference, Rc 2021, Virtual Event, July 7-8, 2021, Proceedings

Shigeru Yamashita Couverture souple
80,50 $
2 formats offerts
Nasa Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings

Aaron Dutle Couverture souple
145,95 $
2 formats offerts
Formal Aspects Of Component Software: 17th International Conference, Facs 2021, Virtual Event, October 28-29, 2021, Proceedings

Gwen Sala Couverture souple
72,95 $
2 formats offerts
Accelerator Programming Using Directives: 8th International Workshop, Waccpd 2021, Virtual Event, November 14, 2021, Proceedings

Sridutt Bhalachandra Couverture souple
87,95 $
2 formats offerts
Service-oriented Computing: 19th International Conference, Icsoc 2021, Virtual Event, November 22-25, 2021, Proceedings

Hakim Hacid Couverture souple
204,50 $
2 formats offerts
Accelerator Programming Using Directives: 7th International Workshop, Waccpd 2020, Virtual Event, November 20, 2020, Proceedings

Sridutt Bhalachandra Couverture souple
80,50 $
2 formats offerts
Formal Methods: 24th International Symposium, Fm 2021, Virtual Event, November 20-26, 2021, Proceedings

Marieke Huisman Couverture souple
175,50 $
2 formats offerts
Fundamentals Of Software Engineering: 9th International Conference, Fsen 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers

Hossein Hojjat Couverture souple
116,95 $
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: 20th International Conference, Rv 2020, Los Angeles, Ca, Usa, October 6-9, 2020, Proceedings

Jyotirmoy Deshmukh Couverture souple
80,50 $
2 formats offerts
Engineering Trustworthy Software Systems: 5th International School, Setss 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures

Jonathan P. Bowen Couverture souple
80,50 $
2 formats offerts
End-user Development: 8th International Symposium, Is-eud 2021, Virtual Event, July 6-8, 2021, Proceedings

Daniela Fogli Couverture souple
80,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
Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures

Jonathan P. Bowen Couverture souple
80,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
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
Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Yu-fang Chen Couverture souple
80,50 $
2 formats offerts
Agile Processes in Software Engineering and Extreme Programming: 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14-18, 2021, Proceedings

Peggy Gregory Couverture souple
72,95 $
2 formats offerts
Computer Safety, Reliability, And Security: 40th International Conference, Safecomp 2021, York, Uk, September 8-10, 2021, Proceedings

Ibrahim Habli Couverture souple
80,50 $
2 formats offerts