Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
schmidt, david
(4)main, michael g.
(2)melton, austin c.
(2)brookes, stephen
(1)brookes, stephen d.
(1)jhala, ranjit
(1)main, michael
(1)melton, austin
(1)mine, antoine
(1)mislove, michael
(1)mislove, michael w.
(1)mogensen, torben
(1)schmidt, d.
(1)sudborough, i. h.
(1)Schlagwort
edv
(7)informatik
(7)theory of computation
(5)algorithms
(4)logics and meanings of programs
(4)software engineering
(4)theorie
(4)informatik, computer
(3)logic
(3)mathematik
(3)programmiersprachen
(3)programming language
(3)programming languages, compilers, interpreters
(3)programminglanguage
(3)algorithm
(2)allgemeines
(2)automata
(2)calculus
(2)computerprogrammierung und softwareentwicklung
(2)lambda calculus
(2)mathematical logic
(2)mathematical logic and formal languages
(2)mathematicallogic
(2)program semantics
(2)programming
(2)programming languages
(2)programming semantics
(2)programming theory
(2)programsemantics
(2)semantics
(2)action
(1)alg
(1)algorithm analysis and problem complexity
(1)algorithmus
(1)automata theory
(1)automatatheory
(1)communication fabrics
(1)compiler
(1)complexity
(1)compliler optimization
(1)complileroptimization
(1)computation by abstract devices
(1)computational complexity
(1)computationalflowanalysis
(1)computer languages
(1)computerlanguages
(1)contract
(1)deadlocks
(1)deductive methods
(1)design by contract
(1)flow analysis
(1)formal languages
(1)formale sprachen
(1)formalesprachen
(1)formallanguages
(1)heap analysis
(1)heapanalysis
(1)higher order programs
(1)higherorderprograms
(1)komplex - komplexität
(1)lambdacalculus
(1)language implementation
(1)languageimplementation
(1)ma
(1)mantics
(1)mathematical foundations
(1)mathematical logic and formal lan
(1)mathematical logic and foundations
(1)mathematicalfoundations
(1)mathematics
(1)mathematics of computing
(1)mathematics, general
(1)mathematische grundlage
(1)mathematische grundlagen
(1)mathematische logik
(1)mathematischegrundlage
(1)mathematischegrundlagen
(1)mathematischelogik
(1)miranda
(1)mixin
(1)ml
(1)monoid
(1)polymorphism
(1)progr
(1)program analysis
(1)program transformation
(1)program understanding
(1)programanalysis
(1)programmier-semantik
(1)programmieren
(1)programmieren (edv)
(1)programmiersemantik
(1)programmiertheorie
(1)programmierung
(1)programming calculi
(1)programming language design
(1)programming logic
(1)programming systems
(1)programming techniques
(1)programmingcalculi
(1)Ergebnis: 7 Artikel
Redaktion: david schmidt
