Passer au contenu principal Passer au contenu du pied de page

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Étienne Andr Édition : Jun Sun

19 octobre 2023

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

Description

Langue

anglais

Pages

330

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031453311

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Couverture souple
116,95 $
2 formats offerts
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Franck Cassez Couverture souple
80,50 $
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
Digital Libraries: Supporting Open Science: 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31 - February 1, 2019, Proceedings

Paolo Manghi Couverture souple
145,95 $
2 formats offerts
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings

Zhe Hou Couverture souple
124,50 $
2 formats offerts
Combating Online Hostile Posts in Regional Languages during Emergency Situation: First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers

Tanmoy Chakraborty Couverture souple
80,50 $
2 formats offerts
Quantum Computing and Quantum Communications: First NASA International Conference, QCQC '98, Palm Springs, California, USA, February 17-20, 1998, Selected Papers

Colin P. Williams Couverture souple
71,50 $
Security Protocols: 5th International Workshop, Paris, France, April 7-9, 1997, Proceedings

Bruce Christianson Couverture souple
80,50 $
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Zhiming Liu Couverture souple
80,50 $
Security Protocols: 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings

Bruce Christianson Couverture souple
80,50 $
Digital Forensics and Cyber Crime: 13th EAI International Conference, ICDF2C 2022, Boston, MA, November 16-18, 2022, Proceedings

Sanjay Goel Couverture souple
145,95 $
2 formats offerts
Organic Computing - Technical Systems For Survival In The Real World

Christian Müller-Schloer Couverture souple
131,50 $
2 formats offerts
Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings

Frank Ortmeier Couverture souple
80,50 $
Biomimetic And Biohybrid Systems: 9th International Conference, Living Machines 2020, Freiburg, Germany, July 28-30, 2020, Proceedings

Vasiliki Vouloutsi Couverture souple
80,50 $
2 formats offerts
Objects, Components, Models and Patterns: 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings

Manuel Oriol Couverture souple
80,50 $
The Internet Challenge: Technology and Applications: Proceedings of the 5th International Workshop held at the TU Berlin, Germany, October 8th-9th, 2002

Günter Hommel Couverture souple
160,95 $
2 formats offerts
Advances in Cyber Security: First International Conference, ACeS 2019, Penang, Malaysia, July 30 - August 1, 2019, Revised Selected Papers

Mohammed Anbar Couverture souple
80,50 $
2 formats offerts
HCI International 2022 - Late Breaking Papers: Ergonomics and Product Design: 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26-July 1, 2022, Proceedings

Vincent G. Duffy Couverture souple
145,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
Advances In Practical Applications Of Agents, Multi-agent Systems, And Trustworthiness. The Paams Collection: 18th International Conference, Paams 2020, L'aquila, Italy, October 7-9, 2020, Proceedings

Yves Demazeau Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

jun sun

Auteur

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Couverture souple
116,95 $
2 formats offerts
Education and Management: International Symposium, Isaebd 2011, Dalian, China, August 6-7, 2011, Proceedings, Part Iii

Mark Zhou Couverture souple
160,95 $
Financial Cryptography and Data Security: 28th International Conference, FC 2024, Willemstad, Curacao, March 4-8, 2024, Revised Selected Papers, Part II

Jeremy Clark Couverture souple
109,50 $
Advances in Education and Management: International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part IV

Mark Zhou Couverture souple
160,95 $
Financial Cryptography and Data Security: 28th International Conference, FC 2024, Willemstad, Curacao, March 4-8, 2024, Revised Selected Papers, Part I

Jeremy Clark Couverture souple
204,50 $
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Robert Gl Couverture souple
80,50 $
2 formats offerts
Industrial Engineering and Applications - Europe: 11th International Conference, ICIEA-EU 2024, Nice, France, January 10-12, 2024, Revised Selected Papers

Shey-Huei Sheu Couverture souple
94,95 $
2 formats offerts
Industrial Engineering and Applications - Europe: 11th International Conference, ICIEA-EU 2024, Nice, France, January 10-12, 2024, Revised Selected Papers

Shey-Huei Sheu Couverture souple
72,95 $
Decision and Game Theory for Security: 14th International Conference, GameSec 2023, Avignon, France, October 18-20, 2023, Proceedings

Jie Fu Couverture souple
58,50 $
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Cristina David Couverture souple
124,50 $
2 formats offerts
Applied Economics, Business and Development: International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part I

Qingyuan Zhou Couverture souple
80,50 $
Advances in Cryptology - ASIACRYPT 2023: 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part VII

Jian Guo Couverture souple
58,50 $
Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

Wei Dong Couverture souple
102,50 $
2 formats offerts
Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Erika Ábrah Couverture souple
80,50 $
2 formats offerts
Advanced Research on Computer Education, Simulation and Modeling: International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II

Sally Lin Couverture souple
160,95 $
Advances in Cryptology - ASIACRYPT 2023: 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part VI

Jian Guo Couverture souple
58,50 $
Advances in Cryptology - ASIACRYPT 2023: 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part IV

Jian Guo Couverture souple
58,50 $
Advances in Cryptology - ASIACRYPT 2023: 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part III

Jian Guo Couverture souple
58,50 $
Advances in Cryptology - ASIACRYPT 2023: 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part II

Jian Guo Couverture souple
58,50 $
Advances in Cryptology - ASIACRYPT 2023: 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part VIII

Jian Guo Couverture souple
58,50 $