Name: Formal Methods for Industrial Critical Systems
Price: 70.00 CHF
Availability: InStock
ISBN: 9783030270070

Formal Methods for Industrial Critical Systems

24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Publié par:Larsen, Kim Guldstrand|Willemse, Tim

Livre (broché)70.00 CHF

livrable dans env. 20-45 jours

Informations bibliographiques

juillet 2019, 161 pages, Lecture Notes in Computer Science , Programming and Software Engineering, Anglais

Springer Nature EN

978-3-030-27007-0

Sommaire

Mots-clés

Informations bibliographiques

juillet 2019, 161 pages, Lecture Notes in Computer Science , Programming and Software Engineering, Anglais

Springer Nature EN

978-3-030-27007-0

Sommaire

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

Advances in Cryptology – EUROCRYPT 2025

44th Annual International Conference on the Theory and Applications of Cryptographic Techniques Madrid, Spain, May 4–8, 2025, Proceedings, Part VIII

Fehr, Serge|Fouque, Pierre-Alain

Springer International Publishing, 2025

978-3-031-91100-2

env. 112.00 CHF

disponible dès mai 2025

Autres titres sur ce thème

The Hard Question of Art

Cognitive Futures

Metahaven

Pan macmillan Ltd., 2026

978-1-80429-194-8

env. 29.90 CHF

disponible dès mars 2026

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

Parent-Child Co-residence

A Focus on the Family Demography of Japan

Hirosima, Kiyosi

Springer Nature EN, 2025

978-4-431-56536-9

env. 69.00 CHF

disponible dès septembre 2025

Study Guide for TOGAF 9.1 Certifications

Kumar B. V.

Taylor and Francis, 2026

978-1-138-19603-2

env. 105.00 CHF

disponible dès janvier 2026

Global Digital Divides in the COVID-19 Era

Purposeful Use of the Internet and Technologies

Pick, James|Sarkar, Avijit

De Gruyter, 2026

978-3-11-079377-2

env. 127.00 CHF

disponible dès janvier 2026

Medical Imaging Application in Health Assessment and Disease Management

Dilber Uzun Ozsahin|Ozsahin, Ilker|Leena R David

Elsevier, 2026

978-0-443-28967-5

env. 235.00 CHF

disponible dès janvier 2026

Some Body Like Me

A story of unexpected love at the end of the world

Lapinska, Lucy

2026

978-1-3996-2304-9

env. 18.50 CHF

disponible dès février 2026

The Economic Impact of Population Decline and Aging in Japan

The Post-Demographic Transition Phase

Wada, Kohei

Springer Nature EN, 2025

978-4-431-54830-0

env. 69.00 CHF

disponible dès mars 2025

AI Art, Machine Learning and the Stakes for Art Criticism

Khan, Nora N.

Lund Humphries, 2026

978-1-84822-528-2

env. 51.50 CHF

disponible dès février 2026

Stability of Markov Chain Monte Carlo Methods

Kamatani, Kengo

Springer Nature EN, 2025

978-4-431-55256-7

env. 69.00 CHF

disponible dès mars 2025

The Handbook of Financial Communication and Investor Relations

Laskin, Alexander V.

Wiley, 2025

978-1-119-24079-2

env. 56.90 CHF

disponible dès octobre 2025

Introduction to Molecular Dynamics Simulations

A Practical Guide Using C/C++, FORTRAN, and Python

Beu Titus A.

Taylor and Francis, 2026

978-1-138-62669-0

env. 135.00 CHF

disponible dès janvier 2026