Name: NASA Formal Methods
Price: 168.00 CHF
Availability: OutOfStock
ISBN: 9783031937057

NASA Formal Methods

17th International Symposium, NFM 2025, Hampton Roads, VA, USA, June 11–13, 2025, Proceedings

Publié par:Dutle, Aaron|Humphrey, Laura|Titolo, Laura

Livre (broché)env. 168.00 CHF

disponible dès juin 2025

Informations bibliographiques

juin 2025, env. 431 pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-93705-7

Mots-clés

Informations bibliographiques

juin 2025, env. 431 pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-93705-7

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, 2026

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, 2026

978-3-031-83731-9

env. 102.00 CHF

disponible dès mars 2026

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, 2026

978-3-031-83734-0

env. 102.00 CHF

disponible dès mars 2026

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

Fast, Low-Resource, Accurate Robust Organ and Pan-cancer Segmentation

MICCAI Challenge, FLARE 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings

Ma, Jun|Wang, Bo

Springer International Publishing, 2025

978-3-031-96201-1

env. 91.00 CHF

disponible dès août 2025

Applied Cryptography and Network Security

23rd International Conference, ACNS 2025, Munich, Germany, June 23–26, 2025, Proceedings, Part I

Fischlin, Marc|Moonsamy, Veelasha

Springer International Publishing, 2025

978-3-031-95760-4

env. 168.00 CHF

disponible dès juillet 2025

Artificial Intelligence in Medicine

23rd International Conference, AIME 2025, Pavia, Italy, June 23–26, 2025, Proceedings, Part I

Bellazzi, Riccardo|Juarez Herrero, Jose Manuel|Sacchi, Lucia

Springer International Publishing, 2025

978-3-031-95837-3

env. 188.00 CHF

disponible dès juillet 2025

Applied Cryptography and Network Security

23rd International Conference, ACNS 2025, Munich, Germany, June 23–26, 2025, Proceedings, Part II

Fischlin, Marc|Moonsamy, Veelasha

Springer International Publishing, 2025

978-3-031-95763-5

env. 168.00 CHF

disponible dès juillet 2025

Applied Cryptography and Network Security

23rd International Conference, ACNS 2025, Munich, Germany, June 23–26, 2025, Proceedings, Part III

Fischlin, Marc|Moonsamy, Veelasha

Springer International Publishing, 2025

978-3-031-95766-6

env. 168.00 CHF

disponible dès juillet 2025

Artificial Intelligence in Medicine

23rd International Conference, AIME 2025, Pavia, Italy, June 23–26, 2025, Proceedings, Part II

Bellazzi, Riccardo|Juarez, Jose M.|Sacchi, Lucia

Springer International Publishing, 2025

978-3-031-95840-3

env. 168.00 CHF

disponible dès juillet 2025

Integration of Constraint Programming, Artificial Intelligence, and Operations ...

22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part II

Tack, Guido

Springer International Publishing, 2025

978-3-031-95975-2

env. 91.00 CHF

disponible dès juillet 2025

Integration of Constraint Programming, Artificial Intelligence, and Operations ...

22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part I

Tack, Guido

Springer International Publishing, 2025

978-3-031-95972-1

env. 91.00 CHF

disponible dès juillet 2025

Autres titres sur ce thème

Minds, Machines, and Misinformation

Decoding Bias, Algorithms, and Trust

Don Donghee Shin

Elsevier, 2026

978-0-443-16104-9

env. 189.00 CHF

disponible dès mars 2026

Postartifizielle Literatur

Lesen im Zeitalter künstlicher Intelligenz

Bajohr, Hannes

Suhrkamp, 2026

978-3-518-12826-8

env. 22.90 CHF

disponible dès janvier 2026

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, 2026

978-3-031-83734-0

env. 102.00 CHF

disponible dès mars 2026

Artificial Intelligence in Cybersecurity

Use AI to Protect Your Organization

Ventura, Lisa

Kogan Page, 2026

978-1-3986-2466-5

env. 159.00 CHF

disponible dès mars 2026

Synaptic Shadows - Moonbreak

BL Friends to Enemies | Seoul | Urban Fantasy

Burke, Vinachia|May, Juliet

WunderZeilen Verlag, 2026

978-3-98867-059-5

env. 25.50 CHF

disponible dès mars 2026

The Garbage Collection Handbook

The Art of Automatic Memory Management

Jones, Richard|Hosking Antony|Moss Eliot

Taylor and Francis, 2026

978-1-03-223178-5

env. 75.00 CHF

disponible dès février 2026

Managing Sustainable Operations of Logistics and Supply Chain Management

Trends and Future Challenges

Mathiyazhagan, K.|Dadsena, Krishna Kumar|Gupta Rajesh Kumar

Wiley, 2026

978-1-394-23851-4

env. 275.00 CHF

disponible dès mai 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.90 CHF

disponible dès février 2026

Intelligente Verfahren

Identifikation und Regelung nichtlinearer Systeme

Schröder, Dierk|Buss, Martin

Springer, 2026

978-3-662-59768-2

env. 138.00 CHF

disponible dès mars 2026

Exploring Infant Cry

Medical and Technical Analysis and Signal Processing Perspectives

Carlos Alberto Reyes Garcia|Mandujano-Valdez, Mario|Maria Antonia Ruiz Diaz

Elsevier, 2026

978-0-443-38347-2

env. 235.00 CHF

disponible dès mars 2026

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, 2026

978-3-031-83731-9

env. 102.00 CHF

disponible dès mars 2026

Encyclopedia of Optimization

Pardalos, Panos M.|Prokopyev, Oleg A.

Springer International Publishing, 2026

978-3-031-73357-4

env. 3563.00 CHF

disponible dès avril 2026