Limit Search Results
Author
SpringerLink (Online service)
(677)
Boer, Frank S. editor.
(9)
Bonsangue, Marcello M. editor.
(9)
Yang, Laurence T. editor.
(8)
Yung, Moti. editor.
(8)
Language
Publication Date
-
Subject
Operating systems (Computers).
(615)
Computer science.
(545)
Software engineering.
(330)
Computer Communication Networks.
(304)
Operating systems (Computers)
(174)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1072 Results Found Subscribe to search results
000000000000DEFAULT
Print
721. 
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:
722. 
Cover image for Computer Security – ESORICS 2007 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 — 26, 2007. Proceedings
Computer Security – ESORICS 2007 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 — 26, 2007. Proceedings
Author 
Biskup, Joachim. editor. López, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74835-9
Format: 
Availability 
Online Library~1
Available:
Copies:
723. 
Cover image for Self-Organizing Systems Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings
Self-Organizing Systems Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings
Author 
Hutchison, David. editor. Katz, Randy H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74917-2
Format: 
Availability 
Online Library~1
Available:
Copies:
724. 
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:
725. 
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:
726. 
Cover image for Secure Data Management 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings
Secure Data Management 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings
Author 
Jonker, Willem. editor. Petković, Milan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75248-6
Format: 
Availability 
Online Library~1
Available:
Copies:
727. 
Cover image for Information Security 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings
Information Security 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings
Author 
Garay, Juan A. editor. Lenstra, Arjen K. editor. Mambo, Masahiro. editor. Peralta, René. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75496-1
Format: 
Availability 
Online Library~1
Available:
Copies:
728. 
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:
729. 
Cover image for Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
Author 
Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76637-7
Format: 
Availability 
Online Library~1
Available:
Copies:
730. 
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:
731. 
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:
732. 
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:
Select an Action