Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
anirudh prabhu
(1)antonio badia
(1)aravind shenoy
(1)bensalem, saddek
(1)damiani, ernesto
(1)fahrenberg, uli
(1)hermenegildo, manuel v
(1)jhala, ranjit
(1)jurdzinski, marcin
(1)kuncak, viktor
(1)lakhneck, yassine
(1)legay, axel
(1)lopez-garcia, pedro
(1)maciaszek, leszek
(1)nickovic, dejan
(1)rybalchenko, andrey
(1)schmidt, david
(1)spanoudakis, george
(1)tripakis, stavros
(1)Verlag / Hersteller
springer berlin heidelberg
(5)springer international publishing
(2)Schlagwort
edv
(8)informatik
(8)programming languages, compilers, interpreters
(6)software engineering
(6)compiler
(5)computerprogrammierung und softwareentwicklung
(5)programmiersprachen
(5)programming techniques
(5)theorie
(5)übersetzer (edv)
(5)algorithm analysis and problem complexity
(4)logics and meanings of programs
(4)mathematical logic and formal languages
(4)model checking
(4)software-entw.
(4)algorithmus
(3)informatik, computer
(3)ma
(3)mathematik
(3)theory of computation
(3)embedded systems
(2)modelchecking
(2)programming languages
(2)semantics
(2)timed automata
(2)access permissions
(1)algebra
(1)algorithmanalysisandproblemcomplexity
(1)allgemeines
(1)automated verification
(1)automatedverification
(1)berufe
(1)betriebssystem (edv)
(1)business process management (bpm)
(1)businessprocessmanagement(bpm)
(1)communication fabrics
(1)complex systems
(1)complexity
(1)complexity analysis
(1)complexityanalysis
(1)complexsystems
(1)comput
(1)computational geometry
(1)computer communication networks
(1)computer science
(1)computers
(1)computers and society
(1)computerscience
(1)computing
(1)concurrency
(1)constraint progr
(1)contract
(1)control flow
(1)css
(1)currentsmp
(1)data management
(1)database
(1)database management
(1)databases
(1)datenbanken
(1)deadlocks
(1)deductive methods
(1)design by contract
(1)disassembly
(1)embeddedsystems
(1)formal methods
(1)formalmethods
(1)general
(1)generalized quantification
(1)gesellschaft u. computer
(1)html
(1)human-computer interaction (hci)
(1)human-computerinteraction(hci)
(1)information storage and retrieval
(1)information systems
(1)information systems applications (incl. internet)
(1)information systems applications (incl.internet)
(1)informationsystems
(1)javascript
(1)jquery
(1)language
(1)linear
(1)logic and verification
(1)logic programming
(1)logical languages
(1)logicandverification
(1)logicprogramming
(1)logik
(1)material design
(1)materialdesign
(1)materialize
(1)mathematics
(1)natural languages
(1)operating system
(1)operating systems
(1)optimization
(1)pc
(1)performance evaluation
(1)personal computing
(1)petri nets
(1)Ergebnis: 9 Artikel
Thema: programming languages, comp
