Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
palsberg, jens
(7)appel, andrew w.
(1)dillig, isil
(1)havelund, klaus
(1)hermanns, holger
(1)majumdar, rupak
(1)su, zhendong
(1)Schlagwort
edv
(7)informatik
(7)theorie
(5)logics and meanings of programs
(4)model checking
(4)programmiersprachen
(4)software engineering
(4)action
(3)compiler
(3)programming
(3)software-entw.
(3)abstract interpretation
(2)algorithm
(2)algorithms
(2)allgemeines
(2)automata
(2)computerprogrammierung und softwareentwicklung
(2)mathematical logic and formal languages
(2)mathematik
(2)modelchecking
(2)netzwerk (elektronisch)
(2)programmieren
(2)programming language
(2)programming languages, compilers, interpreters
(2)programming techniques
(2)programminglanguage
(2)software engineering/programming and operating systems
(2)structured analysis
(2)testing
(2)theory of computation
(2)verification
(2)übersetzer (edv)
(2)abstract domains
(1)abstractdomains
(1)abstractinterpretation
(1)abstraction
(1)algebra
(1)algebraic methods
(1)algebraic specification
(1)algebraicmethods
(1)algebraicspecification
(1)algorithmus
(1)architektur (edv)
(1)assertion logic
(1)assertionlogic
(1)automatentheorie
(1)automatic parallelization
(1)automaticparallelization
(1)betriebssystem (edv)
(1)bisimulation
(1)cache analysis
(1)cacheanalysis
(1)case study
(1)casestudy
(1)category theory
(1)categorytheory
(1)coalgebraic reasoning
(1)coalgebraicreason
(1)code generation
(1)colored petri nets
(1)coloredpetrinets
(1)compiler optimization
(1)compileroptimization
(1)compilers
(1)complexity
(1)computation b
(1)computer communication n
(1)computer communication networks
(1)computers
(1)constraint
(1)constructive action semantics
(1)constructiveactionsemantics
(1)continuations
(1)data structure
(1)dataflow
(1)decision procedures
(1)design
(1)do
(1)domain cooperation
(1)informatik, computer
(1)information hiding
(1)java (programmiersprache)
(1)linear constraints
(1)logic
(1)mathematical logic and foundations
(1)object
(1)object oriented design
(1)operating system
(1)optimization
(1)program analysis
(1)programmier- und skriptsprachen, allgemein
(1)programmieren (edv
(1)programming theory
(1)rechnerarchitektur
(1)sas - statistical analysis system
(1)satisfiability
(1)security
(1)softwareengineering
(1)spin
(1)statistical analysis system
(1)Ergebnis: 7 Artikel
Autor: Palsberg, Jens
