Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
pardo, alberto
(4)barbosa, luis soares
(1)barthe, gilles
(1)bove, ana
(1)pinto, jorge sousa
(1)schneider, gerardo
(1)swierstra, s. doaitse
(1)viola, alfredo
(1)Schlagwort
edv
(4)informatik
(4)programmiersprachen
(2)abstract interpretation
(1)abstract syntax
(1)abstractsyntax
(1)agent-based modeling
(1)algorithm
(1)algorithmen und datenstrukturen
(1)algorithms
(1)approximation algorithms
(1)approximationalgorithms
(1)artificial intelligence
(1)automata
(1)budget problems
(1)budgetproblems
(1)combinator parsing
(1)combinatorics
(1)combinatorparsing
(1)compilation and interpretation techniques
(1)compilationandinterpretationtechniques
(1)compiler
(1)complexity on graphs
(1)complexityongraphs
(1)computability
(1)computational complexity
(1)computational geometry
(1)computationalcomplexity
(1)computationalgeometry
(1)computer communication networks
(1)concrete syntax
(1)concretesyntax
(1)concurrency
(1)context-free grammar
(1)context-freegrammar
(1)coq
(1)data structures
(1)datastructures
(1)denotational semantic
(1)dependent types
(1)dependenttypes
(1)discrete mathematics
(1)discretemathematics
(1)distributed systems
(1)domain specific languages
(1)domain-specific languages
(1)domain-specificlanguages
(1)domainspecificlanguages
(1)drivenengineering
(1)extended static checking
(1)extendedstaticchecking
(1)first-order logic
(1)first-orderlogic
(1)formal methods
(1)formal semantics of programming languages
(1)formalmethods
(1)formalsemanticsofprogramminglanguages
(1)functional programming
(1)functionalprogramming
(1)game theory
(1)gametheory
(1)generic programming
(1)genericprogramming
(1)graph algorithms
(1)graph coloring
(1)graph drawing
(1)graphalgorithms
(1)graphcoloring
(1)graphdrawing
(1)information flow securit
(1)informationflowsecu
(1)intelligenz
(1)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)logics and meanings of programs
(1)model
(1)model checking
(1)netzwerk (elektronisch)
(1)p
(1)pl
(1)program analysis and verification
(1)programanalysisandverification
(1)programgenerationandtr
(1)programming languages, compilers, interpreters
(1)programming techniques
(1)roboter - robotik - industrieroboter
(1)software en
(1)software engineering
(1)software product lines
(1)software-entw.
(1)spracherkennung
(1)theoretical foundations of programming
(1)theoreticalfoundationsofprogramming
(1)theorie
(1)theory of com
(1)unified modeling language
(1)übersetzer (edv)
(1)Ergebnis: 4 Artikel
Autor: Pardo, Alberto
