Serie
lecture notes in computer science
(37)programming and software engineering
(15)theoretical computer science and general issues
(7)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
lemos, rogério de
(4)romanovsky, alexander
(4)koornneef, floor
(3)anderson, stuart
(2)felici, massimo
(2)gacek, c.
(2)gacek, cristina
(2)kunkel, julian m.
(2)van gulijk, coen
(2)varde, prabhakar v.
(2)atkinson, colin
(1)balaji, pavan
(1)beltrán, marta
(1)bernardo, marco
(1)bogomolov, sergiy
(1)bologna, sandro
(1)bradley, jeremy
(1)breitman, karin
(1)brim, lubos
(1)broy, manfred
(1)brucker, achim
(1)bunse, christian
(1)butler, michael
(1)camargo, joao b.
(1)cavalcanti, ana
(1)dal cin, mario
(1)dalpiaz, fabiano
(1)dongarra, jack
(1)giorgini, paolo
(1)gonzález nieto, juan
(1)grandoni, fabrizio
(1)gross, hans-gerhard
(1)haverkort, boudewijn
(1)haverkort, boudewijn r.
(1)he, jifeng
(1)hespanha, joao
(1)hinchey, michael g.
(1)horne, ross
(1)hutter, dieter
(1)indulska, jadwiga
(1)issarny, valerie
(1)jähnichen, stefan
(1)kabra, ashutosh
(1)karmakar, gopinath
(1)kaâniche, mohamed
(1)keller, hubertus b.
(1)khalil, ismail
(1)knottenbelt, william
(1)larrondo-petrie, maria m.
(1)lemos, rogério le
(1)leucker, martin
(1)littlewood, bev
(1)liu, zhiming
(1)ma, jianhua
(1)martel, matthieu
(1)meland, per håkon
(1)meulen, meine van der
(1)mohr, bernd
(1)morari, manfred
(1)neuhold, erich
(1)pandya, paritosh
(1)pataricza, andrás
(1)peter müller
(1)plödereder, erhard
(1)pol, jaco van de
(1)prabhakar, pavithra
(1)reif, wolfgang
(1)remke, anne
(1)richa, andréa w.
(1)rios, erkuden
(1)rossi, francesca
(1)scheideler, christian
(1)silva weber, taisy
(1)stephan, werner
(1)taufer, michela
(1)thiele, lothar
(1)tiwari, ashish
(1)tjoa, a min
(1)traverso, paolo
(1)voges, udo
(1)wakankar, amol
(1)wang, guojun
(1)wu, song
(1)xiao, bin
(1)xu, li da
(1)xu, tony li
(1)yang, laurence t.
(1)yang, laurence tianruo
(1)you, ilsun
(1)Verlag / Hersteller
information science reference
(3)springer berlin heidelberg
(27)springer international publishing
(10)springer, berlin springer nature singapore springer
(2)springer, berlin springer nature switzerland springer
(2)Verlag
information science reference
(3)springer
(4)springer berlin heidelberg
(27)springer international publishing
(10)springer nature singapore
(2)springer nature switzerland
(2)springer, berlin
(4)Schlagwort
dependable systems
(44)informatik
(42)edv
(40)dependablesystems
(28)software engineering
(22)theorie
(22)software-entw.
(19)embedded systems
(11)formal methods
(11)distributed systems
(10)modeling
(10)model checking
(9)allgemeines
(8)datensicherheit
(8)sicherheit
(8)algorithms
(7)datensicherung
(7)dependable computing
(7)dependablecomputing
(7)distributedsystems
(7)embeddedsystems
(7)formal verification
(7)formalmethods
(7)safety-critical systems
(7)security
(7)automata
(6)fault tolerance
(6)formal specification
(6)reactive systems
(6)theory of computation
(6)verification
(6)faulttolerance
(5)formal method
(5)formal software development
(5)modelchecking
(5)programmiersprachen
(5)real-time systems
(5)software architecture
(5)systems and data security
(5)communication
(4)compiler
(4)component-based systems
(4)component-basedsystems
(4)computer safety
(4)computersafety
(4)fault-tolerant systems
(4)formalsoftwaredevelopment
(4)formalspecification
(4)formalverification
(4)logics and meanings of programs
(4)microsoft sharepoint (webservices, portal)
(4)middleware
(4)netzwerk (elektronisch)
(4)programming
(4)qualitätssicherung, qualität
(4)reactivesystems
(4)reliable computing
(4)systems availability
(4)systems verification
(4)web services (edv)
(4)architecture
(3)code
(3)computers
(3)computersicherheit
(3)connectors
(3)cyber-physical systems
(3)datenverarbeitung
(3)evaluation
(3)formalmethod
(3)hybrid systems
(3)informationstechnologie
(3)it
(3)mda
(3)model driven architecture
(3)optimization
(3)qos
(3)scala
(3)software engineering/programming and operating systems
(3)system
(3)systemanalyse und -design
(3)systems analysis
(3)systems architecture
(3)systems development
(3)systems validation
(3)technologie
(3)unified modeling language (uml)
(3)unifiedmodelinglanguage(uml)
(3)algorithm
(2)architectures
(2)architektur (edv)
(2)attribut
(2)authentication
(2)betriebssystem (edv)
(2)cloud computing
(2)cloudcomputing
(2)computer networks
(2)computernetworks
(2)configuration
(2)constraint programming
(2)corba
(2)Erscheinungsjahr
1995
(1)1999
(1)2000
(2)2001
(1)2002
(3)2003
(3)2004
(1)2005
(4)2006
(2)2007
(4)2008
(1)2009
(2)2011
(1)2012
(3)2014
(1)2015
(5)2016
(3)2017
(1)2018
(1)2023
(2)2024
(2)Ergebnis: 44 Artikel
Schlagwort: dependable systems
