Your search returned 7 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
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
2.
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / Darren Cofer, Alessandro Fantechi (eds.). by Series: Lecture notes in computer science ; 5596. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12711871
Publication details: Berlin : Springer, ©2009
Other title:
  • FMICS 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 ; proceedings / Bettina Buth, Gerd Rabe, Till Seyfarth (eds.). by Series: Lecture notes in computer science ; 5775.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12753260
Publication details: Berlin : Springer, 2009
Other title:
  • SAFECOMP 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.). by Series: Lecture notes in computer science ; 5902. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12793839
Publication details: Berlin ; New York : Springer, ©2009
Other title:
  • SBMF 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Architecting critical systems : first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 / Holger Giese (ed.). by Series: Lecture notes in computer science ; 6150. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2010
Other title:
  • ISARCS 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings / Stefan Kowalewski, Marco Roveri (eds.). by Series: Lecture notes in computer science ; 6371. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • FMICS 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Large-scale complex IT systems : development, operation and management, 17th Monterey workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers / Radu Calinescu, David Garlan (eds.). by Series: Lecture notes in computer science ; 7539 | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer, ©2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha