Limit Search Results
Author
SpringerLink (Online service)
(80)
Boer, Frank S. editor.
(8)
Bonsangue, Marcello M. editor.
(8)
Graf, Susanne. editor.
(4)
Roever, Willem-Paul. editor.
(4)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
80 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74792-5
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Distributed Services with OpenAFS for Enterprise and Education
Distributed Services with OpenAFS for Enterprise and Education
Author 
Milicchio, Franco. author. Gehrke, Wolfgang A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-36634-8
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Ruby on Rails for PHP and Java Developers
Ruby on Rails for PHP and Java Developers
Author 
Vohra, Deepak. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73145-0
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Debian GNU/Linux Grundlagen, Einrichtung und Betrieb
Debian GNU/Linux Grundlagen, Einrichtung und Betrieb
Author 
Ganten, Peter H. author. Alex, Wulf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73339-3
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Formal Models of Operating System Kernels
Formal Models of Operating System Kernels
Author 
Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-718-3
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Web Component Development with Zope 3
Web Component Development with Zope 3
Author 
Weitershausen, Philipp. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-33808-6
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
Author 
Dunne, Steve. editor. Stoddart, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11768173
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Mac OS X
Mac OS X
Author 
Kobylinski, Rafael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-31283-3
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performance
Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performance
Author 
Dyke, Julian. author. Shaw, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0214-1
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Author 
Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11741060
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Security@Work Pragmatische Konzeption und Implementierung von IT-Sicherheit mit Löungsbeispielen auf Open-Source-Basis
Security@Work Pragmatische Konzeption und Implementierung von IT-Sicherheit mit Löungsbeispielen auf Open-Source-Basis
Author 
Eschweiler, Jög. author. Atencio Psille, Daniel E. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-36226-6
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11804192
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action