Limit Search Results
Author
SpringerLink (Online service)
(3244)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(38)
Apduhan, Bernady O. editor.
(37)
Dongarra, Jack. editor.
(29)
Language
Publication Date
-
2011
(369)
2012
(339)
2010
(323)
2013
(317)
2009
(309)
Subject
Computer science.
(2980)
Computer Communication Networks.
(1125)
Artificial intelligence.
(830)
Information systems.
(768)
Logic design.
(731)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3264 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2008 Funchal, Madeira, Portugal, January 28-31, 2008 Revised Selected Papers
Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2008 Funchal, Madeira, Portugal, January 28-31, 2008 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-540-92219-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings
Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings
Author 
Garg, Vijay. editor. Wattenhofer, Roger. editor. Kothapalli, Kishore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92295-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Author 
Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00515-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Trusted Computing Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings.
Trusted Computing Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings.
Author 
Chen, Liqun. editor. Mitchell, Chris J. editor. Martin, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00587-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Chechik, Marsha. editor. Wirsing, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00593-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings
Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings
Author 
Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00602-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00722-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems
Author 
Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00899-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Author 
Kaklamanis, Christos. editor. Nielson, Flemming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00945-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers
Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers
Author 
César, Eduardo. editor. Alexander, Michael. editor. Streit, Achim. editor. Träff, Jesper Larsson. editor. Cérin, Christophe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00955-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Active and Programmable Networks IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers
Active and Programmable Networks IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers
Author 
Hutchison, David. editor. Denazis, Spyros. editor. Lefevre, Laurent. editor. Minden, Gary J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00972-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Service-Oriented Computing – ICSOC 2008 Workshops ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers
Service-Oriented Computing – ICSOC 2008 Workshops ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers
Author 
Feuerlicht, George. editor. Lamersdorf, Winfried. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01247-1
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers
Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers
Author 
Luck, Michael. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01338-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
Author 
Bruni, Roberto. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01364-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports
Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports
Author 
Eugster, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02047-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings
Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings
Author 
Glinz, Martin. editor. Heymans, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02050-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Coordination Models and Languages 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
Coordination Models and Languages 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
Author 
Liszt, Franz, 1811-1886 editor. Vasconcelos, Vasco T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02053-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Transactions on Aspect-Oriented Software Development V
Transactions on Aspect-Oriented Software Development V
Author 
Rashid, Awais. editor. Ossher, Harold. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02059-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings
Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings
Author 
Krishnamachari, Bhaskar. editor. Suri, Subhash. editor. Heinzelman, Wendi. editor. Mitra, Urbashi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02085-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
Author 
Lee, David. editor. Lopes, Antónia. editor. Poetzsch-Heffter, Arnd. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02138-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Modular Ontologies Concepts, Theories and Techniques for Knowledge Modularization
Modular Ontologies Concepts, Theories and Techniques for Knowledge Modularization
Author 
Stuckenschmidt, Heiner. editor. Parent, Christine. editor. Spaccapietra, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01907-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Author 
Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01918-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
Author 
Kordon, Fabrice. editor. Kermarrec, Yvon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01924-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings
Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings
Author 
Du, Ding-Zhu. editor. Hu, Xiaodong. editor. Pardalos, Panos M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02026-1
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Author 
Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02351-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Cutting-Edge Research Topics on Multiple Criteria Decision Making 20th International Conference, MCDM 2009, Chengdu/Jiuzhaigou, China, June 21-26, 2009. Proceedings
Cutting-Edge Research Topics on Multiple Criteria Decision Making 20th International Conference, MCDM 2009, Chengdu/Jiuzhaigou, China, June 21-26, 2009. Proceedings
Author 
Shi, Yong. editor. Wang, Shouyang. editor. Peng, Yi. editor. Li, Jianping. editor. Zeng, Yong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02298-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings
Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings
Author 
Príncipe, José C. editor. Miikkulainen, Risto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02397-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
Author 
Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02408-5
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Author 
Lewis, Grace A. editor. Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02414-6
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulos
Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulos
Author 
Borgida, Alexander T. editor. Chaudhri, Vinay K. editor. Giorgini, Paolo. editor. Yu, Eric S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02463-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Future Multimedia Networking Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings
Future Multimedia Networking Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings
Author 
Mauthe, Andreas. editor. Zeadally, Sherali. editor. Cerqueira, Eduardo. editor. Curado, Marília. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02472-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for A Primer on Scientific Programming with Python
A Primer on Scientific Programming with Python
Author 
Langtangen, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02475-7
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I
Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I
Author 
Köppen, Mario. editor. Kasabov, Nikola. editor. Coghill, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02490-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers
Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers
Author 
Ystad, Sølvi. 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-02518-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Human Interface and the Management of Information. Designing Information Environments Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I
Human Interface and the Management of Information. Designing Information Environments Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I
Author 
Smith, Michael J. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02556-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Human Interface and the Management of Information. Information and Interaction Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II
Human Interface and the Management of Information. Information and Interaction Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II
Author 
Salvendy, Gavriel. editor. Smith, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02559-4
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Engineering Societies in the Agents World IX 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers
Engineering Societies in the Agents World IX 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers
Author 
Artikis, Alexander. editor. Picard, Gauthier. editor. Vercouter, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02562-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Author 
Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02652-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Author 
Bergel, Alexandre. editor. Fabry, Johan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02655-3
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
Author 
Bouajjani, Ahmed. editor. Maler, Oded. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02658-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Computer Networks 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. Proceedings
Computer Networks 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. Proceedings
Author 
Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02671-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings
Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings
Author 
Paige, Richard F. editor. Hartman, Alan. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02674-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Autonomic and Trusted Computing 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings
Autonomic and Trusted Computing 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings
Author 
González Nieto, Juan. editor. Reif, Wolfgang. editor. Wang, Guojun. editor. Indulska, Jadwiga. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02704-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Universal Access in Human-Computer Interaction. Addressing Diversity 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I
Universal Access in Human-Computer Interaction. Addressing Diversity 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02707-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II
Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. 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-02710-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Universal Access in Human-Computer Interaction. Applications and Services 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III
Universal Access in Human-Computer Interaction. Applications and Services 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02713-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Author 
Giese, Martin. editor. Waaler, Arild. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02716-1
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Virtual and Mixed Reality Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings
Virtual and Mixed Reality Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings
Author 
Shumaker, Randall. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02771-0
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Web Engineering 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26, 2009 Proceedings
Web Engineering 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26, 2009 Proceedings
Author 
Gaedke, Martin. editor. Grossniklaus, Michael. editor. Díaz, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02818-2
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Ambient Assistive Health and Wellness Management in the Heart of the City 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings
Ambient Assistive Health and Wellness Management in the Heart of the City 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings
Author 
Mokhtari, Mounir. editor. Khalil, Ismail. editor. Bauchet, Jérémy. editor. Zhang, Daqing. editor. Nugent, Chris. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02868-7
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for GeoSensor Networks Third International Conference, GSN 2009, Oxford, UK, July 13-14, 2009. Proceedings
GeoSensor Networks Third International Conference, GSN 2009, Oxford, UK, July 13-14, 2009. Proceedings
Author 
Trigoni, Niki. editor. Markham, Andrew. editor. Nawaz, Sarfraz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02903-5
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for RoboCup 2008: Robot Soccer World Cup XII
RoboCup 2008: Robot Soccer World Cup XII
Author 
Iocchi, Luca. editor. Matsubara, Hitoshi. editor. Weitzenfeld, Alfredo. editor. Zhou, Changjiu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02921-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
Author 
Bradley, Jeremy T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02924-0
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
Author 
Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02927-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Author 
Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02930-1
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Author 
Dubois, Catherine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02949-3
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings
Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings
Author 
Maneth, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02979-0
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Data and Applications Security XXIII 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009. Proceedings
Data and Applications Security XXIII 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009. Proceedings
Author 
Gudes, Ehud. editor. Vaidya, Jaideep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03007-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
Author 
Drossopoulou, Sophia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03013-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings
Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings
Author 
Taha, Walid Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03034-5
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II
Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II
Author 
Köppen, Mario. editor. Kasabov, Nikola. editor. Coghill, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03040-6
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings
Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings
Author 
Hua, Arrems. editor. Chang, Shih-Liang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03095-6
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Author 
Bove, Ana. editor. Barbosa, Luís Soares. editor. Pardo, Alberto. editor. Pinto, Jorge Sousa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03153-3
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
Author 
Palsberg, Jens. editor. Su, Zhendong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03237-0
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Author 
Cofer, Darren. editor. Fantechi, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03240-0
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Knowledge Management for Health Care Procedures ECAI 2008 Workshop, K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected Papers
Knowledge Management for Health Care Procedures ECAI 2008 Workshop, K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected Papers
Author 
Riaño, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03262-2
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings
Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03275-2
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers
Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers
Author 
Hindriks, Koen V. editor. Pokahr, Alexander. editor. Sardina, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03278-3
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I
Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I
Author 
Gross, Tom. editor. Gulliksen, Jan. editor. Kotzé, Paula. editor. Oestreicher, Lars. editor. Palanque, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03655-2
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II
Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II
Author 
Gross, Tom. editor. Gulliksen, Jan. editor. Kotzé, Paula. editor. Oestreicher, Lars. editor. Palanque, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03658-3
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Data Management in Grid and Peer-to-Peer Systems Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings
Data Management in Grid and Peer-to-Peer Systems Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 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-03715-3
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering
Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering
Author 
Katz, Shmuel. editor. Ossher, Harold. editor. France, Robert. editor. Jézéquel, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03764-1
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Haptic and Audio Interaction Design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings
Haptic and Audio Interaction Design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings
Author 
Altinsoy, M. Ercan. editor. Jekosch, Ute. editor. Brewster, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04076-4
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Grid Economics and Business Models 6th International Workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings
Grid Economics and Business Models 6th International Workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings
Author 
Altmann, Jörn. editor. Buyya, Rajkumar. editor. Rana, Omer F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03864-8
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Software Process Improvement 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings
Software Process Improvement 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings
Author 
O’Connor, Rory V. editor. Baddoo, Nathan. editor. Cuadrago Gallego, Juan. editor. Rejas Muslera, Ricardo. editor. Smolander, Kari. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04133-4
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for E-Voting and Identity Second International Conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009. Proceedings
E-Voting and Identity Second International Conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009. Proceedings
Author 
Ryan, Peter Y. A. editor. Schoenmakers, Berry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04135-8
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings
Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings
Author 
Braubach, Lars. editor. Hoek, Wiebe. editor. Petta, Paolo. editor. Pokahr, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04143-3
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Author 
Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04164-8
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04167-9
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings
Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings
Author 
Edwards, Stephen H. editor. Kulczycki, Gregory. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04211-9
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
Author 
Ghilardi, Silvio. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04222-5
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
Author 
Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04238-6
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
Author 
Gent, Ian P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04244-7
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Artificial Intelligence and Computational Intelligence International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings
Artificial Intelligence and Computational Intelligence International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings
Author 
Deng, Hepu. editor. Wang, Lanzhou. editor. Wang, Fu Lee. editor. Lei, Jingsheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05253-8
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Software and Data Technologies Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers
Software and Data Technologies Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers
Author 
Cordeiro, José. editor. Shishkov, Boris. editor. Ranchordas, AlpeshKumar. editor. Helfert, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05201-9
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Ambient Intelligence European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings
Ambient Intelligence European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings
Author 
Tscheligi, Manfred. editor. Ruyter, Boris. editor. Markopoulus, Panos. editor. Wichert, Reiner. editor. Mirlacher, Thomas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05408-2
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
Author 
Abran, Alain. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Cuadrado-Gallego, Juan J. editor. Brunekreef, Jacob. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05415-0
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers
Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers
Author 
Dolev, Shlomi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05434-1
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems
Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems
Author 
Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05465-5
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Engineering Societies in the Agents World X 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings
Engineering Societies in the Agents World X 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings
Author 
Aldewereld, Huib. editor. Dignum, Virginia. editor. Picard, Gauthier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10203-5
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Advances in Communication and Networking Second International Conference on Future Generation Communication and Networking, FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Advances in Communication and Networking Second International Conference on Future Generation Communication and Networking, FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Author 
Kim, Tai-hoon. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Chang, Alan Chin-Chen. editor. Vasilakos, Thanos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10236-3
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Advances in Security Technology International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Advances in Security Technology International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Author 
Kim, Haeng-kon. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10240-0
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Author 
Kim, Tai-hoon. editor. Fang, Wai-Chi. editor. Lee, Changhoon. editor. Arnett, Kirk P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10242-4
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Architecting Dependable Systems VI
Architecting Dependable Systems VI
Author 
Lemos, Rogério. editor. Fabre, Jean-Charles. editor. Gacek, Cristina. editor. Gadducci, Fabio. editor. Beek, Maurice. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10248-6
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings
Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings
Author 
Lee, Sunggu. editor. Narasimhan, Priya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10265-3
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Author 
Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10373-5
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Service-Oriented Computing 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings
Service-Oriented Computing 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings
Author 
Baresi, Luciano. editor. Chi, Chi-Hung. editor. Suzuki, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10383-4
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings
Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings
Author 
Papasratorn, Borworn. editor. Chutimaskul, Wichian. editor. Porkaew, Kriengkrai. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10392-6
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers
Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10424-4
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for GeoSpatial Semantics Third International Conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009. Proceedings
GeoSpatial Semantics Third International Conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009. Proceedings
Author 
Janowicz, Krzysztof. editor. Raubal, Martin. editor. Levashkin, Sergei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10436-7
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Middleware 2009 ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 – December 4, 2009. Proceedings
Middleware 2009 ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 – December 4, 2009. Proceedings
Author 
Bacon, Jean M. editor. Cooper, Brian F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10445-9
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Author 
Oliveira, Marcel Vinícius Medeiros. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10452-7
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Signal Processing, Image Processing and Pattern Recognition International Conference, SIP 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Signal Processing, Image Processing and Pattern Recognition International Conference, SIP 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Author 
Ślęzak, Dominik. editor. Pal, Sankar K. editor. Kang, Byeong-Ho. editor. Gu, Junzhong. editor. Kuroda, Hideo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10546-3
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Grid and Distributed Computing International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Grid and Distributed Computing International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Author 
Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Yau, Stephen S. editor. Gervasi, Osvaldo. editor. Kang, Byeong-Ho. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10549-4
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Web and Wireless Geographical Information Systems 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedings
Web and Wireless Geographical Information Systems 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedings
Author 
Carswell, James D. editor. Fotheringham, A. Stewart. editor. McArdle, Gavin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10601-9
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Constructing Ambient Intelligence AmI 2008 Workshops, Nuremberg, Germany 19-22, 2008. Revised Papers
Constructing Ambient Intelligence AmI 2008 Workshops, Nuremberg, Germany 19-22, 2008. Revised Papers
Author 
Gerhäuser, Heinz. editor. Hupp, Jürgen. editor. Efstratiou, Christos. editor. Heppner, Janina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10607-1
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Author 
Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. Jiang, Tao. editor. Verner, June. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10619-4
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings
Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings
Author 
Jaatun, Martin Gilje. editor. Zhao, Gansen. editor. Rong, Chunming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10665-1
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
Author 
Hu, Zhenjiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10672-9
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Transactions on Pattern Languages of Programming I
Transactions on Pattern Languages of Programming I
Author 
Noble, James. editor. Johnson, Ralph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10832-7
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings
Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings
Author 
Parashar, Manish. editor. Aggarwal, Sanjeev K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89737-8
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Agile Software Engineering
Agile Software Engineering
Author 
Hazzan, Orit. author. Dubinsky, Yael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-198-5
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for The Semantic Web: Research and Applications 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings
The Semantic Web: Research and Applications 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings
Author 
Bechhofer, Sean. editor. Hauswirth, Manfred. editor. Hoffmann, Jörg. editor. Koubarakis, Manolis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68234-9
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
Author 
Cuellar, Jorge. editor. Maibaum, Tom. editor. Sere, Kaisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68237-0
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Wired/Wireless Internet Communications 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings
Wired/Wireless Internet Communications 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings
Author 
Harju, Jarmo. editor. Heijenk, Geert. editor. Langendörfer, Peter. editor. Siris, Vasilios A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68807-5
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for New Frontiers in Applied Artificial Intelligence 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings
New Frontiers in Applied Artificial Intelligence 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings
Author 
Nguyen, Ngoc Thanh. editor. Borzemski, Leszek. editor. Grzech, Adam. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69052-8
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings
Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings
Author 
Paech, Barbara. editor. Rolland, Colette. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69062-7
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
Author 
Giese, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69073-3
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings
Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings
Author 
Bourgeois, Anu G. editor. Zheng, S. Q. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69501-1
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Product-Focused Software Process Improvement 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings
Product-Focused Software Process Improvement 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings
Author 
Jedlitschka, Andreas. editor. Salo, Outi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69566-0
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings
Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings
Author 
Kounev, Samuel. editor. Gorton, Ian. editor. Sachs, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69814-2
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for 25 Years of Model Checking History, Achievements, Perspectives
25 Years of Model Checking History, Achievements, Perspectives
Author 
Grumberg, Orna. editor. Veith, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69850-0
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Smart Homes and Health Telematics 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings
Smart Homes and Health Telematics 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings
Author 
Helal, Sumi. editor. Mitra, Simanta. editor. Wong, Johnny. editor. Chang, Carl K. editor. Mokhtari, Mounir. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69916-3
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
Author 
Mohamed, Otmane Ait. editor. Muñoz, César. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71067-7
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
Author 
Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71070-7
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project
Author 
Nagl, Manfred. editor. Marquardt, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70552-9
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports
Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports
Author 
Cebulla, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78195-0
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
Author 
Barthe, Gilles. editor. Fournet, Cédric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78663-4
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for A Concise Introduction to Software Engineering
A Concise Introduction to Software Engineering
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-302-6
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Author 
Barthe, Gilles. editor. Boer, Frank S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68863-1
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Author 
Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68894-5
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Parallel Processing and Applied Mathematics 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers
Parallel Processing and Applied Mathematics 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68111-3
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Dependability Metrics Advanced Lectures
Dependability Metrics Advanced Lectures
Author 
Eusgeld, Irene. editor. Freiling, Felix C. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68947-8
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Trusted Computing - Challenges and Applications First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008 Villach, Austria, March 11-12, 2008 Proceedings
Trusted Computing - Challenges and Applications First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008 Villach, Austria, March 11-12, 2008 Proceedings
Author 
Lipp, Peter. editor. Sadeghi, Ahmad-Reza. editor. Koch, Klaus-Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68979-9
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
Author 
Al-Begain, Khalid. editor. Heindl, Armin. editor. Telek, Miklós. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68982-9
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings
High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings
Author 
Mei, Hong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68073-4
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
Author 
Wu, Song. editor. Yang, Laurence T. editor. Xu, Tony Li. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68083-3
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Service Availability 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
Service Availability 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
Author 
Nanya, Takashi. editor. Maruyama, Fumihiro. editor. Pataricza, András. editor. Malek, Miroslaw. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68129-8
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
Author 
Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Author 
Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70583-3
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings
ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings
Author 
Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70592-5
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
Author 
Audebaud, Philippe. editor. Paulin-Mohring, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70594-9
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Shishkov, Boris. editor. Helfert, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70621-2
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
Author 
Gupta, Aarti. editor. Malik, Sharad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70545-1
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Data and Applications Security XXII 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings
Data and Applications Security XXII 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings
Author 
Atluri, Vijay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70567-3
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
Author 
Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70569-7
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
Author 
Hudak, Paul. editor. Warren, David S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77442-6
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings
Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings
Author 
Rao, Shrisha. editor. Chatterjee, Mainak. editor. Jayanti, Prasad. editor. Murthy, C. Siva Ram. editor. Saha, Sanjoy Kumar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77444-0
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Wireless Sensor Networks 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings
Wireless Sensor Networks 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings
Author 
Verdone, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77690-1
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
Author 
Labarta, Jesús. editor. Joe, Kazuki. editor. Sato, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77704-5
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
Author 
Bougé, Luc. editor. Forsell, Martti. editor. Träff, Jesper Larsson. editor. Streit, Achim. editor. Ziegler, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78474-6
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Author 
Drossopoulou, Sophia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78739-6
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Author 
Fiadeiro, José Luiz. editor. Inverardi, Paola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78743-3
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
Author 
Havelund, Klaus. editor. Majumdar, Rupak. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85114-1
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Data Management in Grid and Peer-to-Peer Systems First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings
Data Management in Grid and Peer-to-Peer Systems First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings
Author 
Hameurlain, Abdelkader. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85176-9
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Ad-hoc, Mobile and Wireless Networks 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings
Ad-hoc, Mobile and Wireless Networks 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings
Author 
Coudert, David. editor. Simplot-Ryl, David. editor. Stojmenovic, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85209-4
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
Author 
Meyer, Bertrand. editor. Nawrocki, Jerzy R. editor. Walter, Bartosz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85279-7
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for The Common Component Modeling Example Comparing Software Component Models
The Common Component Modeling Example Comparing Software Component Models
Author 
Rausch, Andreas. editor. Reussner, Ralf. editor. Mirandola, Raffaela. editor. Plášil, František. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85289-6
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Information Security 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings
Information Security 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings
Author 
Wu, Tzong-Chen. editor. Lei, Chin-Laung. editor. Rijmen, Vincent. editor. Lee, Der-Tsai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85886-7
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Author 
Börger, Egon. editor. Butler, Michael. editor. Bowen, Jonathan P. editor. Boca, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87603-8
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
Author 
Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85778-5
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings
Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings
Author 
Brinkschulte, Uwe. editor. Givargis, Tony. editor. Russo, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87785-1
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008. Proceedings
Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008. Proceedings
Author 
Tang, Changjie. editor. Ling, Charles X. editor. Zhou, Xiaofang. editor. Cercone, Nick J. editor. Li, Xue. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88192-6
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Author 
Liu, Shaoying. editor. Maibaum, Tom. editor. Araki, Keijiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88194-0
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
Author 
Cha, Sungdeok (Steve). editor. Choi, Jin-Young. editor. Kim, Moonzoo. editor. Lee, Insup. editor. Viswanathan, Mahesh. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88387-6
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings
Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings
Author 
Heiner, Monika. editor. Uhrmacher, Adelinde M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88562-7
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Wireless Algorithms, Systems, and Applications Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings
Wireless Algorithms, Systems, and Applications Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings
Author 
Li, Yingshu. editor. Huynh, Dung T. editor. Das, Sajal K. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88582-5
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
Author 
Lämmel, Ralf. editor. Visser, Joost. editor. Saraiva, João. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88643-3
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
Author 
Calvanese, Diego. editor. Lausen, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88737-9
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. 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-540-88808-6
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2008 Workshops OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings
On the Move to Meaningful Internet Systems: OTM 2008 Workshops OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings
Author 
Meersman, Robert. editor. Tari, Zahir. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88875-8
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
Author 
Schürr, Andy. editor. Nagl, Manfred. editor. Zündorf, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89020-1
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
Author 
Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89247-2
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers
Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers
Author 
Hirschfeld, Robert. editor. Rose, Kim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89275-5
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
Author 
Ramalingam, G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89330-1
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings
Stabilization, Safety, and Security of Distributed Systems 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings
Author 
Kulkarni, Sandeep. editor. Schiper, André. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89335-6
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Software Process and Product Measurement International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings
Software Process and Product Measurement International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings
Author 
Dumke, Reiner R. editor. Braungarten, René. editor. Büren, Günter. editor. Abran, Alain. editor. Cuadrado-Gallego, Juan J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89403-2
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Software-Intensive Systems and New Computing Paradigms Challenges and Visions
Software-Intensive Systems and New Computing Paradigms Challenges and Visions
Author 
Wirsing, Martin. editor. Banâtre, Jean-Pierre. editor. Hölzl, Matthias. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89437-7
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
Author 
Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89439-1
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Interactive Storytelling First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008 Erfurt, Germany, November 26-29, 2008 Proceedings
Interactive Storytelling First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008 Erfurt, Germany, November 26-29, 2008 Proceedings
Author 
Spierling, Ulrike. editor. Szilas, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89454-4
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Information Networking. Towards Ubiquitous Networking and Services International Conference, ICOIN 2007, Estoril, Portugal, January 23-25, 2007. Revised Selected Papers
Information Networking. Towards Ubiquitous Networking and Services International Conference, ICOIN 2007, Estoril, Portugal, January 23-25, 2007. Revised Selected Papers
Author 
Vazão, Teresa. editor. Freire, Mário M. editor. Chong, Ilyoung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89524-4
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92188-2
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers
Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers
Author 
Gulliksen, Jan. editor. Harning, Morton Borup. editor. Palanque, Philippe. editor. Veer, Gerrit C. editor. Wesson, Janet. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92698-6
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers
Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers
Author 
Shen, Weiming. editor. Yong, Jianming. editor. Yang, Yun. editor. Barthès, Jean-Paul A. editor. Luo, Junzhou. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92719-8
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
Author 
Lea, Doug. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68265-3
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Formal Methods in Systems Biology First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
Formal Methods in Systems Biology First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
Author 
Fisher, Jasmin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68413-8
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Persuasive Technology Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings
Persuasive Technology Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings
Author 
Oinas-Kukkonen, Harri. editor. Hasle, Per. editor. Harjumaa, Marja. editor. Segerståhl, Katarina. editor. Øhrstrøm, Peter. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68504-3
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
Author 
Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68524-1
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings
OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings
Author 
Mueller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor. Malony, Allen D. editor. Voss, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68555-5
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
Author 
Kordon, Fabrice. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68624-8
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
Author 
Meier, René. editor. Terzis, Sotirios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68642-2
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for RoboCup 2007: Robot Soccer World Cup XI
RoboCup 2007: Robot Soccer World Cup XI
Author 
Visser, Ubbo. editor. Ribeiro, Fernando. editor. Ohashi, Takeshi. editor. Dellaert, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68847-1
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Author 
Suzuki, Kenji. editor. Higashino, Teruo. editor. Yasumoto, Keiichi. editor. El-Fakih, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68855-6
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Author 
Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68679-8
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
Author 
Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68746-7
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
Author 
Schieferdecker, Ina. editor. Hartman, Alan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69100-6
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Author 
Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69149-5
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
Author 
Alpuente, María. editor. Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Autonomic and Trusted Computing 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings
Autonomic and Trusted Computing 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings
Author 
Rong, Chunming. editor. Jaatun, Martin Gilje. editor. Sandnes, Frode Eika. editor. Yang, Laurence T. editor. Ma, Jianhua. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69295-9
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
Author 
Chapman, Barbara. editor. Zheng, Weiming. editor. Gao, Guang R. editor. Sato, Mitsuhisa. editor. Ayguadé, Eduard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69303-1
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Author 
Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70930-5
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
Author 
Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77564-5
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Reflections on the Teaching of Programming Methods and Implementations
Reflections on the Teaching of Programming Methods and Implementations
Author 
Bennedsen, Jens. editor. Caspersen, Michael E. editor. Kölling, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77934-6
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
Author 
Tuyls, Karl. editor. Nowe, Ann. editor. Guessoum, Zahia. editor. Kudenko, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77949-0
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
Author 
Yorav, Karen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
Author 
Medina, Raoul. editor. Obiedkov, Sergei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78137-0
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Architecture of Computing Systems – ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings
Architecture of Computing Systems – ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings
Author 
Brinkschulte, Uwe. editor. Ungerer, Theo. editor. Hochberger, Christian. editor. Spallek, Rainer G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78153-0
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
Author 
Logozzo, Francesco. editor. Peled, Doron A. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78163-9
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
Author 
Pautasso, Cesare. editor. Tanter, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78789-1
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
Author 
Hendren, Laurie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78791-4
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Author 
Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers
Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers
Author 
Hierons, Robert M. editor. Bowen, Jonathan P. editor. Harman, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78917-8
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
Author 
Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78929-1
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers
Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers
Author 
Sichman, Jaime Simão. editor. Padget, Julian. editor. Ossowski, Sascha. editor. Noriega, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79003-7
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
Author 
Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79043-3
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
Author 
Beckert, Bernhard. editor. Hähnle, Reiner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79124-9
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
Author 
Dumas, Marlon. editor. Heckel, Reiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79230-7
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
Author 
Luck, Michael. editor. Padgham, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79488-2
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings
NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings
Author 
Das, Amitabha. editor. Pung, Hung Keng. editor. Lee, Francis Bu Sung. editor. Wong, Lawrence Wai Choong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79549-0
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings
OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings
Author 
Eigenmann, Rudolf. editor. Supinski, Bronis R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79561-2
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Pervasive Computing 6th International Conference, Pervasive 2008 Sydney, Australia, May 19-22, 2008 Proceedings
Pervasive Computing 6th International Conference, Pervasive 2008 Sydney, Australia, May 19-22, 2008 Proceedings
Author 
Indulska, Jadwiga. editor. Patterson, Donald J. editor. Rodden, Tom. editor. Ott, Max. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79576-6
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Making Globally Distributed Software Development a Success Story International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings
Making Globally Distributed Software Development a Success Story International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings
Author 
Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79588-9
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Ada 2005 Rationale The Language, The Standard Libraries
Ada 2005 Rationale The Language, The Standard Libraries
Author 
Barnes, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79701-2
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Author 
Leue, Stefan. editor. Merino, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79707-4
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Author 
Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for GeoSensor Networks Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers
GeoSensor Networks Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers
Author 
Nittel, Silvia. editor. Labrinidis, Alexandros. editor. Stefanidis, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79996-2
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Engineering Environment-Mediated Multi-Agent Systems International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers
Engineering Environment-Mediated Multi-Agent Systems International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers
Author 
Weyns, Danny. editor. Brueckner, Sven A. editor. Demazeau, Yves. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85029-8
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Computer Music Modeling and Retrieval. Sense of Sounds 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers
Computer Music Modeling and Retrieval. Sense of Sounds 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers
Author 
Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85035-9
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Cryptographic Hardware and Embedded Systems – CHES 2008 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings
Cryptographic Hardware and Embedded Systems – CHES 2008 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings
Author 
Oswald, Elisabeth. editor. Rohatgi, Pankaj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85053-3
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Secure Transaction Protocol Analysis Models and Applications
Secure Transaction Protocol Analysis Models and Applications
Author 
Chen, Qingfeng. author. Zhang, Chengqi. author. Zhang, Shichao. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85074-8
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
Author 
Horimoto, Katsuhisa. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. Yoshida, Hiroshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85101-1
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings
Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings
Author 
Luque, Emilio. editor. Margalef, Tomàs. editor. Benítez, Domingo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85451-7
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Next Generation Teletraffic and Wired/Wireless Advanced Networking 8th International Conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART 2008 St. Petersburg, Russia, September 3-5, 2008. Proceedings
Next Generation Teletraffic and Wired/Wireless Advanced Networking 8th International Conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART 2008 St. Petersburg, Russia, September 3-5, 2008. Proceedings
Author 
Balandin, Sergey. editor. Moltchanov, Dmitri. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85500-2
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Software Process and Product Measurement International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers
Software Process and Product Measurement International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers
Author 
Cuadrado-Gallego, Juan J. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Abran, Alain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85553-8
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Architecting Dependable Systems V
Architecting Dependable Systems V
Author 
Lemos, Rogério. editor. Giandomenico, Felicita. editor. Gacek, Cristina. editor. Muccini, Henry. editor. Vieira, Marlon. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85571-2
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Software Process Improvement 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings
Software Process Improvement 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings
Author 
O’Connor, Rory V. editor. Baddoo, Nathan. editor. Smolander, Kari. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85936-9
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings
Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings
Author 
Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85992-5
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
Author 
Ehrig, Hartmut. editor. Heckel, Reiko. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87405-8
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
Author 
Thomas, Nigel. editor. Juiz, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87412-6
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Engineering Societies in the Agents World VIII 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers
Engineering Societies in the Agents World VIII 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers
Author 
Artikis, Alexander. editor. O’Hare, Gregory M. P. editor. Stathis, Kostas. editor. Vouros, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87654-0
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
Author 
Harrison, Michael D. editor. Sujan, Mark-Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Parallel Problem Solving from Nature – PPSN X 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings
Parallel Problem Solving from Nature – PPSN X 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings
Author 
Rudolph, Günter. editor. Jansen, Thomas. editor. Lucas, Simon. editor. Poloni, Carlo. editor. Beume, Nicola. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87700-4
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
Author 
Fitzgerald, John S. editor. Haxthausen, Anne E. editor. Yenigun, Husnu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85762-4
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Multiagent System Technologies 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
Multiagent System Technologies 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
Author 
Bergmann, Ralph. editor. Lindemann, Gabriela. editor. Kirn, Stefan. editor. Pěchouček, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87805-6
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
Author 
Czarnecki, Krzysztof. editor. Ober, Ileana. editor. Bruel, Jean-Michel. editor. Uhl, Axel. editor. Völter, Markus. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87875-9
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings
Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings
Author 
Li, Qing. editor. Spaccapietra, Stefano. editor. Yu, Eric. editor. Olivé, Antoni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87877-3
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
Author 
Becker, Steffen. editor. Plasil, Frantisek. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87879-7
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings
Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings
Author 
Darzentas, John. editor. Vouros, George A. editor. Vosinakis, Spyros. editor. Arnellos, Argyris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87881-0
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
Author 
Chaudron, Michel R. V. editor. Szyperski, Clemens. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87891-9
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings
Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88011-0
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Software Architecture Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
Software Architecture Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
Author 
Morrison, Ron. editor. Balasubramaniam, Dharini. editor. Falkner, Katrina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88030-1
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
Author 
Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Soós, Anna. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88059-2
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Service-Oriented Computing – ICSOC 2008 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings
Service-Oriented Computing – ICSOC 2008 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings
Author 
Bouguettaya, Athman. editor. Krueger, Ingolf. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89652-4
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings
Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings
Author 
Bui, The Duy. editor. Ho, Tuong Vinh. editor. Ha, Quang Thuy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89674-6
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
Author 
Börger, Egon. editor. Cisternino, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89762-0
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
Author 
Paech, Barbara. editor. Martell, Craig. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89778-1
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Middleware 2008 ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings
Middleware 2008 ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings
Author 
Issarny, Valérie. editor. Schantz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89856-6
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings
High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings
Author 
Sadayappan, Ponnuswamy. editor. Parashar, Manish. editor. Badrinath, Ramamurthy. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89894-8
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Self-Organizing Systems Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings
Self-Organizing Systems Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings
Author 
Hummel, Karin Anna. editor. Sterbenz, James P. G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92157-8
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Practical Distributed Processing
Practical Distributed Processing
Author 
Brooke, Phillip J. author. Paige, Richard F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-841-8
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
Author 
Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69061-0
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
Author 
Kühne, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69489-2
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Author 
Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69554-7
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
Author 
Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69611-7
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
Author 
Cook, Byron. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69738-1
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings
Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings
Author 
Langendoen, Koen. editor. Voigt, Thiemo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69830-2
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Author 
Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69868-5
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings
Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings
Author 
Dubitzky, Werner. editor. Schuster, Assaf. editor. Sloot, Peter M. A. editor. Schroeder, Michael. editor. Romberg, Mathilde. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69968-2
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers
Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers
Author 
Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70881-0
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Information Security Applications 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers
Information Security Applications 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers
Author 
Lee, Jae Kwang. editor. Yi, Okyeon. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71093-6
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Author 
Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71956-4
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Author 
Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71998-4
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic
All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic
Author 
Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71999-1
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Pervasive Computing 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings
Pervasive Computing 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings
Author 
LaMarca, Anthony. editor. Langheinrich, Marc. editor. Truong, Khai N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72037-9
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings
Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings
Author 
Jin, Hai. editor. Rana, Omer F. editor. Pan, Yi. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72905-1
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
Author 
Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72982-2
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Managing Traffic Performance in Converged Networks 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings
Managing Traffic Performance in Converged Networks 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings
Author 
Mason, Lorne. editor. Drwiega, Tadeusz. editor. Yan, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72990-7
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings
Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings
Author 
Sawyer, Pete. editor. Paech, Barbara. editor. Heymans, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73031-6
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Pervasive Computing for Quality of Life Enhancement 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007. Proceedings
Pervasive Computing for Quality of Life Enhancement 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007. Proceedings
Author 
Okadome, Takeshi. editor. Yamazaki, Tatsuya. editor. Makhtari, Mounir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73035-4
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings
Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings
Author 
Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73066-8
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings
Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings
Author 
Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73094-1
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
Author 
Olivetti, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73099-6
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings
Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings
Author 
Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73101-6
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73105-4
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II
Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73107-8
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III
Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73110-8
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV
Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73111-5
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications
Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications
Author 
Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73131-3
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Author 
Comon-Lundh, Hubert. editor. Kirchner, Claude. editor. Kirchner, Hélène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73147-4
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings
Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings
Author 
Derrick, John. editor. Vain, Jüri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73196-2
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
Author 
Davies, Jim. editor. Gibbons, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73210-5
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings
Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings
Author 
Abdennadher, Nabil. editor. Kordon, Fabrice. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73230-3
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings
Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings
Author 
Anai, Hirokazu. editor. Horimoto, Katsuhisa. editor. Kutsia, Temur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73433-8
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings
Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings
Author 
Münch, Jürgen. editor. Abrahamsson, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73460-4
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Dependable and Adaptable Networks and Services 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings
Dependable and Adaptable Networks and Services 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings
Author 
Pras, Aiko. editor. Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73530-4
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Data and Applications Security XXI 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings
Data and Applications Security XXI 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings
Author 
Barker, Steve. editor. Ahn, Gail-Joon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73538-0
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Autonomic and Trusted Computing 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings
Autonomic and Trusted Computing 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings
Author 
Xiao, Bin. editor. Yang, Laurence T. editor. Ma, Jianhua. editor. Muller-Schloer, Christian. editor. Hua, Yu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73547-2
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings
Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings
Author 
Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73551-9
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings
ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings
Author 
Ernst, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73589-2
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
Author 
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73595-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action