Limit Search Results
Author
SpringerLink (Online service)
(2008)
MacDonald, Matthew. author.
(14)
C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
(11)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Faginas Lago, Maria Noelia. editor. (orcid)0000-0002-4056-3364
(11)
Language
Publication Date
-
2013
(251)
2012
(233)
2011
(224)
2010
(215)
2009
(197)
Subject
Artificial intelligence.
(702)
Software engineering.
(565)
Computer Communication Networks.
(533)
Information systems.
(422)
Computer software.
(380)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2014 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Perception in Multimodal Dialogue Systems 4th IEEE Tutorial and Research Workshop on Perception and Interactive Technologies for Speech-Based Systems, PIT 2008, Kloster Irsee, Germany, June 16-18, 2008. Proceedings
Perception in Multimodal Dialogue Systems 4th IEEE Tutorial and Research Workshop on Perception and Interactive Technologies for Speech-Based Systems, PIT 2008, Kloster Irsee, Germany, June 16-18, 2008. Proceedings
Author 
André, Elisabeth. editor. Dybkjær, Laila. editor. Minker, Wolfgang. editor. Neumann, Heiko. editor. Pieraccini, Roberto. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69369-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Global E-Security 4th International Conference, ICGeS 2008, London, UK, June 23-25, 2008. Proceedings
Global E-Security 4th International Conference, ICGeS 2008, London, UK, June 23-25, 2008. Proceedings
Author 
Jahankhani, Hamid. editor. Revett, Kenneth. editor. Palmer-Brown, Dominic. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69403-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
Author 
Beckmann, Arnold. editor. Dimitracopoulos, Costas. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69407-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Changing Television Environments 6th European Conference, EUROITV 2008, Salzburg, Austria, July 3-4, 2008 Proceedings
Changing Television Environments 6th European Conference, EUROITV 2008, Salzburg, Austria, July 3-4, 2008 Proceedings
Author 
Tscheligi, Manfred. editor. Obrist, Marianna. editor. Lugmayr, Artur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69478-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings
Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings
Author 
Paige, Richard F. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69824-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Algorithm Theory – SWAT 2008 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings
Algorithm Theory – SWAT 2008 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings
Author 
Gudmundsson, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69903-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Informatics Education - Supporting Computational Thinking Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008 Torun Poland, July 1-4, 2008 Proceedings
Informatics Education - Supporting Computational Thinking Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008 Torun Poland, July 1-4, 2008 Proceedings
Author 
Mittermeir, Roland T. editor. Sysło, Maciej M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69924-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Author 
Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69937-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Artificial Neural Networks in Pattern Recognition Third IAPR Workshop, ANNPR 2008 Paris, France, July 2-4, 2008 Proceedings
Artificial Neural Networks in Pattern Recognition Third IAPR Workshop, ANNPR 2008 Paris, France, July 2-4, 2008 Proceedings
Author 
Prevost, Lionel. editor. Marinai, Simone. editor. Schwenker, Friedhelm. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69939-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Biomedical Simulation 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings
Biomedical Simulation 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings
Author 
Bello, Fernando. editor. Edwards, P. J. Eddie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70521-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for Business Process Management Workshops BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers
Business Process Management Workshops BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers
Author 
Hofstede, Arthur. editor. Benatallah, Boualem. editor. Paik, Hye-Young. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78238-4
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Information Security Practice and Experience 4th International Conference, ISPEC 2008 Sydney, Australia, April 21-23, 2008 Proceedings
Information Security Practice and Experience 4th International Conference, ISPEC 2008 Sydney, Australia, April 21-23, 2008 Proceedings
Author 
Chen, Liqun. editor. Mu, Yi. editor. Susilo, Willy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79104-1
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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:
15. 
Cover image for Argumentation in Multi-Agent Systems 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers
Argumentation in Multi-Agent Systems 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers
Author 
Rahwan, Iyad. editor. Parsons, Simon. editor. Reed, Chris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78915-4
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings
Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings
Author 
Althoff, Klaus-Dieter. editor. Bergmann, Ralph. editor. Minor, Mirjam. editor. Hanft, Alexandre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85502-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
Author 
Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85658-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for E-Commerce and Web Technologies 9th International Conference, EC-Web 2008 Turin, Italy, September 3-4, 2008 Proceedings
E-Commerce and Web Technologies 9th International Conference, EC-Web 2008 Turin, Italy, September 3-4, 2008 Proceedings
Author 
Psaila, Giuseppe. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85717-4
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Trust, Privacy and Security in Digital Business 5th International Conference, TrustBus 2008 Turin, Italy, September 4-5, 2008 Proceedings
Trust, Privacy and Security in Digital Business 5th International Conference, TrustBus 2008 Turin, Italy, September 4-5, 2008 Proceedings
Author 
Furnell, Steven. editor. Katsikas, Sokratis K. editor. Lioy, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85735-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Business Process Management 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings
Business Process Management 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings
Author 
Dumas, Marlon. editor. Reichert, Manfred. editor. Shan, Ming-Chien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85758-7
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Artificial Intelligence: Methodology, Systems, and Applications 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
Artificial Intelligence: Methodology, Systems, and Applications 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
Author 
Dochev, Danail. editor. Pistore, Marco. editor. Traverso, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85776-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Creating Flash Widgets with Flash CS4 and ActionScript 3.0
Creating Flash Widgets with Flash CS4 and ActionScript 3.0
Author 
Arana, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1585-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for The Future of Identity in the Information Society Proceedings of the Third IFIP WG 9.2, 9.6/11.6, 11.7/FIDIS International Summer School on The Future of Identity in the Information Society, Karlstad University, Sweden, August 4–10, 2007
The Future of Identity in the Information Society Proceedings of the Third IFIP WG 9.2, 9.6/11.6, 11.7/FIDIS International Summer School on The Future of Identity in the Information Society, Karlstad University, Sweden, August 4–10, 2007
Author 
Fischer-Hübner, Simone. editor. Duquenoy, Penny. editor. Zuccato, Albin. editor. Martucci, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-79026-8
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
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:
25. 
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:
26. 
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:
27. 
Cover image for Information Retrieval Technology 4th Asia Infomation Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008 Revised Selected Papers
Information Retrieval Technology 4th Asia Infomation Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008 Revised Selected Papers
Author 
Li, Hang. editor. Liu, Ting. editor. Ma, Wei-Ying. editor. Sakai, Tetsuya. editor. Wong, Kam-Fai. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68636-1
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
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:
29. 
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:
30. 
Cover image for Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings
Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings
Author 
Nikoletseas, Sotiris E. editor. Chlebus, Bogdan S. editor. Johnson, David B. editor. Krishnamachari, Bhaskar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69170-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
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:
32. 
Cover image for DNA Computing 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers
DNA Computing 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers
Author 
Garzon, Max H. editor. Yan, Hao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77962-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Machine Learning for Multimodal Interaction 4th International Workshop, MLMI 2007, Brno, Czech Republic, June 28-30, 2007, Revised Selected Papers
Machine Learning for Multimodal Interaction 4th International Workshop, MLMI 2007, Brno, Czech Republic, June 28-30, 2007, Revised Selected Papers
Author 
Popescu-Belis, Andrei. editor. Renals, Steve. editor. Bourlard, Hervé. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78155-4
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
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:
35. 
Cover image for Medical Imaging and Augmented Reality 4th International Workshop Tokyo, Japan, August 1-2, 2008 Proceedings
Medical Imaging and Augmented Reality 4th International Workshop Tokyo, Japan, August 1-2, 2008 Proceedings
Author 
Dohi, Takeyoshi. editor. Sakuma, Ichiro. editor. Liao, Hongen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79982-5
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
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:
37. 
Cover image for Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers
Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers
Author 
Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85058-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Web Information Systems Engineering – WISE 2008 Workshops WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings
Web Information Systems Engineering – WISE 2008 Workshops WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings
Author 
Hartmann, Sven. editor. Zhou, Xiaofang. editor. Kirchberg, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85200-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
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:
40. 
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:
41. 
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:
42. 
Cover image for Research in Cryptology Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers
Research in Cryptology Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers
Author 
Lucks, Stefan. editor. Sadeghi, Ahmad-Reza. editor. Wolf, Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88353-1
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for HCI and Usability for Education and Work 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings
HCI and Usability for Education and Work 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings
Author 
Holzinger, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89350-9
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Cryptology and Network Security 7th International Conference, CANS 2008, Hong-Kong, China, December 2-4, 2008. Proceedings
Cryptology and Network Security 7th International Conference, CANS 2008, Hong-Kong, China, December 2-4, 2008. Proceedings
Author 
Franklin, Matthew K. editor. Hui, Lucas Chi Kwong. editor. Wong, Duncan S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89641-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008. Proceedings
Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008. Proceedings
Author 
Vitoria Lobo, Niels. editor. Kasparis, Takis. editor. Roli, Fabio. editor. Kwok, James T. editor. Georgiopoulos, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89689-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Information Systems Security 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings
Information Systems Security 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings
Author 
Sekar, R. editor. Pujari, Arun K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89862-7
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Internet and Network Economics 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings
Internet and Network Economics 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings
Author 
Papadimitriou, Christos. editor. Zhang, Shuzhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92185-1
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Cognitive Vision 4th International Workshop, ICVW 2008, Santorini, Greece, May 12, 2008, Revised Selected Papers
Cognitive Vision 4th International Workshop, ICVW 2008, Santorini, Greece, May 12, 2008, Revised Selected Papers
Author 
Caputo, Barbara. editor. Vincze, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92781-5
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
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:
50. 
Cover image for Reconfigurable Computing: Architectures, Tools and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings
Reconfigurable Computing: Architectures, Tools and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings
Author 
Woods, Roger. editor. Compton, Katherine. editor. Bouganis, Christos. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78610-8
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Knowledge Management for Health Care Procedures From Knowledge to Global Care, AIME 2007 Workshop K4CARE 2007, Amsterdam, The Netherlands, July 7, 2007, Revised Selected Papers
Knowledge Management for Health Care Procedures From Knowledge to Global Care, AIME 2007 Workshop K4CARE 2007, Amsterdam, The Netherlands, July 7, 2007, 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-540-78624-5
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings
Author 
Huang, De-Shuang. editor. Wunsch, Donald C. editor. Levine, Daniel S. editor. Jo, Kang-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85984-0
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
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:
54. 
Cover image for Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings
Author 
Huang, De-Shuang. editor. Wunsch, Donald C. editor. Levine, Daniel S. editor. Jo, Kang-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87442-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Wireless Systems and Mobility in Next Generation Internet 4th International Workshop of the EuroNGI/EuroFGI Network of Excellence Barcelona, Spain, January 16-18, 2008 Revised Selected Papers
Wireless Systems and Mobility in Next Generation Internet 4th International Workshop of the EuroNGI/EuroFGI Network of Excellence Barcelona, Spain, January 16-18, 2008 Revised Selected Papers
Author 
Cerdà-Alabern, Llorenç. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89183-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Advances in Visual Computing 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part I
Advances in Visual Computing 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part I
Author 
Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Remagnino, Paolo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89639-5
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Advances in Visual Computing 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part II
Advances in Visual Computing 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part II
Author 
Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Remagnino, Paolo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89646-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Logistikprozesse mit SAP® Eine anwendungsbezogene Einführung — Mit durchgehendem Fallbeispiel — Geeignet für SAP Version 4.6A bis ERP 2005
Logistikprozesse mit SAP® Eine anwendungsbezogene Einführung — Mit durchgehendem Fallbeispiel — Geeignet für SAP Version 4.6A bis ERP 2005
Author 
Benz, Jochen. author. Höflinger, Markus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-6502-1
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Approximation and Online Algorithms 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006. Revised Papers
Approximation and Online Algorithms 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006. Revised Papers
Author 
Erlebach, Thomas. editor. Kaklamanis, Christos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11970125
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
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:
61. 
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:
62. 
Cover image for Evolutionary Multi-Criterion Optimization 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings
Evolutionary Multi-Criterion Optimization 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings
Author 
Obayashi, Shigeru. editor. Deb, Kalyanmoy. editor. Poloni, Carlo. editor. Hiroyasu, Tomoyuki. editor. Murata, Tadahiko. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70928-2
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Theory of Cryptography 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007. Proceedings
Theory of Cryptography 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007. Proceedings
Author 
Vadhan, Salil P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70936-7
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for New Frontiers in Artificial Intelligence JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan, June 23-27, 2003 and Kanazawa, Japan, May 31 - June 4, 2004, Revised Selected Papers
New Frontiers in Artificial Intelligence JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan, June 23-27, 2003 and Kanazawa, Japan, May 31 - June 4, 2004, Revised Selected Papers
Author 
Sakurai, Akito. editor. Hasida, Kôiti. editor. Nitta, Katsumi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71009-7
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Environments for Multi-Agent Systems III Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers
Environments for Multi-Agent Systems III Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers
Author 
Weyns, Danny. editor. Parunak, H. Van Dyke. editor. Michel, Fabien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71103-2
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Adaptive Multimedia Retrieval: User, Context, and Feedback 4th International Workshop, AMR 2006, Geneva, Switzerland, July 27-28, 2006, Revised Selected Papers
Adaptive Multimedia Retrieval: User, Context, and Feedback 4th International Workshop, AMR 2006, Geneva, Switzerland, July 27-28, 2006, Revised Selected Papers
Author 
Marchand-Maillet, Stéphane. editor. Bruno, Eric. editor. Nürnberger, Andreas. editor. Detyniecki, Marcin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71545-0
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers
Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers
Author 
Meuter, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71836-9
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
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:
69. 
Cover image for Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings
Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings
Author 
Cérin, Christophe. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72360-8
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I
Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I
Author 
Liu, Derong. editor. Fei, Shumin. editor. Hou, Zeng-Guang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72383-7
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II
Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II
Author 
Liu, Derong. editor. Fei, Shumin. editor. Hou, Zengguang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72393-6
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III
Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III
Author 
Liu, Derong. editor. Fei, Shumin. editor. Hou, Zengguang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72395-0
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings
Author 
Hentenryck, Pascal. editor. Wolsey, Laurence. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72397-4
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings
Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings
Author 
Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72504-6
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers
Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers
Author 
Almási, George. editor. Caşcaval, Călin. editor. Wu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72521-3
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Fun with Algorithms 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007. Proceedings
Fun with Algorithms 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007. Proceedings
Author 
Crescenzi, Pierluigi. editor. Prencipe, Giuseppe. editor. Pucci, Geppino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72914-3
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Data Integration in the Life Sciences 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007. Proceedings
Data Integration in the Life Sciences 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007. Proceedings
Author 
Cohen-Boulakia, Sarah. editor. Tannen, Val. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73255-6
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Modeling Decisions for Artificial Intelligence 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings
Modeling Decisions for Artificial Intelligence 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings
Author 
Torra, Vicenç. editor. Narukawa, Yasuo. editor. Yoshida, Yuji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73729-2
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Discovery Science 10th International Conference, DS 2007 Sendai, Japan, October 1-4, 2007. Proceedings
Discovery Science 10th International Conference, DS 2007 Sendai, Japan, October 1-4, 2007. Proceedings
Author 
Corruble, Vincent. editor. Takeda, Masayuki. editor. Suzuki, Einoshin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75488-6
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Service-Oriented Computing ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops Proceedings
Service-Oriented Computing ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops Proceedings
Author 
Georgakopoulos, Dimitrios. editor. Ritter, Norbert. editor. Benatallah, Boualem. editor. Zirpins, Christian. editor. Feuerlicht, George. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75492-3
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Algorithmic Learning Theory 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007. Proceedings
Algorithmic Learning Theory 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007. Proceedings
Author 
Hutter, Marcus. editor. Servedio, Rocco A. editor. Takimoto, Eiji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75225-7
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Hybrid Metaheuristics 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007. Proceedings
Hybrid Metaheuristics 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007. Proceedings
Author 
Bartz-Beielstein, Thomas. editor. Blesa Aguilera, María José. editor. Blum, Christian. editor. Naujoks, Boris. editor. Roli, Andrea. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75514-2
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Secure Data Management 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings
Secure Data Management 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings
Author 
Jonker, Willem. editor. Petković, Milan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75248-6
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
Author 
Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75292-9
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for MICAI 2007: Advances in Artificial Intelligence 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007. Proceedings
MICAI 2007: Advances in Artificial Intelligence 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007. Proceedings
Author 
Gelbukh, Alexander. editor. Kuri Morales, Ángel Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76631-5
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Ubiquitous Computing Systems 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007. Proceedings
Ubiquitous Computing Systems 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007. Proceedings
Author 
Ichikawa, Haruhisa. editor. Cho, We-Duke. editor. Satoh, Ichiro. editor. Youn, Hee Yong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76772-5
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Progress in Artificial Life Third Australian Conference; ACAL 2007 Gold Coast, Australia, December 4-6, 2007 Proceedings
Progress in Artificial Life Third Australian Conference; ACAL 2007 Gold Coast, Australia, December 4-6, 2007 Proceedings
Author 
Randall, Marcus. editor. Abbass, Hussein A. editor. Wiles, Janet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76931-6
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Combinatorial and Algorithmic Aspects of Networking 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers
Combinatorial and Algorithmic Aspects of Networking 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers
Author 
Janssen, Jeannette. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77294-1
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007 Hyderabad, India, January 8, 2007 Revised Selected Papers
Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007 Hyderabad, India, January 8, 2007 Revised Selected Papers
Author 
Paletta, Lucas. editor. Rome, Erich. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77343-6
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Medical Biometrics First International Conference, ICMB 2008, Hong Kong, China, January 4-5, 2008. Proceedings
Medical Biometrics First International Conference, ICMB 2008, Hong Kong, China, January 4-5, 2008. Proceedings
Author 
Zhang, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77413-6
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for E-Voting and Identity First International Conference, VOTE-ID 2007, Bochum, Germany, October 4-5, 2007, Revised Selected Papers
E-Voting and Identity First International Conference, VOTE-ID 2007, Bochum, Germany, October 4-5, 2007, Revised Selected Papers
Author 
Alkassar, Ammar. editor. Volkamer, Melanie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77493-8
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Artificial Intelligence and Innovations 2007: from Theory to Applications Proceedings of the 4th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI 2007)
Artificial Intelligence and Innovations 2007: from Theory to Applications Proceedings of the 4th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI 2007)
Author 
Boukis, Christos. editor. Pnevmatikakis, Aristodemos. editor. Polymenakos, Lazaros. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-74161-1
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Computational Turbulent Incompressible Flow Applied Mathematics: Body and Soul 4
Computational Turbulent Incompressible Flow Applied Mathematics: Body and Soul 4
Author 
Hoffman, Johan. author. Johnson, Claes. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-46533-1
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Formal Correctness of Security Protocols With 62 Figures and 4 Tables
Formal Correctness of Security Protocols With 62 Figures and 4 Tables
Author 
Bella, Giampaolo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68136-6
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings
The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings
Author 
Franconi, Enrico. editor. Kifer, Michael. editor. May, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72667-8
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
Author 
Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72734-7
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Service Availability 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings
Service Availability 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings
Author 
Malek, Miroslaw. editor. Reitenspieß, Manfred. editor. Moorsel, Aad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72736-1
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Functional Imaging and Modeling of the Heart 4th International Conference, FIHM 2007, Salt Lake City, UT, USA, June 7-9, 2007. Proceedings
Functional Imaging and Modeling of the Heart 4th International Conference, FIHM 2007, Salt Lake City, UT, USA, June 7-9, 2007. Proceedings
Author 
Sachse, Frank B. editor. Seemann, Gunnar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72907-5
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Security and Privacy in Ad-hoc and Sensor Networks 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007. Proceedings
Security and Privacy in Ad-hoc and Sensor Networks 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007. Proceedings
Author 
Stajano, Frank. editor. Meadows, Catherine. editor. Capkun, Srdjan. editor. Moore, Tyler. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73275-4
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73279-2
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II
Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73281-5
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III
Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73283-9
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Public Key Infrastructure 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007. Proceedings
Public Key Infrastructure 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007. Proceedings
Author 
Lopez, Javier. editor. Samarati, Pierangela. editor. Ferrer, Josep L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73408-6
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
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:
105. 
Cover image for Information Security and Privacy 12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007. Proceedings
Information Security and Privacy 12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007. Proceedings
Author 
Pieprzyk, Josef. editor. Ghodosi, Hossein. editor. Dawson, Ed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73458-1
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
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:
107. 
Cover image for Pairing-Based Cryptography – Pairing 2007 First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings
Pairing-Based Cryptography – Pairing 2007 First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings
Author 
Takagi, Tsuyoshi. editor. Okamoto, Tatsuaki. editor. Okamoto, Eiji. editor. Okamoto, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73489-5
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
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:
109. 
Cover image for Ubiquitous Intelligence and Computing 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007. Proceedings
Ubiquitous Intelligence and Computing 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007. Proceedings
Author 
Indulska, Jadwiga. editor. Ma, Jianhua. editor. Yang, Laurence T. editor. Ungerer, Theo. editor. Cao, Jiannong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73549-6
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Detection of Intrusions and Malware, and Vulnerability Assessment 4th International Conference, DIMVA 2007 Lucerne, Switzerland, July 12-13, 2007 Proceedings
Detection of Intrusions and Malware, and Vulnerability Assessment 4th International Conference, DIMVA 2007 Lucerne, Switzerland, July 12-13, 2007 Proceedings
Author 
Hämmerli, Bernhard. editor. Sommer, Robin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73614-1
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings
Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings
Author 
Martin, Ralph. editor. Sabin, Malcolm. editor. Winkler, Joab. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73843-5
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Author 
Edelkamp, Stefan. editor. Lomuscio, Alessio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74128-2
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
Author 
Horváth, Zoltán. editor. Zsók, Viktória. editor. Butterfield, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74130-5
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Algorithmic Methods for Railway Optimization International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers
Algorithmic Methods for Railway Optimization International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers
Author 
Geraets, Frank. editor. Kroon, Leo. editor. Schoebel, Anita. editor. Wagner, Dorothea. editor. Zaroliagis, Christos D. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74247-0
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Image Analysis and Recognition 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007. Proceedings
Image Analysis and Recognition 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007. Proceedings
Author 
Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74260-9
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Trust, Privacy and Security in Digital Business 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings
Trust, Privacy and Security in Digital Business 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings
Author 
Lambrinoudakis, Costas. editor. Pernul, Günther. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74409-2
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Grid Economics and Business Models 4th International Workshop, GECON 2007, Rennes, France, August 28, 2007. Proceedings
Grid Economics and Business Models 4th International Workshop, GECON 2007, Rennes, France, August 28, 2007. Proceedings
Author 
Veit, Daniel J. editor. Altmann, Jörn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74430-6
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings
Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74780-2
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Stochastic Algorithms: Foundations and Applications 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007. Proceedings
Stochastic Algorithms: Foundations and Applications 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007. Proceedings
Author 
Hromkovič, Juraj. editor. Královič, Richard. editor. Nunkesser, Marc. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74871-7
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedings
Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedings
Author 
Janowski, Tomasz. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77115-9
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Virtual Storytelling. Using Virtual Reality Technologies for Storytelling 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007. Proceedings
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007. Proceedings
Author 
Cavazza, Marc. editor. Donikian, Stéphane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77039-8
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for IUTAM Symposium on Computational Approaches to Multiphase Flow Proceedings of an IUTAM Symposium held at Argonne National Laboratory, October 4–7, 2004
IUTAM Symposium on Computational Approaches to Multiphase Flow Proceedings of an IUTAM Symposium held at Argonne National Laboratory, October 4–7, 2004
Author 
Balachandar, S. editor. Prosperetti, A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4977-3
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings
Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings
Author 
Missaoui, Rokia. editor. Schmidt, Jürg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11671404
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers
Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers
Author 
Herik, H. Jaap. editor. Björnsson, Yngvi. editor. Netanyahu, Nathan S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11674399
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Embedded and Ubiquitous Computing International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006. Proceedings
Embedded and Ubiquitous Computing International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006. Proceedings
Author 
Sha, Edwin. editor. Han, Sung-Kook. editor. Xu, Cheng-Zhong. editor. Kim, Moon-Hae. editor. Yang, Laurence T. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11802167
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Electronic Government 5th International Conference, EGOV 2006, Kraków, Poland, September 4-8, 2006. Proceedings
Electronic Government 5th International Conference, EGOV 2006, Kraków, Poland, September 4-8, 2006. Proceedings
Author 
Wimmer, Maria A. editor. Scholl, Hans J. editor. Grönlund, Åke. editor. Andersen, Kim Viborg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11823100
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Data Warehousing and Knowledge Discovery 8th International Conference, DaWaK 2006, Krakow, Poland, September 4-8, 2006. Proceedings
Data Warehousing and Knowledge Discovery 8th International Conference, DaWaK 2006, Krakow, Poland, September 4-8, 2006. Proceedings
Author 
Tjoa, A Min. editor. Trujillo, Juan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11823728
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Artificial Immune Systems 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006. Proceedings
Artificial Immune Systems 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006. Proceedings
Author 
Bersini, Hugues. editor. Carneiro, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11823940
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Trust and Privacy in Digital Business Third International Conference, TrustBus 2006, Kraków, Poland, September 4-8, 2006. Proceedings
Trust and Privacy in Digital Business Third International Conference, TrustBus 2006, Kraków, Poland, September 4-8, 2006. Proceedings
Author 
Fischer-Hübner, Simone. editor. Furnell, Stevel. editor. Lambrinoudakis, Costas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11824633
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Database and Expert Systems Applications 17th International Conference, DEXA 2006, Kraków, Poland, September 4-8, 2006. Proceedings
Database and Expert Systems Applications 17th International Conference, DEXA 2006, Kraków, Poland, September 4-8, 2006. Proceedings
Author 
Bressan, Stéphane. editor. Küng, Josef. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11827405
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings
Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings
Author 
Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11828563
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures
Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures
Author 
Barahona, Pedro. editor. Bry, François. editor. Franconi, Enrico. editor. Henze, Nicola. editor. Sattler, Ulrike. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11837787
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006. Proceedings
Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006. Proceedings
Author 
Eder, Johann. editor. Dustdar, Schahram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11837862
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Ant Colony Optimization and Swarm Intelligence 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006. Proceedings
Ant Colony Optimization and Swarm Intelligence 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006. Proceedings
Author 
Dorigo, Marco. editor. Gambardella, Luca Maria. editor. Birattari, Mauro. editor. Martinoli, Alcherio. editor. Poli, Riccardo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11839088
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Unconventional Computation 5th International Conference, UC 2006, York, UK, September 4-8, 2006. Proceedings
Unconventional Computation 5th International Conference, UC 2006, York, UK, September 4-8, 2006. Proceedings
Author 
Calude, Cristian S. editor. Dinneen, Michael J. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Stepney, Susan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11839132
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Advances in Multimedia Information Processing - PCM 2006 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006. Proceedings
Advances in Multimedia Information Processing - PCM 2006 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006. Proceedings
Author 
Zhuang, Yueting. editor. Yang, Shi-Qiang. editor. Rui, Yong. editor. He, Qinming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11922162
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Systems Biology and Regulatory Genomics Joint Annual RECOMB 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics, San Diego, CA, USA; December 2-4, 2005, Revised Selected Papers
Systems Biology and Regulatory Genomics Joint Annual RECOMB 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics, San Diego, CA, USA; December 2-4, 2005, Revised Selected Papers
Author 
Eskin, Eleazar. editor. Ideker, Trey. editor. Raphael, Ben. editor. Workman, Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-48540-7
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
Author 
Baldoni, Matteo. editor. Endriss, Ulle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11961536
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Agents and Peer-to-Peer Computing 4th International Workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005. Revised Papers
Agents and Peer-to-Peer Computing 4th International Workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005. Revised Papers
Author 
Despotovic, Zoran. editor. Joseph, Sam. editor. Sartori, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11925941
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Information Technology For Balanced Manufacturing Systems IFIP TC5, WG 5.5 Seventh International Conference on lnformation Technology for Balanced Automation Systems in Manufacturing and Services, Niagara Falls, Ontario, Canada, September 4–6, 2006
Information Technology For Balanced Manufacturing Systems IFIP TC5, WG 5.5 Seventh International Conference on lnformation Technology for Balanced Automation Systems in Manufacturing and Services, Niagara Falls, Ontario, Canada, September 4–6, 2006
Author 
Shen, Weiming. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36594-7
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Beginning DotNetNuke 4.0 Website Creation in C# 2005 with Visual Web Developer 2005 Express From Novice to Professional
Beginning DotNetNuke 4.0 Website Creation in C# 2005 with Visual Web Developer 2005 Express From Novice to Professional
Author 
Symmonds, Nick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0180-9
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Author 
Kohlhase, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11618027
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Knowledge Discovery in Inductive Databases 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers
Knowledge Discovery in Inductive Databases 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers
Author 
Bonchi, Francesco. editor. Boulicaut, Jean-François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11733492
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Advances in Machine Learning and Cybernetics 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers
Advances in Machine Learning and Cybernetics 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers
Author 
Yeung, Daniel S. editor. Liu, Zhi-Qiang. editor. Wang, Xi-Zhao. editor. Yan, Hong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11739685
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Pervasive Computing 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings
Pervasive Computing 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings
Author 
Fishkin, Kenneth P. editor. Schiele, Bernt. editor. Nixon, Paddy. editor. Quigley, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11748625
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Innovative Internet Community Systems 4th International Workshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004. Revised Papers
Innovative Internet Community Systems 4th International Workshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004. Revised Papers
Author 
Böhme, Thomas. editor. Larios Rosillo, Victor M. editor. Unger, Helena. editor. Unger, Herwig. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11553762
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Wired/Wireless Internet Communications 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006. Proceedings
Wired/Wireless Internet Communications 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006. Proceedings
Author 
Braun, Torsten. editor. Carle, Georg. editor. Fahmy, Sonia. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11750390
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Advances in Artificial Intelligence 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006. Proceedings
Advances in Artificial Intelligence 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006. Proceedings
Author 
Antoniou, Grigoris. editor. Potamias, George. editor. Spyropoulos, Costas. editor. Plexousakis, Dimitris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11752912
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Trust Management 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006. Proceedings
Trust Management 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006. Proceedings
Author 
Stølen, Ketil. editor. Winsborough, William H. editor. Martinelli, Fabio. editor. Massacci, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11755593
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Adaptive Hypermedia and Adaptive Web-Based Systems 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006. Proceedings
Adaptive Hypermedia and Adaptive Web-Based Systems 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006. Proceedings
Author 
Wade, Vincent P. editor. Ashman, Helen. editor. Smyth, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11768012
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Applied Cryptography and Network Security 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006. Proceedings
Applied Cryptography and Network Security 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006. Proceedings
Author 
Zhou, Jianying. editor. Yung, Moti. editor. Bao, Feng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11767480
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Advances in XML Information Retrieval and Evaluation 4th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2005, Dagstuhl Castle, Germany, November 28-30, 2005. Revised Selected Papers
Advances in XML Information Retrieval and Evaluation 4th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2005, Dagstuhl Castle, Germany, November 28-30, 2005. Revised Selected Papers
Author 
Fuhr, Norbert. editor. Lalmas, Mounia. editor. Malik, Saadia. editor. Kazai, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11766278
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006. Proceedings
Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006. Proceedings
Author 
Etzion, Opher. editor. Kuflik, Tsvi. editor. Motro, Amihai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11780991
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings
Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings
Author 
Barker-Plummer, Dave. editor. Cox, Richard. editor. Swoboda, Nik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11783183
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Articulated Motion and Deformable Objects 4th International Conference, AMDO 2006, Port d’Andratx, Mallorca, Spain, July 11-14, 2006. Proceedings
Articulated Motion and Deformable Objects 4th International Conference, AMDO 2006, Port d’Andratx, Mallorca, Spain, July 11-14, 2006. Proceedings
Author 
Perales, Francisco J. editor. Fisher, Robert B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11789239
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, 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/11804192
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Advances in Case-Based Reasoning 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings
Advances in Case-Based Reasoning 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings
Author 
Roth-Berghofer, Thomas R. editor. Göker, Mehmet H. editor. Güvenir, H. Altay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11805816
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Emerging Directions in Embedded and Ubiquitous Computing EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings
Emerging Directions in Embedded and Ubiquitous Computing EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings
Author 
Zhou, Xiaobo. editor. Sokolsky, Oleg. editor. Yan, Lu. editor. Jung, Eun-Sun. editor. Shao, Zili. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11807964
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Geometric Modeling and Processing - GMP 2006 4th International Conference, Pittsburgh, PA, USA, July 26-28, 2006. Proceedings
Geometric Modeling and Processing - GMP 2006 4th International Conference, Pittsburgh, PA, USA, July 26-28, 2006. Proceedings
Author 
Kim, Myung-Soo. editor. Shimada, Kenji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11802914
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Database and XML Technologies 4th International XML Database Symposium, XSym 2006 Seoul, Korea, September 10-11, 2006 Proceedings
Database and XML Technologies 4th International XML Database Symposium, XSym 2006 Seoul, Korea, September 10-11, 2006 Proceedings
Author 
Amer-Yahia, Sihem. editor. Bellahsène, Zohra. editor. Hunt, Ela. editor. Unland, Rainer. editor. Yu, Jeffrey Xu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11841920
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Business Process Management 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006. Proceedings
Business Process Management 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006. Proceedings
Author 
Dustdar, Schahram. editor. Fiadeiro, José Luiz. editor. Sheth, Amit P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11841760
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
Author 
Alferes, Jóse Júlio. editor. Bailey, James. editor. May, Wolfgang. editor. Schwertel, Uta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11853107
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Sequences and Their Applications – SETA 2006 4th International Conference Beijing, China, September 24-28, 2006 Proceedings
Sequences and Their Applications – SETA 2006 4th International Conference Beijing, China, September 24-28, 2006 Proceedings
Author 
Gong, Guang. editor. Helleseth, Tor. editor. Song, Hong-Yeop. editor. Yang, Kyeongcheol. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11863854
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Geographic Information Science 4th International Conference, GIScience 2006, Münster, Germany, September 20-23, 2006. Proceedings
Geographic Information Science 4th International Conference, GIScience 2006, Münster, Germany, September 20-23, 2006. Proceedings
Author 
Raubal, Martin. editor. Miller, Harvey J. editor. Frank, Andrew U. editor. Goodchild, Michael F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11863939
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings
Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings
Author 
Asarin, Eugene. editor. Bouyer, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11867340
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Innovative Approaches for Learning and Knowledge Sharing First European Conference on Technology Enhanced Learning, EC-TEL 2006 Crete, Greece, October 1-4, 2006 Proceedings
Innovative Approaches for Learning and Knowledge Sharing First European Conference on Technology Enhanced Learning, EC-TEL 2006 Crete, Greece, October 1-4, 2006 Proceedings
Author 
Nejdl, Wolfgang. editor. Tochtermann, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11876663
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers
Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers
Author 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11877028
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Advances in Information Systems 4th International Conference, ADVIS 2006, Izmir, Turkey, October 18-20,2006. Proceedings
Advances in Information Systems 4th International Conference, ADVIS 2006, Izmir, Turkey, October 18-20,2006. Proceedings
Author 
Yakhno, Tatyana. editor. Neuhold, Erich J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11890393
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Multiagent System Technologies 4th German Conference, MATES 2006 Erfurt, Germany, September 19-20, 2006 Proceedings
Multiagent System Technologies 4th German Conference, MATES 2006 Erfurt, Germany, September 19-20, 2006 Proceedings
Author 
Fischer, Klaus. editor. Timm, Ingo J. editor. André, Elisabeth. editor. Zhong, Ning. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11872283
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
Author 
Horváth, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11894100
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings
Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings
Author 
Graf, Susanne. editor. Zhang, Wenhui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11901914
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings
Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings
Author 
Kobayashi, Naoki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11924661
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Web and Wireless Geographical Information Systems 6th International Symposium, W2GIS 2006, Hong Kong, China, December 4-5, 2006. Proceedings
Web and Wireless Geographical Information Systems 6th International Symposium, W2GIS 2006, Hong Kong, China, December 4-5, 2006. Proceedings
Author 
Carswell, James D. editor. Tezuka, Taro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11935148
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Information and Communications Security 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006. Proceedings
Information and Communications Security 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006. Proceedings
Author 
Ning, Peng. editor. Qing, Sihan. editor. Li, Ninghui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11935308
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for AI 2006: Advances in Artificial Intelligence 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings
AI 2006: Advances in Artificial Intelligence 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings
Author 
Sattar, Abdul. editor. Kang, Byeong-ho. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11941439
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006. Proceedings
Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006. Proceedings
Author 
Min, Geyong. editor. Martino, Beniamino. editor. Yang, Laurence T. editor. Guo, Minyi. editor. Rünger, Gudula. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11942634
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Technologies for Interactive Digital Storytelling and Entertainment Third International Conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006. Proceedings
Technologies for Interactive Digital Storytelling and Entertainment Third International Conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006. Proceedings
Author 
Göbel, Stefan. editor. Malkewitz, Rainer. editor. Iurgel, Ido. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11944577
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Parallel and Distributed Processing and Applications 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings
Parallel and Distributed Processing and Applications 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings
Author 
Guo, Minyi. editor. Yang, Laurence T. editor. Martino, Beniamino. editor. Zima, Hans P. editor. Dongarra, Jack. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11946441
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Service-Oriented Computing – ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, 2006. Proceedings
Service-Oriented Computing – ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, 2006. Proceedings
Author 
Dan, Asit. editor. Lamersdorf, Winfried. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11948148
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Machine Learning for Multimodal Interaction Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers
Machine Learning for Multimodal Interaction Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers
Author 
Renals, Steve. editor. Bengio, Samy. editor. Fiscus, Jonathan G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11965152
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Software Architecture Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers
Software Architecture Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers
Author 
Gruhn, Volker. editor. Oquendo, Flavio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11966104
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings
Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings
Author 
Dix, Jürgen. editor. Hegner, Stephen J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11663881
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Environments for Multi-Agent Systems II Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papers
Environments for Multi-Agent Systems II Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papers
Author 
Weyns, Danny. editor. Dyke Parunak, H. editor. Michel, Fabien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11678809
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings
Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings
Author 
Halevi, Shai. editor. Rabin, Tal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11681878
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Digital Watermarking 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005. Proceedings
Digital Watermarking 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005. Proceedings
Author 
Barni, Mauro. editor. Cox, Ingemar. editor. Kalker, Ton. editor. Kim, Hyoung-Joong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11551492
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Entertainment Computing - ICEC 2005 4th International Conference, Sanda, Japan, September 19-21, 2005. Proceedings
Entertainment Computing - ICEC 2005 4th International Conference, Sanda, Japan, September 19-21, 2005. Proceedings
Author 
Kishino, Fumio. editor. Kitamura, Yoshifumi. editor. Kato, Hirokazu. editor. Nagata, Noriko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11558651
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005. Proceedings
Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005. Proceedings
Author 
Nikoletseas, Sotiris E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136461
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005. Proceedings
Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005. Proceedings
Author 
Frangi, Alejandro F. editor. Radeva, Petia I. editor. Santos, Andres. editor. Hernandez, Monica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136980
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings
The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings
Author 
Gil, Yolanda. editor. Motta, Enrico. editor. Benjamins, V. Richard. editor. Musen, Mark A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11574620
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Ad-Hoc, Mobile, and Wireless Networks 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005. Proceedings
Ad-Hoc, Mobile, and Wireless Networks 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005. Proceedings
Author 
Syrotiuk, Violet R. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11561354
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Context: Nature, Impact, and Role 5th International Conference on Conceptions of Library and Information Sciences, CoLIS 2005, Glasgow, UK, June 4-8, 2005. Proceedings
Context: Nature, Impact, and Role 5th International Conference on Conceptions of Library and Information Sciences, CoLIS 2005, Glasgow, UK, June 4-8, 2005. Proceedings
Author 
Crestani, Fabio. editor. Ruthven, Ian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137025
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I
Author 
Meersman, Robert. editor. Tari, Zahir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11575771
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings Part II
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings Part II
Author 
Meersman, Robert. editor. Tari, Zahir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11575801
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
Author 
Seipel, Dietmar. editor. Hanus, Michael. editor. Geske, Ulrich. editor. Bartenstein, Oskar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135595
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
Author 
Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11574859
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers
System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers
Author 
Amyot, Daniel. editor. Williams, Alan W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105884
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Networking - ICN 2005 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part II
Networking - ICN 2005 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part II
Author 
Lorenz, Pascal. editor. Dini, Petre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107118
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Web and Wireless Geographical Information Systems 4th International Workshop, W2GIS 2004, Goyang, Korea, November 26-27, 2004, Revised Selected Papers
Web and Wireless Geographical Information Systems 4th International Workshop, W2GIS 2004, Goyang, Korea, November 26-27, 2004, Revised Selected Papers
Author 
Kwon, Yong-Jin. editor. Bouju, Alain. editor. Claramunt, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136505
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Databases in Networked Information Systems 4th International Workshop, DNIS 2005, Aizu-Wakamatsu, Japan, March 28-30, 2005. Proceedings
Databases in Networked Information Systems 4th International Workshop, DNIS 2005, Aizu-Wakamatsu, Japan, March 28-30, 2005. Proceedings
Author 
Bhalla, Subhash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106805
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
Author 
Margenstern, Maurice. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106980
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Security Protocols 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers
Security Protocols 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers
Author 
Christianson, Bruce. editor. Crispo, Bruno. editor. Malcolm, James A. editor. Roe, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11542322
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Advanced Encryption Standard – AES 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers
Advanced Encryption Standard – AES 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers
Author 
Dobbertin, Hans. editor. Rijmen, Vincent. editor. Sowa, Aleksandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137765
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Bodik, Rastislav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107108
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Sagiv, Mooly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107380
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
Author 
Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135596
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
Author 
Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136094
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3 – 7, 2005. Proceedings
Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3 – 7, 2005. Proceedings
Author 
Calude, Cristian S. editor. Dinneen, Michael J. editor. Păun, Gheorghe. editor. Pérez-Jímenez, Mario J. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11560319
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers
Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers
Author 
Gschwind, Thomas. editor. Aßmann, Uwe. editor. Nierstrasz, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11550679
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Advances in Data Mining Applications in Image Mining, Medicine and Biotechnology, Management and Environmental Control, and Telecommunications; 4th Industrial Conference on Data Mining, ICDM 2004, Leipzig, Germany, July 4 -7, 2004, Revised Selected Papers
Advances in Data Mining Applications in Image Mining, Medicine and Biotechnology, Management and Environmental Control, and Telecommunications; 4th Industrial Conference on Data Mining, ICDM 2004, Leipzig, Germany, July 4 -7, 2004, Revised Selected Papers
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104334
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Author 
Dix, Jürgen. editor. Leite, João. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104175
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for AI 2004: Advances in Artificial Intelligence 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004. Proceedings
AI 2004: Advances in Artificial Intelligence 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004. Proceedings
Author 
Webb, Geoffrey I. editor. Yu, Xinghuo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104336
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Quality of Service in Multiservice IP Networks Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2004, Catania, Italy, February 2-4, 2004. Proceedings
Quality of Service in Multiservice IP Networks Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2004, Catania, Italy, February 2-4, 2004. Proceedings
Author 
Ajmone Marsan, Marco. editor. Bianchi, Giuseppe. editor. Listanti, Marco. editor. Meo, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105169
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Artificial Intelligence and Simulation 13th International Conference on AI, Simulation, Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
Artificial Intelligence and Simulation 13th International Conference on AI, Simulation, Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
Author 
Kim, Tag Gon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105609
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
Author 
Baik, Doo-Kwon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105611
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings
COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings
Author 
Franch, Xavier. editor. Port, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105900
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Security in Communication Networks 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers
Security in Communication Networks 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers
Author 
Blundo, Carlo. editor. Cimato, Stelvio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105083
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for MICAI 2005: Advances in Artificial Intelligence 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005. Proceedings
MICAI 2005: Advances in Artificial Intelligence 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005. Proceedings
Author 
Gelbukh, Alexander. editor. Albornoz, Álvaro. editor. Terashima-Marín, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11579427
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Image and Video Retrieval 4th International Conference, CIVR 2005, Singapore, July 20-22, 2005. Proceedings
Image and Video Retrieval 4th International Conference, CIVR 2005, Singapore, July 20-22, 2005. Proceedings
Author 
Leow, Wee-Kheng. editor. Lew, Michael S. editor. Chua, Tat-Seng. editor. Ma, Wei-Ying. editor. Chaisorn, Lekha. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11526346
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings
Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings
Author 
Felice, Clelia. editor. Restivo, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137735
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Information Security and Privacy 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005. Proceedings
Information Security and Privacy 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005. Proceedings
Author 
Boyd, Colin. editor. González Nieto, Juan Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137750
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Advances in Web-Based Learning – ICWL 2005 4th International Conference, Hong Kong, China, July 31 - August 3, 2005. Proceedings
Advances in Web-Based Learning – ICWL 2005 4th International Conference, Hong Kong, China, July 31 - August 3, 2005. Proceedings
Author 
Lau, Rynson W. H. editor. Li, Qing. editor. Cheung, Ronnie. editor. Liu, Wenyin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11528043
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedings
Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedings
Author 
Pěchouček, Michael. editor. Petta, Paolo. editor. Varga, László Zsolt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11559221
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Electronic Government 4th International Conference, EGOV 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings
Electronic Government 4th International Conference, EGOV 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings
Author 
Wimmer, Maria A. editor. Traunmüller, Roland. editor. Grönlund, Åke. editor. Andersen, Kim V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11545156
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Networking - ICN 2005 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part I
Networking - ICN 2005 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part I
Author 
Lorenz, Pascal. editor. Dini, Petre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107117
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Privacy Enhancing Technologies 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004. Revised Selected Papers
Privacy Enhancing Technologies 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004. Revised Selected Papers
Author 
Martin, David. editor. Serjantov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136164
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
Author 
Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11562948
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers
Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers
Author 
Gschwind, Thomas. editor. Mascolo, Cecilia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107130
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings
Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings
Author 
Glück, Robert. editor. Lowry, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11561347
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107194
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106850
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Cerioli, Maura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107062
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Author 
Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106767
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Networking and Mobile Computing Third International Conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005. Proceedings
Networking and Mobile Computing Third International Conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005. Proceedings
Author 
Lu, Xicheng. editor. Zhao, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11534310
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
Author 
Guelfi, Nicolas. editor. Reggio, Gianna. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106620
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Artificial Immune Systems 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005. Proceedings
Artificial Immune Systems 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005. Proceedings
Author 
Jacob, Christian. editor. Pilat, Marcin L. editor. Bentley, Peter J. editor. Timmis, Jonathan I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11536444
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Machine Learning and Data Mining in Pattern Recognition 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005. Proceedings
Machine Learning and Data Mining in Pattern Recognition 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005. Proceedings
Author 
Perner, Petra. editor. Imiya, Atsushi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138149
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers
Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers
Author 
Castro, Miguel. editor. Renesse, Robbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11558989
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops OTM Confederated Internationl Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005. Proceedings
On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops OTM Confederated Internationl Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005. 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/11575863
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for String Processing and Information Retrieval 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005. Proceedings
String Processing and Information Retrieval 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005. Proceedings
Author 
Consens, Mariano. editor. Navarro, Gonzalo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11575832
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
Author 
Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11576280
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for E-Government: Towards Electronic Democracy International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005. Proceedings
E-Government: Towards Electronic Democracy International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005. Proceedings
Author 
Böhlen, Michael. editor. Gamper, Johann. editor. Polasek, Wolfgang. editor. Wimmer, Maria A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106542
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Environments for Multi-Agent Systems First International Workshop, E4MAS 2004, New York, NY, July 19, 2004, Revised Selected Papers
Environments for Multi-Agent Systems First International Workshop, E4MAS 2004, New York, NY, July 19, 2004, Revised Selected Papers
Author 
Weyns, Danny. editor. Dyke Parunak, H. editor. Michel, Fabien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106134
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Advances in Cryptology - ASIACRYPT 2005 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005. Proceedings
Advances in Cryptology - ASIACRYPT 2005 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005. Proceedings
Author 
Roy, Bimal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11593447
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Grid and Cooperative Computing - GCC 2005 4th International Conference, Beijing, China, November 30 - December 3, 2005. Proceedings
Grid and Cooperative Computing - GCC 2005 4th International Conference, Beijing, China, November 30 - December 3, 2005. Proceedings
Author 
Zhuge, Hai. editor. Fox, Geoffrey C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11590354
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Cryptology and Network Security 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005. Proceedings
Cryptology and Network Security 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005. Proceedings
Author 
Desmedt, Yvo G. editor. Wang, Huaxiong. editor. Mu, Yi. editor. Li, Yongqing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11599371
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Understanding the Digital Revolution A Beginner's Guide to the Internet and the Web
Understanding the Digital Revolution A Beginner's Guide to the Internet and the Web
Author 
Meinel, Christoph. author. Asjoma, Maxim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-70132-4
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I
Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I
Author 
Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94569-4
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career
Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career
Author 
Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97274-4
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
Author 
Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97632-2
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Author 
Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85930-4
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part III
The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part III
Author 
Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77847-6
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Author 
Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84924-4
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Author 
Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97629-2
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Author 
Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97635-3
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Author 
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72044-4
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Author 
Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71177-0
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Intelligent Engineering Optimisation with the Bees Algorithm
Intelligent Engineering Optimisation with the Bees Algorithm
Author 
Pham, D. T. editor. (orcid)0000-0003-3148-2404 Hartono, Natalia. editor. (orcid)0000-0003-2314-1394 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64936-3
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for A Concise Introduction to Software Engineering With Open Source and GenAI
A Concise Introduction to Software Engineering With Open Source and GenAI
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74318-4
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings
Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings
Author 
He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2292-4
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Algorithmic Foundations for Social Advancement Recent Progress on Theory and Practice
Algorithmic Foundations for Social Advancement Recent Progress on Theory and Practice
Author 
Minato, Shin-ichi. editor. Uno, Takeaki. editor. Yasuda, Norihito. editor. Horiyama, Takashi. editor. Kawarabayashi, Ken-ichi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0668-9
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
Author 
Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84595-6
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
Author 
Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87217-4
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I
Author 
García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90062-4
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Artificial Intelligence and Applications 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Artificial Intelligence and Applications 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Author 
Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86623-4
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers
Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers
Author 
Coenen, Frans. editor. Fred, Ana. editor. Aveiro, David. editor. Dietz, Jan. editor. Poggi, Antonella. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87569-4
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
Author 
Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93706-4
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26-29, 2025, Proceedings, Part I
Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26-29, 2025, Proceedings, Part I
Author 
Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Andreou, Andreas. editor. (orcid)0000-0001-7104-2097 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-96239-4
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
Author 
Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97626-1
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings
Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings
Author 
Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97100-6
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Creative approaches towards development of computing and multidisciplinary IT solutions for society
Creative approaches towards development of computing and multidisciplinary IT solutions for society
Author 
Bijalwan, Anchit, editor.
Preferred Shelf Number 
QA76 .C74 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Solving Ordinary Differential Equations in Python
Solving Ordinary Differential Equations in Python
Author 
Sundnes, Joakim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46768-4
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Cellular Automata and Discrete Complex Systems 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings
Cellular Automata and Discrete Complex Systems 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings
Author 
Gadouleau, Maximilien. editor. (orcid)0000-0003-4701-738X Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65887-7
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
Author 
Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66021-4
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Computational Thinking First Algorithms, Then Code
Computational Thinking First Algorithms, Then Code
Author 
Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-59922-4
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Foundations for Functional Modeling of Technical Artefacts
Foundations for Functional Modeling of Technical Artefacts
Author 
Lind, Morten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45918-4
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II
Author 
Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50072-5
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Advanced Computational Applications of Geometric Algebra First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings
Advanced Computational Applications of Geometric Algebra First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings
Author 
Silva, David W. editor. (orcid)0000-0003-4498-0525 Hitzer, Eckhard. editor. Hildenbrand, Dietmar. editor. (orcid)0000-0002-6384-4345 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34031-4
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II
Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II
Author 
Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2275-4
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Author 
Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61716-4
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Generalizing from Limited Resources in the Open World Second International Workshop, GLOW 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3, 2024, Proceedings
Generalizing from Limited Resources in the Open World Second International Workshop, GLOW 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3, 2024, Proceedings
Author 
Guo, Jinyang. editor. (orcid)0000-0003-1956-3367 Ma, Yuqing. editor. Ding, Yifu. editor. Gong, Ruihao. editor. Zheng, Xingyu. editor. (orcid)0009-0009-6283-7635
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-6125-8
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I
Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I
Author 
Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70816-9
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II
Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70819-0
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings
Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings
Author 
Kirrane, Sabrina. editor. (orcid)0000-0002-6955-7718 Šimkus, Mantas. editor. (orcid)0000-0003-0632-0294 Soylu, Ahmet. editor. (orcid)0000-0001-6034-4137 Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72407-7
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers
Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers
Author 
Briola, Daniela. editor. (orcid)0000-0003-1994-8929 Cardoso, Rafael C. editor. (orcid)0000-0001-6666-6954 Logan, Brian. editor. (orcid)0000-0003-0648-7107 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71152-7
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Applied Assistive Technologies and Informatics for Students with Disabilities
Applied Assistive Technologies and Informatics for Students with Disabilities
Author 
Kaluri, Rajesh. editor. Mahmud, Mufti. editor. Gadekallu, Thippa Reddy. editor. (orcid)0000-0003-0097-801X Rajput, Dharmendra Singh. editor. Lakshmanna, Kuruva. editor. (orcid)0000-0003-3480-4851
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0914-4
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV
Author 
Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50078-7
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers
Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers
Author 
Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48751-4
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers
Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers
Author 
Chatzigiannakis, Ioannis. editor. Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49361-4
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings
Author 
Hermanns, Holger. editor. (orcid)0000-0002-2766-9615 Sun, Jun. editor. Bu, Lei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8664-4
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57249-4
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for The French School of Programming
The French School of Programming
Author 
Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34518-0
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Research in Computational Molecular Biology 28th Annual International Conference, RECOMB 2024, Cambridge, MA, USA, April 29-May 2, 2024, Proceedings
Research in Computational Molecular Biology 28th Annual International Conference, RECOMB 2024, Cambridge, MA, USA, April 29-May 2, 2024, Proceedings
Author 
Ma, Jian. editor. (orcid)0000-0002-4202-5834 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-0716-3989-4
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Author 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63501-4
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Conceptual Knowledge Structures First International Joint Conference, CONCEPTS 2024, Cádiz, Spain, September 9-13, 2024, Proceedings
Conceptual Knowledge Structures First International Joint Conference, CONCEPTS 2024, Cádiz, Spain, September 9-13, 2024, Proceedings
Author 
Cabrera, Inma P. editor. (orcid)0000-0001-5129-0085 Ferré, Sébastien. editor. (orcid)0000-0002-6302-2333 Obiedkov, Sergei. editor. (orcid)0000-0003-1497-4001 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67868-4
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II
Author 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7184-4
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
Author 
Bowles, Juliana. editor. (orcid)0000-0002-5918-9114 Søndergaard, Harald. editor. (orcid)0000-0002-2352-1883 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71294-4
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach
Author 
Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6921-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action