Serie
lecture notes in computer science
(6)programming and software engineering
(3)theoretical computer science and general issues
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
peña, ricardo
(5)carro, manuel
(1)dal lago, ugo
(1)eekelen, marko van
(1)gupta, gopal
(1)loidl, hans w.
(1)page, rex
(1)pena, ricardo
(1)shkaravska, olha
(1)Verlag / Hersteller
springer berlin heidelberg
(4)springer international publishing
(2)Schlagwort
edv
(6)informatik
(6)programming languages, compilers, interpreters
(4)software engineering
(4)logics and meanings of programs
(3)theory of computation
(3)algorithm analysis and problem complexity
(2)algorithmanalysisandproblemcomplexity
(2)computation by abstract devices
(2)computerprogrammierung und softwareentwicklung
(2)functional programming
(2)mathematik
(2)programmiersprachen
(2)programming techniques
(2)software-entw.
(2)system performance and evaluation
(2)systemanalyse und -design
(2)theorie
(2)algorithm analysis and pr
(1)alternating automata
(1)alternatingautomata
(1)answer set programming
(1)answersetprogramming
(1)betriebssystem (edv)
(1)code generation
(1)communication software
(1)compiler
(1)compiler und überse
(1)compilers and interpreters
(1)computer programs
(1)computerprograms
(1)concurrency
(1)constraint
(1)constraint logic programming
(1)constraint programming
(1)constraintlogicprogramming
(1)da
(1)data structures
(1)data structures and information theory
(1)datastructures
(1)datenverarbeitung
(1)datenverschlüsselung, kryptografie
(1)decision making
(1)declarative debugging
(1)declarative languages
(1)declarative networking
(1)declarativedebugging
(1)distributed computing
(1)distributed systems
(1)distributedcomputing
(1)execution time
(1)executiontime
(1)formal methods
(1)formal semantics
(1)formalmethods
(1)formalsemanti
(1)functional programs
(1)functionalprograms
(1)haskell
(1)haskell programming
(1)informatik, computer
(1)intelligenz
(1)interpreter generation
(1)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)lambda calculus
(1)lambdacalculus
(1)languages
(1)lazy functional language
(1)lazyfunctionallanguage
(1)library
(1)linear algebra
(1)logic
(1)logic programming
(1)mathematical logic and formal languages
(1)mathematical logic and foundations
(1)modular compilers
(1)modularcompilers
(1)operating system
(1)operational semantics
(1)parallel programs
(1)parallelprograms
(1)priority queues
(1)priorityqueues
(1)program synthesis
(1)program transf
(1)programmier- und skriptsprachen, allgemein
(1)programming
(1)programming language
(1)qualit
(1)quality
(1)regular expressions
(1)regularexpressions
(1)resource consumption
(1)resourceconsumption
(1)softwareentwicklung
(1)typing
(1)übersetzer (edv)
(1)Ergebnis: 6 Artikel
Redaktion: ricardo peña
