Limit Search Results
Author
SpringerLink (Online service)
(425)
Anderson, Tom. editor.
(8)
Kim, Tai-hoon. editor.
(7)
Yang, Laurence T. editor.
(7)
Guo, Minyi. editor.
(6)
Language
Publication Date
-
2018
(77)
2009
(68)
2013
(51)
2012
(40)
2011
(35)
Subject
Computer science.
(364)
Software engineering.
(242)
Computer Communication Networks.
(197)
Information systems.
(83)
Computer network architectures.
(82)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
425 Results Found Subscribe to search results
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Author 
Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03592-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers
Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers
Author 
Braubach, Lars. editor. Murillo, Juan M. editor. (orcid)0000-0003-4961-4030 Kaviani, Nima. editor. Lama, Manuel. editor. (orcid)0000-0001-7195-6155 Burgueño, Loli. editor. (orcid)0000-0002-7779-8810
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91764-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings
Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings
Author 
Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219 Garlan, David. editor. (orcid)0000-0002-6735-8301 Pérez, Jennifer. editor. (orcid)0000-0003-3192-7995 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00761-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I
On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I
Author 
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02610-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Big Data Analytics and Knowledge Discovery 20th International Conference, DaWaK 2018, Regensburg, Germany, September 3–6, 2018, Proceedings
Big Data Analytics and Knowledge Discovery 20th International Conference, DaWaK 2018, Regensburg, Germany, September 3–6, 2018, Proceedings
Author 
Ordonez, Carlos. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98539-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings
Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings
Author 
Ganapathy, Vinod. editor. Jaeger, Trent. editor. Shyamasundar, R.K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05171-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02928-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for LTE-Advanced Relay Technology and Standardization
LTE-Advanced Relay Technology and Standardization
Author 
Yuan, Yifei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333255.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29676-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
Author 
Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334111.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36062-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
Author 
Kormanyos, Christopher Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333884.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34688-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Parallel Programming for Multicore and Cluster Systems
Parallel Programming for Multicore and Cluster Systems
Author 
Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334484.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37801-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Model-Driven Dependability Assessment of Software Systems
Model-Driven Dependability Assessment of Software Systems
Author 
Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334812.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39512-3
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Qualitätssicherung durch Softwaretests Vorgehensweisen und Werkzeuge zum Test von Java-Programmen
Qualitätssicherung durch Softwaretests Vorgehensweisen und Werkzeuge zum Test von Java-Programmen
Author 
Kleuker, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338309.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2068-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Testmanagement bei SAP-Projekten Erfolgreich Planen • Steuern • Reporten bei der Einführung von SAP-Banking
Testmanagement bei SAP-Projekten Erfolgreich Planen • Steuern • Reporten bei der Einführung von SAP-Banking
Author 
Vivenzio, Alberto. author. Vivenzio, Domenico. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338324.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2142-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Guide to Modeling and Simulation of Systems of Systems
Guide to Modeling and Simulation of Systems of Systems
Author 
Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330586.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-865-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for The Effects of Traffic Structure on Application and Network Performance
The Effects of Traffic Structure on Application and Network Performance
Author 
Aikat, Jay. author. Jeffay, Kevin. author. Smith, F. Donelson. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331287.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1848-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Introduction to Queueing Systems with Telecommunication Applications
Introduction to Queueing Systems with Telecommunication Applications
Author 
Lakatos, Laszlo. author. Szeidl, Laszlo. author. Telek, Miklos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331741.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5317-8
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Requirements Engineering and Management for Software Development Projects
Requirements Engineering and Management for Software Development Projects
Author 
Chemuturi, Murali. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331756.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Model-based Health Monitoring of Hybrid Systems
Model-based Health Monitoring of Hybrid Systems
Author 
Wang, Danwei. author. Yu, Ming. author. Low, Chang Boon. author. Arogeti, Shai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332270.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7369-5
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
Author 
Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.
Preferred Shelf Number 
ONLINE(334682.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38853-8
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Emerging Technological Risk Underpinning the Risk of Technology Innovation
Emerging Technological Risk Underpinning the Risk of Technology Innovation
Author 
Anderson, Stuart. author. Felici, Massimo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2143-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Embedded Technologies Vom Treiber bis zur Grafik-Anbindung
Embedded Technologies Vom Treiber bis zur Grafik-Anbindung
Author 
Wietzke, Joachim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23996-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Improving Software Testing Technical and Organizational Developments
Improving Software Testing Technical and Organizational Developments
Author 
Majchrzak, Tim A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27464-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Semantic Web Services Advancement through Evaluation
Semantic Web Services Advancement through Evaluation
Author 
Blake, Brian. editor. Cabral, Liliana. editor. König-Ries, Birgitta. editor. Küster, Ulrich. editor. Martin, David. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28735-0
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Performance Metrics for Haptic Interfaces
Performance Metrics for Haptic Interfaces
Author 
Samur, Evren. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4225-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Interoperable Electronic Safety Equipment Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Responders
Interoperable Electronic Safety Equipment Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Responders
Author 
Grant, Casey C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8277-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
Author 
Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-54216-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Guide to Software Development Designing and Managing the Life Cycle
Guide to Software Development Designing and Managing the Life Cycle
Author 
Langer, Arthur M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2300-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012
Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012
Author 
Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2494-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Resilience Assessment and Evaluation of Computing Systems
Resilience Assessment and Evaluation of Computing Systems
Author 
Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29032-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
Author 
Brunst, Holger. editor. Müller, Matthias S. editor. Nagel, Wolfgang E. editor. Resch, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Encyclopedia of Parallel Computing
Encyclopedia of Parallel Computing
Author 
Padua, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09766-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
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:
34. 
Cover image for New Frontiers in Information and Software as Services Service and Application Design Challenges in the Cloud
New Frontiers in Information and Software as Services Service and Application Design Challenges in the Cloud
Author 
Agrawal, Divyakant. editor. Candan, K. Selçuk. editor. Li, Wen-Syan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19294-4
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Accelerating Test, Validation and Debug of High Speed Serial Interfaces
Accelerating Test, Validation and Debug of High Speed Serial Interfaces
Author 
Fan, Yongquan. author. Zilic, Zeljko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9398-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Advances in Systems Safety Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
Advances in Systems Safety Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
Author 
Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-133-2
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Multimodal Interactive Pattern Recognition and Applications
Multimodal Interactive Pattern Recognition and Applications
Author 
Toselli, Alejandro Héctor. author. Vidal, Enrique. author. Casacuberta, Francisco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-479-1
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for On the Performance of Web Services
On the Performance of Web Services
Author 
Tari, Zahir. author. Phan, Ann Khoi Anh. author. Jayasinghe, Malith. author. Abhaya, Vidura Gamini. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1930-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
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:
40. 
Cover image for Thinkquest~2010 Proceedings of the First International Conference on Contours of Computing Technology
Thinkquest~2010 Proceedings of the First International Conference on Contours of Computing Technology
Author 
Pise, S. J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-81-8489-989-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Performance Models and Risk Management in Communications Systems
Performance Models and Risk Management in Communications Systems
Author 
Gülpınar, Nalân. editor. Harrison, Peter. editor. Rüstem, Berç. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0534-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Handbook of Mobile Ad Hoc Networks for Mobility Models
Handbook of Mobile Ad Hoc Networks for Mobility Models
Author 
Roy, Radhika Ranjan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6050-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Real-Time Systems Design Principles for Distributed Embedded Applications
Real-Time Systems Design Principles for Distributed Embedded Applications
Author 
Kopetz, Hermann. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8237-7
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Scalable Network Monitoring in High Speed Networks
Scalable Network Monitoring in High Speed Networks
Author 
Choi, Baek-Young. author. Zhang, Zhi-Li. author. Du, David Hung-Chang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0119-3
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
Author 
Buttazzo, Giorgio C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0676-1
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Requirements Engineering
Requirements Engineering
Author 
Hull, Elizabeth. author. Jackson, Ken. author. Dick, Jeremy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-405-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System
Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System
Author 
Alfa, Attahiru Sule. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7314-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for HPC@Green IT Green High Performance Computing Methods
HPC@Green IT Green High Performance Computing Methods
Author 
Gruber, Ralf. author. Keller, Vincent. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01789-6
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Parallel Programming For Multicore and Cluster Systems
Parallel Programming For Multicore and Cluster Systems
Author 
Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04818-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Stochastic Models for Fault Tolerance Restart, Rejuvenation and Checkpointing
Stochastic Models for Fault Tolerance Restart, Rejuvenation and Checkpointing
Author 
Wolter, Katinka. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11257-7
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Complex Intelligent Systems and Their Applications
Complex Intelligent Systems and Their Applications
Author 
Xhafa, Fatos. editor. Barolli, Leonard. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1636-5
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
Author 
Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-223-4
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Making Systems Safer Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010
Making Systems Safer Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010
Author 
Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-086-1
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for ImageCLEF Experimental Evaluation in Visual Information Retrieval
ImageCLEF Experimental Evaluation in Visual Information Retrieval
Author 
Müller, Henning. editor. Clough, Paul. editor. Deselaers, Thomas. editor. Caputo, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15181-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Verification and Validation in Systems Engineering Assessing UML/SysML Design Models
Verification and Validation in Systems Engineering Assessing UML/SysML Design Models
Author 
Debbabi, Mourad. author. Hassaïne, Fawzi. author. Jarraya, Yosr. author. Soeanu, Andrei. author. Alawneh, Luay. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15228-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Performance Analysis and Optimization of Multi-Traffic on Communication Networks
Performance Analysis and Optimization of Multi-Traffic on Communication Networks
Author 
Ponomarenko, Leonid. author. Kim, Che Soong. author. Melikov, Agassi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15458-4
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Economic Models and Algorithms for Distributed Systems
Economic Models and Algorithms for Distributed Systems
Author 
Neumann, Dirk. editor. Baker, Mark. editor. Altmann, Jörn. editor. Rana, Omer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8899-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Expert Oracle Database Architecture Oracle Database 9i, 10g, and 11g Programming Techniques and Solutions
Expert Oracle Database Architecture Oracle Database 9i, 10g, and 11g Programming Techniques and Solutions
Author 
Kyte, Thomas. author. Gennick, Jonathan. editor. Andres, Clay. editor. Anglin, Steve. editor. Beckner, Mark. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-2947-6
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Modeling and Tools for Network Simulation
Modeling and Tools for Network Simulation
Author 
Wehrle, Klaus. editor. Güneş, Mesut. editor. Gross, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12331-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Automating Linux and Unix System Administration
Automating Linux and Unix System Administration
Author 
Campi, Nate. author. Bauer, Kirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1060-3
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
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:
62. 
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:
63. 
Cover image for Introduction to Network Simulator NS2
Introduction to Network Simulator NS2
Author 
Issariyakul, Teerawat. author. Hossain, Ekram. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71760-9
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Wireless Technology Applications, Management, and Security
Wireless Technology Applications, Management, and Security
Author 
Powell, Steven. editor. Shim, J.P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71787-6
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Scheduling in Distributed Computing Systems Analysis, Design and Models
Scheduling in Distributed Computing Systems Analysis, Design and Models
Author 
Vidyarthi, Deo Prakash. author. Sarker, Biplab Kumer. author. Tripathi, Anil Kumar. author. Yang, Laurence Tianruo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-74483-4
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
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:
67. 
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:
68. 
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:
69. 
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:
70. 
Cover image for Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Author 
Radetzki, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
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:
72. 
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:
73. 
Cover image for Autonome Mobile Systeme 2009 21. Fachgespräch Karlsruhe, 3./4. Dezember 2009
Autonome Mobile Systeme 2009 21. Fachgespräch Karlsruhe, 3./4. Dezember 2009
Author 
Dillmann, Rüdiger. editor. Beyerer, Jürgen. editor. Stiller, Christoph. editor. Zöllner, J. Marius. editor. Gindele, Tobias. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10284-4
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Novel Algorithms for Fast Statistical Analysis of Scaled Circuits
Novel Algorithms for Fast Statistical Analysis of Scaled Circuits
Author 
Singhee, Amith. author. Rutenbar, Rob A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3100-6
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Distributed Embedded Systems: Design, Middleware and Resources
Distributed Embedded Systems: Design, Middleware and Resources
Author 
Kleinjohann, Bernd. editor. Wolf, Wayne. editor. Kleinjohann, Lisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09661-2
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Stochastic Discrete Event Systems Modeling, Evaluation, Applications
Stochastic Discrete Event Systems Modeling, Evaluation, Applications
Author 
Zimmermann, Armin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74173-2
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Model-based Fault Diagnosis Techniques Design Schemes, Algorithms, and Tools
Model-based Fault Diagnosis Techniques Design Schemes, Algorithms, and Tools
Author 
Ding, Steven X. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76304-8
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Lean Business Systems and Beyond
Lean Business Systems and Beyond
Author 
Koch, Tomasz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-77249-3
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Improvements in System Safety
Improvements in System Safety
Author 
Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-100-8
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for The Testing Network An Integral Approach to Test Activities in Large Software Projects
The Testing Network An Integral Approach to Test Activities in Large Software Projects
Author 
Henry, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78504-0
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Level Crossing Methods in Stochastic Models
Level Crossing Methods in Stochastic Models
Author 
Brill, Percy H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09421-2
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Network Performance Analysis Using the J Programming Language
Network Performance Analysis Using the J Programming Language
Author 
Holt, Alan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Guide to Advanced Empirical Software Engineering
Guide to Advanced Empirical Software Engineering
Author 
Shull, Forrest. editor. Singer, Janice. editor. Sjøberg, Dag I. K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-044-5
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Forecasting Oracle Performance
Forecasting Oracle Performance
Author 
Shallahamer, Craig. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0208-0
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services
Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services
Author 
Gunther, Neil J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-31010-5
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Performancemanagement für serviceorientierte JAVA-Anwendungen Werkzeug- und Methodenunterstützung im Spannungsfeld von Entwicklung und Betrieb
Performancemanagement für serviceorientierte JAVA-Anwendungen Werkzeug- und Methodenunterstützung im Spannungsfeld von Entwicklung und Betrieb
Author 
Schmalenbach, Christof. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-36632-4
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Autonome Mobile Systeme 2007 20. Fachgespräch Kaiserslautern, 18./19. Oktober 2007
Autonome Mobile Systeme 2007 20. Fachgespräch Kaiserslautern, 18./19. Oktober 2007
Author 
Berns, Karsten. editor. Luksch, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74764-2
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Networks and Grids Technology and Theory
Networks and Grids Technology and Theory
Author 
Robertazzi, Thomas G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68235-8
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Advanced Memory Optimization Techniques for Low-Power Embedded Processors
Advanced Memory Optimization Techniques for Low-Power Embedded Processors
Author 
Verma, Manish. author. Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5897-4
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007
The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007
Author 
Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-806-7
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Test and Analysis of Web Services
Test and Analysis of Web Services
Author 
Baresi, Luciano. editor. Nitto, Elisabetta Di. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72912-9
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Security Management, Integrity, and Internal Control in Information Systems IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference
Security Management, Integrity, and Internal Control in Information Systems IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference
Author 
Dowland, Paul. editor. Furnell, Steve. editor. Thuraisingham, Bhavani. editor. Wang, X. Sean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31167-X
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Embedded Systems – Modeling, Technology, and Applications
Embedded Systems – Modeling, Technology, and Applications
Author 
Hommel, Günter. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4933-1
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Pro Nagios 2.0
Pro Nagios 2.0
Author 
Turnbull, James. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0153-3
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Windows Server 2003 Networking Recipes
Windows Server 2003 Networking Recipes
Author 
Allen, Robbie. author. Hunter, Laura E. author. Dinerman, Bradley J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0185-4
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performance
Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performance
Author 
Dyke, Julian. author. Shaw, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0214-1
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Integrated Circuit Test Engineering Modern Techniques
Integrated Circuit Test Engineering Modern Techniques
Author 
Grout, Ian A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-173-3
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for High Availability and Disaster Recovery Concepts, Design, Implementation
High Availability and Disaster Recovery Concepts, Design, Implementation
Author 
Schmidt, Klaus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-34582-5
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Cost-Based Oracle Fundamentals
Cost-Based Oracle Fundamentals
Author 
Lewis, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0087-1
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Running IPv6
Running IPv6
Author 
Beijnum, Iljitsch. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0090-1
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Web Engineering
Web Engineering
Author 
Mendes, Emilia. editor. Mosley, Nile. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28218-1
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Autonome Mobile Systeme 2005 19. Fachgespräch Stuttgart, 8./9. Dezember 2005
Autonome Mobile Systeme 2005 19. Fachgespräch Stuttgart, 8./9. Dezember 2005
Author 
Levi, Paul. editor. Schanz, Michael. editor. Lafrenz, Reinhard. editor. Avrutin, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-30292-1
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006
Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006
Author 
Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-447-3
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Diagnosis and Fault-Tolerant Control
Diagnosis and Fault-Tolerant Control
Author 
Blanke, Mogens. author. Kinnaert, Michel. author. Lunze, Jan. author. Staroswiecki, Marcel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-35653-0
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Rechneraufbau und Rechnerarchitektur
Rechneraufbau und Rechnerarchitektur
Author 
Böttcher, Axel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-44731-8
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11–13, 2006, Braga, Portugal
From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11–13, 2006, Braga, Portugal
Author 
Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Machado, Ricardo J. editor. Pereira, Carlos E. editor. Thiagarajan, P. S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-39362-9
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Hardening Windows
Hardening Windows
Author 
Hassell, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0083-3
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Performance Analysis of Network Architectures
Performance Analysis of Network Architectures
Author 
Tutsch, Dietmar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-34310-5
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Advances in Natural Multimodal Dialogue Systems
Advances in Natural Multimodal Dialogue Systems
Author 
Kuppevelt, Jan C. J. Dybkjær, Laila. Bernsen, Niels Ole. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3933-6
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Quantitative Measure for Discrete Event Supervisory Control
Quantitative Measure for Discrete Event Supervisory Control
Author 
Ray, Asok. editor. Phoha, Vir V. editor. Phoha, Shashi P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103444
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Requirements Engineering
Requirements Engineering
Author 
Hull, Elizabeth. author. Jackson, Kenneth. author. Dick, Jeremy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138335
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005
Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005
Author 
Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b139109
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for An Introduction to Queueing Theory and Matrix-Analytic Methods
An Introduction to Queueing Theory and Matrix-Analytic Methods
Author 
Breuer, L. author. Baum, D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3631-0
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Control Reconfiguration of Dynamical Systems
Control Reconfiguration of Dynamical Systems
Author 
Steffen, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107072
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Software Process Modeling
Software Process Modeling
Author 
Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104986
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for A Software Process Model Handbook for Incorporating People’s Capabilities
A Software Process Model Handbook for Incorporating People’s Capabilities
Author 
Acuña, Silvia Teresita. author. Juristo, Natalia. author. Moreno, Ana María. author. Mon, Alicia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106969
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Performance Evaluation and Planning Methods for the Next Generation Internet
Performance Evaluation and Planning Methods for the Next Generation Internet
Author 
Girard, André. editor. Sansò, Brunilde. editor. Vázquez-Abad, Felisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135550
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Author 
Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137514
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Intelligent Document Retrieval Exploiting Markup Structure
Intelligent Document Retrieval Exploiting Markup Structure
Author 
Kruschwitz, Udo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3768-6
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Hardening Linux
Hardening Linux
Author 
Turnbull, James. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0005-5
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Expert Oracle
Expert Oracle
Author 
Kyte, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0019-2
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Microsoft Content Management Server Field Guide
Microsoft Content Management Server Field Guide
Author 
Briand, François-Paul. author. Wirsching, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0041-3
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for The Robosapien Companion Tips, Tricks, and Hacks
The Robosapien Companion Tips, Tricks, and Hacks
Author 
Samans, Jamie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0056-7
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Expert Oracle Database Architecture 9i and 10g Programming Techniques and Solutions
Expert Oracle Database Architecture 9i and 10g Programming Techniques and Solutions
Author 
Kyte, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0067-3
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Mikrorechner-Technik Übungen und Lösungen
Mikrorechner-Technik Übungen und Lösungen
Author 
Bähring, Helmut. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138234
Format: 
Availability 
Online Library~1
Available:
Copies: