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
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Internet of Things, Smart Spaces, and Next Generation Networks and Systems 18th International Conference, NEW2AN 2018, and 11th Conference, ruSMART 2018, St. Petersburg, Russia, August 27–29, 2018, Proceedings
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 18th International Conference, NEW2AN 2018, and 11th Conference, ruSMART 2018, St. Petersburg, Russia, August 27–29, 2018, Proceedings
Author 
Galinina, Olga. editor. (orcid)0000-0002-5386-1061 Andreev, Sergey. editor. (orcid)0000-0001-8223-3665 Balandin, Sergey. editor. (orcid)0000-0003-3238-4830 Koucheryavy, Yevgeni. editor. (orcid)0000-0003-3976-297X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01168-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Author 
Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01461-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings
Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings
Author 
Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258 Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Grochla, Krzysztof. editor. (orcid)0000-0001-6221-4790 Lent, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00840-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Author 
Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02227-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 New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
Author 
Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90421-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Lectures on Runtime Verification Introductory and Advanced Topics
Lectures on Runtime Verification Introductory and Advanced Topics
Author 
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Falcone, Yliès. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75632-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Image and Video Technology 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers
Image and Video Technology 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers
Author 
Paul, Manoranjan. editor. Hitoshi, Carlos. editor. Huang, Qingming. editor. (orcid)0000-0002-9247-2763 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75786-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II
Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II
Author 
Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78139-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for 5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
Author 
Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72823-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings
Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings
Author 
Moreno García-Loygorri, Juan. editor. (orcid)0000-0002-4626-1535 Pérez-Yuste, Antonio. editor. (orcid)0000-0002-3503-5065 Briso, César. editor. (orcid)0000-0001-8219-9110 Berbineau, Marion. editor. Pirovano, Alain. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90371-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Mobile Internet Security First International Symposium, MobiSec 2016, Taichung, Taiwan, July 14-15, 2016, Revised Selected Papers
Mobile Internet Security First International Symposium, MobiSec 2016, Taichung, Taiwan, July 14-15, 2016, Revised Selected Papers
Author 
You, Ilsun. editor. Leu, Fang-Yie. editor. Chen, Hsing-Chung. editor. Kotenko, Igor. editor. (orcid)0000-0001-6859-7120 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7850-7
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings
Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings
Author 
R. Luaces, Miguel. editor. Karimipour, Farid. editor. (orcid)0000-0001-6746-4174 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90053-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Author 
Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90686-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings
Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings
Author 
Gaj, Piotr. editor. (orcid)0000-0002-2291-7341 Sawicki, Michał. editor. (orcid)0000-0002-4610-4249 Suchacka, Grażyna. editor. Kwiecień, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92459-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
Author 
Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92997-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Author 
Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94295-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Author 
Chin, Francis Y. L. editor. Chen, C. L. Philip. editor. (orcid)0000-0001-5451-7230 Khan, Latifur. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94301-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I
Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I
Author 
Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78130-3
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Author 
Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93317-7
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers
Author 
Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94135-6
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II
Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II
Author 
Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66628-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Author 
Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94821-8
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Computer and Network Security Essentials
Computer and Network Security Essentials
Author 
Daimi, Kevin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58424-9
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Advanced Maintenance Policies for Shock and Damage Models
Advanced Maintenance Policies for Shock and Damage Models
Author 
Zhao, Xufeng. author. Nakagawa, Toshio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70456-2
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Graph Data Management Fundamental Issues and Recent Developments
Graph Data Management Fundamental Issues and Recent Developments
Author 
Fletcher, George. editor. Hidders, Jan. editor. Larriba-Pey, Josep Lluís. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96193-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings
Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings
Author 
Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92375-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
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:
29. 
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:
30. 
Cover image for Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers
Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers
Author 
Mann, Zoltán Ádám. editor. Stolz, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-79090-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Author 
Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99725-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Greening Video Distribution Networks Energy-Efficient Internet Video Delivery
Greening Video Distribution Networks Energy-Efficient Internet Video Delivery
Author 
Popescu, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71718-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings
Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings
Author 
Mondal, Anirban. editor. Gupta, Himanshu. editor. Srivastava, Jaideep. editor. Reddy, P. Krishna. editor. Somayajulu, D.V.L.N. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04780-1
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89960-2
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Author 
Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89366-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Author 
Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89722-6
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Author 
Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03769-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
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. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-56718-0
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers
New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers
Author 
Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91632-3
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
Author 
Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92040-5
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Author 
Yang, Alvin. editor. Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898 Li, Ying. editor. Dico, Awel. editor. Chen, Xiangang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94472-2
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers
Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers
Author 
Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93641-3
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Big Data 6th CCF Conference, Big Data 2018, Xi'an, China, October 11-13, 2018, Proceedings
Big Data 6th CCF Conference, Big Data 2018, Xi'an, China, October 11-13, 2018, Proceedings
Author 
Xu, Zongben. editor. Gao, Xinbo. editor. Miao, Qiguang. editor. Zhang, Yunquan. editor. Bu, Jiajun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2922-7
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings
Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings
Author 
Li, Cheng. editor. Mao, Shiwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90802-1
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Author 
Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92970-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Advances in Databases and Information Systems 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018, Proceedings
Advances in Databases and Information Systems 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018, Proceedings
Author 
Benczúr, András. editor. (orcid)0000-0002-8678-3346 Thalheim, Bernhard. editor. (orcid)0000-0002-7909-7786 Horváth, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98398-1
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers
Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers
Author 
Deka, Ganesh Chandra. editor. Kaiwartya, Omprakash. editor. Vashisth, Pooja. editor. Rathee, Priyanka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2035-4
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings
Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings
Author 
Krogstie, John. editor. Reijers, Hajo A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91563-0
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Wireless and Satellite Systems 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017, Proceedings
Wireless and Satellite Systems 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017, Proceedings
Author 
Pillai, Prashant. editor. Sithamparanathan, Kandeepan. editor. Giambene, Giovanni. editor. Vázquez, Miguel Ángel. editor. Mitchell, Paul Daniel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76571-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Author 
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95582-7
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Author 
Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99933-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings
Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings
Author 
Larrucea, Xabier. editor. Santamaria, Izaskun. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97925-0
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
Author 
Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Fill, Hans-Georg. editor. Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76168-8
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
Author 
Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02768-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Author 
Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77935-5
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
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:
57. 
Cover image for Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings
Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings
Author 
Montavont, Nicolas. editor. Papadopoulos, Georgios Z. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00247-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Author 
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00359-3
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings
Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings
Author 
Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 Cobb, Sue. editor. (orcid)0000-0002-4600-6235 Interrante, Victoria. editor. (orcid)0000-0002-3313-6663 kato, Hirokazu. editor. Stricker, Didier. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01790-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Wired/Wireless Internet Communications 16th IFIP WG 6.2 International Conference, WWIC 2018, Boston, MA, USA, June 18–20, 2018, Proceedings
Wired/Wireless Internet Communications 16th IFIP WG 6.2 International Conference, WWIC 2018, Boston, MA, USA, June 18–20, 2018, Proceedings
Author 
Chowdhury, Kaushik Roy. editor. Di Felice, Marco. editor. Matta, Ibrahim. editor. Sheng, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02931-9
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
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:
62. 
Cover image for Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers
Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers
Author 
Medina, Manel. editor. Mitrakas, Andreas. editor. Rannenberg, Kai. editor. Schweighofer, Erich. editor. Tsouroulas, Nikolaos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02547-2
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings
Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings
Author 
Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00623-5
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Distributed Computing and Internet Technology 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11–13, 2018, Proceedings
Distributed Computing and Internet Technology 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11–13, 2018, Proceedings
Author 
Negi, Atul. editor. (orcid)0000-0001-5707-130X Bhatnagar, Raj. editor. Parida, Laxmi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72344-0
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Author 
Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71734-0
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings
Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings
Author 
Huang, Mengxing. editor. Zhang, Yan. editor. Jing, Weipeng. editor. Mehmood, Amjad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72998-5
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Performance Evaluation and Benchmarking for the Analytics Era 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers
Performance Evaluation and Benchmarking for the Analytics Era 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72401-0
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Author 
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74313-4
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I
Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I
Author 
Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66625-9
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Social Computing and Social Media. User Experience and Behavior 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
Social Computing and Social Media. User Experience and Behavior 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
Author 
Meiselwitz, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91521-0
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Author 
Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02450-5
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
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:
73. 
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:
74. 
Cover image for Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
Author 
Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94764-8
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools
Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools
Author 
Ganchev, Ivan. editor. (orcid)0000-0003-0535-7087 van der Mei, R. D. editor. van den Berg, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90415-3
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
Author 
Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75178-8
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers
Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers
Author 
Lazovik, Alexander. editor. Schulte, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72125-5
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
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:
79. 
Cover image for 4G Femtocells Resource Allocation and Interference Management
4G Femtocells Resource Allocation and Interference Management
Author 
Zhang, Haijun. author. Chu, Xiaoli. author. Wen, Xiangming. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332469.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-9080-7
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
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:
81. 
Cover image for Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
Author 
Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334079.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35893-7
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Modern Probabilistic Methods for Analysis of Telecommunication Networks Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings
Modern Probabilistic Methods for Analysis of Telecommunication Networks Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings
Author 
Dudin, Alexander. editor. Klimenok, Valentina. editor. Tsarenkov, Gennadiy. editor. Dudin, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334093.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35980-4
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
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:
84. 
Cover image for Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings
Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings
Author 
Demeester, Piet. editor. Moerman, Ingrid. editor. Terzis, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36672-7
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers
Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334274.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36727-4
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
Author 
Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334290.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36781-6
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Data Traffic Monitoring and Analysis From Measurement, Classification, and Anomaly Detection to Quality of Experience
Data Traffic Monitoring and Analysis From Measurement, Classification, and Anomaly Detection to Quality of Experience
Author 
Biersack, Ernst. editor. Callegari, Christian. editor. Matijasevic, Maja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334291.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36784-7
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers
Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers
Author 
Manninen, Pekka. editor. Öster, Per. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334296.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36803-5
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Author 
Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Preferred Shelf Number 
ONLINE(334328.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36949-0
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers
Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers
Author 
Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334425.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37419-7
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
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:
92. 
Cover image for Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Author 
Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Preferred Shelf Number 
ONLINE(334508.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37974-1
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Green Communication and Networking Second International Conference, GreeNets 2012, Gandia, Spain, October 25-26, 2012, Revised Selected Papers
Green Communication and Networking Second International Conference, GreeNets 2012, Gandia, Spain, October 25-26, 2012, Revised Selected Papers
Author 
Mauri, Jaime Lloret. editor. Rodrigues, Joel J. P. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334509.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37977-2
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Benchmarking Peer-to-Peer Systems Understanding Quality of Service in Large-Scale Distributed Systems
Benchmarking Peer-to-Peer Systems Understanding Quality of Service in Large-Scale Distributed Systems
Author 
Effelsberg, Wolfgang. editor. Steinmetz, Ralf. editor. Strufe, Thorsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334646.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38673-2
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
Author 
Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334658.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38718-0
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
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:
97. 
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:
98. 
Cover image for Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings
Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings
Author 
Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334686.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38865-1
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Author 
Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334870.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39955-8
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
Author 
Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334882.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40047-6
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Author 
Joshi, Kaustubh. editor. Siegle, Markus. editor. Stoelinga, Mariëlle. editor. D’Argenio, Pedro R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334907.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40196-1
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings
OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings
Author 
Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334990.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40698-0
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings
Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings
Author 
Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334995.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40725-3
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings
Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings
Author 
Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.
Preferred Shelf Number 
ONLINE(335047.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41043-7
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
Author 
Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Preferred Shelf Number 
ONLINE(335120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41533-3
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II
Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II
Author 
Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335148.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41908-9
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I
Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I
Author 
Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335179.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45025-9
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings
AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings
Author 
Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335181.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45037-2
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Privacy and Security for Cloud Computing
Privacy and Security for Cloud Computing
Author 
Pearson, Siani. editor. Yee, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330926.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4189-1
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
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:
111. 
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:
112. 
Cover image for Cooperative Networking in a Heterogeneous Wireless Medium
Cooperative Networking in a Heterogeneous Wireless Medium
Author 
Ismail, Muhammad. author. Zhuang, Weihua. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332201.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7079-3
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers
Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers
Author 
Yousif, Mazin. editor. Schubert, Lutz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333002.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03874-2
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
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:
115. 
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:
116. 
Cover image for Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation
Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation
Author 
ElAarag, Hala. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331089.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4893-7
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Autonomic Computing Principles, Design and Implementation
Autonomic Computing Principles, Design and Implementation
Author 
Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331115.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
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:
119. 
Cover image for Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings
Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings
Author 
Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334223.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36516-4
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Author 
Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334136.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36157-9
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Distributed Applications and Interoperable Systems 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Distributed Applications and Interoperable Systems 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Author 
Dowling, Jim. editor. Taïani, François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334618.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38541-4
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings
Author 
Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334797.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39408-9
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
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:
124. 
Cover image for Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings
Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings
Author 
Ren, Kui. editor. Liu, Xue. editor. Liang, Weifa. editor. Xu, Ming. editor. Jia, Xiaohua. editor.
Preferred Shelf Number 
ONLINE(334838.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39701-1
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers
Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers
Author 
Pierson, Jean-Marc. editor. Da Costa, Georges. editor. Dittmann, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334960.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40517-4
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Internet of Things, Smart Spaces, and Next Generation Networking 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings
Internet of Things, Smart Spaces, and Next Generation Networking 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings
Author 
Balandin, Sergey. editor. Andreev, Sergey. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334926.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40316-3
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
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:
128. 
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:
129. 
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:
130. 
Cover image for Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers
Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers
Author 
Zhang, Xi. editor. Qiao, Daji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29222-4
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Traffic Monitoring and Analysis 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012. Proceedings
Traffic Monitoring and Analysis 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012. Proceedings
Author 
Pescapè, Antonio. editor. Salgarelli, Luca. editor. Dimitropoulos, Xenofontas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28534-9
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers
Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers
Author 
Korakis, Thanasis. editor. Li, Hongbin. editor. Tran-Gia, Phuoc. editor. Park, Hong-Shik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29273-6
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II
Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II
Author 
Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29740-3
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for OpenMP in a Heterogeneous World 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings
OpenMP in a Heterogeneous World 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings
Author 
Chapman, Barbara M. editor. Massaioli, Federico. editor. Müller, Matthias S. editor. Rorro, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30961-8
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
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:
136. 
Cover image for Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers
Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers
Author 
Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32778-0
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
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:
138. 
Cover image for Energy Efficient Data Centers First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers
Energy Efficient Data Centers First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers
Author 
Huusko, Jyrki. editor. Meer, Hermann. editor. Klingert, Sonja. editor. Somov, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33645-4
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
Author 
France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33666-9
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers
Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers
Author 
Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33681-2
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
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:
142. 
Cover image for Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings
Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings
Author 
Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31217-5
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings
Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings
Author 
Wang, Xinbing. editor. Zheng, Rong. editor. Jing, Tao. editor. Xing, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31869-6
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers
Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers
Author 
Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33533-4
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Telematics in the Transport Environment 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustroń, Poland, October 10–13, 2012. Selected Papers
Telematics in the Transport Environment 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustroń, Poland, October 10–13, 2012. Selected Papers
Author 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34050-5
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency VI
Transactions on Petri Nets and Other Models of Concurrency VI
Author 
Jensen, Kurt. editor. Aalst, Wil M. editor. Ajmone Marsan, Marco. editor. Franceschinis, Giuliana. editor. Kleijn, Jetty. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35179-2
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Economics of Grids, Clouds, Systems, and Services 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings
Economics of Grids, Clouds, Systems, and Services 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings
Author 
Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35194-5
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Network Computing and Information Security Second International Conference, NCIS 2012, Shanghai, China, December 7-9, 2012. Proceedings
Network Computing and Information Security Second International Conference, NCIS 2012, Shanghai, China, December 7-9, 2012. Proceedings
Author 
Lei, Jingsheng. editor. Wang, Fu Lee. editor. Li, Mo. editor. Luo, Yuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35211-9
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers
Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers
Author 
Korakis, Thanasis. editor. Zink, Michael. editor. Ott, Maximilian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35576-9
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
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:
151. 
Cover image for Service Placement in Ad Hoc Networks
Service Placement in Ad Hoc Networks
Author 
Wittenburg, Georg. author. Schiller, Jochen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2363-7
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
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:
153. 
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:
154. 
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:
155. 
Cover image for From scientific instrument to industrial machine Coping with architectural stress in embedded systems
From scientific instrument to industrial machine Coping with architectural stress in embedded systems
Author 
Doornbos, Richard. editor. van Loo, Sjir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4147-8
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
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:
157. 
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:
158. 
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:
159. 
Cover image for Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
Author 
Erlebach, Thomas. editor. Nikoletseas, Sotiris. editor. Orponen, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28209-6
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers
Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers
Author 
Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28675-9
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
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:
162. 
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:
163. 
Cover image for Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers
Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers
Author 
Simplot-Ryl, David. editor. Dias de Amorim, Marcelo. editor. Giordano, Silvia. editor. Helmy, Ahmed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29096-1
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I
Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I
Author 
Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29737-3
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
Author 
Al-Begain, Khalid. editor. Fiems, Dieter. editor. Vincent, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30782-9
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Data Management in Cloud, Grid and P2P Systems 5th International Conference, Globe 2012, Vienna, Austria, September 5-6, 2012. Proceedings
Data Management in Cloud, Grid and P2P Systems 5th International Conference, Globe 2012, Vienna, Austria, September 5-6, 2012. Proceedings
Author 
Hameurlain, Abdelkader. editor. Hussain, Farookh Khadeer. editor. Morvan, Franck. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32344-7
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Author 
Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32495-6
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Topics in Performance Evaluation, Measurement and Characterization Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers
Topics in Performance Evaluation, Measurement and Characterization Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32627-1
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Grids, Clouds and Virtualization
Grids, Clouds and Virtualization
Author 
Cafaro, Massimo. editor. Aloisio, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-049-6
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
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:
171. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
Author 
Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17752-1
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers
Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers
Author 
Magedanz, Thomas. editor. Gavras, Anastasius. editor. Thanh, Nguyen Huu. editor. Chase, Jeffry S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17851-1
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Performance Evaluation, Measurement and Characterization of Complex Systems Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers
Performance Evaluation, Measurement and Characterization of Complex Systems Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18206-8
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
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:
175. 
Cover image for Wireless Algorithms, Systems, and Applications 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011. Proceedings
Wireless Algorithms, Systems, and Applications 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011. Proceedings
Author 
Cheng, Yu. editor. Eun, Do Young. editor. Qin, Zhiguang. editor. Song, Min. editor. Xing, Kai. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23490-3
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
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:
177. 
Cover image for Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Author 
Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16277-0
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Traffic Monitoring and Analysis Third International Workshop, TMA 2011, Vienna, Austria, April 27, 2011. Proceedings
Traffic Monitoring and Analysis Third International Workshop, TMA 2011, Vienna, Austria, April 27, 2011. Proceedings
Author 
Domingo-Pascual, Jordi. editor. Shavitt, Yuval. editor. Uhlig, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20305-3
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
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:
180. 
Cover image for Information Security and Assurance International Conference, ISA 2011, Brno, Czech Republic, August 15-17, 2011. Proceedings
Information Security and Assurance International Conference, ISA 2011, Brno, Czech Republic, August 15-17, 2011. Proceedings
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Robles, Rosslin John. editor. Balitanas, Maricel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23141-4
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
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:
182. 
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:
183. 
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:
184. 
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:
185. 
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:
186. 
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:
187. 
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:
188. 
Cover image for Dependability of Networked Computer-based Systems
Dependability of Networked Computer-based Systems
Author 
Verma, Ajit Kumar. author. Ajit, Srividya. author. Kumar, Manoj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-318-3
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
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:
190. 
Cover image for Sensing and Systems in Pervasive Computing Engineering Context Aware Systems
Sensing and Systems in Pervasive Computing Engineering Context Aware Systems
Author 
Chalmers, Dan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-841-6
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
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:
192. 
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:
193. 
Cover image for Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
Author 
Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21292-5
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Human Interface and the Management of Information. Interacting with Information Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II
Human Interface and the Management of Information. Interacting with Information Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II
Author 
Salvendy, Gavriel. editor. Smith, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21669-5
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers
Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers
Author 
Xenakis, Christos. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21694-7
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings
Author 
Al-Begain, Khalid. editor. Balsamo, Simonetta. editor. Fiems, Dieter. editor. Marin, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21713-5
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Computer Networks 18th Conference, CN 2011, Ustron, Poland, June 14-18, 2011. Proceedings
Computer Networks 18th Conference, CN 2011, Ustron, Poland, June 14-18, 2011. Proceedings
Author 
Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21771-5
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Human Interface and the Management of Information. Interacting with Information Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I
Human Interface and the Management of Information. Interacting with Information Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I
Author 
Smith, Michael J. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21793-7
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Euro-Par 2010 Parallel Processing Workshops HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31–September 3, 2010, Revised Selected Papers
Euro-Par 2010 Parallel Processing Workshops HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31–September 3, 2010, Revised Selected Papers
Author 
Guarracino, Mario R. editor. Vivien, Frédéric. editor. Träff, Jesper Larsson. editor. Cannatoro, Mario. editor. Danelutto, Marco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21878-1
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
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:
201. 
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:
202. 
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:
203. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings
Author 
Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24154-3
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Multimodal Usability
Multimodal Usability
Author 
Bernsen, Niels Ole. author. Dybkjær, Laila. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-553-6
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Pervasive Computing Innovations in Intelligent Multimedia and Applications
Pervasive Computing Innovations in Intelligent Multimedia and Applications
Author 
Hassanien, Aboul-Ella. editor. Abawajy, Jemal H. editor. Abraham, Ajith. editor. Hagras, Hani. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-599-4
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
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:
207. 
Cover image for Distributed Computing and Networking 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings
Distributed Computing and Networking 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings
Author 
Kant, Krishna. editor. Pemmaraju, Sriram V. editor. Sivalingam, Krishna M. editor. Wu, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11322-2
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers
Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers
Author 
Zheng, Jun. editor. Mao, Shiwen. editor. Midkiff, Scott F. editor. Zhu, Hua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11723-7
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers
Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers
Author 
Doulamis, Anastasios. editor. Mambretti, Joe. editor. Tomkos, Ioannis. editor. Varvarigou, Theodora. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11733-6
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
Author 
Zhang, Wu. editor. Chen, Zhangxin. editor. Douglas, Craig C. editor. Tong, Weiqin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11842-5
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Traffic Monitoring and Analysis Second International Workshop, TMA 2010, Zurich, Switzerland, April 7, 2010.Proceedings
Traffic Monitoring and Analysis Second International Workshop, TMA 2010, Zurich, Switzerland, April 7, 2010.Proceedings
Author 
Ricciato, Fabio. editor. Mellia, Marco. editor. Biersack, Ernst. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12365-8
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
Author 
Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12566-9
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Computer Networks 17th Conference, CN 2010, Ustroń, Poland, June 15-19, 2010. Proceedings
Computer Networks 17th Conference, CN 2010, Ustroń, Poland, June 15-19, 2010. Proceedings
Author 
Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13861-4
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Euro-Par 2009 – Parallel Processing Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers
Euro-Par 2009 – Parallel Processing Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers
Author 
Lin, Hai-Xiang. editor. Alexander, Michael. editor. Forsell, Martti. editor. Knüpfer, Andreas. editor. Prodan, Radu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14122-5
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Recent Trends in Wireless and Mobile Networks Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings
Recent Trends in Wireless and Mobile Networks Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings
Author 
Özcan, Abdulkadir. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14171-3
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
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:
217. 
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:
218. 
Cover image for Economics of Grids, Clouds, Systems, and Services 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings
Economics of Grids, Clouds, Systems, and Services 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings
Author 
Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15681-6
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Algorithms for Sensor Systems 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
Algorithms for Sensor Systems 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
Author 
Scheideler, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16988-5
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Ad Hoc Networks Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers
Ad Hoc Networks Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers
Author 
Zheng, Jun. editor. Simplot-Ryl, David. editor. Leung, Victor C. M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17994-5
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings
Author 
Al-Begain, Khalid. editor. Fiems, Dieter. editor. Knottenbelt, William J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13568-2
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers
Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers
Author 
Rome, Erich. editor. Bloomfield, Robin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14379-3
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings
Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings
Author 
Pandurangan, Gopal. editor. Anil Kumar, V. S. editor. Ming, Gu. editor. Liu, Yunhao. editor. Li, Yingshu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14654-1
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
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:
225. 
Cover image for Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, Proceedings, Part I
Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, Proceedings, Part I
Author 
D’Ambra, Pasqua. editor. Guarracino, Mario. editor. Talia, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15277-1
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II
Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II
Author 
D’Ambra, Pasqua. editor. Guarracino, Mario. editor. Talia, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15291-7
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
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:
228. 
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:
229. 
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:
230. 
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:
231. 
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:
232. 
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:
233. 
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:
234. 
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:
235. 
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:
236. 
Cover image for Cloud Computing Principles, Systems and Applications
Cloud Computing Principles, Systems and Applications
Author 
Antonopoulos, Nick. editor. Gillam, Lee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-241-4
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
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:
238. 
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:
239. 
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:
240. 
Cover image for NETWORKING 2009 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings
NETWORKING 2009 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings
Author 
Fratta, Luigi. editor. Schulzrinne, Henning. editor. Takahashi, Yutaka. editor. Spaniol, Otto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01399-7
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Reconfigurable Computing: Architectures, Tools and Applications 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings
Reconfigurable Computing: Architectures, Tools and Applications 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings
Author 
Becker, Jürgen. editor. Woods, Roger. editor. Athanas, Peter. editor. Morgan, Fearghal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00641-8
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Transactions on Aspect-Oriented Software Development V
Transactions on Aspect-Oriented Software Development V
Author 
Rashid, Awais. editor. Ossher, Harold. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02059-9
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Networks for Grid Applications Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers
Networks for Grid Applications Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers
Author 
Vicat-Blanc Primet, Pascale. editor. Kudoh, Tomohiro. editor. Mambretti, Joe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02080-3
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings
Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings
Author 
Krishnamachari, Bhaskar. editor. Suri, Subhash. editor. Heinzelman, Wendi. editor. Mitra, Urbashi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02085-8
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Future Multimedia Networking Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings
Future Multimedia Networking Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings
Author 
Mauthe, Andreas. editor. Zeadally, Sherali. editor. Cerqueira, Eduardo. editor. Curado, Marília. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02472-6
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Human Interface and the Management of Information. Information and Interaction Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II
Human Interface and the Management of Information. Information and Interaction Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II
Author 
Salvendy, Gavriel. editor. Smith, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02559-4
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers
Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers
Author 
Mueller, Peter. editor. Cao, Jian-Nong. editor. Wang, Cho-Li. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10485-5
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Future Generation Information Technology First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12,2009. Proceedings
Future Generation Information Technology First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12,2009. Proceedings
Author 
Lee, Young-hoon. editor. Kim, Tai-hoon. editor. Fang, Wai-chi. editor. Ślęzak, Dominik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10509-8
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for U- and E-Service, Science and Technology International Conference, UNESST 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
U- and E-Service, Science and Technology International Conference, UNESST 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Author 
Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Ma, Jianhua. editor. Fang, Wai-Chi. editor. Sandnes, Frode Eika. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10580-7
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Author 
Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. Jiang, Tao. editor. Verner, June. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10619-4
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Quality of Service in Heterogeneous Networks 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23-25, 2009 Proceedings
Quality of Service in Heterogeneous Networks 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23-25, 2009 Proceedings
Author 
Bartolini, Novella. editor. Nikoletseas, Sotiris. editor. Sinha, Prasun. editor. Cardellini, Valeria. editor. Mahanti, Anirban. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10625-5
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings
Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings
Author 
Jaatun, Martin Gilje. editor. Zhao, Gansen. editor. Rong, Chunming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10665-1
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings
Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings
Author 
Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10741-2
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Architecting Dependable Systems VI
Architecting Dependable Systems VI
Author 
Lemos, Rogério. editor. Fabre, Jean-Charles. editor. Gacek, Cristina. editor. Gadducci, Fabio. editor. Beek, Maurice. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10248-6
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
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:
256. 
Cover image for Network Control and Optimization Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings
Network Control and Optimization Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings
Author 
Núñez-Queija, Rudesindo. editor. Resing, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10406-0
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers
Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10424-4
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
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:
259. 
Cover image for The Internet of the Future 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, Barcelona, Spain, September 7-9, 2009. Proceedings
The Internet of the Future 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, Barcelona, Spain, September 7-9, 2009. Proceedings
Author 
Oliver, Miquel. editor. Sallent, Sebastià. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03700-9
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings
Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings
Author 
Ropo, Matti. editor. Westerholm, Jan. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03770-2
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Mobile Lightweight Wireless Systems First International ICST Conference, MOBILIGHT 2009, Athens, Greece, May 18-20, 2009, Revised Selected Papers
Mobile Lightweight Wireless Systems First International ICST Conference, MOBILIGHT 2009, Athens, Greece, May 18-20, 2009, Revised Selected Papers
Author 
Granelli, Fabrizio. editor. Skianis, Charalabos. editor. Chatzimisios, Periklis. editor. Xiao, Yang. editor. Redana, Simone. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03819-8
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
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:
263. 
Cover image for Euro-Par 2009 Parallel Processing 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings
Euro-Par 2009 Parallel Processing 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings
Author 
Sips, Henk. editor. Epema, Dick. editor. Lin, Hai-Xiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03869-3
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
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:
265. 
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:
266. 
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:
267. 
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:
268. 
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:
269. 
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:
270. 
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:
271. 
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:
272. 
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:
273. 
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:
274. 
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:
275. 
Cover image for Distributed Applications and Interoperable Systems 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings
Distributed Applications and Interoperable Systems 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings
Author 
Senivongse, Twittie. editor. Oliveira, Rui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02164-0
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
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:
277. 
Cover image for Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings
Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings
Author 
Maneth, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02979-0
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings
Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings
Author 
Liu, Benyuan. editor. Bestavros, Azer. editor. Du, Ding-Zhu. editor. Wang, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03417-6
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Traffic Management and Traffic Engineering for the Future Internet First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 11-12, Revised Selected Papers
Traffic Management and Traffic Engineering for the Future Internet First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 11-12, Revised Selected Papers
Author 
Valadas, Rui. editor. Salvador, Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04576-9
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Security and Privacy in Mobile Information and Communication Systems First International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009, Revised Selected Papers
Security and Privacy in Mobile Information and Communication Systems First International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009, Revised Selected Papers
Author 
Schmidt, Andreas U. editor. Lian, Shiguo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04434-2
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
Author 
Buth, Bettina. editor. Rabe, Gerd. editor. Seyfarth, Till. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04468-7
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
Author 
Bensalem, Saddek. editor. Peled, Doron A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04694-0
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
Author 
Abran, Alain. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Cuadrado-Gallego, Juan J. editor. Brunekreef, Jacob. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05415-0
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers
Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers
Author 
Dolev, Shlomi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05434-1
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
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:
286. 
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:
287. 
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:
288. 
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:
289. 
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:
290. 
Cover image for Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings
Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings
Author 
Kaeli, David. editor. Sachs, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93799-9
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
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:
292. 
Cover image for Advances in Information Security and Assurance Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings
Advances in Information Security and Assurance Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings
Author 
Park, Jong Hyuk. editor. Chen, Hsiao-Hwa. editor. Atiquzzaman, Mohammed. editor. Lee, Changhoon. editor. Kim, Tai-hoon. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02617-1
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Scalability of Networks and Services Third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009 Enschede, The Netherlands, June 30–July 2, 2009. Proceedings
Scalability of Networks and Services Third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009 Enschede, The Netherlands, June 30–July 2, 2009. Proceedings
Author 
Sadre, Ramin. editor. Pras, Aiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02627-0
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Advances in Information Security and Its Application Third International Conference, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings
Advances in Information Security and Its Application Third International Conference, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings
Author 
Park, Jong Hyuk. editor. Zhan, Justin. editor. Lee, Changhoon. editor. Wang, Guilin. editor. Kim, Tai-hoon. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02633-1
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Computer Networks 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. Proceedings
Computer Networks 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. Proceedings
Author 
Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02671-3
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
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:
297. 
Cover image for Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
Author 
Bradley, Jeremy T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02924-0
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Author 
Dubois, Catherine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02949-3
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
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:
300. 
Cover image for AccessNets Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers
AccessNets Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers
Author 
Wang, Chonggang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04648-3
Format: 
Availability 
Online Library~1
Available:
Copies: