Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
schreiner, wolfgang
(5)
affenzeller, michael
(1)buchberger, bruno
(1)ferscha, alois
(1)haller, michael
(1)jebelean, tudor
(1)klement, erich peter
(1)paule, peter
(1)pomberger, gustav
(1)stubenrauch, robert
(1)wagner, roland
(1)weiß, gerhard
(1)windsteiger, wolfgang
(1)Schlagwort
logic in computer science
(4)informatik
(3)abstract datatypes
(2)abstractdatatypes
(2)automatedreasoning
(2)axiomatic
(2)denotational semantics
(2)denotationalsemantics
(2)discrete structures and algorithms
(2)first-order logic
(2)first-orderlogic
(2)formal methods
(2)formal modeling
(2)formal modeling ans reasoning
(2)formal reasoning
(2)formal semantics
(2)formalmethods
(2)formalmodeling
(2)formalreasoning
(2)formalsemantics
(2)grundlagen
(2)logicincomputerscience
(2)mathematics and computer science education
(2)mathematik
(2)model checking
(2)nondeterminism and concurrency
(2)operational semantics
(2)operationalsemantics
(2)program specification
(2)program specification and verification
(2)program verification
(2)programspecification
(2)programverification
(2)universal algebra
(2)universalalgebra
(2)algorithms
(1)artificial intelligence
(1)automated reasoning
(1)ax
(1)axiomaticsemantics
(1)co
(1)computer communication networks
(1)edv
(1)grid computing
(1)gridcomputing
(1)informati
(1)information
(1)information systems applications (incl. internet)
(1)innovation
(1)interface
(1)interfaces
(1)knowledge
(1)logic
(1)metaheuristic
(1)modeling
(1)optimization
(1)pervasive computing
(1)pervasivecomputing
(1)software
(1)software engineering
(1)softwareengineering
(1)theory of computation
(1)user interfaces and human computer interaction
(1)Ergebnis: 5 Artikel
Autor: schreiner, wolfgang
