Your search returned 67 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
Computer safety, reliability, and security : 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings / Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (eds.). by Series: Lecture notes in computer science ; 3219.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2004
Other title:
  • SAFECOMP 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdańsk, Poland, September 27-29, 2006 : proceedings / Janusz Gó́rski (ed.). by Series: Lecture notes in computer science ; 4166. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • SAFECOMP 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
5.
6.
Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings / Nabil Abdennadher, Fabrice Kordon (eds.). by Series: Lecture notes in computer science ; 4498.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • Ada-Europe 2007
  • 12th Ada-Europe International Conference on Reliable Software Technologies
  • Twelfth Ada-Europe International Conference on Reliable Software Technologies
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers / Yuri Gurevich, Bertrand Meyer (eds.). by Series: Lecture notes in computer science ; 4454. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12095476
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • TAP 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings / Francesca Saglietti, Norbert Oster (eds.). by Series: Lecture notes in computer science ; 4680. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2007
Other title:
  • SAFECOMP 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
Cooperative bug isolation : winning thesis of the 2005 ACM Doctoral Dissertation Competition / Ben Liblit. by Series: Lecture notes in computer science ; 4440. | ACM distinguished theses
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
11.
12.
Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / Bernhard Beckert, Reiner Hähnle (eds.). by Series: Lecture notes in computer science ; 4966. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12255030
Publication details: Berlin ; New York : Springer, 2008
Other title:
  • TAP 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Reliable software technology : Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings / Tullio Vardanega, Andy Wellings (eds.). by Series: Lecture notes in computer science ; 3555.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • Ada-Europe 2005
  • 10th Ada-Europe International Conference on Reliable Software Technologies
  • Tenth Ada-Europe International Conference on Reliable Software Technologies
  • Ada-Europe International Conference on Reliable Software Technologies
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Computer safety, reliability, and security : 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings / Rune Winther, Bjoern Axel Gran, Gustav Dahll (eds.). by Series: Lecture notes in computer science ; 3688.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • SAFECOMP 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
16.
Reliable software technologies : Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006 : proceedings / Luís Miguel Pinho, Michael González Harbour (eds.). by Series: Lecture notes in computer science ; 4006.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • Ada-Europe 2006
  • 11th Ada-Europe International Conference on Reliable Software Technologies
  • Eleventh Ada-Europe International Conference on Reliable Software Technologies
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdańsk, Poland, September 27-29, 2006 : proceedings / Janusz Gó́rski (ed.). by Series: LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 4166.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • SAFECOMP 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
Rigorous development of complex fault-tolerant systems / Michael Butler [and others] (eds.). by Series: Lecture notes in computer science ; 4157. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • REFT 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
Reliable software technologies--Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 : proceedings / Fabrice Kordon, Tullio Vardanega (eds.). by Series: Lecture notes in computer science ; 5026. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2008
Other title:
  • Ada-Europe 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
Computer safety, reliability, and security : 27th international conference, SAFECOMP 2008, Newcastle on Tyne, UK, September 22-25, 2008 : proceedings / Michael D. Harrison, Mark-Alexander Sujan (eds.). by Series: Lecture notes in computer science ; 5219. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2008
Other title:
  • SAFECOMP 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha