Limit Search Results
Author
Boer, Frank S. editor.
(2)
Grotegut, Martin. author.
(2)
Reussner, Ralf. editor.
(2)
Vugt, Sander. author.
(2)
Aitenbichler, Erwin. editor.
(1)
Language
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
53 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Autonomous Systems – Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008
Autonomous Systems – Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008
Author 
Mahr, Bernd. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8889-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mac OS X Leopard Beyond the Manual
Mac OS X Leopard Beyond the Manual
Author 
Meyers, Scott. author. Lee, Mike. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0255-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Beginning Ubuntu Server Administration From Novice to Professional
Beginning Ubuntu Server Administration From Novice to Professional
Author 
Vugt, Sander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0510-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Beginning Ubuntu Linux
Beginning Ubuntu Linux
Author 
Thomas, Keir. author. Sicam, Jaime. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0649-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Beginning Ubuntu LTS Server Administration From Novice to Professional
Beginning Ubuntu LTS Server Administration From Novice to Professional
Author 
Vugt, Sander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Principles of the Spin Model Checker
Principles of the Spin Model Checker
Author 
Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-770-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
Author 
Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68746-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Dependability Metrics Advanced Lectures
Dependability Metrics Advanced Lectures
Author 
Eusgeld, Irene. editor. Freiling, Felix C. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68947-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
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-76448-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets