Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
steffen, bernhard
(29)
margaria, tiziana
(20)huisman, marieke
(3)kordon, fabrice
(3)merten, maik
(2)baier, christel
(1)beyer, dirk
(1)eder, johann
(1)hinchey, mike
(1)hähnle, reiner
(1)knoop, jens
(1)levi, giorgio
(1)maragria, tiziana
(1)olderog, ernst-rüdiger
(1)rückert, roland
(1)schreiner, dietmar
(1)van den brand, mark
(1)woeginger, gerhard
(1)Verlag / Hersteller
saint philip street press
(2)springer berlin heidelberg
(14)springer international publishing
(13)Verlag
saint philip street press
(2)springer berlin heidelberg
(14)springer international publishing
(13)Schlagwort
edv
(29)informatik
(29)software engineering
(24)model checking
(19)theorie
(15)software-entw.
(14)artificial intelligence
(13)modelchecking
(13)formal methods
(11)logics and meanings of programs
(9)artificialintelligence
(8)compiler
(8)formal logic
(8)programming languages
(8)semantics
(8)theory of computation
(8)verification
(8)allgemeines
(7)übersetzer (edv)
(7)embedded systems
(6)formalmethods
(6)modeling
(6)privacy
(6)automata
(5)formal verification
(5)informationstechnologie
(5)it
(5)program compilers
(5)programmieren
(5)technologie
(5)algorithms
(4)business process modeling
(4)computer organisation systems
(4)computerorganisationsystems
(4)data security
(4)datasecurity
(4)embeddedsystems
(4)f
(4)formallogic
(4)formalverification
(4)internet
(4)internet of things (iot)
(4)mathematics of computing
(4)programminglanguages
(4)security systems
(4)software engineerin
(4)softwareengineering
(4)autonomic systems
(3)autonomicsystems
(3)classification
(3)computation by abstract devices
(3)computer communication networks
(3)computer networks
(3)computer programming
(3)computernetworks
(3)computerprogramming
(3)distributed computer systems
(3)distributed systems
(3)distributedcomputersystems
(3)formal modeling
(3)informationssystem
(3)java
(3)knowledge management
(3)knowledgemanagement
(3)logic
(3)netzwerk-hardware
(3)operating systems
(3)prog
(3)programming languages,
(3)programming languages, compilers, interpreters
(3)software evolution
(3)softwareproductlines
(3)adaptive systems
(2)adaptivesystems
(2)algorithm
(2)algorithmus
(2)architecture verification and validation
(2)architectureverificationandvalidation
(2)automated software engineering
(2)automatedsoftwareengineering
(2)businessprocessmodeling
(2)cloud computing
(2)code generation
(2)codegeneration
(2)collaboration
(2)colored petri nets
(2)compilers
(2)component-based
(2)computer science, computer logic, software engineering, mathematical logic, computers, computer system failures, computer simulation
(2)computer systems
(2)computersystems
(2)concurrent programs
(2)concurrent systems
(2)concurrentprograms
(2)concurrentsystems
(2)coordination patterns
(2)coordinationpatterns
(2)crowdsourcing
(2)data mining (edv)
(2)domain-specific languages
(2)Erscheinungsjahr
1996
(1)1998
(2)1999
(1)2004
(1)2006
(1)2008
(1)2010
(2)2012
(3)2014
(2)2016
(3)2017
(1)2018
(4)2019
(2)2020
(5)Ergebnis: 29 Artikel
Autor: steffen, bernhard
