Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
artificial intelligence
(1)artificialintelligence
(1)compiler
(1)computer architecture
(1)computerar
(1)data security
(1)edv
(1)formal logic
(1)formal methods
(1)informatik
(1)informatik, computer
(1)intelligenz
(1)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)mathematik
(1)network security
(1)programming languages
(1)programming languages, compilers,
(1)roboter - robotik - industrieroboter
(1)semantics
(1)software engineering
(1)software evaluation
(1)software-entw.
(1)specifications
(1)theorem proving
(1)theorie
(1)verification
(1)Übersetzer (edv)
(1)Ergebnis: 1 Artikel
ISBN 10: 3-319-98937-5
