Limit Search Results
Author
SpringerLink (Online service)
(3216)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(38)
Apduhan, Bernady O. editor.
(37)
Dongarra, Jack. editor.
(29)
Language
Publication Date
-
2011
(367)
2012
(338)
2010
(322)
2013
(308)
2009
(307)
Subject
Computer science.
(2980)
Computer Communication Networks.
(1125)
Artificial intelligence.
(828)
Information systems.
(759)
Logic design.
(731)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3227 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Virtual and Mixed Reality - New Trends International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I
Virtual and Mixed Reality - New Trends International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I
Author 
Shumaker, Randall. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22021-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Virtual and Mixed Reality - Systems and Applications International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II
Virtual and Mixed Reality - Systems and Applications International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II
Author 
Shumaker, Randall. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22024-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
Author 
Leite, João. editor. Torroni, Paolo. editor. Ågotnes, Thomas. editor. Boella, Guido. editor. Torre, Leon. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22359-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers
Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers
Author 
Huzar, Zbigniew. editor. Koci, Radek. editor. Meyer, Bertrand. editor. Walter, Bartosz. editor. Zendulka, Jaroslav. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22386-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Digital Information Processing and Communications International Conference , ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part I
Digital Information Processing and Communications International Conference , ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part I
Author 
Snasel, Vaclav. editor. Platos, Jan. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22389-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Author 
Groce, Alex. editor. Musuvathi, Madanlal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22306-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Future Information Technology 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part II
Future Information Technology 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part II
Author 
Park, James J. editor. Yang, Laurence T. editor. Lee, Changhoon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22309-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Automated Deduction – CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
Automated Deduction – CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
Author 
Bjørner, Nikolaj. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22438-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Secure and Trust Computing, Data Management and Applications 8th FIRA International Conference, STA 2011, Loutraki, Greece, June 28-30, 2011. Proceedings
Secure and Trust Computing, Data Management and Applications 8th FIRA International Conference, STA 2011, Loutraki, Greece, June 28-30, 2011. Proceedings
Author 
Park, James J. editor. Lopez, Javier. editor. Yeo, Sang-Soo. editor. Shon, Taeshik. editor. Taniar, David. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22339-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for ECOOP 2011 – Object-Oriented Programming 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings
ECOOP 2011 – Object-Oriented Programming 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings
Author 
Mezini, Mira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22655-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Parallel and Distributed Computing and Networks International Conference, PDCN 2010, Chongqing, China, December 13-14, 2010. Revised Selected Papers
Parallel and Distributed Computing and Networks International Conference, PDCN 2010, Chongqing, China, December 13-14, 2010. Revised Selected Papers
Author 
Qi, Luo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22706-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in Computing and Communications First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, Part I
Advances in Computing and Communications First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, Part I
Author 
Abraham, Ajith. editor. Lloret Mauri, Jaime. editor. Buford, John F. editor. Suzuki, Junichi. editor. Thampi, Sabu M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22709-7
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Advances in Computing and Communications First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings
Advances in Computing and Communications First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings
Author 
Abraham, Ajith. editor. Lloret Mauri, Jaime. editor. Buford, John F. editor. Suzuki, Junichi. editor. Thampi, Sabu M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22714-1
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for e-Technologies and Networks for Development First International Conference, ICeND 2011, Dar-es-Salaam, Tanzania, August 3-5, 2011. Proceedings
e-Technologies and Networks for Development First International Conference, ICeND 2011, Dar-es-Salaam, Tanzania, August 3-5, 2011. Proceedings
Author 
Yonazi, Jim James. editor. Sedoyeka, Eliamani. editor. Ariwa, Ezendu. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22729-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Towards a Service-Based Internet. ServiceWave 2010 Workshops International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers
Towards a Service-Based Internet. ServiceWave 2010 Workshops International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers
Author 
Cezon, Michel. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22760-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
Author 
Eekelen, Marko. editor. Geuvers, Herman. editor. Schmaltz, Julien. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22863-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
Author 
Page, Rex. editor. Horváth, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22941-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Data Management in Grid and Peer-to-Peer Systems 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings
Data Management in Grid and Peer-to-Peer Systems 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings
Author 
Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22947-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Advances in Applied Economics, Business and Development International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part II
Advances in Applied Economics, Business and Development International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part II
Author 
Zhou, Qingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23020-2
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Applied Economics, Business and Development International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part I
Applied Economics, Business and Development International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part I
Author 
Zhou, Qingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23023-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for NETWORKING 2011 Workshops International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers
NETWORKING 2011 Workshops International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers
Author 
Casares-Giner, Vicente. editor. Manzoni, Pietro. editor. Pont, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23041-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings
Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings
Author 
Rinderle-Ma, Stefanie. editor. Toumani, Farouk. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23059-2
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Advances in Education and Management International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part IV
Advances in Education and Management International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part IV
Author 
Zhou, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23062-2
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Education and Management International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part III
Education and Management International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part III
Author 
Zhou, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23065-3
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Exploring Music Contents 7th International Symposium, CMMR 2010, Málaga, Spain, June 21-24, 2010. Revised Papers
Exploring Music Contents 7th International Symposium, CMMR 2010, Málaga, Spain, June 21-24, 2010. Revised Papers
Author 
Ystad, Sølvi. editor. Aramaki, Mitsuko. editor. Kronland-Martinet, Richard. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23126-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Subject-Oriented Business Process Management Second International Conference, S-BPM ONE 2010, Karlsruhe, Germany, October 14, 2010. Selected Papers
Subject-Oriented Business Process Management Second International Conference, S-BPM ONE 2010, Karlsruhe, Germany, October 14, 2010. Selected Papers
Author 
Fleischmann, Albert. editor. Schmidt, Werner. editor. Singer, Robert. editor. Seese, Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23135-3
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings
Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23178-0
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
Author 
Katoen, Joost-Pieter. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23217-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
Author 
Fahrenberg, Uli. editor. Tripakis, Stavros. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24310-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part III
ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part III
Author 
Cruz-Cunha, Maria Manuela. editor. Varajão, João. editor. Powell, Philip. editor. Martinho, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24352-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part II
ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part II
Author 
Cruz-Cunha, Maria Manuela. editor. Varajão, João. editor. Powell, Philip. editor. Martinho, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24355-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011, Proceedings, Part I
ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011, Proceedings, Part I
Author 
Cruz-Cunha, Maria Manuela. editor. Varajão, João. editor. Powell, Philip. editor. Martinho, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24358-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Author 
Tinelli, Cesare. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24364-6
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
Author 
Bultan, Tevfik. editor. Hsiung, Pao-Ann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24372-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Network and Parallel Computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings
Network and Parallel Computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings
Author 
Altman, Erik. editor. Shi, Weisong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24403-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
Author 
Salaün, Gwen. editor. Schätz, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24431-5
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Web Information System Engineering – WISE 2011 12th International Conference, Sydney, Australia, October 13-14, 2011. Proceedings
Web Information System Engineering – WISE 2011 12th International Conference, Sydney, Australia, October 13-14, 2011. Proceedings
Author 
Bouguettaya, Athman. editor. Hauswirth, Manfred. editor. Liu, Ling. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24434-6
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Model and Data Engineering First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings
Model and Data Engineering First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings
Author 
Bellatreche, Ladjel. editor. Mota Pinto, Filipe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24443-8
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
Author 
Scholz, Sven-Bodo. editor. Chitil, Olaf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24452-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Computing and Intelligent Systems International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part IV
Computing and Intelligent Systems International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part IV
Author 
Wu, Yanwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24091-1
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Information and Management Engineering International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part VI
Information and Management Engineering International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part VI
Author 
Zhu, Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24097-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Convergence and Hybrid Information Technology 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings
Convergence and Hybrid Information Technology 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings
Author 
Lee, Geuk. editor. Howard, Daniel. editor. Ślęzak, Dominik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24106-2
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
Author 
Jones, Cliff B. editor. Lloyd, John L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24541-1
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings
Stabilization, Safety, and Security of Distributed Systems 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings
Author 
Défago, Xavier. editor. Petit, Franck. editor. Villain, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24550-3
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Author 
Qin, Shengchao. editor. Qiu, Zongyan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24559-6
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Advances in Conceptual Modeling. Recent Developments and New Directions ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
Advances in Conceptual Modeling. Recent Developments and New Directions ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
Author 
Troyer, Olga. editor. Bauzer Medeiros, Claudia. editor. Billen, Roland. editor. Hallot, Pierre. editor. Simitsis, Alkis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24574-9
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
Author 
Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24580-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Multiagent System Technologies 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings
Multiagent System Technologies 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings
Author 
Klügl, Franziska. editor. Ossowski, Sascha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24603-6
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Conceptual Modeling – ER 2011 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
Conceptual Modeling – ER 2011 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
Author 
Jeusfeld, Manfred. editor. Delcambre, Lois. editor. Ling, Tok-Wang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24606-7
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
Author 
Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25318-8
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Author 
Jouannaud, Jean-Pierre. editor. Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25379-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Complex Networks Second International Workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, Revised Selected Papers
Complex Networks Second International Workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, Revised Selected Papers
Author 
F. Costa, Luciano. editor. Evsukoff, Alexandre. editor. Mangioni, Giuseppe. editor. Menezes, Ronaldo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25501-4
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Social Robotics Third International Conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedings
Social Robotics Third International Conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedings
Author 
Mutlu, Bilge. editor. Bartneck, Christoph. editor. Ham, Jaap. editor. Evers, Vanessa. editor. Kanda, Takayuki. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25504-5
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Internet and Network Economics 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011. Proceedings
Internet and Network Economics 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011. Proceedings
Author 
Chen, Ning. editor. Elkind, Edith. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25510-6
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Service-Oriented Computing 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings
Service-Oriented Computing 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings
Author 
Kappel, Gerti. editor. Maamar, Zakaria. editor. Motahari-Nezhad, Hamid R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25535-9
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers
Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers
Author 
Hummel, Karin Anna. editor. Hlavacs, Helmut. editor. Gansterer, Wilfried. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25575-5
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Future Generation Information Technology Third International Conference, FGIT 2011 in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
Future Generation Information Technology Third International Conference, FGIT 2011 in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Slezak, Dominik. editor. Sandnes, Frode Eika. editor. Song, Xiaofeng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27142-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Kim, Haeng-kon. editor. Kang, Heau-jo. editor. Kim, Kyung Jung. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27207-3
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Middleware 2011 ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011. Proceedings
Middleware 2011 ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011. Proceedings
Author 
Kon, Fabio. editor. Kermarrec, Anne-Marie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25821-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Smart Card Research and Advanced Applications 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers
Smart Card Research and Advanced Applications 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers
Author 
Prouff, Emmanuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27257-8
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Innovative Computing Technology First International Conference, INCT 2011, Tehran, Iran, December 13-15, 2011. Proceedings
Innovative Computing Technology First International Conference, INCT 2011, Tehran, Iran, December 13-15, 2011. Proceedings
Author 
Pichappan, Pit. editor. Ahmadi, Hojat. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27337-7
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
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:
63. 
Cover image for Rigorous Software Development An Introduction to Program Verification
Rigorous Software Development An Introduction to Program Verification
Author 
Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-018-2
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Introduction to Software Process Improvement
Introduction to Software Process Improvement
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-172-1
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
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:
66. 
Cover image for Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I
Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I
Author 
Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16336-4
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
Author 
Morazán, Marco T. editor. Scholz, Sven-Bodo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16478-1
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for The Evolution of Conceptual Modeling From a Historical Perspective towards the Future of Conceptual Modeling
The Evolution of Conceptual Modeling From a Historical Perspective towards the Future of Conceptual Modeling
Author 
Kaschek, Roland. editor. Delcambre, Lois. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17505-3
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Object-Oriented Analysis and Design
Object-Oriented Analysis and Design
Author 
Ramnath, Sarnath. editor. Dathan, Brahma. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-522-4
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Methods and Tools of Parallel Programming Multicomputers Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
Methods and Tools of Parallel Programming Multicomputers Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
Author 
Hsu, Ching-Hsien. editor. Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14822-4
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings
Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings
Author 
Das, Vinu V. editor. Stephen, Janahanlal. editor. Thankachan, Nessy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15739-4
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
Author 
Cousot, Radhia. editor. Martel, Matthieu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15769-1
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
Author 
Armando, Alessandro. editor. Lowe, Gavin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16074-5
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
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:
75. 
Cover image for Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
Author 
Johnson, Michael. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17796-5
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Distributed Computing and Networking 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011. Proceedings
Distributed Computing and Networking 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011. Proceedings
Author 
Aguilera, Marcos K. editor. Yu, Haifeng. editor. Vaidya, Nitin H. editor. Srinivasan, Vikram. editor. Choudhury, Romit Roy. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17679-1
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for High Performance Computing for Computational Science – VECPAR 2010 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers
High Performance Computing for Computational Science – VECPAR 2010 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers
Author 
Palma, José M. Laginha M. editor. Daydé, Michel. editor. Marques, Osni. editor. Lopes, João Correia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19328-6
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Passive and Active Measurement 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings
Passive and Active Measurement 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings
Author 
Spring, Neil. editor. Riley, George F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19260-9
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Service-Oriented Computing ICSOC 2010 International Workshops, PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers
Service-Oriented Computing ICSOC 2010 International Workshops, PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers
Author 
Maximilien, E. Michael. editor. Rossi, Gustavo. editor. Yuan, Soe-Tsyr. editor. Ludwig, Heiko. editor. Fantinato, Marcelo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19394-1
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Search Computing Trends and Developments
Search Computing Trends and Developments
Author 
Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
Author 
Marchetti-Spaccamela, Alberto. editor. Segal, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19754-3
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Communication Technologies for Vehicles Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings
Communication Technologies for Vehicles Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings
Author 
Strang, Thomas. editor. Festag, Andreas. editor. Vinel, Alexey. editor. Mehmood, Rashid. editor. Rico Garcia, Cristina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19786-4
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author 
Hofmann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19805-2
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author 
Giannakopoulou, Dimitra. editor. Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19811-3
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Advances in Multimedia Information Processing - PCM 2010 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 2010, Proceedings, Part II
Advances in Multimedia Information Processing - PCM 2010 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 2010, Proceedings, Part II
Author 
Qiu, Guoping. editor. Lam, Kin Man. editor. Kiya, Hitoshi. editor. Xue, Xiang-Yang. editor. Kuo, C.-C. Jay. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15696-0
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Author 
Beckert, Bernhard. editor. Marché, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18070-5
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
Author 
Jhala, Ranjit. editor. Schmidt, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18275-4
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Knowledge Discovery, Knowlege Engineering and Knowledge Management First International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009, Revised Selected Papers
Knowledge Discovery, Knowlege Engineering and Knowledge Management First International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009, Revised Selected Papers
Author 
Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19032-2
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings
Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings
Author 
Natarajan, Raja. editor. Ojo, Adegboyega. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19056-8
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
Author 
Erlingsson, Úlfar. editor. Wieringa, Roel. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19125-1
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Architecture of Computing Systems - ARCS 2011 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings
Architecture of Computing Systems - ARCS 2011 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings
Author 
Berekovic, Mladen. editor. Fornaciari, William. editor. Brinkschulte, Uwe. editor. Silvano, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19137-4
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Self-Organizing Systems 5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24. 2011. Proceedings
Self-Organizing Systems 5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24. 2011. Proceedings
Author 
Bettstetter, Christian. editor. Gershenson, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Wireless Sensor Networks 8th European Conference, EWSN 2011, Bonn, Germany, February 23-25, 2011. Proceedings
Wireless Sensor Networks 8th European Conference, EWSN 2011, Bonn, Germany, February 23-25, 2011. Proceedings
Author 
Marrón, Pedro José. editor. Whitehouse, Kamin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19186-2
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
Author 
Gleizes, Marie-Pierre. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19208-1
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Author 
Namjoshi, Kedar. editor. Zeller, Andreas. editor. Ziv, Avi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19237-1
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Reconfigurable Computing: Architectures, Tools and Applications 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
Reconfigurable Computing: Architectures, Tools and Applications 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
Author 
Koch, Andreas. editor. Krishnamurthy, Ram. editor. McAllister, John. editor. Woods, Roger. editor. El-Ghazawi, Tarek. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19475-7
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Author 
Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19829-8
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author 
Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19835-9
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Author 
Barner, Sharon. editor. Harris, Ian. editor. Kroening, Daniel. editor. Raz, Orna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19583-9
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Requirements Engineering: Foundation for Software Quality 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings
Requirements Engineering: Foundation for Software Quality 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings
Author 
Berry, Daniel. editor. Franch, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19858-8
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Technology Systems and Management First International Conference, ICTSM 2011, Mumbai, India, February 25-27, 2011. Selected Papers
Technology Systems and Management First International Conference, ICTSM 2011, Mumbai, India, February 25-27, 2011. Selected Papers
Author 
Shah, Ketan. editor. Lakshmi Gorty, V. R. editor. Phirke, Ajay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20209-4
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II
Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II
Author 
Dobnikar, Andrej. editor. Lotrič, Uroš. editor. Šter, Branko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20267-4
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I
Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I
Author 
Dobnikar, Andrej. editor. Lotrič, Uroš. editor. Šter, Branko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20282-7
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
Author 
Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20398-5
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Author 
Wirsing, Martin. editor. Hölzl, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20401-2
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
Author 
Valtchev, Petko. editor. Jäschke, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20514-9
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Author 
Alpuente, María. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20551-4
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Information Technology and Mobile Communication International Conference, AIM 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
Information Technology and Mobile Communication International Conference, AIM 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
Author 
Das, Vinu V. editor. Thomas, Gylson. editor. Lumban Gaol, Ford. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20573-6
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
Author 
Das, Vinu V. editor. Thankachan, Nessy. editor. Debnath, Narayan C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20499-9
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Advanced Information Systems Engineering 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings
Advanced Information Systems Engineering 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings
Author 
Mouratidis, Haralambos. editor. Rolland, Colette. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21640-4
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
Author 
Kraemer, Frank Alexander. editor. Herrmann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21652-7
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
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:
113. 
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:
114. 
Cover image for Digital Information and Communication Technology and Its Applications International Conference, DICTAP 2011, Dijon, France, June 21-23, 2011, Proceedings, Part II
Digital Information and Communication Technology and Its Applications International Conference, DICTAP 2011, Dijon, France, June 21-23, 2011, Proceedings, Part II
Author 
Cherifi, Hocine. editor. Zain, Jasni Mohamad. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22027-2
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Transactions on Aspect-Oriented Software Development VIII
Transactions on Aspect-Oriented Software Development VIII
Author 
Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22031-9
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V
Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21934-4
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Objects, Models, Components, Patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings
Objects, Models, Components, Patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings
Author 
Bishop, Judith. editor. Vallecillo, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21952-8
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for HCI International 2011 – Posters’ Extended Abstracts International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II
HCI International 2011 – Posters’ Extended Abstracts International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22095-1
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
Author 
Gopalakrishnan, Ganesh. editor. Qadeer, Shaz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22110-1
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
Author 
Brünnler, Kai. editor. Metcalfe, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22119-4
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I
Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I
Author 
Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22170-5
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Networked Digital Technologies Third International Conference, NDT 2011, Macau, China, July 11-13, 2011. Proceedings
Networked Digital Technologies Third International Conference, NDT 2011, Macau, China, July 11-13, 2011. Proceedings
Author 
Fong, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22185-9
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II
Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II
Author 
Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22191-0
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III
Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III
Author 
Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22203-0
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Systems, Software and Service Process Improvement 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings
Systems, Software and Service Process Improvement 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings
Author 
O‘Connor, Rory V. editor. Pries-Heje, Jan. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22206-1
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Digital Information Processing and Communications International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part II
Digital Information Processing and Communications International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part II
Author 
Snasel, Vaclav. editor. Platos, Jan. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22410-2
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Advances in Information Technology and Education International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, Part I
Advances in Information Technology and Education International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, Part I
Author 
Tan, Honghua. editor. Zhou, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22418-8
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Future Information Technology 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part I
Future Information Technology 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part I
Author 
Park, James J. editor. Yang, Laurence T. editor. Lee, Changhoon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22333-4
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Ad-hoc, Mobile, and Wireless Networks 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings
Ad-hoc, Mobile, and Wireless Networks 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings
Author 
Frey, Hannes. editor. Li, Xu. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22450-8
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Advances in Network Security and Applications 4th International Conference, CNSA 2011, Chennai, India, July 15-17, 2011
Advances in Network Security and Applications 4th International Conference, CNSA 2011, Chennai, India, July 15-17, 2011
Author 
Wyld, David C. editor. Wozniak, Michal. editor. Chaki, Nabendu. editor. Meghanathan, Natarajan. editor. Nagamalai, Dhinaharan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22540-6
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Trends in Network and Communications International Conferences, NeCOM, WeST, WiMoN 2011, Chennai, India, July 15-17, 2011. Proceedings
Trends in Network and Communications International Conferences, NeCOM, WeST, WiMoN 2011, Chennai, India, July 15-17, 2011. Proceedings
Author 
Wyld, David C. editor. Wozniak, Michal. editor. Chaki, Nabendu. editor. Meghanathan, Natarajan. editor. Nagamalai, Dhinaharan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22543-7
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
Author 
Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22546-8
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Advances in Computing and Information Technology First International Conference, ACITY 2011, Chennai, India, July 15-17, 2011. Proceedings
Advances in Computing and Information Technology First International Conference, ACITY 2011, Chennai, India, July 15-17, 2011. Proceedings
Author 
Wyld, David C. editor. Wozniak, Michal. editor. Chaki, Nabendu. editor. Meghanathan, Natarajan. editor. Nagamalai, Dhinaharan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22555-0
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for High Performance Architecture and Grid Computing International Conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011. Proceedings
High Performance Architecture and Grid Computing International Conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011. Proceedings
Author 
Mantri, Archana. editor. Nandi, Suman. editor. Kumar, Gaurav. editor. Kumar, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22577-2
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
Author 
Hartanto, Ronny. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22580-2
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
Author 
Holzer, Markus. editor. Kutrib, Martin. editor. Pighizzini, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22600-7
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
Author 
Weyns, Danny. editor. Gleizes, Marie-Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22636-6
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
Author 
Cerone, Antonio. editor. Pihlajasaari, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23283-1
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Loucopoulos, Pericles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23391-3
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
Author 
Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23397-5
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
Author 
Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23400-2
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Information and Communication on Technology for the Fight against Global Warming First International Conference, ICT-GLOW 2011, Toulouse, France, August 30-31, 2011. Proceedings
Information and Communication on Technology for the Fight against Global Warming First International Conference, ICT-GLOW 2011, Toulouse, France, August 30-31, 2011. Proceedings
Author 
Kranzlmüller, Dieter. editor. Toja, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23447-7
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for S-BPM ONE - Learning by Doing - Doing by Learning Third International Conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011. Proceedings
S-BPM ONE - Learning by Doing - Doing by Learning Third International Conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011. Proceedings
Author 
Schmidt, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23471-2
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
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:
145. 
Cover image for Autonomic and Trusted Computing 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings
Autonomic and Trusted Computing 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings
Author 
Calero, Jose M. Alcaraz. editor. Yang, Laurence T. editor. Mármol, Félix Gómez. editor. García Villalba, Luis Javier. editor. Li, Andy Xiaolin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23496-5
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Energy-Aware Communications 17th International Workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011. Proceedings
Energy-Aware Communications 17th International Workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011. Proceedings
Author 
Lehnert, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23541-2
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings
Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings
Author 
Rudolph, Sebastian. editor. Gutierrez, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23580-1
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Ubiquitous Intelligence and Computing 8th International Conference, UIC 2011, Banff, Canada, September 2-4, 2011. Proceedings
Ubiquitous Intelligence and Computing 8th International Conference, UIC 2011, Banff, Canada, September 2-4, 2011. Proceedings
Author 
Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Ma, Jianhua. editor. Zhu, Chunsheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23641-9
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Author 
Yahav, Eran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23702-7
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Search Based Software Engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings
Search Based Software Engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings
Author 
Cohen, Myra B. editor. Ó Cinnéide, Mel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23716-4
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Cooperative Design, Visualization, and Engineering 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011. Proceedings
Cooperative Design, Visualization, and Engineering 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011. Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23734-8
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III
Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III
Author 
Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23765-2
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV
Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV
Author 
Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23768-3
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II
Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II
Author 
Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23771-3
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part I
Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part I
Author 
Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23774-4
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Multiple Access Communications 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011. Proceedings
Multiple Access Communications 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011. Proceedings
Author 
Sacchi, Claudio. editor. Bellalta, Boris. editor. Vinel, Alexey. editor. Schlegel, Christian. editor. Granelli, Fabrizio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23795-9
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings
Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings
Author 
Crnkovic, Ivica. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23798-0
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Collaboration and Technology 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011. Proceedings
Collaboration and Technology 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011. Proceedings
Author 
Vivacqua, Adriana S. editor. Gutwin, Carl. editor. Borges, Marcos R. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23801-7
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I
Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I
Author 
Deng, Hepu. editor. Miao, Duoqian. editor. Lei, Jingsheng. editor. Wang, Fu Lee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23881-9
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II
Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II
Author 
Deng, Hepu. editor. Miao, Duoqian. editor. Lei, Jingsheng. editor. Wang, Fu Lee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23887-1
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part III
Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part III
Author 
Deng, Hepu. editor. Miao, Duoqian. editor. Lei, Jingsheng. editor. Wang, Fu Lee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23896-3
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Security-Enriched Urban Computing and Smart Grid Second International Conference, SUComS 2011, Hualien, Taiwan, September 21-23, 2011. Proceedings
Security-Enriched Urban Computing and Smart Grid Second International Conference, SUComS 2011, Hualien, Taiwan, September 21-23, 2011. Proceedings
Author 
Chang, Ruay-Shiung. editor. Kim, Tai-hoon. editor. Peng, Sheng-Lung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23948-9
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Web Information Systems and Mining International Conference, WISM 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I
Web Information Systems and Mining International Conference, WISM 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I
Author 
Gong, Zhiguo. editor. Luo, Xiangfeng. editor. Chen, Junjie. editor. Lei, Jingsheng. editor. Wang, Fu Lee. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23971-7
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Web Information Systems and Mining International Conference, WISM 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II
Web Information Systems and Mining International Conference, WISM 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II
Author 
Gong, Zhiguo. editor. Luo, Xiangfeng. editor. Chen, Junjie. editor. Lei, Jingsheng. editor. Wang, Fu Lee. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23982-3
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Innovative Computing and Information International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part I
Innovative Computing and Information International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part I
Author 
Dai, Minli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23993-9
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Innovative Computing and Information International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part II
Innovative Computing and Information International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part II
Author 
Dai, Minli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23998-4
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Computing and Intelligent Systems International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011, Proceedings, Part III
Computing and Intelligent Systems International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011, Proceedings, Part III
Author 
Wu, Yanwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24010-2
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Transactions on Computational Collective Intelligence V
Transactions on Computational Collective Intelligence V
Author 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24016-4
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Information and Management Engineering International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part V
Information and Management Engineering International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part V
Author 
Zhu, Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24022-5
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Advances in Parallel Distributed Computing First International Conference on Parallel, Distributed Computing Technologies and Applications, PDCTA 2011, Tirunelveli, India, September 23-25, 2011. Proceedings
Advances in Parallel Distributed Computing First International Conference on Parallel, Distributed Computing Technologies and Applications, PDCTA 2011, Tirunelveli, India, September 23-25, 2011. Proceedings
Author 
Nagamalai, Dhinaharan. editor. Renault, Eric. editor. Dhanuskodi, Murugan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24037-9
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Recent Advances in the Message Passing Interface 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings
Recent Advances in the Message Passing Interface 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings
Author 
Cotronis, Yiannis. editor. Danalis, Anthony. editor. Nikolopoulos, Dimitrios S. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24449-0
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Distributed Computing 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011. Proceedings
Distributed Computing 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011. Proceedings
Author 
Peleg, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24100-0
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Model Driven Engineering Languages and Systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings
Model Driven Engineering Languages and Systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings
Author 
Whittle, Jon. editor. Clark, Tony. editor. Kühne, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24485-8
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
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:
175. 
Cover image for Datalog Reloaded First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
Datalog Reloaded First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
Author 
Moor, Oege. editor. Gottlob, Georg. editor. Furche, Tim. editor. Sellers, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24206-9
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Computational Logistics Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings
Computational Logistics Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings
Author 
Böse, Jürgen W. editor. Hu, Hao. editor. Jahn, Carlos. editor. Shi, Xiaoning. editor. Stahlbock, Robert. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24264-9
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Computer Safety, Reliability, and Security 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
Computer Safety, Reliability, and Security 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
Author 
Flammini, Francesco. editor. Bologna, Sandro. editor. Vittorini, Valeria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24270-0
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Emerging Research in Web Information Systems and Mining International Conference, WISM 2011, Taiyuan, China, September 23-25, 2011. Proceedings
Emerging Research in Web Information Systems and Mining International Conference, WISM 2011, Taiyuan, China, September 23-25, 2011. Proceedings
Author 
Zhiguo, Gong. editor. Luo, Xiangfeng. editor. Chen, Junjie. editor. Wang, Fu Lee. editor. Lei, Jingsheng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24273-1
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
Author 
Hage, Jurriaan. editor. Morazán, Marco T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24276-2
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
Author 
Delzanno, Giorgio. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24288-5
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Algorithms and Architectures for Parallel Processing 11th International Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 11th International Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings, Part I
Author 
Xiang, Yang. editor. Cuzzocrea, Alfredo. editor. Hobbs, Michael. editor. Zhou, Wanlei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24650-0
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Algorithms and Architectures for Parallel Processing 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II
Author 
Xiang, Yang. editor. Cuzzocrea, Alfredo. editor. Hobbs, Michael. editor. Zhou, Wanlei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24669-2
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
Author 
Barthe, Gilles. editor. Pardo, Alberto. editor. Schneider, Gerardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24690-6
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings
Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings
Author 
Thomas, Nigel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24749-1
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Towards a Service-Based Internet 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings
Towards a Service-Based Internet 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings
Author 
Abramowicz, Witold. editor. Llorente, Ignacio M. editor. Surridge, Mike. editor. Zisman, Andrea. editor. Vayssière, Julien. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24755-2
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Information Security 14th International Conference, ISC 2011, Xi’an, China, October 26-29, 2011. Proceedings
Information Security 14th International Conference, ISC 2011, Xi’an, China, October 26-29, 2011. Proceedings
Author 
Lai, Xuejia. editor. Zhou, Jianying. editor. Li, Hui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24861-0
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Rule - Based Modeling and Computing on the Semantic Web 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings
Rule - Based Modeling and Computing on the Semantic Web 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings
Author 
Olken, Frank. editor. Palmirani, Monica. editor. Sottara, Davide. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24908-2
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Author 
Agha, Gul. editor. Danvy, Olivier. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24933-4
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
Author 
Simao, Adenilso. editor. Morgan, Carroll. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25032-3
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Agents in Principle, Agents in Practice 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings
Agents in Principle, Agents in Practice 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings
Author 
Kinny, David. editor. Hsu, Jane Yung-jen. editor. Governatori, Guido. editor. Ghose, Aditya K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25044-6
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
Author 
Schreck, Pascal. editor. Narboux, Julien. editor. Richter-Gebert, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25070-5
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2011 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II
On the Move to Meaningful Internet Systems: OTM 2011 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II
Author 
Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. Kumar, Akhil. editor. Reichert, Manfred. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25106-1
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2011 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I
On the Move to Meaningful Internet Systems: OTM 2011 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I
Author 
Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. Kumar, Akhil. editor. Reichert, Manfred. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25109-2
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2011 Workshops Confederated International Workshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings
On the Move to Meaningful Internet Systems: OTM 2011 Workshops Confederated International Workshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings
Author 
Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25126-9
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Ambient Intelligence Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedings
Ambient Intelligence Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedings
Author 
Keyson, David V. editor. Maher, Mary Lou. editor. Streitz, Norbert. editor. Cheok, Adrian. editor. Augusto, Juan Carlos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25167-2
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings
Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings
Author 
Liu, Baoxiang. editor. Chai, Chunlai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25255-6
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Computational Intelligence and Information Technology First International Conference, CIIT 2011, Pune, India, November 7-8, 2011. Proceedings
Computational Intelligence and Information Technology First International Conference, CIIT 2011, Pune, India, November 7-8, 2011. Proceedings
Author 
Das, Vinu V. editor. Thankachan, Nessy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25734-6
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Control and Automation, and Energy System Engineering International Conferences, CA and CES3 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
Control and Automation, and Energy System Engineering International Conferences, CA and CES3 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. 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-26010-0
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Grid and Distributed Computing International Conference, GDC 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
Grid and Distributed Computing International Conference, GDC 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Cho, Hyun-seob. editor. Gervasi, Osvaldo. editor. Yau, Stephen S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27180-9
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part II
Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part II
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Grosky, William I. editor. Pissinou, Niki. editor. Shih, Timothy K. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27186-1
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings
Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings
Author 
Chaki, Nabendu. editor. Cortesi, Agostino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27245-5
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
Author 
Fernàndez Anta, Antonio. editor. Lipari, Giuseppe. editor. Roy, Matthieu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25873-2
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II
Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II
Author 
Liu, Chunfeng. editor. Chang, Jincai. editor. Yang, Aimin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27452-7
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I
Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I
Author 
Liu, Chunfeng. editor. Chang, Jincai. editor. Yang, Aimin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27503-6
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II
Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II
Author 
Petriu, Dorina C. editor. Rouquette, Nicolas. editor. Haugen, Øystein. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16129-2
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers
Author 
Dan, Asit. editor. Gittler, Frédéric. editor. Toumani, Farouk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16132-2
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
Author 
Petriu, Dorina C. editor. Rouquette, Nicolas. editor. Haugen, Øystein. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16145-2
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Author 
Pol, Jaco. editor. Weber, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16164-3
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings
Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings
Author 
Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16167-4
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
Author 
Dix, Jürgen. editor. Witteveen, Cees. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16178-0
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Author 
Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16242-8
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Author 
Méry, Dominique. editor. Merz, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16265-7
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Advanced Lectures on Software Engineering LASER Summer School 2007/2008
Advanced Lectures on Software Engineering LASER Summer School 2007/2008
Author 
Müller, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13010-6
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings
Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings
Author 
Rajaraman, Rajmohan. editor. Moscibroda, Thomas. editor. Dunkels, Adam. editor. Scaglione, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13651-1
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
Author 
Lilius, Johan. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13675-7
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Author 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13678-8
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
Author 
Tratt, Laurence. editor. Gogolla, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13688-7
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Information Processing in Computer-Assisted Interventions First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings
Information Processing in Computer-Assisted Interventions First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings
Author 
Navab, Nassir. editor. Jannin, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13711-2
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings
Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings
Author 
Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13953-6
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings
Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings
Author 
Fraser, Gordon. editor. Gargantini, Angelo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13977-2
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
Author 
Real, Jorge. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13550-7
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Multi-Agent-Based Simulation X International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers
Multi-Agent-Based Simulation X International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers
Author 
Tosto, Gennaro. editor. Dyke Parunak, H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13553-8
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Architecting Critical Systems First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings
Architecting Critical Systems First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings
Author 
Giese, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13556-9
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
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:
225. 
Cover image for Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
Author 
Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13595-8
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Author 
Laneve, Cosimo. editor. Su, Jianwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14458-5
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Recent Trends in Network Security and Applications Third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010. Proceedings
Recent Trends in Network Security and Applications Third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010. Proceedings
Author 
Meghanathan, Natarajan. editor. Boumerdassi, Selma. 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-14478-3
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Recent Trends in Networks and Communications International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010, Chennai, India, July 23-25, 2010. Proceedings
Recent Trends in Networks and Communications International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010, Chennai, India, July 23-25, 2010. Proceedings
Author 
Meghanathan, Natarajan. editor. Boumerdassi, Selma. 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-14493-6
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Software Product Lines: Going Beyond 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings
Software Product Lines: Going Beyond 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings
Author 
Bosch, Jan. editor. Lee, Jaejoon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15579-6
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
Author 
Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15582-6
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Intelligent Virtual Agents 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings
Intelligent Virtual Agents 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings
Author 
Allbeck, Jan. editor. Badler, Norman. editor. Bickmore, Timothy. editor. Pelachaud, Catherine. editor. Safonova, Alla. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15892-6
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Author 
Kowalewski, Stefan. editor. Roveri, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15898-8
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for S-BPM ONE – Setting the Stage for Subject-Oriented Business Process Management First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers
S-BPM ONE – Setting the Stage for Subject-Oriented Business Process Management First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers
Author 
Buchwald, Hagen. editor. Fleischmann, Albert. editor. Seese, Detlef. editor. Stary, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15915-2
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
Author 
Hitzler, Pascal. editor. Lukasiewicz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15918-3
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
Author 
Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15928-2
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings
Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings
Author 
Vigneron, Vincent. editor. Zarzoso, Vicente. editor. Moreau, Eric. editor. Gribonval, Rémi. editor. Vincent, Emmanuel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15995-4
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings
Stabilization, Safety, and Security of Distributed Systems 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings
Author 
Dolev, Shlomi. editor. Cobb, Jorge. editor. Fischer, Michael. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16023-3
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings
Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings
Author 
Dean, Mike. editor. Hall, John. editor. Rotolo, Antonino. editor. Tabet, Said. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16289-3
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
Author 
Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16310-4
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II
Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II
Author 
Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16339-5
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Trends in Intelligent Robotics 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedings
Trends in Intelligent Robotics 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedings
Author 
Vadakkepat, Prahlad. editor. Kim, Jong-Hwan. editor. Jesse, Norbert. editor. Mamun, Abdullah Al. editor. Kiong, Tan Kok. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15810-0
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Knowledge Engineering and Management by the Masses 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings
Knowledge Engineering and Management by the Masses 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings
Author 
Cimiano, Philipp. editor. Pinto, H. Sofia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16438-5
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings
Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings
Author 
Bernhaupt, Regina. editor. Forbrig, Peter. editor. Gulliksen, Jan. editor. Lárusdóttir, Marta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16488-0
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
Author 
Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16505-4
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II
Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II
Author 
Wang, Fu Lee. editor. Deng, Hepu. editor. Gao, Yang. editor. Lei, Jingsheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16527-6
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16558-0
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16561-0
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Author 
Barringer, Howard. editor. Falcone, Ylies. editor. Finkbeiner, Bernd. editor. Havelund, Klaus. editor. Lee, Insup. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16612-9
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Transactions on Computational Collective Intelligence II
Transactions on Computational Collective Intelligence II
Author 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17155-0
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
Author 
Ueda, Kazunori. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17164-2
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Author 
Siegler, Simon. editor. Wasser, Nathan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17172-7
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for From Active Data Management to Event-Based Systems and More Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday
From Active Data Management to Event-Based Systems and More Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday
Author 
Sachs, Kai. editor. Petrov, Ilia. editor. Guerrero, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17226-7
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
Author 
Qin, Shengchao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16690-7
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Advances in Information Technology 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings
Advances in Information Technology 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings
Author 
Papasratorn, Borworn. editor. Lavangnananda, Kittichai. editor. Chutimaskul, Wichian. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16699-0
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Transactions on Computational Science X Special Issue on Security in Computing, Part I
Transactions on Computational Science X Special Issue on Security in Computing, Part I
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17499-5
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
Author 
Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17511-4
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Real-World Wireless Sensor Networks 4th International Workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010. Proceedings
Real-World Wireless Sensor Networks 4th International Workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010. Proceedings
Author 
Marron, Pedro J. editor. Voigt, Thiemo. editor. Corke, Peter. editor. Mottola, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17520-6
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings
Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings
Author 
Jha, Girish Nath. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17528-2
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Architecting Dependable Systems VII
Architecting Dependable Systems VII
Author 
Casimiro, Antonio. editor. Lemos, Rogério. editor. Gacek, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17245-8
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Author 
Dong, Jin Song. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16901-4
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Ambient Intelligence First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010. Proceedings
Ambient Intelligence First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010. Proceedings
Author 
Ruyter, Boris. editor. Wichert, Reiner. editor. Keyson, David V. editor. Markopoulos, Panos. editor. Streitz, Norbert. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16917-5
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I
On the Move to Meaningful Internet Systems: OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I
Author 
Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16934-2
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for On the Move to Meaningful Internet Systems, OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II
On the Move to Meaningful Internet Systems, OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II
Author 
Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16949-6
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Middleware 2010 ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings
Middleware 2010 ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings
Author 
Gupta, Indranil. editor. Mascolo, Cecilia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16955-7
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
Author 
Pnueli, Amir. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11486-1
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
Author 
Carro, Manuel. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11503-5
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
Author 
Dams, Dennis. editor. Hannemann, Ulrich. editor. Steffen, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11512-7
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Grid Resource Management On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources
Grid Resource Management On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources
Author 
Siddiqui, Mumtaz. author. Fahringer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11579-0
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
Author 
Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11623-0
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings
Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings
Author 
Janowski, Tomasz. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11659-9
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers
Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers
Author 
Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11721-3
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings
Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings
Author 
Massacci, Fabio. editor. Wallach, Dan. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11747-3
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
Author 
England, David. editor. Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Wild, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11797-8
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
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:
275. 
Cover image for RoboCup 2009: Robot Soccer World Cup XIII
RoboCup 2009: Robot Soccer World Cup XIII
Author 
Baltes, Jacky. editor. Lagoudakis, Michail G. editor. Naruse, Tadashi. editor. Ghidary, Saeed Shiry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11876-0
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
Author 
Puppis, Gabriele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11881-4
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Wireless Sensor Networks 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010. Proceedings
Wireless Sensor Networks 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010. Proceedings
Author 
Silva, Jorge Sá. editor. Krishnamachari, Bhaskar. editor. Boavida, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11917-0
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings
Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings
Author 
Sirisuk, Phaophak. editor. Morgan, Fearghal. editor. El-Ghazawi, Tarek. editor. Amano, Hideharu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12133-3
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Author 
Gordon, Andrew D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11957-6
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part I
Author 
Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12156-2
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II
Author 
Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12165-4
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
Author 
Escobar, Santiago. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11999-6
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV
Author 
Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12189-0
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
Author 
Blume, Matthias. editor. Kobayashi, Naoki. editor. Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12251-4
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
Author 
Ghosh, Sudipto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12261-3
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings
Author 
Müller-Clostermann, Bruno. editor. Echtle, Klaus. editor. Rathgeb, Erwin P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12104-3
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers
Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers
Author 
Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12107-4
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers
Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers
Author 
McBurney, Peter. editor. Rahwan, Iyad. editor. Parsons, Simon. editor. Maudet, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12805-9
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for NETWORKING 2010 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010. Proceedings
NETWORKING 2010 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010. Proceedings
Author 
Crovella, Mark. editor. Feeney, Laura Marie. editor. Rubenstein, Dan. editor. Raghavan, S. V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12963-6
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings
Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings
Author 
Bellavista, Paolo. editor. Chang, Ruay-Shiung. editor. Chao, Han-Chieh. editor. Lin, Shin-Feng. editor. Sloot, Peter M. A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13067-0
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Advanced Information Systems Engineering 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings
Advanced Information Systems Engineering 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings
Author 
Pernici, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13094-6
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
Author 
Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13119-6
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
Author 
Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13136-3
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Wired/Wireless Internet Communications 8th International Conference, WWIC 2010, Luleå, Sweden, June 1-3, 2010. Proceedings
Wired/Wireless Internet Communications 8th International Conference, WWIC 2010, Luleå, Sweden, June 1-3, 2010. Proceedings
Author 
Osipov, Evgeny. editor. Kassler, Andreas. editor. Bohnert, Thomas Michael. editor. Masip-Bruin, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13315-2
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
Author 
Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13321-3
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Global Perspectives on Design Science Research 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.
Global Perspectives on Design Science Research 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.
Author 
Winter, Robert. editor. Zhao, J. Leon. editor. Aier, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13335-0
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Author 
Clarke, Dave. editor. Agha, Gul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13414-2
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Author 
Eliassen, Frank. editor. Kapitza, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13645-0
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Aging Friendly Technology for Health and Independence 8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Seoul, Korea, June 22-24, 2010. Proceedings
Aging Friendly Technology for Health and Independence 8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Seoul, Korea, June 22-24, 2010. Proceedings
Author 
Lee, Yeunsook. editor. Bien, Z. Zenn. editor. Mokhtari, Mounir. editor. Kim, Jeong Tai. editor. Park, Mignon. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13778-5
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Future Multimedia Networking Third International Workshop, FMN 2010, Kraków, Poland, June 17-18, 2010. Proceedings
Future Multimedia Networking Third International Workshop, FMN 2010, Kraków, Poland, June 17-18, 2010. Proceedings
Author 
Zeadally, Sherali. editor. Cerqueira, Eduardo. editor. Curado, Marília. editor. Leszczuk, Mikołaj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13789-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action