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
Computer system performance.
(68)
Computer science.
(63)
Computer Communication Networks.
(37)
Computer network architectures.
(34)
Software engineering.
(32)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
72 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Permanent Magnet Motor Technology : Design and Applications, Third Edition
Permanent Magnet Motor Technology : Design and Applications, Third Edition
Author 
Gieras, Jacek F., author. Taylor and Francis.
Preferred Shelf Number 
TK2537
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings
Author 
Bertels, Koen. editor. Dimopoulos, Nikitas. editor. Silvano, Cristina. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03138-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
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:
5. 
Cover image for Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings
Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings
Author 
Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04284-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Performance Evaluation and Benchmarking of Intelligent Systems
Performance Evaluation and Benchmarking of Intelligent Systems
Author 
Madhavan, Raj. editor. Tunstel, Edward. editor. Messina, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0492-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
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:
9. 
Cover image for Zuverlässigkeit mechatronischer Systeme Grundlagen und Bewertung in frühen Entwicklungsphasen
Zuverlässigkeit mechatronischer Systeme Grundlagen und Bewertung in frühen Entwicklungsphasen
Author 
Bertsche, Bernd. author. Göhner, Peter. author. Jensen, Uwe. author. Schinköthe, Wolfgang. author. Wunderlich, Hans-Joachim. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85091-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
Author 
Nielsen, Mogens. editor. Kučera, Antonín. editor. Miltersen, Peter Bro. editor. Palamidessi, Catuscia. editor. Tůma, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95891-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers
Author 
Svensson, Lars. editor. Monteiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95948-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
Author 
Bruni, Roberto. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01364-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action