Zum Inhalt springen

Troubitsyna, Elena A. [HerausgeberIn] ; SERENE 3 2011 Genf

Software engineering for resilient systems : third international workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6968
Dal Cin, Mario [HerausgeberIn] ; EDCC 5 2005 Budapest

Dependable computing - EDCC 2005 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20 - 22, 2005; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3463
Lemos, Rogério de [HerausgeberIn] ; LADC 1 2003 São Paulo

Dependable computing : first Latin-American symposium ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2847
Bondavalli, Andrea [HerausgeberIn]; Brasileiro, Francisco [Sonstige Person, Familie und Körperschaft]; Rajsbaum, Sergio [Sonstige Person, Familie und Körperschaft] ; LADC 3 2007 Morelia

Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4746
Maziero, Carlos Alberto [HerausgeberIn] ; LADC 2 2005 Salvador

Dependable computing : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25 - 28, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3747
Eusgeld, Irene [HerausgeberIn]; Freiling, Felix C. [Sonstige Person, Familie und Körperschaft]; Reussner, Ralf [Sonstige Person, Familie und Körperschaft]

Dependability metrics : advanced lectures

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 4909
Jones, Cliff B. [HerausgeberIn]; Randell, Brian [GefeierteR]; Lloyd, John L. [Sonstige Person, Familie und Körperschaft]

Dependable and historic computing : essays dedicated to Brian Randell on the occasion of his 75th birthday

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6875
Giese, Holger [HerausgeberIn] ; ISARCS 1 2010 Prag

Architecting critical systems : first international symposium, ISARCS 2010, Prague, Czech Republic, June 23 - 25, 2010 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6150
Liu, Shaoying [HerausgeberIn]; Maibaum, Tom [Sonstige Person, Familie und Körperschaft]; Araki, Keijiro [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 10 2008 Kitakyūshū

Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 5256
Breitman, Karin [Sonstige Person, Familie und Körperschaft]; Cavalcanti, Ana [Sonstige Person, Familie und Körperschaft]; Breitman, Karin K. [HerausgeberIn] ; International Conference on Formal Engineering Methods 11 2009 Rio de Janeiro

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5885
Liu, Zhiming [HerausgeberIn]; He, Jifeng [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 8 2006 Macau

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4260
Butler, Michael [HerausgeberIn]; Hinchey, Michael G. [Sonstige Person, Familie und Körperschaft]; Larrondo-Petrie, Maria M. [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 9 2007 Boca Raton, Fla

Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4789
Kordon, Fabrice [HerausgeberIn]; Sztipanovits, Janos [Sonstige Person, Familie und Körperschaft] ; Monterey Workshop on Networked Systems: Realization of Reliable Systems on Unreliable Networked Platforms 12, 2005, Laguna Beach, Calif

Reliable systems on unreliable networked platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4322
Schoitsch, Erwin [HerausgeberIn] ; SAFECOMP 29 2010 Wien

Computer safety, reliability, and security : 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6351
Kohlas, Jürg [HerausgeberIn]

Dependable systems: software, computing, networks : research results of the DICS Program

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4028
Brim, Luboš [HerausgeberIn]; Haverkort, Boudewijn [Sonstige Person, Familie und Körperschaft]; Leucker, Martin [Sonstige Person, Familie und Körperschaft]; Pol, Jaco van de [Sonstige Person, Familie und Körperschaft] ; International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn, PDMC 5 2006 Bonn

Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4346
Leue, Stefan [HerausgeberIn]; Merino, Pedro [Sonstige Person, Familie und Körperschaft] ; FMICS 12 2007 Berlin

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 4916
Alpuente, María [HerausgeberIn]; Cook, Byron [Sonstige Person, Familie und Körperschaft]; Joubert, Christophe [Sonstige Person, Familie und Körperschaft] ; FMICS 14 2009 Eindhoven

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5825
Kordon, Fabrice [HerausgeberIn]; Sokolsky, Oleg [Sonstige Person, Familie und Körperschaft] ; Monterey Workshop 13 2006 Paris

Composition of Embedded Systems : Scientific and Industrial Issues ; 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4888
Winther, Rune [HerausgeberIn] ; SAFECOMP 24 2005 Fredrikstad

Computer safety, reliability, and security : 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28 - 30, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3688

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr