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

Kennen Sie schon unseren Geschäftskundenservice? Wir beraten Sie gerne.

Fokusthemen

Publikationen

Services

Autorinnen/Autoren

Verlag

Shop

LEXIA

Zeitschriften

Sachbuch LOKI Semaphor

DE | FR

Anmelden

Registrieren

LEXIA

Zeitschriften

Sachbuch

LOKI

Semaphor

DE | FR

Fokusthemen

Thema

Recht studieren

Arbeitsrecht

Studium

Familienrecht

Sozialversicherungsrecht

Strafrecht

Publikationen

Literatur

Datenbanken

Services

Dienstleistungen für

Corporate Books

Publishing Lösungen

Aktuelles

Autorinnen/Autoren

Unsere Schreibenden

Hilfe

Unsere Autorinnen und Autoren

Autorenlounge

Bei uns publizieren

Autorenstimmen

Verlag

Über uns

Themen

Mehr wissen

Shop

Schweizer Recht

Ausländisches Recht

Über unseren Shop

Neuerscheinungen

Sortiment und Funktionen

NASA Formal Methods

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

Herausgegeben von:Dutle, Aaron|Humphrey, Laura|Titolo, Laura

Buch (broschiert)ca. 168.00 CHF

erhältlich ab Juni 2025

Bibliografische Angaben

Juni 2025, ca. 431 Seiten, Lecture Notes in Computer Science, Englisch

Springer International Publishing

978-3-031-93705-7

Schlagworte

Bibliografische Angaben

Juni 2025, ca. 431 Seiten, Lecture Notes in Computer Science, Englisch

Springer International Publishing

978-3-031-93705-7

Schlagworte

Weitere Titel der Reihe: Lecture Notes in Computer Science

Alle anzeigen

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

lieferbar in ca. 20-45 Arbeitstagen

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

ca. 102.00 CHF

erhältlich ab März 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

ca. 102.00 CHF

erhältlich ab März 2026

Lectures on Parallel Computing

Träff, Jesper Larsson

Springer International Publishing, 2025

978-3-031-86577-0

ca. 91.00 CHF

erhältlich ab Oktober 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

ca. 91.00 CHF

erhältlich ab August 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

ca. 168.00 CHF

erhältlich ab Juli 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

ca. 188.00 CHF

erhältlich ab Juli 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

ca. 168.00 CHF

erhältlich ab Juli 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

ca. 168.00 CHF

erhältlich ab Juli 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

ca. 168.00 CHF

erhältlich ab Juli 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

ca. 91.00 CHF

erhältlich ab Juli 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

ca. 91.00 CHF

erhältlich ab Juli 2025

Weitere Titel zum Thema

Artificial Intelligence Act

Article-by-Article Commentary

Wendt, Domenik Henning|Wendt, Janine

NomosHart PublishingC.H.Beck, 2026

978-3-8487-8848-4

ca. 289.00 CHF

erhältlich ab Januar 2026

Technology-Led Tourism

Leveraging AI, Data and Analytics in Travel

Talukder, Shaon

Kogan Page, 2026

978-1-3986-2530-3

ca. 51.50 CHF

erhältlich ab März 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

ca. 55.90 CHF

erhältlich ab Februar 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

ca. 75.00 CHF

erhältlich ab Februar 2026

Minds, Machines, and Misinformation

Decoding Bias, Algorithms, and Trust

Don Donghee Shin

Elsevier, 2026

978-0-443-16104-9

ca. 189.00 CHF

erhältlich ab März 2026

Artificial Intelligence in Cybersecurity

Use AI to Protect Your Organization

Ventura, Lisa

Kogan Page, 2026

978-1-3986-2464-1

ca. 55.90 CHF

erhältlich ab März 2026

Intelligente Verfahren

Identifikation und Regelung nichtlinearer Systeme

Schröder, Dierk|Buss, Martin

Springer, 2026

978-3-662-59768-2

ca. 138.00 CHF

erhältlich ab März 2026

Leading Enterprise AI Programs

Optimize AI Teams for Value Creation

Bangert Patrick

Kogan Page, 2026

978-1-3986-2321-7

ca. 159.00 CHF

erhältlich ab Februar 2026

Artificial Intelligence and Data Science in Agriculture

Specialty Crops and Climate Change Modeling

Vuppalapati, Chandrasekar

De Gruyter, 2026

978-3-11-143841-2

ca. 196.00 CHF

erhältlich ab Januar 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

ca. 275.00 CHF

erhältlich ab Mai 2026

Postartifizielle Literatur

Lesen im Zeitalter künstlicher Intelligenz

Bajohr, Hannes

Suhrkamp, 2026

978-3-518-12826-8

ca. 22.90 CHF

erhältlich ab Januar 2026

Intelligent IoT-based Diagnostic and Assistive Systems for Neurological ...

Heidari, Hanif|Murugappan, Murugappan

Elsevier, 2026

978-0-443-34133-5

ca. 259.00 CHF

erhältlich ab März 2026