Serie
lecture notes in computer science
(7)theoretical computer science and general issues
(4)programming and software engineering
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
margaria, tiziana
(2)merten, maik
(2)steffen, bernhard
(2)fiala, jiri
(1)filliatre, jean-christophe
(1)igarashi, atsushi
(1)jhala, ranjit
(1)kolman, petr
(1)kratochvil, jan
(1)li, angsheng
(1)paulin-mohring, christine
(1)stefan kuhlins
(1)ueda, kazunori
(1)werner, benjamin
(1)yang, hongseok
(1)Schlagwort
edv
(8)informatik
(8)programming languages, compilers, interpreters
(7)logics and meanings of programs
(6)software engineering
(5)programmiersprachen
(4)programming techniques
(4)theory of computation
(4)compiler
(3)informatik, computer
(3)mathematik
(3)programmier- und skriptsprachen, allgemein
(3)systems and data security
(3)theorie
(3)artificial intelligence
(2)automata
(2)computation by abstract devices
(2)computerprogrammierung und softwareentwicklung
(2)concurrent programs
(2)concurrentprograms
(2)constraints
(2)data and information security
(2)datensicherheit
(2)datensicherung
(2)mathematical logic and formal languages
(2)model checking
(2)modelchecking
(2)operating systems
(2)programming
(2)programming language
(2)scientific workflows
(2)scientificworkflows
(2)sicherheit
(2)software product lines
(2)software-entw.
(2)softwareproductlines
(2)übersetzer (edv)
(2)algebra
(1)algorithm
(1)algorithms
(1)algorithmus
(1)anwendungs-software
(1)apl
(1)aspect-oriented programming
(1)aspect-orientedprogramming
(1)bipartite graphs
(1)bipartitegraphs
(1)business strategy/leadership
(1)c (programmiersprache)
(1)c++ (programmiersprache)
(1)calculus
(1)case (computer aided sof
(1)coding theory
(1)codingtheory
(1)complexity
(1)computability
(1)computer and information systems applications
(1)computer applications
(1)constraint
(1)coq
(1)datentypen
(1)deductive databases
(1)deductivedatabases
(1)derivation
(1)design
(1)diffusion
(1)eulerian paths
(1)eulerianpaths
(1)explicit model-checking
(1)explicitmodel-checking
(1)formal methods
(1)formal reasoning
(1)formal verification
(1)funktionen
(1)geometric routing
(1)geometricrouting
(1)graph coloring
(1)graphcoloring
(1)informationstechnik (it), allgemein
(1)intelligenz
(1)it in business
(1)javascript
(1)ki
(1)klassen
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)la
(1)layout
(1)logik
(1)lower bounds
(1)lowerbounds
(1)management
(1)mathematical l
(1)model-checking
(1)motivation
(1)n
(1)netz
(1)non-uniformity
(1)objektorientiert (edv)
(1)operatoren
(1)Ergebnis: 8 Artikel
Thema: programming languages, compil
