Formal techniques, modelling and analysis of timed and fault tolerant systems
: proceedings / Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004. Yassine Lakhnech ; Sergio Yovine (ed.). - Berlin : Springer, 2004. - X, 395 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3253)
ISBN 978-3-540-23167-7 / 3-540-23167-6 kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Hardware and software architectures for fault tolerance
: experiences and perspectives / Michel Banâtre ; Peter A. Lee (ed.). - Berlin : Springer, 1994. - XIII, 311 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 774)
ISBN 978-3-540-57767-6 / 3-540-57767-X kart. : DM 66.00
Literaturangaben
Quelle: DNB
Reliable systems on unreliable networked platforms
: revised selected papers / 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22 - 24, 2005. Fabrice Kordon ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4322)
ISBN 978-3-540-71156-8
Lizenzpflichtig
Quelle: DNB
Resilient networks and services
: proceedings / Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008, Bremen, Germany, July 1 - 3, 2008. David Hausheer ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5127)
ISBN 978-3-540-70587-1
Lizenzpflichtig
Quelle: DNB
Rigorous development of complex fault tolerant systems
/ Michael Butler ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4157)
ISBN 978-3-540-48267-3
Lizenzpflichtig
Quelle: DNB
Sprachkommunikation
: Vorträge der gemeinsamen Veranstaltung 5. Konferenz zur Verarbeitung Natürlicher Sprache (KONVENS) ; 6. ITG-Fachtagung "Sprachkommunikation", 9. bis 12. Oktober 2000, Technische Universität Ilmenau ; [mit CD-ROM] / KONVENS 2000. Tagungsleitung: Werner Zühlke ; Ernst G. Schukat-Talamazzini. Veranst.: Informationstechnische Gesellschaft (ITG) .... - Berlin : VDE-Verl., 2000. - 308 S. : Ill., graph. Darst.; 30 cm - (ITG-Fachbericht; 161)
ISBN 978-3-8007-2564-9 / 3-8007-2564-9 kart. : DM 136.00, EUR 69.53, sfr 121.00, S 882.00
Literaturangaben
Quelle: DNB
Structural information and communication complexity
: 14th international colloquium ; proceedings / SIROCCO 2007, Castiglioncello, Italy, June 5 - 8, 2007. Giuseppe Prencipe ; Shmuel Zaks (ed.). - Berlin : Springer, 2007. - XIII, 342 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4474)
ISBN 978-3-540-72918-1 / 3-540-72918-6 kart. : EUR 55.64 (freier Pr.), ca. sfr 85.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Structural information and communication complexity
: 14th international colloquium ; proceedings / SIROCCO 2007, Castiglioncello, Italy, June 5 - 8, 2007. Giuseppe Prencipe ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4474)
ISBN 978-3-540-72951-8
Lizenzpflichtig
Quelle: DNB
Zuverlässigkeit und Entwurf
: 6. GMM-GI-ITG-Fachtagung vom 25. bis 27. September 2012 in Bremen / Fachtagung Zuverlässigkeit und Entwurf .... - Berlin : VDE-Verl., 2012. - 1 CD-ROM; 12 cm - (GMM-Fachbericht; 73)
ISBN 978-3-8007-3445-0 : EUR 59.00 (DE), EUR 59.50 (AT)
Beitr. teilw. dt., teilw. engl. - Titel auf dem Behältnis
Quelle: DNB
