Passer au contenu principal Passer au contenu du pied de page

AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings

Guy Avni Édition : Mirco Giacobbe , Taylor T. Johnson

18 juillet 2024

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

Description

Langue

anglais

Pages

189

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031651137

AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings

Taylor T. Johnson Couverture souple
189,95 $
2 formats offerts
Semantic Technology: 9th Joint International Conference, JIST 2019, Hangzhou, China, November 25-27, 2019, Revised Selected Papers

Xin Wang Couverture souple
80,50 $
2 formats offerts
The Semantic Web: 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings

John Domingue Couverture souple
80,50 $
Progress in Cryptology - LATINCRYPT 2019: 6th International Conference on Cryptology and Information Security in Latin America, Santiago de Chile, Chile, October 2-4, 2019, Proceedings

Peter Schwabe Couverture souple
109,50 $
2 formats offerts
Information Technology in Disaster Risk Reduction: 7th IFIP WG 5.15 International Conference, ITDRR 2022, Kristiansand, Norway, October 12-14, 2022, Revised Selected Papers

Terje Gjosæter Couverture souple
175,50 $
Semantic Technology: 9th Joint International Conference, Jist 2019, Hangzhou, China, November 25-27, 2019, Proceedings

Xin Wang Couverture souple
80,50 $
2 formats offerts
Data Science and Information Security: First International Artificial Intelligence Conference, IAIC 2023, Nanjing, China, November 25-27, 2023, Revised Selected Papers, Part II

Hai Jin Couverture souple
58,50 $
Computer Security. ESORICS 2023 International Workshops: CyberICS, DPM, CBT, and SECPRE, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part I

Sokratis Katsikas Couverture souple
58,50 $
Artificial Intelligence and Information Technologies: Proceedings of the 1st International Conference on Artificial Intelligence and Information Technologies (ICAIIT 2023), 3-4 November 2023, Samarkand, Uzbekistan, Volume 2

Arvind Dagur Couverture rigide
355,50 $
2 formats offerts
Proceedings of the 15th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI 2023): Volume 2

Jos Bravo Couverture souple
58,50 $
Optimization and Learning: 5th International Conference, OLA 2022, Syracuse, Sicilia, Italy, July 18-20, 2022, Proceedin: 5th International Conference, OLA 2022, Syracuse, Sicilia, Italy, July 18-20, 2022, Proceedings

Bernab Dorronsoro Couverture souple
124,50 $
2 formats offerts
AIxIA 2023 - Advances in Artificial Intelligence: XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings

Roberto Basili Couverture souple
116,95 $
2 formats offerts
Proceedings Of The Future Technologies Conference (ftc) 2018: Volume 1

Kohei Arai Couverture souple
321,50 $
2 formats offerts
Algorithms and Computation: 22nd International Symposium, Isaac 2011, Yokohama, Japan, December 5-8, 2011. Proceedings

Takao Asano Couverture souple
80,50 $
Proceedings of the Future Technologies Conference (FTC) 2024, Volume 2

Kohei Arai Couverture souple
364,95 $
2 formats offerts
Computational Science and Its Applications - ICCSA 2013: 13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

Beniamino Murgante Couverture souple
80,50 $
Euro-Par 2015: Parallel Processing: 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

Jesper Larsson Tr Couverture souple
80,50 $
2 formats offerts
Computational Intelligence in Data Science: 7th IFIP TC 12 International Conference, ICCIDS 2024, Chennai, India, February 21-23, 2024, Revised Selected Papers, Part I

Mieczyslaw Lech Owoc Couverture rigide
175,50 $
2 formats offerts
Information Integration and Web Intelligence: 26th International Conference, iiWAS 2024, Bratislava, Slovak Republic, December 2-4, 2024, Proceedings, Part-I

Pari Delir Haghighi Couverture souple
109,50 $
Internet and Network Economics: 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceeding: 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings

Christos Papadimitriou Couverture souple
160,95 $

Évaluation éditoriale

mirco giacobbe

Auteur

AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings

Taylor T. Johnson Couverture souple
189,95 $
2 formats offerts
High Performance Computing: 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings

Abhinav Bhatele Couverture souple
116,95 $
2 formats offerts
Domain Adaptation and Representation Transfer: 5th MICCAI Workshop, DART 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings

Lisa Koch Couverture souple
80,50 $
2 formats offerts
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
Algorithms and Data Structures: 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings

Subhash Suri Couverture souple
175,50 $
2 formats offerts
Mobile Agents for Telecommunication Applications: Third International Workshop, MATA 2001, Montreal, Canada, August 14-16, 2001. Proceedings

Samuel Pierre Couverture souple
80,50 $
Simulation and Gaming for Social Impact: 53rd International Simulation and Gaming Association Conference, ISAGA 2022, Boston, MA, USA, July 11-14, 2022, Revised Selected Papers

Casper Harteveld Couverture souple
102,50 $
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 $
Data Integration in the Life Sciences: 9th International Conference, DILS 2013, Montreal, Canada, July 11-12, 2013, Proceedings

Christopher J.O. Baker Couverture souple
72,95 $
Interactive Storytelling: 16th International Conference on Interactive Digital Storytelling, ICIDS 2023, Kobe, Japan, November 11-15, 2023, Proceedings, Part II

Lissa Holloway-Attaway Couverture souple
109,50 $
2 formats offerts
Interactive Storytelling: 16th International Conference on Interactive Digital Storytelling, ICIDS 2023, Kobe, Japan, November 11-15, 2023, Proceedings, Part I

Lissa Holloway-Attaway Couverture souple
131,50 $
2 formats offerts
Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

Laura Kov Couverture souple
80,50 $
2 formats offerts
ESEC '87: 1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings

Couverture souple
71,50 $
Service-Oriented Computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28 - December 1, 2023, Proceedings, Part II

Flavia Monti Couverture souple
58,50 $
Service-Oriented Computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28 - December 1, 2023, Proceedings, Part I

Flavia Monti Couverture souple
58,50 $
Mobile Agents for Telecommunication Applications: Second International Workshop, MATA 2000, Paris, France, September 18-20, 2000 Proceedings

Couverture souple
71,50 $
Case-Based Reasoning Research and Development: 30th International Conference, ICCBR 2022, Nancy, France, September 12-15, 2022, Proceedings

Mark T. Keane Couverture souple
124,50 $
2 formats offerts
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Georgiana Caltais Couverture souple
87,95 $
2 formats offerts
Document Analysis Systems: 15th IAPR International Workshop, DAS 2022, La Rochelle, France, May 22-25, 2022, Proceedings

Seiichi Uchida Couverture souple
58,50 $
Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

Couverture souple
49,50 $