Format:
1 Online-Ressource (xviii, 263 Seiten)
,
198 Illustrationen, 51 in Farbe
ISBN:
9783030374877
Series Statement:
Lecture notes in computer science 11964
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-37486-0
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-37488-4
Language:
English
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Systementwicklung
;
Theoretische Informatik
;
Programmierung
;
Künstliche Intelligenz
;
Systementwicklung
;
Konferenzschrift
DOI:
10.1007/978-3-030-37487-7
URL:
Volltext
(URL des Erstveröffentlichers)
Author information:
Bjørner, Nikolaj
Author information:
Voronkov, Andrei 1959-
Author information:
Virbickajte, Irina B.
Bookmarklink