Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
data structure
(2)datastructure
(2)edv
(2)informatik
(2)logic
(2)programming
(2)programming techniques
(2)semantics
(2)algorithms
(1)automata
(1)betriebssystem (edv)
(1)complexity
(1)computation by abstract devices
(1)constant
(1)distributed systems
(1)distributedsystems
(1)enzyklopädie
(1)formal specification
(1)formale sprache
(1)formalesprache
(1)formalspecification
(1)grammars
(1)hardware
(1)mathematical logic and formal languages
(1)mathematical logic and foundations
(1)monoid
(1)network
(1)operating system
(1)parallelism
(1)programmierung
(1)programmierung (edv)
(1)programmierung(edv)
(1)programming language
(1)programminglanguage
(1)software engineering
(1)software engineering/programming and operating systems
(1)software-entw.
(1)theorem proving
(1)theoremproving
(1)theorie
(1)theory of computation
(1)Ergebnis: 2 Artikel
Autor: diaz, j.
