Limit Search Results
Author
SpringerLink (Online service)
(298)
Boer, Frank S. editor.
(9)
Bonsangue, Marcello M. editor.
(9)
Yang, Laurence T. editor.
(7)
Guo, Minyi. editor.
(6)
Language
Publication Date
-
Subject
Operating systems (Computers).
(298)
Computer science.
(279)
Computer Communication Networks.
(156)
Information systems.
(85)
Logic design.
(61)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
298 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Author 
Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334156.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36249-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings
Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings
Author 
Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334200.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36424-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Author 
Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334610.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38493-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings
Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings
Author 
Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334662.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38750-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwender
Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwender
Author 
Wolfinger, Christine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337045.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32079-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation
Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation
Author 
Mandl, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338350.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2301-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Author 
Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25271-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings
Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings
Author 
Herkersdorf, Andreas. editor. Römer, Kay. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28293-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
Author 
Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28891-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Author 
Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29479-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
Author 
Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31202-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings
Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings
Author 
Kaklamanis, Christos. editor. Papatheodorou, Theodore. editor. Spirakis, Paul G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32820-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action