Deontic logic in computer science
: 9th international conference ; proceedings / DEON 2008, Luxembourg, Luxembourg, July 15 - 18, 2008. Ron van der Meyden ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5076 : Lecture notes in artificial intelligence)
ISBN 978-3-540-70525-3
Lizenzpflichtig
Quelle: DNB
Deontic logic in computer science
: proceedings / 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26 - 28, 2004. Alessio Lomuscio ; Donald Nute (ed.). - Berlin : Springer, 2004. - X, 274 S.; 24 cm - (Lecture notes in computer science; Vol. 3065 : Lecture notes in artificial intelligence)
ISBN 978-3-540-22111-1 / 3-540-22111-5 kart. : EUR 48.15 (freier Pr.), ca. sfr 82.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Csenki, Attila: Dependability for systems with a partitioned state space
: Markov and semi-Markov theory and computational implementation / Attila Csenki. - New York : Springer, 1994. - IX, 241 S. : graph. Darst.; 24 cm - (Lecture notes in statistics; Vol. 90)
ISBN 978-3-540-94333-4 / 3-540-94333-1 kart. : DM 68.00
Literaturverz. S. 235 - 239
Quelle: DNB
Dependability metrics
: advanced lectures / Irene Eusgeld ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4909)
ISBN 978-3-540-68947-8
Lizenzpflichtig
Quelle: DNB
Dependability modelling under uncertainty
: an imprecise probabilistic approach / Philipp Limbourg. - Berlin : Springer, 2008. - Online-Ressource - (Studies in computational intelligence; Vol. 148)
ISBN 978-3-540-69287-4
Lizenzpflichtig
Quelle: DNB
Nahman, Jovan M.: Dependability of engineering systems
: modeling and evaluation / Jovan M. Nahman. - Berlin : Springer, 2002. - XII, 192 S. : graph. Darst.; 24 cm - (Engineering online library)
ISBN 978-3-540-41437-7 / 3-540-41437-1 Pp.
Literaturangaben
Quelle: DNB
Dependable and adaptable networks and services
: 13th open European summer school and IFIP TC6.6 workshop ; proceedings / EUNICE 2007, Enschede, The Netherlands, July 18 - 20, 2007. Aiko Pras ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4606)
ISBN 978-3-540-73530-4
Lizenzpflichtig
Quelle: DNB
Dependable computing
: proceedings / EDCC-3, Third European Dependable Computing Conference, Prague, Czech Republic, September 15 - 17, 1999. Jan Hlavička ... (ed.). - Berlin : Springer, 1999. - XVIII, 454 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1667)
ISBN 978-3-540-66483-3 / 3-540-66483-1 kart. : DM 102.00
Literaturangaben
Quelle: DNB
Dependable computing
: first Latin-American symposium ; proceedings / LADC 2003, São Paulo, Brazil, October 21 - 24, 2003. Rogério de Lemos ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2847)
ISBN 978-3-540-45214-0
Lizenzpflichtig
Quelle: DNB
Dependable computing
: proceedings / EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23 - 25, 2002. A. Bondavalli ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2485)
ISBN 978-3-540-36080-3
Lizenzpflichtig
Quelle: DNB
