Skip to contents

Felici, Massimo [Editor] ; SAFECOMP 18 1999 Toulouse

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 1698
Strohmeier, Alfred [Editor] ; 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 1088
Vardanega, Tullio [Editor] ; 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 3555
Pinho, Luis Miguel [Editor] ; 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 4006
Llamosí, Albert [Editor]; Strohmeier, Alfred [Other] ; 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 3063
Asplund, Lars [Other] ; 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 1411
Brim, Luboš [Editor]; Haverkort, Boudewijn [Other]; Leucker, Martin [Other]; Pol, Jaco van de [Other] ; 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 4346
Blieberger, Johann [Editor] ; Ada Europe, International Conference on Reliable Software Technologies 7 2002 Wien

Reliable software technologies : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 2361
Li, Haijun [Editor]; Shaked, Moshe [Honoree]; Li, Xiaohu [Other]

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in statistics ; 208
Osaki, Shunji [Editor]; Hatoyama, Yukio [Other] ; Reliability Symposium 1984 Nagoya

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg [usw.]: Springer, 1984

Published in: Lecture notes in economics and mathematical systems ; 235
Kordon, Fabrice [Editor]; Kermarrec, Yvon [Other] ; 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 5570
Kordon, Fabrice [Editor]; Vardanega, Tullioi [Other] ; 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 5026
Abdennadher, Nabil [Editor]; Kordon, Fabrice [Other] ; 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 4498
Rosen, Jean-Pierre [Editor] ; Ada Europe, International Conference on Reliable Software Technologies 8 2003 Toulouse

Reliable software technologies : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 2655
Bondavalli, Andrea [Editor]; Brasileiro, Francisco [Other]; Rajsbaum, Sergio [Other] ; LADC 3 2007 Morelia

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

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

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 3747
Gogolla, Martin [Editor]; Wolff, Burkhart [Other] ; TAP 5 2011 Zürich

Tests and proofs : 5th international conference, TAP 2011, Zürich, Switzerland, June 30-July 1, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 6706
Fraser, Gordon [Editor]; Gargantini, Angelo [Other] ; TAP 4 2010 Málaga

Tests and proofs : 4th international conference, TAP 2010, Málaga, Spain, July 1-2, 2010 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 6143
Beckert, Bernhard [Editor]; Hähnle, Reiner [Other] ; TAP 2 2008 Prato

Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9 - 11, 2008 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 4966
Dubois, Catherine [Editor] ; TAP 3 2009 Zürich

Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 5668

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication