Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
algorithm
(1)algorithms
(1)computer
(1)design
(1)distributed computing
(1)distributedcomputing
(1)edv
(1)informatik
(1)logic
(1)logics and meanings of programs
(1)object
(1)optimization
(1)programming
(1)resolution
(1)semantics
(1)software
(1)software engineering
(1)software engineering/programming and operating systems
(1)software-entw.
(1)softwareentwicklung
(1)testing
(1)theorem proving
(1)theoremproving
(1)theoretical computer science
(1)theoreticalcomputerscience
(1)theorie
(1)theory of computation
(1)Ergebnis: 1 Artikel
ISBN 13: 978-3-540-16042-7
