Name: Verified Software. Theories, Tools and Experiments
Price: 69.00 CHF
Availability: OutOfStock
ISBN: 9783031866944

Verified Software. Theories, Tools and Experiments

16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers

Publié par:Protzenko, Jonathan|Raad, Azalea

Livre (broché)env. 69.00 CHF

disponible dès avril 2025

Informations bibliographiques

avril 2025, env. 121 pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-86694-4

Mots-clés

Informations bibliographiques

avril 2025, env. 121 pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-86694-4

Mots-clés

Autres titres de la collection: Lecture Notes in Computer Science

Afficher tout

Ada 2022 Reference Manual. Volume 1 - Core Language

International Standard ISO/IEC 8652:2023 (E)

Taft, S. Tucker|Duff, Robert A.|Brukardt, Randall L.

Springer International Publishing, 2025

978-3-031-83730-2

103.00 CHF

livrable dans env. 20-45 jours

Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing

International Standard ISO/IEC 8652:2023 (E)

Taft, S. Tucker|Duff, Robert A.|Brukardt, Randall L.

Springer International Publishing, 2025

978-3-031-83731-9

env. 102.00 CHF

disponible dès octobre 2025

Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and ...

International Standard ISO/IEC 8652:2023 (E)

Taft, S. Tucker|Duff, Robert A.|Brukardt, Randall L.

Springer International Publishing, 2025

978-3-031-83734-0

env. 102.00 CHF

disponible dès octobre 2025

Lectures on Parallel Computing

Träff, Jesper Larsson

Springer International Publishing, 2025

978-3-031-86577-0

env. 91.00 CHF

disponible dès octobre 2025

Advances in Intelligent Data Analysis XXIII

23rd International Symposium on Intelligent Data Analysis, IDA 2025, Konstanz, Germany, May 7–9, 2025, Proceedings

Krempl, Georg|Puolamäki, Kai|Miliou, Ioanna

Springer International Publishing, 2025

978-3-031-91397-6

env. 188.00 CHF

disponible dès juillet 2025

Pattern Recognition. ICPR 2024 International Workshops and Challenges

Kolkata, India, December 1, 2024, Proceedings, Part IV

Palaiahnakote, Shivakumara|Schuckers, Stephanie|Ogier, Jean-Marc

Springer International Publishing, 2025

978-3-031-88216-6

env. 112.00 CHF

disponible dès juin 2025

Pattern Recognition. ICPR 2024 International Workshops and Challenges

Kolkata, India, December 1, 2024, Proceedings, Part V

Palaiahnakote, Shivakumara|Schuckers, Stephanie|Ogier, Jean-Marc

Springer International Publishing, 2025

978-3-031-88219-7

env. 112.00 CHF

disponible dès juin 2025

Programming Languages and Systems

34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Vafeiadis, Viktor

Springer International Publishing, 2025

978-3-031-91120-0

env. 55.50 CHF

disponible dès mai 2025

Programming Languages and Systems

Vafeiadis, Viktor

Springer International Publishing, 2025

978-3-031-91117-0

env. 55.50 CHF

disponible dès mai 2025

Foundations of Software Science and Computation Structures

28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Abdulla, Parosh Aziz|Kesner, Delia

Springer International Publishing, 2025

978-3-031-90896-5

env. 55.50 CHF

disponible dès mai 2025

Fundamental Approaches to Software Engineering

28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Boronat, Artur|Fraser, Gordon

Springer International Publishing, 2025

978-3-031-90899-6

env. 55.50 CHF

disponible dès mai 2025

Euro-Par 2024: Parallel Processing Workshops

Euro-Par 2024 International Workshops, Madrid, Spain, August 26–30, 2024, Proceedings, Part I

Caino-Lores, Silvina|Zeinalipour, Demetris|Doudali, Thaleia Dimitra

Springer International Publishing, 2025

978-3-031-90199-7

env. 168.00 CHF

disponible dès mai 2025

Autres titres sur ce thème

Exploratory Data Analysis

Descriptive Analysis, Visualization, and Dashboard Design (with codes in Python)

Nunes de Castro, Leandro

Taylor and Francis, 2025

978-1-032-93982-7

env. 75.00 CHF

disponible dès juillet 2025

Petrinetze

Modellierungstechnik, Analysemethoden, Fallstudien

Reisig, Wolfgang

Springer Fachmedien Wiesbaden GmbH, 2025

978-3-8348-1935-2

50.90 CHF

livrable dans env. 20-45 jours

Structure and Interpretation of the SMB Protocol

Engineer, Sunu|Engineer, Anu

Springer Nature EN, 2025

978-981-10-7804-0

env. 146.00 CHF

disponible dès mai 2025

Die Seele

Versuch einer Reanimation

Haberer, Johanna

Claudius, 2025

978-3-532-62861-4

25.50 CHF

disponible de suite

Generative Adversarial Networks and Super Resolution

A Machine Learning Approach

Jain, Manish|Sethi Dinesh|Kumar, Loveleen

Wiley, 2025

978-1-119-84218-7

env. 239.00 CHF

disponible dès octobre 2025

Lehrbuch der Softwaretechnik

Balzert, Helmut|Ebert, Christof

Springer, 2025

978-3-662-67655-4

env. 71.00 CHF

disponible dès septembre 2025

Scientific Computing and Software

Go20 CSCS, Marsalforn, Malta, May 22-26, 2023

Spiteri, Raymond J.|Reimer, Joyce

Springer International Publishing, 2025

978-3-031-85287-9

env. 236.00 CHF

disponible dès mai 2025

Algorithmische Wissenskulturen

Der Einfluss des Computers auf die Wissenschaftsentwicklung

Hashagen, Ulf|Seising, Rudolf

Vieweg + Teubner, 2025

978-3-658-35559-3

env. 65.00 CHF

disponible dès septembre 2025

Democracy by Design?

Wie Plattformdesign demokratisches Handeln fördert

Jörg, Sophie

Karl Alber, 2025

978-3-495-99169-5

env. 71.00 CHF

disponible dès avril 2025

Security and Management and Wireless Networks

23rd International Conference, SAM 2024 and 23rd International Conference, ICWN 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22–25, 2024, Revised Selected Papers

Daimi, Kevin|Arabnia, Hamid R.|Deligiannidis, Leonidas

Springer International Publishing, 2025

978-3-031-86636-4

env. 123.00 CHF

disponible dès avril 2025

CCA Cisco Certified Associate DevNet Study Guide

Exam 200-901

Lammle Todd

Wiley, 2025

978-1-394-17846-9

env. 69.00 CHF

disponible dès avril 2025

Artificial Intelligence Act

Article-by-Article Commentary

Wendt, Domenik Henning|Wendt, Janine

NomosHart PublishingC.H.Beck, 2025

978-3-8487-8848-4

env. 287.00 CHF

disponible dès octobre 2025