Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
sirjani, marjan
(9)arbab, farhad
(4)dastani, mehdi
(2)cimatti, alessandro
(1)derler, patricia
(1)lohstroh, marten
(1)Verlag / Hersteller
springer berlin heidelberg
(5)springer international publishing
(4)Schlagwort
edv
(9)informatik
(9)software engineering
(8)theorie
(6)model checking
(5)modelchecking
(5)software-entw.
(5)logics and meanings of programs
(4)models and principles
(4)programming techniques
(4)software engineering/programming and operating systems
(4)theory of computation
(4)programming languages
(3)artificial intelligence
(2)component-based and service-oriented software systems
(2)component-basedandservice-orientedsoftwaresystems
(2)database management system
(2)industrial software applications
(2)industrialsoftwareapplications
(2)program compilers
(2)real-time systems
(2)real-timesystems
(2)software architecture
(2)abstract interpretation
(1)ad hoc network algebra
(1)allgemeines
(1)approximation
(1)artificialintelligence
(1)autonomic computing
(1)autonomiccomputing
(1)betriebssystem (edv)
(1)case
(1)case tools and tool integration
(1)casetoolsandtoolintegration
(1)client/server interaction
(1)cloud computing
(1)cloudcomputing
(1)compiler
(1)complexity
(1)compliance
(1)components
(1)composition of models
(1)computer
(1)computer architecture
(1)computer communication networks
(1)computer networks
(1)computer software selection and evaluation
(1)computernetworks
(1)computerprogrammierung und softwareentwicklung
(1)computersoftwareselectionandevaluation
(1)concurrent systems
(1)coordination and feature interaction
(1)coordination models
(1)coordinationandfeatureinteraction
(1)cyber physical systems (cpss)
(1)data security
(1)database
(1)database manag
(1)datasecurity
(1)deployment management
(1)development frameworks and environments
(1)developmentframeworksandenvironments
(1)distributed computer systems
(1)distributed declarative logic
(1)distributedcomputersystems
(1)distributeddeclarativelogic
(1)embedded systems
(1)extra-functional properties
(1)extra-functionalproperties
(1)formal method
(1)formal methods
(1)formal program development
(1)formal specification
(1)formalmethod
(1)formalmethods
(1)formalprogramdevelopment
(1)formalspecification
(1)hardware
(1)information systems applications (incl. internet)
(1)information systems applications (incl.interne
(1)informationssystem
(1)informationstechnologie
(1)integration of different f
(1)intelligenz
(1)it
(1)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)load balancing
(1)loadbalancing
(1)mathematical logic and formal languages
(1)model checker
(1)modelchecker
(1)models of programs and software syst
(1)modelsofprog
(1)multi-agent systems
(1)multi-agentsystems
(1)netzwerk (elektronisch)
(1)operating system
(1)optimization
(1)Ergebnis: 9 Artikel
Autor: Sirjani, Marjan
