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 I

Étienne Andr Édition : Jun Sun

22 octobre 2023

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

Description

Langue

anglais

Pages

446

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031453281

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

Étienne Andr Couverture souple
109,50 $
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
Information Security and Privacy: 29th Australasian Conference, ACISP 2024, Sydney, NSW, Australia, July 15-17, 2024, Proceedings, Part III

Tianqing Zhu Couverture souple
204,50 $
2 formats offerts
Information Security and Privacy: 29th Australasian Conference, ACISP 2024, Sydney, NSW, Australia, July 15-17, 2024, Proceedings, Part II

Tianqing Zhu Couverture souple
72,95 $
Information Security and Privacy: 29th Australasian Conference, ACISP 2024, Sydney, NSW, Australia, July 15-17, 2024, Proceedings, Part I

Tianqing Zhu Couverture souple
72,95 $
Information Security and Privacy: 29th Australasian Conference, ACISP 2024, Sydney, NSW, Australia, July 15-17, 2024, Proceedings, Part III

Tianqing Zhu Couverture souple
72,95 $
Information Security and Privacy: 29th Australasian Conference, ACISP 2024, Sydney, NSW, Australia, July 15-17, 2024, Proceedings, Part II

Yannan Li Couverture souple
116,95 $
2 formats offerts
Information Security and Privacy: 29th Australasian Conference, ACISP 2024, Sydney, NSW, Australia, July 15-17, 2024, Proceedings, Part I

Tianqing Zhu Couverture souple
116,95 $
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
Geo-informatics in Sustainable Ecosystem and Society: 6th International Conference, GSES 2018, Handan, China, September 25-26, 2018, Revised Selected Papers

Yichun Xie Couverture souple
80,50 $
2 formats offerts
Internet of Things - ICIOT 2022: 7th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings

Bedir Tekinerdogan Couverture souple
87,95 $
2 formats offerts
Biomimetic and Biohybrid Systems: 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part I

Fabian Meder Couverture souple
116,95 $
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
The Practice of Enterprise Modeling: 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 - December 1, 2023, Proceedings

João Paulo A. Almeida Couverture souple
87,95 $
2 formats offerts
The Practice of Enterprise Modeling: 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018, Proceedings

Robert Andrei Buchmann Couverture souple
80,50 $
2 formats offerts
Engineering Psychology and Cognitive Ergonomics: 20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Don Harris Couverture souple
145,95 $
2 formats offerts
Biomimetic and Biohybrid Systems: 13th International Conference, Living Machines 2024, Chicago, IL, USA, July 8-11, 2024, Proceedings

Nicholas S Szczecinski Couverture souple
116,95 $
Task Models and Diagrams for User Interface Design: 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings

Marco Winckler Couverture rigide
80,50 $
The Practice of Enterprise Modeling: 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 - December 1, 2023, Proceedings

João Paulo A. Almeida Couverture souple
58,50 $
HCI in Mobility, Transport, and Automotive Systems. Automated Driving and In-Vehicle Experience Design: Second International Conference, MobiTAS 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I

Heidi Krömker 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 II

Étienne Andr Couverture souple
109,50 $
2 formats offerts
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
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
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
Descriptional Complexity of Formal Systems: 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, Proceedings

Yo-sub Han Couverture souple
124,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
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Tetsuo Ida Couverture souple
72,95 $
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Diego Marmsoler Couverture souple
80,50 $
2 formats offerts
Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings

Ivan Varzinczak Couverture souple
116,95 $
2 formats offerts
Computational Linguistics and Intelligent Text Processing: 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part I

Alexander Gelbukh Couverture souple
160,95 $
2 formats offerts
Computational Linguistics and Intelligent Text Processing: 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part II

Alexander Gelbukh Couverture souple
160,95 $
2 formats offerts
Graph Transformation: 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings

Nicolas Behr Couverture souple
87,95 $
2 formats offerts
Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Shivam Bhasin Couverture souple
58,50 $
Computational Linguistics and Intelligent Text Processing: 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18-24, 2018, Revised Selected Papers, Part I

Alexander Gelbukh Couverture souple
131,50 $
2 formats offerts
Computational Linguistics and Intelligent Text Processing: 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18-24, 2018, Revised Selected Papers, Part II

Alexander Gelbukh Couverture souple
131,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
72,95 $
Advances in Education and Management: International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part IV

Mark Zhou Couverture souple
160,95 $
Education and Management: International Symposium, Isaebd 2011, Dalian, China, August 6-7, 2011, Proceedings, Part Iii

Mark Zhou Couverture souple
160,95 $
Cooperative Design, Visualization, and Engineering: 21st International Conference, CDVE 2024, Valencia, Spain, September 15-18, 2024, Proceedings

Yuhua Luo Couverture souple
109,50 $
2 formats offerts
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 $