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

Innovative Security Solutions for Information Technology and Communications

17th International Conference, SecITC 2024, Bucharest, Romania, November 21–22, 2024, Revised Selected Papers

Roenne, Peter

Springer International Publishing, 2025

978-3-031-87759-9

env. 157.00 CHF

disponible dès septembre 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 juillet 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 juillet 2025

Intelligent Human Computer Interaction

16th International Conference, IHCI 2024, Twente, The Netherlands, November 13–16, 2024, Revised Selected Papers, Part I

Singh, Dhananjay|Klooster, J.W.J.R. van t (Jan-Willem)|Tiwary, Uma Shanker

Springer International Publishing, 2025

978-3-031-88704-8

env. 168.00 CHF

disponible dès juin 2025

Comprehensive Analysis and Computing of Real-World Medical Images

First MICCAI Challenge, CARE 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings

Zhuang, Xiahai|Ding, Wangbin|Wu, Fuping

Springer International Publishing, 2025

978-3-031-87008-8

env. 91.00 CHF

disponible dès mai 2025

Image-Based Prediction of Retinal Disease Progression

MICCAI Challenges, DIAMOND 2024 and MARIO 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings

Quellec, Gwenolé|El Habib Daho, Mostafa|Zeghlache, Rachid

Springer International Publishing, 2025

978-3-031-86650-0

env. 81.00 CHF

disponible dès mai 2025

Topics in Cryptology – CT-RSA 2025

Cryptographers’ Track at the RSA Conference 2025, San Francisco, CA, USA, April 28–May 1, 2025, Proceedings

Patra, Arpita

Springer International Publishing, 2025

978-3-031-88660-7

env. 191.00 CHF

disponible dès mai 2025

Applied Reconfigurable Computing. Architectures, Tools, and Applications

21st International Symposium, ARC 2025, Seville, Spain, April 9–11, 2025, Proceedings

Giorgi, Roberto|Stojilovic, Mirjana|Stroobandt, Dirk

Springer International Publishing, 2025

978-3-031-87994-4

env. 91.00 CHF

disponible dès mai 2025

Autres titres sur ce thème

Quantum Information Processing with Light

Goswami Debabrata|Goswami, Sonaly

Taylor and Francis, 2026

978-1-4665-8399-3

env. 309.00 CHF

disponible dès janvier 2026

The Stack, 10th Anniversary Edition

On Software and Sovereignty

Bratton Benjamin H.

MIT Press, 2026

978-0-262-55391-9

env. 42.50 CHF

disponible dès février 2026

Adaptive Learning Opportunities

Toward a More Personal Education

Natriello, Gary J

Taylor and Francis, 2026

978-0-415-82534-4

env. 46.90 CHF

disponible dès janvier 2026

The Hard Question of Art

Cognitive Futures

Metahaven

Pan macmillan Ltd., 2026

978-1-80429-194-8

env. 29.90 CHF

disponible dès février 2026

Evolution and Applications of Quantum Computing

Mohanty,

Wiley, 2025

978-1-119-90517-2

env. 295.00 CHF

disponible dès juillet 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

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

Internet Governance

A Human Rights Perspective

Easton Catherine

Taylor and Francis, 2026

978-1-138-79864-9

env. 149.00 CHF

disponible dès janvier 2026

The Rulers

Corporate Power in the Age of AI and the Cloud

Rikap, Cecilia

Pan macmillan Ltd., 2026

978-1-80429-734-6

env. 35.50 CHF

disponible dès février 2026

Explainable AI (XAI) for Industrial Cyber Security

Rajesh Kumar Dhanaraj|Sharma, Vandana|Rodrigues Joel J. P. C.

Wiley, 2025

978-1-394-16656-5

env. 269.00 CHF

disponible dès décembre 2025

The Car That Knew Too Much

Can a Machine Be Moral?

Bonnefon Jean-Francois

University Presses, 2026

978-0-262-54855-7

env. 36.50 CHF

disponible dès février 2026

How to Build an End to End Business Continuity Program

Davi Barbara F.

Taylor and Francis, 2026

978-1-4987-9712-2

env. 85.00 CHF

disponible dès janvier 2026