Limit Search Results
Author
SpringerLink (Online service)
(53)
Bonsangue, Marcello M. editor.
(2)
ScienceDirect (Online service)
(2)
Yang, Laurence T. editor.
(2)
Cesati, Marco.,ort. yaz.
(1)
Language
Subject
Operating systems (Computers).
(53)
Computer science.
(52)
Computer Communication Networks.
(34)
Software engineering.
(31)
Information systems.
(19)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
69 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures
Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures
Author 
Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74810-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Distributed Computing 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings
Distributed Computing 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings
Author 
Pelc, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75142-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Formal Aspects in Security and Trust Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers
Formal Aspects in Security and Trust Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers
Author 
Dimitrakos, Theo. editor. Martinelli, Fabio. editor. Ryan, Peter Y. A. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75227-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Advances in Information and Computer Security Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007. Proceedings
Advances in Information and Computer Security Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007. Proceedings
Author 
Miyaji, Atsuko. editor. Kikuchi, Hiroaki. editor. Rannenberg, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75651-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Extreme Man-Made and Natural Hazards in Dynamics of Structures
Extreme Man-Made and Natural Hazards in Dynamics of Structures
Author 
Ibrahimbegovic, Adnan. editor. Kozar, Ivica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5656-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Responsibility and Dependable Systems
Responsibility and Dependable Systems
Author 
Dewsbury, Guy. editor. Dobson, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-626-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
Cover image for Workflows for e-Science Scientific Workflows for Grids
Workflows for e-Science Scientific Workflows for Grids
Author 
Taylor, Ian J. editor. Deelman, Ewa. editor. Gannon, Dennis B. editor. Shields, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-757-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
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:
22. 
Cover image for Mikrocontroller und Mikroprozessoren
Mikrocontroller und Mikroprozessoren
Author 
Brinkschulte, Uwe. author. Ungerer, Theo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-46819-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
Author 
Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71035-6
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Architecting Dependable Systems IV
Architecting Dependable Systems IV
Author 
Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74035-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action