Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Price: 81.00 CHF
Availability: OutOfStock
ISBN: 9783031826993

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I

Publié par:Shankaranarayanan, Krishna|Sankaranarayanan, Sriram|Trivedi, Ashutosh

Livre (broché)env. 81.00 CHF

disponible dès février 2025

Informations bibliographiques

février 2025, env. 234 Pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-82699-3

Mots-clés

Informations bibliographiques

février 2025, env. 234 Pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-82699-3

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

env. 102.00 CHF

disponible dès juin 2025

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 juin 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 juin 2025

Optimization and Applications

15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16–20, 2024, Revised Selected Papers

Olenev, Nicholas|Evtushenko, Yuri|Jaćimović, Milojica

Springer International Publishing, 2025

978-3-031-79118-5

env. 91.00 CHF

disponible dès mai 2025

Socio-Technical Aspects in Security and Trust

12th International Workshop, STAST 2022, Copenhagen, Denmark, September 26, 2022, Revised Selected Papers

Mehrnezhad, Maryam|Parkin, Simon

Springer International Publishing, 2025

978-3-031-83071-6

env. 69.00 CHF

disponible dès mai 2025

Human and Artificial Rationalities. Advances in Cognition, Computation, and ...

Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings

Baratgin, Jean|Jacquet, Baptiste|Brochier, Emmanuel

Springer International Publishing, 2025

978-3-031-84594-9

env. 102.00 CHF

disponible dès avril 2025

Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 ...

LDTM 2024, MMMI/ML4MHD 2024, ML-CDS 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6–10, 2024, Proceedings

Schroder, Anna|Oxtoby, Neil|Young, Alexandra

Springer International Publishing, 2025

978-3-031-84524-6

env. 81.00 CHF

disponible dès avril 2025

Secure IT Systems

29th Nordic Conference, NordSec 2024 Karlstad, Sweden, November 6–7, 2024 Proceedings

Horn Iwaya, Leonardo|Kamm, Liina|Martucci, Leonardo

Springer International Publishing, 2025

978-3-031-79006-5

env. 102.00 CHF

disponible dès avril 2025

Enterprise Design, Operations, and Computing

28th International Conference, EDOC 2024, Vienna, Austria, September 10–13, 2024, Revised Selected Papers

Borbinha, José|Prince Sales, Tiago|Da Silva, Miguel Mira

Springer International Publishing, 2025

978-3-031-78337-1

env. 91.00 CHF

disponible dès avril 2025

The Semantic Web: ESWC 2024 Satellite Events

Hersonissos, Crete, Greece, May 26–30, 2024, Proceedings, Part II

Meroño Peñuela, Albert|Corcho, Oscar|Groth, Paul

Springer International Publishing, 2025

978-3-031-78954-0

env. 81.00 CHF

disponible dès avril 2025

Advances in Visual Computing

19th International Symposium, ISVC 2024, Lake Tahoe, NV, USA, October 21–23, 2024, Proceedings, Part I

Bebis, George|Patel, Vishal|Gu, Jinwei

Springer International Publishing, 2025

978-3-031-77391-4

env. 102.00 CHF

disponible dès avril 2025

Financial Cryptography and Data Security

28th International Conference, FC 2024, Willemstad, Curaçao, March 4–8, 2024, Revised Selected Papers, Part I

Clark, Jeremy|Shi, Elaine

Springer International Publishing, 2025

978-3-031-78675-4

env. 91.00 CHF

disponible dès avril 2025

Autres titres sur ce thème

Computer-Human Interaction Research and Applications

8th International Conference, CHIRA 2024, Porto, Portugal, November 21–22, 2024, Proceedings, Part II

da Silva, Hugo Plácido|Cipresso, Pietro

Springer International Publishing, 2025

978-3-031-83844-6

env. 123.00 CHF

disponible dès mars 2025

Artificial Intelligence and Machine Learning in Sports Science

Memmert, Daniel

Springer, 2025

978-3-662-70154-6

env. 134.00 CHF

disponible dès mai 2025

Precarious Futures

Crime, Technology and the Web

Hamerton, Christopher|Webber, Craig

Springer International Publishing, 2025

978-3-030-86860-4

env. 123.00 CHF

disponible dès juin 2025

Petrinetze

Modellierungstechnik, Analysemethoden, Fallstudien

Reisig, Wolfgang

Springer Fachmedien Wiesbaden GmbH, 2025

978-3-8348-1935-2

49.90 CHF

livrable dans env. 20-45 jours

Embedded Computer Systems: Architectures, Modeling, and Simulation

24th International Conference, SAMOS 2024, Samos, Greece, June 29 – July 4, 2024, Proceedings, Part I

Carro, Luigi|Regazzoni, Francesco|Pilato, Christian

Springer International Publishing, 2025

978-3-031-78376-0

env. 81.00 CHF

disponible dès mars 2025

Microsoft Copilot für Dummies

Minnick, Chris

Wiley-VCH, 2025

978-3-527-72346-1

env. 30.50 CHF

disponible dès juin 2025

Virtual Engineering

Ganzheitliche Prozess- und IT-Systemintegration

Ovtcharova, Jivka

Springer, 2029

978-3-540-79441-7

env. 102.00 CHF

disponible dès juin 2029

Statistics for Scientists

A Concise Guide for Data-driven Research

Michelucci, Umberto

Springer International Publishing, 2026

978-3-031-78146-9

env. 96.00 CHF

disponible dès juin 2026

Connected Vehicles Traffic Prediction

Emerging GNN Methods

Shi, Quan|Bao, Yinxin|Shen, Qinqin

Springer International Publishing, 2025

978-3-031-84547-5

env. 178.00 CHF

disponible dès mars 2025

Pathways in Software Engineering

On the Development and Operations of Large-Scale Software Systems

Draheim, Dirk

Springer, 3000

978-3-642-17739-2

env. 83.00 CHF

disponible dès juin 3000

Model-Based Systems Engineering with the SPES Modeling Language

A SysML Workbench for the SPES Methodology

Böhm, Wolfgang|Broy, Manfred|Koch, Walter

Springer International Publishing, 2026

978-3-031-57294-4

env. 55.50 CHF

disponible dès février 2026

Applying Blockchain Technology

Concepts and Trends

Iqbal, Javaid|Bamhdi, Alwi|Pandow, Bilal Ahmad

Taylor and Francis, 2025

978-1-032-63966-6

env. 249.00 CHF

disponible dès mai 2025