Limit Search Results
Author
SpringerLink (Online service)
(53)
Boer, Frank S. editor.
(2)
Demirli, Nihat.
(2)
Grotegut, Martin. author.
(2)
Negus, Christopher.
(2)
Language
Subject
Computer science.
(53)
Operating systems (Computers).
(53)
Software engineering.
(30)
Computer Communication Networks.
(23)
Information systems.
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
62 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Author 
Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69149-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings
Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings
Author 
Nikoletseas, Sotiris E. editor. Chlebus, Bogdan S. editor. Johnson, David B. editor. Krishnamachari, Bhaskar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69170-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Multiaccess, Reservations & Queues
Multiaccess, Reservations & Queues
Author 
Denteneer, Dee. author. Leeuwaarden, Johan S. H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69317-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Architecture of Computing Systems – ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings
Architecture of Computing Systems – ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings
Author 
Brinkschulte, Uwe. editor. Ungerer, Theo. editor. Hochberger, Christian. editor. Spallek, Rainer G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78153-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
Author 
Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79719-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Secure Transaction Protocol Analysis Models and Applications
Secure Transaction Protocol Analysis Models and Applications
Author 
Chen, Qingfeng. author. Zhang, Chengqi. author. Zhang, Shichao. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85074-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Secure Data Management 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings
Secure Data Management 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. 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-85259-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Constructing Ambient Intelligence AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers
Constructing Ambient Intelligence AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers
Author 
Mühlhäuser, Max. editor. Ferscha, Alois. editor. Aitenbichler, Erwin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85379-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings
Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88011-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer Security - ESORICS 2008 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings
Computer Security - ESORICS 2008 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings
Author 
Jajodia, Sushil. editor. Lopez, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88313-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
Author 
Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89247-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers
Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers
Author 
Hirschfeld, Robert. editor. Rose, Kim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89275-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action