Your search returned 9 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.
Middleware 2007 : ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007 : proceedings / Renato Cerqueira, Roy H. Campbell (eds.). by Series: Lecture notes in computer science ; 4834. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12191420
Publication details: Berlin : Springer, 2007
Other title:
  • 8th International Middleware Conference
  • Eighth International Middleware Conference
  • International Middleware Conference
  • ACM/IFIP/USENIX International Middleware Conference
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Methods, models and tools for fault tolerance / Michael Butler [and others] (eds.). by Series: LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 5454.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: [Berlin] : Springer-Verlag, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
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
5.
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
6.
7.
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
8.
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
9.
Formal methods: Foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / Rohit Gheyi, David Naumann (eds.). by Series: Lecture notes in computer science ; 7498.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • SBMF 2012
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha