Passer au contenu principal Passer au contenu du pied de page

Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Ahmed Bouajjani Édition : Luká Hol , Zhilin Wu

23 octobre 2022

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

Description

Langue

anglais

Pages

432

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031199912

Artificial Neural Networks and Machine Learning - ICANN 2016: 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I

Alessandro E.p. Villa Couverture souple
80,50 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2019: Workshop and Special Sessions: 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17-19, 2019, Proceedings

Igor V. Tetko Couverture souple
145,95 $
2 formats offerts
Advances in Computational Intelligence: 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, Virtual Event, June 16-18, 2021, Proceedings, Part II

Ignacio Rojas Couverture souple
80,50 $
2 formats offerts
Agile Processes in Software Engineering and Extreme Programming: 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8-12, 2020, Proceedings

Viktoria Stray Couverture souple
72,95 $
2 formats offerts
Cooperative Design, Visualization, and Engineering: 20th International Conference on Cooperative Design, Visualization and Engineering, CDVE 2023, Mallorca, Spain, October 1-4, 2023, Proceedings

Yuhua Luo Couverture souple
94,95 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2017: 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I

Alessandra Lintas Couverture souple
80,50 $
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
Advances in Computational Intelligence: 17th International Work-Conference on Artificial Neural Networks, IWANN 2023, Ponta Delgada, Portugal, June 19-21, 2023, Proceedings, Part I

Ignacio Rojas Couverture souple
145,95 $
2 formats offerts
Smart Computing Paradigms: New Progresses And Challenges: Proceedings Of Icacni 2018, Volume 1

Atilla El Couverture souple
248,50 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IX

Michael Wand Couverture souple
116,95 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part X

Michael Wand Couverture souple
116,95 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part V

Michael Wand Couverture souple
116,95 $
2 formats offerts
Agile Processes in Software Engineering and Extreme Programming: 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024, Proceedings

Darja Smite Couverture souple
72,95 $
2 formats offerts
Cooperative Design, Visualization, And Engineering: 17th International Conference, Cdve 2020, Bangkok, Thailand, October 25-28, 2020, Proceedings

Yuhua Luo Couverture souple
80,50 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part I

Michael Wand Couverture souple
116,95 $
2 formats offerts
Knowledge and Systems Engineering: Proceedings of the Fifth International Conference KSE 2013, Volume 2

Van Nam Huynh Couverture souple
248,50 $
Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part II

Michael Wand Couverture souple
116,95 $
2 formats offerts
Graph-Based Representation and Reasoning: 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings

Manuel Ojeda-Aciego Couverture souple
80,50 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2024: 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VI

Michael Wand Couverture souple
109,50 $
2 formats offerts
Wireless Communication Networks Supported By Autonomous Uavs And Mobile Ground Robots

Hailong Huang Couverture souple
207,50 $
2 formats offerts

Évaluation éditoriale

luka hol

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
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
Cooperative Design, Visualization, and Engineering: 19th International Conference, CDVE 2022, Virtual Event, September 25-28, 2022, Proceedings

Yuhua Luo Couverture souple
80,50 $
2 formats offerts
Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers

Ayoub Nouri Couverture souple
87,95 $
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
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Sergiy Bogomolov Couverture souple
87,95 $
2 formats offerts
Stabilization, Safety, and Security of Distributed Systems: 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings

Toshimitsu Masuzawa Couverture souple
116,95 $
2 formats offerts
Modelling and Simulation for Autonomous Systems: 8th International Conference, MESAS 2021, Virtual Event, October 13-14, 2021, Revised Selected Papers

Jan Mazal Couverture souple
160,95 $
2 formats offerts
Database Systems for Advanced Applications: 27th International Conference, DASFAA 2022, Virtual Event, April 11-14, 2022, Proceedings, Part II

Arnab Bhattacharya Couverture souple
175,50 $
2 formats offerts
Database Systems for Advanced Applications: 27th International Conference, DASFAA 2022, Virtual Event, April 11-14, 2022, Proceedings, Part III

Arnab Bhattacharya Couverture souple
145,95 $
2 formats offerts
Database Systems for Advanced Applications: 27th International Conference, DASFAA 2022, Virtual Event, April 11-14, 2022, Proceedings, Part I

Arnab Bhattacharya Couverture souple
175,50 $
2 formats offerts
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Lucas Lima Couverture souple
87,95 $
2 formats offerts
Applied Reconfigurable Computing. Architectures, Tools, and Applications: 18th International Symposium, ARC 2022, Virtual Event, September 19-20, 2022, Proceedings

Lin Gan Couverture souple
87,95 $
2 formats offerts
Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Holger Hermanns Couverture souple
116,95 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Laure Petrucci Couverture souple
80,50 $
2 formats offerts
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Owolabi Legunsen Couverture souple
160,95 $
2 formats offerts
Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers

Wouter Swierstra Couverture souple
72,95 $
2 formats offerts
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-holger Schlingloff Couverture souple
102,50 $
2 formats offerts
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings

Belgacem Ben Hedia Couverture souple
80,50 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Jan Friso Groote Couverture souple
116,95 $
2 formats offerts