Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
Osteraktion: Bis zum 30.4.2025 von 20% Rabatt auf folgende Produkte profitieren. Code: NEST25
cover
Verified Software. Theories, Tools and Experiments

Verified Software. Theories, Tools and Experiments

16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers
Buch (broschiert)ca. 69.00 CHF
erhältlich ab April 2025

Bibliografische Angaben

April 2025, ca. 121 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-86694-4

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)
Springer International Publishing, 2025
978-3-031-83730-2
103.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
ca. 91.00 CHF
erhältlich ab Oktober 2025

Weitere Titel zum Thema

Einführung in die Technikethik
Mensch – Maschine – Verantwortung
Uni-TaschenbücherBrill | Fink, 2026
978-3-8252-6288-4
ca. 27.90 CHF
erhältlich ab Januar 2026
Hybride KI mit Machine Learning und Knowledge Graphs
Innovative Lösungen aus der Praxis
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-44780-9
ca. 55.50 CHF
erhältlich ab März 2025
Algorithmische Wissenskulturen
Der Einfluss des Computers auf die Wissenschaftsentwicklung
Vieweg + Teubner, 2025
978-3-658-35559-3
ca. 65.00 CHF
erhältlich ab September 2025
Postartifizielle Literatur
Lesen im Zeitalter künstlicher Intelligenz
Suhrkamp, 2026
978-3-518-12826-8
ca. 22.50 CHF
erhältlich ab Januar 2026
Petrinetze
Modellierungstechnik, Analysemethoden, Fallstudien
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-8348-1935-2
50.90 CHF
lieferbar in ca. 20-45 Arbeitstagen
Artificial Intelligence Act
Article-by-Article Commentary
NomosHart PublishingC.H.Beck, 2025
978-3-8487-8848-4
ca. 287.00 CHF
erhältlich ab Oktober 2025
Education, "Artificial" Intelligence, and Cognition
Pedagogic Imperatives and the Coming Community
Springer International Publishing, 2025
978-3-031-82262-9
147.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Structure and Interpretation of the SMB Protocol
Springer Nature EN, 2025
978-981-10-7804-0
ca. 146.00 CHF
erhältlich ab Mai 2025
Advances in Biomedical Engineering and Technologies
Wiley, 2025
978-1-119-83621-6
ca. 269.00 CHF
erhältlich ab Dezember 2025
Grundlegung zu einer synthetischen Ontologie der Maschinen
Karl Alber, 2025
978-3-495-99084-1
ca. 45.50 CHF
erhältlich ab April 2025
Realität+
Virtuelle Welten und die Probleme der Philosophie
Suhrkamp, 2026
978-3-518-30075-6
ca. 35.50 CHF
erhältlich ab Februar 2026