Zum Inhalt springen

Felici, Massimo [HerausgeberIn] ; SAFECOMP 18 1999 Toulouse

Computer safety, reliability and security : proceedings ; 18th international conference

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, 1999

Erschienen in: Lecture notes in computer science ; 1698
Strohmeier, Alfred [HerausgeberIn] ; Ada Europe, International Conference on Reliable Software Technologies 1 1996 Montreux

Reliable software technologies - Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10 - 14, 1996; 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, 1996

Erschienen in: Lecture notes in computer science ; 1088
Vardanega, Tullio [HerausgeberIn] ; International Conference on Reliable Software Technologies 10 2005 York

Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20 - 24, 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 ; 3555
Pinho, Luis Miguel [HerausgeberIn] ; International Conference on Reliable Software Technologies 11 2006 Porto

Reliable software technologies - Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5 - 9, 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 ; 4006
Llamosí, Albert [HerausgeberIn]; Strohmeier, Alfred [Sonstige Person, Familie und Körperschaft] ; Ada Europe, International Conference on Reliable Software Technologies 9 2004 Palma de Mallorca

Reliable software technologies : Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14 - 18, 2004 ; 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, 2004

Erschienen in: Lecture notes in computer science ; 3063
Asplund, Lars [Sonstige Person, Familie und Körperschaft] ; Ada Europe, International Conference on Reliable Software Technologies 3 1998 Uppsala

Reliable software technologies - Ada-Europe '98 : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8 - 12, 1998; 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, 1998

Erschienen in: Lecture notes in computer science ; 1411
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
Blieberger, Johann [HerausgeberIn] ; Ada Europe, International Conference on Reliable Software Technologies 7 2002 Wien

Reliable software technologies : 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, 2002

Erschienen in: Lecture notes in computer science ; 2361
Li, Haijun [HerausgeberIn]; Shaked, Moshe [GefeierteR]; Li, Xiaohu [Sonstige Person, Familie und Körperschaft]

Stochastic orders in reliability and risk : in honor of professor Moshe Shaked

Schließen

Merkliste

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

New York; Heidelberg [u.a.]: Springer, 2013

Erschienen in: Lecture notes in statistics ; 208
Osaki, Shunji [HerausgeberIn]; Hatoyama, Yukio [Sonstige Person, Familie und Körperschaft] ; Reliability Symposium 1984 Nagoya

Stochastic models in reliability theory : proceedings of a symposium, held in Nagoya, Japan, April 23 - 24, 1984

Schließen

Merkliste

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

Berlin, Heidelberg [usw.]: Springer, 1984

Erschienen in: Lecture notes in economics and mathematical systems ; 235
Kordon, Fabrice [HerausgeberIn]; Kermarrec, Yvon [Sonstige Person, Familie und Körperschaft] ; Ada Europe, International Conference on Reliable Software Technologies 14 2009 Brest, Finistère

Reliable software technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-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 ; 5570
Abdennadher, Nabil [HerausgeberIn]; Kordon, Fabrice [Sonstige Person, Familie und Körperschaft] ; International Conference on Reliable Software Technologies 12 2007 Genf

Reliable software technologies - Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25 - 29, 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 ; 4498
Kordon, Fabrice [HerausgeberIn]; Vardanega, Tullioi [Sonstige Person, Familie und Körperschaft] ; International Conference on Reliable Software Technologies 13 2008 Venedig

Reliable software technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 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 ; 5026
Rosen, Jean-Pierre [HerausgeberIn] ; Ada Europe, International Conference on Reliable Software Technologies 8 2003 Toulouse

Reliable software technologies : 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 ; 2655
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
Fraser, Gordon [HerausgeberIn]; Gargantini, Angelo [Sonstige Person, Familie und Körperschaft] ; TAP 4 2010 Málaga

Tests and proofs : 4th international conference, TAP 2010, Málaga, Spain, July 1-2, 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 ; 6143
Gogolla, Martin [HerausgeberIn]; Wolff, Burkhart [Sonstige Person, Familie und Körperschaft] ; TAP 5 2011 Zürich

Tests and proofs : 5th international conference, TAP 2011, Zürich, Switzerland, June 30-July 1, 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 ; 6706
Gurevich, Yuri [HerausgeberIn]; Meyer, Bertrand [Sonstige Person, Familie und Körperschaft] ; TAP 1 2007 Zürich

Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 ; revised papers

Schließen

Merkliste

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

Berlin; Heidelberg: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4454
Beckert, Bernhard [HerausgeberIn]; Hähnle, Reiner [Sonstige Person, Familie und Körperschaft] ; TAP 2 2008 Prato

Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9 - 11, 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 ; 4966

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