Limit Search Results
Author
SpringerLink (Online service)
(39)
Jeannot, Emmanuel. editor.
(2)
Namyst, Raymond. editor.
(2)
Roman, Jean. editor.
(2)
Abhaya, Vidura Gamini. author.
(1)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
40 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Model-Based Software Performance Analysis
Model-Based Software Performance Analysis
Author 
Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13621-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Introduction to Reliable and Secure Distributed Programming
Introduction to Reliable and Secure Distributed Programming
Author 
Cachin, Christian. author. Guerraoui, Rachid. author. Rodrigues, Luís. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15260-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Architecture of Computing Systems - ARCS 2011 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings
Architecture of Computing Systems - ARCS 2011 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings
Author 
Berekovic, Mladen. editor. Fornaciari, William. editor. Brinkschulte, Uwe. editor. Silvano, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19137-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Analyzing Computer System Performance with Perl::PDQ
Analyzing Computer System Performance with Perl::PDQ
Author 
Gunther, Neil J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22583-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for VLSI 2010 Annual Symposium Selected papers
VLSI 2010 Annual Symposium Selected papers
Author 
Voros, Nikolaos. editor. Mukherjee, Amar. editor. Sklavos, Nicolas. editor. Masselos, Konstantinos. editor. Huebner, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1488-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Soft Errors in Modern Electronic Systems
Soft Errors in Modern Electronic Systems
Author 
Nicolaidis, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6993-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Predictive Technology Model for Robust Nanoelectronic Design
Predictive Technology Model for Robust Nanoelectronic Design
Author 
Cao, Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0445-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Quantitative Security Risk Assessment of Enterprise Networks
Quantitative Security Risk Assessment of Enterprise Networks
Author 
Ou, Xinming. author. Singhal, Anoop. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1860-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Windows 7 in Unternehmensnetzen mit Service Pack 1, IPv4, IPv6
Windows 7 in Unternehmensnetzen mit Service Pack 1, IPv4, IPv6
Author 
Grotegut, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01035-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Praxishandbuch Web Dynpro ABAP
Praxishandbuch Web Dynpro ABAP
Author 
Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11387-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Data Privacy Management and Autonomous Spontaneous Security 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010, Revised Selected Papers
Data Privacy Management and Autonomous Spontaneous Security 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010, Revised Selected Papers
Author 
Garcia-Alfaro, Joaquin. editor. Navarro-Arribas, Guillermo. editor. Cavalli, Ana. editor. Leneutre, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19348-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
Author 
Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20398-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action