Details

ISBN/EAN: 978-3-540-58468-1
Einband: kartoniertes Buch
Weitere Details
Erschienen am:
Sprache:
English
Umfang:
xiv, 787 S.

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


Weitere Details arrow_forward_ios
Gewährleistungs-Label

Formal Techniques in Real-Time and Fault-Tolerant Systems

Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23,1994.Proceedings, Lecture Notes in Computer Science 863

106,99 €
inkl. MwSt.

Lieferbar innerhalb 1 - 2 Wochen


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

Nicht lieferbar

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

Nicht lieferbar

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

Lieferbar innerhalb 1 - 2 Wochen

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

Lieferbar innerhalb 24 Stunden

19,90 €
Praxiseinstieg Machine Learning mit Scikit-Learn und PyTorch
Neu
book_2
Aurélien Géron
Praxiseinstieg Machine Learning mit Scikit-Learn und PyTorch

Lieferbar innerhalb 1 - 2 Wochen

59,90 €
Alle Produkte anzeigen