Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
edv
(2)informatik
(2)logics and meanings of programs
(2)programmiersprachen
(2)programming techniques
(2)software engineering
(2)software engineering/programming and operating systems
(2)software-entw.
(2)theorie
(2)abstract interpretation
(1)abstractinterpretation
(1)concurrency
(1)data structures and information theory
(1)formal methods
(1)formalmethods
(1)java
(1)logic
(1)logic of programs
(1)logicofprograms
(1)mathematical logic and formal languages
(1)partial evaluation
(1)partialevaluation
(1)pascal
(1)program analysis
(1)program semantics
(1)program transformation
(1)programanalysis
(1)programming
(1)programming languages, compilers, interpreters
(1)programmlogik
(1)programsemantics
(1)programtransformation
(1)static analysis
(1)staticanalysis
(1)statistik analyse sys
(1)structured analysis
(1)structuredanalysis
(1)term rewriting systems
(1)termersetzungsverfahren
(1)termrewritingsystems
(1)theo
(1)theory of computation
(1)Ergebnis: 2 Artikel
Autor: File, Gilberto
