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
70 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
Cover image for Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings
Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings
Author 
Tovar, Eduardo. editor. Tsigas, Philippas. editor. Fouchal, Hacène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77096-1
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Wireless Ad Hoc and Sensor Networks A Cross-Layer Design Perspective
Wireless Ad Hoc and Sensor Networks A Cross-Layer Design Perspective
Author 
Jurdak, Raja. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-39023-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Software Verification and Validation An Engineering and Scientific Approach
Software Verification and Validation An Engineering and Scientific Approach
Author 
Fisher, Marcus S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-47939-2
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Reliability, Life Testing and the Prediction of Service Lives For Engineers and Scientists
Reliability, Life Testing and the Prediction of Service Lives For Engineers and Scientists
Author 
Saunders, Sam C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-48538-6
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
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:
55. 
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:
56. 
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:
57. 
Cover image for Introduction to Operating System Design and Implementation The OSP 2 Approach
Introduction to Operating System Design and Implementation The OSP 2 Approach
Author 
Kifer, Michael. author. Smolka, Scott A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-843-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
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:
59. 
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:
60. 
Cover image for Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings
Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings
Author 
Paillier, Pascal. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74735-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action