Limit Search Results
Author
SpringerLink (Online service)
(68)
Kim, Tai-hoon. editor.
(6)
Ślęzak, Dominik. editor.
(4)
Kang, Byeong-Ho. editor.
(2)
Lee, Changhoon. editor.
(2)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
68 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Stochastic Network Calculus
Stochastic Network Calculus
Author 
Liu, Yong. author. Jiang, Yuming. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-127-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems
Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems
Author 
Seong, Poong Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-384-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Scheduling for Parallel Processing
Scheduling for Parallel Processing
Author 
Drozdowski, Maciej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-310-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009
Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009
Author 
Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-349-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Abnahme komplexer Software-Systeme Das Praxishandbuch
Abnahme komplexer Software-Systeme Das Praxishandbuch
Author 
Osterhage, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68230-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88479-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Passive and Active Network Measurement 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009. Proceedings
Passive and Active Network Measurement 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009. Proceedings
Author 
Moon, Sue B. editor. Teixeira, Renata. editor. Uhlig, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00975-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Traffic Monitoring and Analysis First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedings
Traffic Monitoring and Analysis First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedings
Author 
Papadopouli, Maria. editor. Owezarski, Philippe. editor. Pras, Aiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01645-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
Author 
Kordon, Fabrice. editor. Kermarrec, Yvon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01924-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Evolving OpenMP in an Age of Extreme Parallelism 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedings
Evolving OpenMP in an Age of Extreme Parallelism 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedings
Author 
Müller, Matthias S. editor. Supinski, Bronis R. editor. Chapman, Barbara M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02303-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings
Author 
Al-Begain, Khalid. editor. Fiems, Dieter. editor. Horváth, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02205-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Wireless and Mobile Networking Second IFIP WG 6.8 Joint Conference, WMNC 2009, Gdańsk, Poland, September 9-11, 2009. Proceedings
Wireless and Mobile Networking Second IFIP WG 6.8 Joint Conference, WMNC 2009, Gdańsk, Poland, September 9-11, 2009. Proceedings
Author 
Wozniak, Jozef. editor. Konorski, Jerzy. editor. Katulski, Ryszard. editor. Pach, Andrzej R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03841-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action