Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
algorithmus
(1)artificial intelligence
(1)artificialintelligence
(1)compiler
(1)computer programming languages
(1)computer software selection and evaluation
(1)computerprogramminglanguages
(1)computersoftwareselectionandevaluation
(1)di
(1)distributed computer systems
(1)edv
(1)formal logic
(1)informatik
(1)informatik, computer
(1)markov decision processes
(1)mathematik
(1)model checking
(1)program compilers
(1)programmiersprachen
(1)schnittstelle (edv)
(1)semantics
(1)software engineering
(1)software-entw.
(1)temporal logic
(1)theorie
(1)übersetzer (edv)
(1)Ergebnis: 1 Artikel
ISBN 13: 978-3-662-54576-8
