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
1072 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Author 
Suzuki, Kenji. editor. Higashino, Teruo. editor. Yasumoto, Keiichi. editor. El-Fakih, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68855-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Author 
Barthe, Gilles. editor. Boer, Frank S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68863-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
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:
5. 
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:
6. 
Cover image for Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
Author 
Wu, Song. editor. Yang, Laurence T. editor. Xu, Tony Li. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68083-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for Linux bible
Linux bible
Author 
Negus, Christopher.
Preferred Shelf Number 
QA76.76.O63 N422 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Ubuntu Linux toolbox : 1000+ commands for Ubuntu and Debian power users
Ubuntu Linux toolbox : 1000+ commands for Ubuntu and Debian power users
Author 
Negus, Christopher. Caen, François.
Preferred Shelf Number 
QA76.76.O63 N426 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
10. 
Cover image for Herkes için Windows Vista ve office 2007
Herkes için Windows Vista ve office 2007
Author 
Üçüncü, Hayrettin. Tüzel, Ayşe D.
Preferred Shelf Number 
QA76.76.O63 U28 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
11. 
Cover image for Microsoft Windows Vista
Microsoft Windows Vista
Author 
İnan, M. Yüksel. Demirli, Nihat.
Preferred Shelf Number 
QA76.76.O63 I53 2008
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
12. 
Cover image for Microsoft Windows Vista
Microsoft Windows Vista
Author 
İnan, Yüksel. Demirli, Nihat.
Preferred Shelf Number 
QA76.76.O63 I53 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets