Details

ISBN/EAN: 978-3-030-91383-0
Einband: kartoniertes Buch
Weitere Details
Auflage:
1. Auflage 2022
Erschienen am:
Sprache:
English
Umfang:
viii, 219 S., 44 s/w Illustr., 29 farbige Illustr.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg


Weitere Details arrow_forward_ios
Gewährleistungs-Label

Model Checking, Synthesis, and Learning

Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday, Lecture Notes in Computer Science 13030 - Theoretical Computer Science and General Issues

69,54 €
inkl. MwSt.
exkl. Versandkosten

Nachfragen


Weitere Artikel aus der Reihe

Verification, Model Checking, and Abstract Interpretation
book_2
Ahmed Bouajjani
Verification, Model Checking, and Abstract Interpretation

Nachfragen

53,49 €
Computer Security - ESORICS 2021
book_2
Elisa Bertino
Computer Security - ESORICS 2021

Nachfragen

117,69 €
Computer Vision Systems
book_2
Markus Vincze
Computer Vision Systems

Nachfragen

69,54 €
Latent Variable Analysis and Signal Separation
book_2
Petr Tichavský
Latent Variable Analysis and Signal Separation

Nachfragen

53,49 €
Membrane Computing
book_2
Alberto Leporati
Membrane Computing

Nachfragen

53,49 €
Numerical Software Verification
book_2
Sergiy Bogomolov
Numerical Software Verification

Nachfragen

53,49 €
Alle Produkte anzeigen

Weitere Artikel aus der Kategorie "Informatik, EDV/Informatik"

Scrum - kurz & gut
book_2
Rolf Dräther
Scrum - kurz & gut

Lieferbar innerhalb 1 - 2 Wochen

19,90 €
Handbuch IT-Projektmanagement und IT-Transformation
Vorbestellen
book_2
Ernst Tiemeyer
Handbuch IT-Projektmanagement und IT-Transformation

Nachfragen

69,99 €
Künstliche Intelligenz und Krieg
book_2
Karl Hans Bläsius
Künstliche Intelligenz und Krieg

Lieferbar innerhalb 1 - 2 Wochen

24,99 €
Retrospektiven in agilen Projekten
book_2
Judith Andresen
Retrospektiven in agilen Projekten

Nachfragen

34,99 €
Das ChatGPT Handbuch für Superkräfte: ChatGPT als Chance! Die wichtigsten PROMPTS für automatische Kundenkommunikation, Textgenerierung, Kunst, Marketing, Datenanalyse und personalisierte Interaktion
deployed_code
Stefan Wagenscheidt
Das ChatGPT Handbuch für Superkräfte: ChatGPT als Chance! Die wichtigsten PROMPTS für automatische Kundenkommunikation, Textgenerierung, Kunst, Marketing, Datenanalyse und personalisierte Interaktion

innerhalb 24 Stunden im Laden verfügbar

19,90 €
LLMs selbst betreiben
Neu
Vorbestellen
book_2
Tim Schürmann
LLMs selbst betreiben

Noch nicht lieferbar

29,90 €
Alle Produkte anzeigen