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

Édition : Ahmed Bouajjani

23 novembre 2022

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

Lecture Notes In Computer Science

Publié par: Springer International Publishing

ISBN: 9783031199929

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

ahmed bouajjani

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