Search Results for Computer science. - Narrowed by: 2005

Computer science : an overview

2025-12-16T09:57:30Z

Author Brookshear, J. Glenn.
Preferred Shelf Number QA 76 B743 2012
Format: Books
Availability Beytepe Library~1

Computer science : an overview

2025-12-16T09:57:30Z

Author Brookshear, J. Glenn.
Preferred Shelf Number QA 76 B743 2005
Format: Books
Availability Beytepe Library~1

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

2025-12-16T09:57:30Z

Author Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11549345
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

2025-12-16T09:57:30Z

Author Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11538363
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science – ASIAN 2005. Data Management on the Web 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings

2025-12-16T09:57:30Z

Author Grumbach, Stéphane. editor. Sui, Liying. editor. Vianu, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11596370
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

2025-12-16T09:57:30Z

Author Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590156
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

2025-12-16T09:57:30Z

Author Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105088
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers

2025-12-16T09:57:30Z

Author Kratsch, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11604686
Format: Electronic Resources
Availability Online Library~1

STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings

2025-12-16T09:57:30Z

Author Diekert, Volker. editor. Durand, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106485
Format: Electronic Resources
Availability Online Library~1

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

2025-12-16T09:57:30Z

Author Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11548133
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

2025-12-16T09:57:30Z

Author Coppo, Mario. editor. Lodi, Elena. editor. Pinna, G. Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560586
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

2025-12-16T09:57:30Z

Author Maher, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b103476
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

2025-12-16T09:57:30Z

Author Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104325
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers

2025-12-16T09:57:30Z

Author Hromkovič, Juraj. editor. Nagl, Manfred. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104584
Format: Electronic Resources
Availability Online Library~1

High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France

2025-12-16T09:57:30Z

Author Ng, Michael K. editor. Doncescu, Andrei. editor. Yang, Laurence T. editor. Leng, Tau. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104300
Format: Electronic Resources
Availability Online Library~1

Validating pharmaceutical systems : good computer practice in life science manufacturing

2025-12-16T09:57:30Z

Author Andrews, John.
Preferred Shelf Number RS122.2 .V35 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Reverse Engineering of Object Oriented Code

2025-12-16T09:57:30Z

Author Tonella, Paolo. author. Potrich, Alessandra. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b102522
Format: Electronic Resources
Availability Online Library~1

Evolutionary Synthesis of Pattern Recognition Systems

2025-12-16T09:57:30Z

Author Bhanu, Bir. author. Lin, Yingqiang. author. Krawiec, Krzysztof. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105515
Format: Electronic Resources
Availability Online Library~1

Super-Recursive Algorithms

2025-12-16T09:57:30Z

Author Burgin, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138114
Format: Electronic Resources
Availability Online Library~1

Abstraction, Refinement and Proof for Probabilistic Systems

2025-12-16T09:57:30Z

Author McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138392
Format: Electronic Resources
Availability Online Library~1

Introduction to Assembly Language Programming For Pentium and RISC Processors

2025-12-16T09:57:30Z

Author Dandamudi, Sivarama P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138691
Format: Electronic Resources
Availability Online Library~1

Geometric Fundamentals of Robotics

2025-12-16T09:57:30Z

Author Selig, J. M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138859
Format: Electronic Resources
Availability Online Library~1

Nearest Neighbor Search A Database Perspective

2025-12-16T09:57:30Z

Author Papadopoulos, Apostolos N. author. Manolopoulos, Yannis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-27544-4
Format: Electronic Resources
Availability Online Library~1

An Integrated Approach to Software Engineering

2025-12-16T09:57:30Z

Author Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28132-0
Format: Electronic Resources
Availability Online Library~1

Soft Real-Time Systems Predictability vs. Efficiency

2025-12-16T09:57:30Z

Author Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28147-9
Format: Electronic Resources
Availability Online Library~1

Adapting Proofs-as-Programs The Curry-Howard Protocol

2025-12-16T09:57:30Z

Author Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28183-5
Format: Electronic Resources
Availability Online Library~1

Audio- and Video-Based Biometric Person Authentication 5th International Conference, AVBPA 2005, Hilton Rye Town, NY, USA, July 20-22, 2005. Proceedings

2025-12-16T09:57:30Z

Author Kanade, Takeo. editor. Jain, Anil. editor. Ratha, Nalini K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31638-1
Format: Electronic Resources
Availability Online Library~1

Multiple Classifier Systems 6th International Workshop, MCS 2005, Seaside, CA, USA, June 13-15, 2005. Proceedings

2025-12-16T09:57:30Z

Author Oza, Nikunj C. editor. Polikar, Robi. editor. Kittler, Josef. editor. Roli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136985
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11527695
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2025-12-16T09:57:30Z

Author Kutvonen, Lea. editor. Alonistioti, Nancy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137217
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Higashino, Teruo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138689
Format: Electronic Resources
Availability Online Library~1

The Next Wave in Computing, Optimization, and Decision Technologies

2025-12-16T09:57:30Z

Author Golden, Bruce. editor. Raghavan, S. editor. Wasil, Edward. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101696
Format: Electronic Resources
Availability Online Library~1

Agents and Peer-to-Peer Computing Second International Workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003, Revised and Invited Papers

2025-12-16T09:57:30Z

Author Moro, Gianluca. editor. Sartori, Claudio. editor. Singh, Munindar P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104265
Format: Electronic Resources
Availability Online Library~1

Inconsistency Tolerance

2025-12-16T09:57:30Z

Author Bertossi, Leopoldo. editor. Hunter, Anthony. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104925
Format: Electronic Resources
Availability Online Library~1

Security in Communication Networks 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Blundo, Carlo. editor. Cimato, Stelvio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105083
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105317
Format: Electronic Resources
Availability Online Library~1

Public Key Infrastructure Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30 - July 1, 2005, Revised Selected Papers

2025-12-16T09:57:30Z

Author Chadwick, David. editor. Zhao, Gansen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11533733
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Security International Conference, CIS 2005, Xi’an, China, December 15-19, 2005, Proceedings, Part II

2025-12-16T09:57:30Z

Author Hao, Yue. editor. Liu, Jiming. editor. Wang, Yu-Ping. editor. Cheung, Yiu-ming. editor. Yin, Hujun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11596981
Format: Electronic Resources
Availability Online Library~1

Socionics Scalability of Complex Social Systems

2025-12-16T09:57:30Z

Author Fischer, Klaus. editor. Florian, Michael. editor. Malsch, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11594116
Format: Electronic Resources
Availability Online Library~1

Security and Privacy in Ad-hoc and Sensor Networks Second European Workshop, ESAS 2005, Visegrad, Hungary, July 13-14, 2005. Revised Selected Papers

2025-12-16T09:57:30Z

Author Molva, Refik. editor. Tsudik, Gene. editor. Westhoff, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11601494
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

2025-12-16T09:57:30Z

Author Feitelson, Dror. editor. Frachtenberg, Eitan. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11605300
Format: Electronic Resources
Availability Online Library~1

Professional Knowledge Management Third Biennial Conference, WM 2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected Papers

2025-12-16T09:57:30Z

Author Althoff, Klaus-Dieter. editor. Dengel, Andreas. editor. Bergmann, Ralph. editor. Nick, Markus. editor. Roth-Berghofer, Thomas. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590019
Format: Electronic Resources
Availability Online Library~1

Fast Software Encryption 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers

2025-12-16T09:57:30Z

Author Gilbert, Henri. editor. Handschuh, Helena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137506
Format: Electronic Resources
Availability Online Library~1

Information Hiding 7th International Workshop, IH 2005, Barcelona, Spain, June 6-8, 2005. Revised Selected Papers

2025-12-16T09:57:30Z

Author Barni, Mauro. editor. Herrera-Joancomartí, Jordi. editor. Katzenbeisser, Stefan. editor. Pérez-González, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11558859
Format: Electronic Resources
Availability Online Library~1

Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

2025-12-16T09:57:30Z

Author Banâtre, Jean-Pierre. editor. Fradet, Pascal. editor. Giavitto, Jean-Louis. editor. Michel, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11527800
Format: Electronic Resources
Availability Online Library~1

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

2025-12-16T09:57:30Z

Author Nicola, Rocco. editor. Sangiorgi, Davide. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11580850
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II

2025-12-16T09:57:30Z

Author Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137296
Format: Electronic Resources
Availability Online Library~1

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

2025-12-16T09:57:30Z

Author Ramos, Félix F. editor. Larios Rosillo, Victor. editor. Unger, Herwig. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11533962
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 – March 3, 2005. Revised Papers

2025-12-16T09:57:30Z

Author Patrick, Andrew S. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137875
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings

2025-12-16T09:57:30Z

Author Felice, Clelia. editor. Restivo, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137735
Format: Electronic Resources
Availability Online Library~1

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Etalle, Sandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137785
Format: Electronic Resources
Availability Online Library~1

Digital Watermarking Third International Workshop, IWDW 2004, Seoul, South Korea, October 30 - November 1, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Cox, Ingemar J. editor. Kalker, Ton. editor. Lee, Heung-Kyu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106346
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-29, 2005. Proceedings

2025-12-16T09:57:30Z

Author Wang, Lusheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11533719
Format: Electronic Resources
Availability Online Library~1

Computer Music Modeling and Retrieval Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers

2025-12-16T09:57:30Z

Author Wiil, Uffe Kock. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105507
Format: Electronic Resources
Availability Online Library~1

Web and Communication Technologies and Internet-Related Social Issues - HSI 2005 3rd International Conference on Human.Society@Internet, Tokyo, Japan, July 27-29, 2005. Proceedings

2025-12-16T09:57:30Z

Author Shimojo, Shinji. editor. Ichii, Shingo. editor. Ling, Tok-Wang. editor. Song, Kwan-Ho. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11527725
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Computing Systems Second International Symposium, UCS 2004, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Murakami, Hitomi. editor. Nakashima, Hideyuki. editor. Tokuda, Hideyuki. editor. Yasumura, Michiaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11526858
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Technologies for E-Services 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Shan, Ming-Chien. editor. Dayal, Umeshwar. editor. Hsu, Meichun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106626
Format: Electronic Resources
Availability Online Library~1

Algorithms in Bioinformatics 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005. Proceedings

2025-12-16T09:57:30Z

Author Casadio, Rita. editor. Myers, Gene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11557067
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Eigenmann, Rudolf. editor. Li, Zhiyuan. editor. Midkiff, Samuel P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11532378
Format: Electronic Resources
Availability Online Library~1

Comparative Genomics RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005. Proceedings

2025-12-16T09:57:30Z

Author McLysaght, Aoife. editor. Huson, Daniel H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11554714
Format: Electronic Resources
Availability Online Library~1

Information Security Applications 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Lim, Chae Hoon. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b103174
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Life 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005. Proceedings

2025-12-16T09:57:30Z

Author Capcarrère, Mathieu S. editor. Freitas, Alex A. editor. Bentley, Peter J. editor. Johnson, Colin G. editor. Timmis, Jon. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11553090
Format: Electronic Resources
Availability Online Library~1

Text, Speech and Dialogue 8th International Conference, TSD 2005, Karlovy Vary, Czech Republic, September 12-15, 2005. Proceedings

2025-12-16T09:57:30Z

Author Matoušek, Václav. editor. Mautner, Pavel. editor. Pavelka, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11551874
Format: Electronic Resources
Availability Online Library~1

KI 2005: Advances in Artificial Intelligence 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005. Proceedings

2025-12-16T09:57:30Z

Author Furbach, Ulrich. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11551263
Format: Electronic Resources
Availability Online Library~1

Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers

2025-12-16T09:57:30Z

Author Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11538097
Format: Electronic Resources
Availability Online Library~1

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

2025-12-16T09:57:30Z

Author Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11541868
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

2025-12-16T09:57:30Z

Author Beckert, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11554554
Format: Electronic Resources
Availability Online Library~1

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Wu, Zhaohui. editor. Chen, Chun. editor. Guo, Minyi. editor. Bu, Jiajun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11535409
Format: Electronic Resources
Availability Online Library~1

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part II

2025-12-16T09:57:30Z

Author Ślęzak, Dominik. editor. Yao, JingTao. editor. Peters, James F. editor. Ziarko, Wojciech. editor. Hu, Xiaohua. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11548706
Format: Electronic Resources
Availability Online Library~1

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I

2025-12-16T09:57:30Z

Author Ślęzak, Dominik. editor. Wang, Guoyin. editor. Szczuka, Marcin. editor. Düntsch, Ivo. editor. Yao, Yiyu. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11548669
Format: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings

2025-12-16T09:57:30Z

Author Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11535294
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

2025-12-16T09:57:30Z

Author Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11546207
Format: Electronic Resources
Availability Online Library~1

Fuzzy Systems and Knowledge Discovery Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II

2025-12-16T09:57:30Z

Author Wang, Lipo. editor. Jin, Yaochu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11540007
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

2025-12-16T09:57:30Z

Author Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11556985
Format: Electronic Resources
Availability Online Library~1

Fuzzy Systems and Knowledge Discovery Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I

2025-12-16T09:57:30Z

Author Wang, Lipo. editor. Jin, Yaochu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11539506
Format: Electronic Resources
Availability Online Library~1

Holonic and Multi-Agent Systems for Manufacturing Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005. Proceedings

2025-12-16T09:57:30Z

Author Mařík, Vladimír. editor. Brennan, Robert. editor. Pěchouček, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11537847
Format: Electronic Resources
Availability Online Library~1

Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Chapman, Barbara M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105895
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Persiano, Giuseppe. editor. Solis-Oba, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106130
Format: Electronic Resources
Availability Online Library~1

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Margenstern, Maurice. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106980
Format: Electronic Resources
Availability Online Library~1

Mathematics of Surfaces XI 11th IMA International Conference, Loughborough, UK, September 5-7, 2005. Proceedings

2025-12-16T09:57:30Z

Author Martin, Ralph. editor. Bez, Helmut. editor. Sabin, Malcolm. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11537908
Format: Electronic Resources
Availability Online Library~1

Security Protocols 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Membrane Computing 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers

2025-12-16T09:57:30Z

Author Mauri, Giancarlo. editor. Păun, Gheorghe. editor. Pérez-Jiménez, Mario J. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106721
Format: Electronic Resources
Availability Online Library~1

Databases, Information Systems, and Peer-to-Peer Computing Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Ng, Wee Siong. editor. Ooi, Beng-Chin. editor. Ouksel, Aris M. editor. Sartori, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106971
Format: Electronic Resources
Availability Online Library~1

Semantic Web and Databases Second International Workshop, SWDB 2004, Toronto ,Canada, August 29-30, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Bussler, Christoph. editor. Tannen, Val. editor. Fundulaki, Irini. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106149
Format: Electronic Resources
Availability Online Library~1

Advanced Encryption Standard – AES 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Knowledge Discovery in Inductive Databases Third International Workshop, KDID 2004, Pisa, Italy, September 20, 2004, Revised Selected and Invited Papers

2025-12-16T09:57:30Z

Author Goethals, Bart. editor. Siebes, Arno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106731
Format: Electronic Resources
Availability Online Library~1

From Integrated Publication and Information Systems to Information and Knowledge Environments Essays Dedicated to Erich J. Neuhold on the Occasion of His 65th Birthday

2025-12-16T09:57:30Z

Author Hemmje, Matthias. editor. Niederée, Claudia. editor. Risse, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105978
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 12th International Symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Pach, János. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105810
Format: Electronic Resources
Availability Online Library~1

DNA Computing 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Ferretti, Claudio. editor. Mauri, Giancarlo. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136914
Format: Electronic Resources
Availability Online Library~1

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

2025-12-16T09:57:30Z

Author Roy, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106627
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications

2025-12-16T09:57:30Z

Author Choren, Ricardo. editor. Garcia, Alessandro. editor. Lucena, Carlos. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106347
Format: Electronic Resources
Availability Online Library~1

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

2025-12-16T09:57:30Z

Author Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106390
Format: Electronic Resources
Availability Online Library~1

Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures

2025-12-16T09:57:30Z

Author Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11554578
Format: Electronic Resources
Availability Online Library~1

Web Technologies Research and Development - APWeb 2005 7th Asia-Pacific Web Conference, Shanghai, China, March 29 - April 1, 2005. Proceedings

2025-12-16T09:57:30Z

Author Zhang, Yanchun. editor. Tanaka, Katsumi. editor. Yu, Jeffrey Xu. editor. Wang, Shan. editor. Li, Minglu. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106936
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005. Proceedings

2025-12-16T09:57:30Z

Author Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11559573
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

2025-12-16T09:57:30Z

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/11561163
Format: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

2025-12-16T09:57:30Z

Author Daydé, Michel. editor. Dongarra, Jack. editor. Hernández, Vicente. editor. Palma, José M. L. M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106965
Format: Electronic Resources
Availability Online Library~1

UbiComp 2005: Ubiquitous Computing 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005. Proceedings

2025-12-16T09:57:30Z

Author Beigl, Michael. editor. Intille, Stephen. editor. Rekimoto, Jun. editor. Tokuda, Hideyuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11551201
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition 27th DAGM Symposium, Vienna, Austria, August 31 - September 2, 2005. Proceedings

2025-12-16T09:57:30Z

Author Kropatsch, Walter G. editor. Sablatnig, Robert. editor. Hanbury, Allan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11550518
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI Users’ Group Meeting Sorrento, Italy, September 18-21, 2005. Proceedings

2025-12-16T09:57:30Z

Author Martino, Beniamino. editor. Kranzlmüller, Dieter. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11557265
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Information Systems 11th International Workshop, MIS 2005, Sorrento, Italy, September 19-21, 2005. Proceedings

2025-12-16T09:57:30Z

Author Candan, K. Selçuk. editor. Celentano, Augusto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11551898
Format: Electronic Resources
Availability Online Library~1

Agent-Oriented Information Systems II 6th International Bi-Conference Workshop, AOIS 2004, Riga, Latvia, June 8, 2004, and New York, NY, USA, July 20, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Bresciani, Paolo. editor. Giorgini, Paolo. editor. Henderson-Sellers, Brian. editor. Low, Graham. editor. Winikoff, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136434
Format: Electronic Resources
Availability Online Library~1

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

2025-12-16T09:57:30Z

Author Gabbrielli, Maurizio. editor. Gupta, Gopal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11562931
Format: Electronic Resources
Availability Online Library~1

Foundations of Intelligent Systems 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005. Proceedings

2025-12-16T09:57:30Z

Author Hacid, Mohand-Said. editor. Murray, Neil V. editor. Raś, Zbigniew W. editor. Tsumoto, Shusaku. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136302
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005. Proceedings

2025-12-16T09:57:30Z

Author Miyano, Satoru. editor. Mesirov, Jill. editor. Kasif, Simon. editor. Istrail, Sorin. editor. Pevzner, Pavel A. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135594
Format: Electronic Resources
Availability Online Library~1

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings

2025-12-16T09:57:30Z

Author Brodal, Gerth Stølting. editor. Leonardi, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11561071
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 18th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005, Victoria, Canada, May 9-11, 2005. Proceedings

2025-12-16T09:57:30Z

Author Kégl, Balázs. editor. Lapalme, Guy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136277
Format: Electronic Resources
Availability Online Library~1

Logical Aspects of Computational Linguistics 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings

2025-12-16T09:57:30Z

Author Blache, Philippe. editor. Stabler, Edward. editor. Busquets, Joan. editor. Moot, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136076
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

2025-12-16T09:57:30Z

Author Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106766
Format: Electronic Resources
Availability Online Library~1

Network Analysis Methodological Foundations

2025-12-16T09:57:30Z

Author Brandes, Ulrik. editor. Erlebach, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106453
Format: Electronic Resources
Availability Online Library~1

Networking - ICN 2005 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part I

2025-12-16T09:57:30Z

Author Lorenz, Pascal. editor. Dini, Petre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107117
Format: Electronic Resources
Availability Online Library~1

Networking - ICN 2005 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part II

2025-12-16T09:57:30Z

Author Lorenz, Pascal. editor. Dini, Petre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107118
Format: Electronic Resources
Availability Online Library~1

From Computer Literacy to Informatics Fundamentals International Conference on Informatics in Secondary Schools – Evolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30 - April 1, 2005, Proceeedings

2025-12-16T09:57:30Z

Author Mittermeir, Roland T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107112
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

2025-12-16T09:57:30Z

Author Fiadeiro, José Luiz. editor. Mosses, Peter D. editor. Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107129
Format: Electronic Resources
Availability Online Library~1

Privacy Enhancing Technologies 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004. Revised Selected Papers

2025-12-16T09:57:30Z

Author Martin, David. editor. Serjantov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136164
Format: Electronic Resources
Availability Online Library~1

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Bastide, Rémi. editor. Palanque, Philippe. editor. Roth, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136790
Format: Electronic Resources
Availability Online Library~1

Knowledge and Information Visualization Searching for Synergies

2025-12-16T09:57:30Z

Author Tergan, Sigmar-Olaf. editor. Keller, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138081
Format: Electronic Resources
Availability Online Library~1

Wireless Systems and Mobility in Next Generation Internet First International Workshop of the EURO-NGI Network of Excellence, Dagstuhl Castle, Germany, June 7-9, 2004. Revised Selected Papers

2025-12-16T09:57:30Z

Author Kotsis, Gabriele. editor. Spaniol, Otto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107131
Format: Electronic Resources
Availability Online Library~1

Web and Wireless Geographical Information Systems 4th International Workshop, W2GIS 2004, Goyang, Korea, November 26-27, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Discrete Geometry for Computer Imagery 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005. Proceedings

2025-12-16T09:57:30Z

Author Andres, Eric. editor. Damiand, Guillaume. editor. Lienhardt, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135490
Format: Electronic Resources
Availability Online Library~1

Passive and Active Network Measurement 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005. Proceedings

2025-12-16T09:57:30Z

Author Dovrolis, Constantinos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135479
Format: Electronic Resources
Availability Online Library~1

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings

2025-12-16T09:57:30Z

Author Beigl, Michael. editor. Lukowicz, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106632
Format: Electronic Resources
Availability Online Library~1

Database and XML Technologies Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005. Proceedings

2025-12-16T09:57:30Z

Author Bressan, Stéphane. editor. Ceri, Stefano. editor. Hunt, Ela. editor. Ives, Zachary G. editor. Bellahsène, Zohra. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11547273
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Databases in Networked Information Systems 4th International Workshop, DNIS 2005, Aizu-Wakamatsu, Japan, March 28-30, 2005. Proceedings

2025-12-16T09:57:30Z

Author Bhalla, Subhash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106805
Format: Electronic Resources
Availability Online Library~1

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

2025-12-16T09:57:30Z

Author Hankin, Chris. editor. Siveroni, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11547662
Format: Electronic Resources
Availability Online Library~1

Embedded Systems Design The ARTIST Roadmap for Research and Development

2025-12-16T09:57:30Z

Author Bouyssounouse, Bruno. author. Sifakis, Joseph. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106761
Format: Electronic Resources
Availability Online Library~1

Secure Data Management Second VLDB Workshop, SDM 2005, Trondheim, Norway, September 2-3, 2005. Proceedings

2025-12-16T09:57:30Z

Author Jonker, Willem. editor. Petković, Milan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11552338
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers

2025-12-16T09:57:30Z

Author Gschwind, Thomas. editor. Mascolo, Cecilia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107130
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

2025-12-16T09:57:30Z

Author Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11555223
Format: Electronic Resources
Availability Online Library~1

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Communications and Multimedia Security 9th IFIP TC-6 TC-11International Conference, CMS 2005, Salzburg, Austria, September 19 – 21, 2005. Proceedings

2025-12-16T09:57:30Z

Author Dittmann, Jana. editor. Katzenbeisser, Stefan. editor. Uhl, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11552055
Format: Electronic Resources
Availability Online Library~1

Information Security Practice and Experience First International Conference, ISPEC 2005, Singapore, April 11-14, 2005. Proceedings

2025-12-16T09:57:30Z

Author Deng, Robert H. editor. Bao, Feng. editor. Pang, HweeHwa. editor. Zhou, Jianying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107167
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Computer Security – ESORICS 2005 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings

2025-12-16T09:57:30Z

Author Vimercati, Sabrina de Capitani. editor. Syverson, Paul. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11555827
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T09:57:30Z

Author Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106850
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I

2025-12-16T09:57:30Z

Author Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11552413
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T09:57:30Z

Author Cerioli, Maura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107062
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T09:57:30Z

Author Bodik, Rastislav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107108
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II

2025-12-16T09:57:30Z

Author Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11552451
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T09:57:30Z

Author Sagiv, Mooly. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107380
Format: Electronic Resources
Availability Online Library~1

Graph-Based Representations in Pattern Recognition 5th IAPR International Workshop, GbRPR 2005, Poitiers, France, April 11-13, 2005. Proceedings

2025-12-16T09:57:30Z

Author Brun, Luc. editor. Vento, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107037
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings

2025-12-16T09:57:30Z

Author Keijzer, Maarten. editor. Tettamanzi, Andrea. editor. Collet, Pierre. editor. Hemert, Jano. editor. Tomassini, Marco. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107383
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III

2025-12-16T09:57:30Z

Author Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11553939
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings

2025-12-16T09:57:30Z

Author Raidl, Günther R. editor. Gottlieb, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107115
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV

2025-12-16T09:57:30Z

Author Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11554028
Format: Electronic Resources
Availability Online Library~1

Computer Network Security Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005. Proceedings

2025-12-16T09:57:30Z

Author Gorodetsky, Vladimir. editor. Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560326
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Image Analysis Third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 22-25, 2005, Proceedings, Part II

2025-12-16T09:57:30Z

Author Singh, Sameer. editor. Singh, Maneesha. editor. Apte, Chid. editor. Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11552499
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Processing – ICIAP 2005 13th International Conference, Cagliari, Italy, September 6-8, 2005. Proceedings

2025-12-16T09:57:30Z

Author Roli, Fabio. editor. Vitulano, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11553595
Format: Electronic Resources
Availability Online Library~1

Networking and Mobile Computing Third International Conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005. Proceedings

2025-12-16T09:57:30Z

Author Lu, Xicheng. editor. Zhao, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11534310
Format: Electronic Resources
Availability Online Library~1

Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2005 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings

2025-12-16T09:57:30Z

Author Shoup, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11535218
Format: Electronic Resources
Availability Online Library~1

Information Retrieval Technology Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers

2025-12-16T09:57:30Z

Author Myaeng, Sung Hyon. editor. Zhou, Ming. editor. Wong, Kam-Fai. editor. Zhang, Hong-Jiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106653
Format: Electronic Resources
Availability Online Library~1

Database Systems for Advanced Applications 10th International Conference, DASFAA 2005, Beijing, China, April 17-20, 2005. Proceedings

2025-12-16T09:57:30Z

Author Zhou, Lizhu. editor. Ooi, Beng Chin. editor. Meng, Xiaofeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107189
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings

2025-12-16T09:57:30Z

Author Liśkiewicz, Maciej. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11537311
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

2025-12-16T09:57:30Z

Author Rust, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135629
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005. Proceedings

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Scientific Applications of Grid Computing First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers

2025-12-16T09:57:30Z

Author Herrero, Pilar. editor. Pérez, María S. editor. Robles, Víctor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136149
Format: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005. Proceedings

2025-12-16T09:57:30Z

Author Gagalowicz, André. editor. Philips, Wilfried. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11556121
Format: Electronic Resources
Availability Online Library~1

Scale Space and PDE Methods in Computer Vision 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005. Proceedings

2025-12-16T09:57:30Z

Author Kimmel, Ron. editor. Sochen, Nir A. editor. Weickert, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107185
Format: Electronic Resources
Availability Online Library~1

Self-star Properties in Complex Information Systems Conceptual and Practical Foundations

2025-12-16T09:57:30Z

Author Babaoglu, Ozalp. editor. Jelasity, Márk. editor. Montresor, Alberto. editor. Fetzer, Christof. editor. Leonardi, Stefano. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136551
Format: Electronic Resources
Availability Online Library~1

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings

2025-12-16T09:57:30Z

Author Urzyczyn, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135690
Format: Electronic Resources
Availability Online Library~1

Transactions on Rough Sets IV

2025-12-16T09:57:30Z

Author Peters, James F. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11574798
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Service Availability Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25 – 26, 2005, Revised Selected Papers

2025-12-16T09:57:30Z

Author Malek, Miroslaw. editor. Nett, Edgar. editor. Suri, Neeraj. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560333
Format: Electronic Resources
Availability Online Library~1

Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings

2025-12-16T09:57:30Z

Author Cin, Mario. editor. Kaâniche, Mohamed. editor. Pataricza, András. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107276
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings

2025-12-16T09:57:30Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Miyamoto, Sadaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31883-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

2025-12-16T09:57:30Z

Author Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135888
Format: Electronic Resources
Availability Online Library~1

Conceptual Structures: Common Semantics for Sharing Knowledge 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings

2025-12-16T09:57:30Z

Author Dau, Frithjof. editor. Mugnier, Marie-Laure. editor. Stumme, Gerd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31885-9
Format: Electronic Resources
Availability Online Library~1

Nonlinear Speech Modeling and Applications Advanced Lectures and Revised Selected Papers

2025-12-16T09:57:30Z

Author Chollet, Gérard. editor. Esposito, Anna. editor. Faundez-Zanuy, Marcos. editor. Marinaro, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138975
Format: Electronic Resources
Availability Online Library~1

Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers

2025-12-16T09:57:30Z

Author Gleizes, Marie-Pierre. editor. Omicini, Andrea. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136158
Format: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings

2025-12-16T09:57:30Z

Author Godo, Lluís. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138862
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings

2025-12-16T09:57:30Z

Author Fages, François. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11552222
Format: Electronic Resources
Availability Online Library~1

Modeling and Using Context 5thInternational and Interdisciplinary Conference CONTEXT 2005, Paris, France, July 5-8, 2005. Proceedings

2025-12-16T09:57:30Z

Author Dey, Anind. editor. Kokinov, Boicho. editor. Leake, David. editor. Turner, Roy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137917
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Data Mining in Pattern Recognition 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005. Proceedings

2025-12-16T09:57:30Z

Author Perner, Petra. editor. Imiya, Atsushi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138149
Format: Electronic Resources
Availability Online Library~1

Learning Theory 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings

2025-12-16T09:57:30Z

Author Auer, Peter. editor. Meir, Ron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137542
Format: Electronic Resources
Availability Online Library~1

Innovations in Applied Artificial Intelligence 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005. Proceedings

2025-12-16T09:57:30Z

Author Ali, Moonis. editor. Esposito, Floriana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137656
Format: Electronic Resources
Availability Online Library~1

Local Pattern Detection International Seminar, Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Morik, Katharina. editor. Boulicaut, Jean-François. editor. Siebes, Arno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137601
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005. Proceedings

2025-12-16T09:57:30Z

Author Gellersen, Hans -W. editor. Want, Roy. editor. Schmidt, Albrecht. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136550
Format: Electronic Resources
Availability Online Library~1

Biomimetic Neural Learning for Intelligent Robots Intelligent Systems, Cognitive Robotics, and Neuroscience

2025-12-16T09:57:30Z

Author Wermter, Stefan. editor. Palm, Günther. editor. Elshaw, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b139051
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings

2025-12-16T09:57:30Z

Author Blesa, María J. editor. Blum, Christian. editor. Roli, Andrea. editor. Sampels, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11546245
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

2025-12-16T09:57:30Z

Author Grelck, Clemens. editor. Huch, Frank. editor. Michaelson, Greg J. editor. Trinder, Phil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136772
Format: Electronic Resources
Availability Online Library~1

Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

2025-12-16T09:57:30Z

Author Guelfi, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136153
Format: Electronic Resources
Availability Online Library~1

Trust Management Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005. Proceedings

2025-12-16T09:57:30Z

Author Herrmann, Peter. editor. Issarny, Valérie. editor. Shiu, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136639
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Computing International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I

2025-12-16T09:57:30Z

Author Huang, De-Shuang. editor. Zhang, Xiao-Ping. editor. Huang, Guang-Bin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11538059
Format: Electronic Resources
Availability Online Library~1

Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Barley, Michael Wayne. editor. Kasabov, Nik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107183
Format: Electronic Resources
Availability Online Library~1

Advances in Spatial and Temporal Databases 9th International Symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005. Proceedings

2025-12-16T09:57:30Z

Author Bauzer Medeiros, Claudia. editor. Egenhofer, Max J. editor. Bertino, Elisa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11535331
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 13-16, 2005, Proceedings, Part I

2025-12-16T09:57:30Z

Author Ho, Yo-Sung. editor. Kim, Hyoung Joong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11581772
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 13-16, 2005, Proceedings, Part II

2025-12-16T09:57:30Z

Author Ho, Yo-Sung. editor. Kim, Hyoung-Joong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11582267
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Conditionals, Information, and Inference International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers

2025-12-16T09:57:30Z

Author Kern-Isberner, Gabriele. editor. Rödder, Wilhelm. editor. Kulmann, Friedhelm. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107184
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Image Analysis Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part I

2025-12-16T09:57:30Z

Author Marques, Jorge S. editor. Pérez de la Blanca, Nicolás. editor. Pina, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136825
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Image Analysis Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part II

2025-12-16T09:57:30Z

Author Marques, Jorge S. editor. Pérez de la Blanca, Nicolás. editor. Pina, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136831
Format: Electronic Resources
Availability Online Library~1

Perspectives in Conceptual Modeling ER 2005 Workshops AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005. Proceedings

2025-12-16T09:57:30Z

Author Akoka, Jacky. editor. Liddle, Stephen W. editor. Song, Il-Yeol. editor. Bertolotto, Michela. editor. Comyn-Wattiau, Isabelle. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11568346
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

2025-12-16T09:57:30Z

Author Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11589976
Format: Electronic Resources
Availability Online Library~1

String Processing and Information Retrieval 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005. Proceedings

2025-12-16T09:57:30Z

Author Consens, Mariano. editor. Navarro, Gonzalo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11575832
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis and Applications 10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, Havana, Cuba, November 15-18, 2005. Proceedings

2025-12-16T09:57:30Z

Author Sanfeliu, Alberto. editor. Cortés, Manuel Lazo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11578079
Format: Electronic Resources
Availability Online Library~1

Multi-Agent and Multi-Agent-Based Simulation Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Davidsson, Paul. editor. Logan, Brian. editor. Takadama, Keiki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106991
Format: Electronic Resources
Availability Online Library~1

Ambient Networks 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005. Proceedings

2025-12-16T09:57:30Z

Author Schönwälder, Jürgen. editor. Serrat, Joan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11568285
Format: Electronic Resources
Availability Online Library~1

Stochastic Algorithms: Foundations and Applications Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005. Proceedings

2025-12-16T09:57:30Z

Author Lupanov, Oleg B. editor. Kasim-Zade, Oktay M. editor. Chaskin, Alexander V. editor. Steinhöfel, Kathleen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11571155
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings

2025-12-16T09:57:30Z

Author Jin, Hai. editor. Reed, Daniel. editor. Jiang, Wenbin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11577188
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

2025-12-16T09:57:30Z

Author Yi, Kwangkeun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11575467
Format: Electronic Resources
Availability Online Library~1

Advances in Biometric Person Authentication International Wokshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22-23, 2005. Proceedings

2025-12-16T09:57:30Z

Author Li, Stan Z. editor. Sun, Zhenan. editor. Tan, Tieniu. editor. Pankanti, Sharath. editor. Chollet, Gérard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11569947
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers

2025-12-16T09:57:30Z

Author Konagaya, Akihiko. editor. Satou, Kenji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106923
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

2025-12-16T09:57:30Z

Author Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106890
Format: Electronic Resources
Availability Online Library~1

Law and the Semantic Web Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications

2025-12-16T09:57:30Z

Author Benjamins, V. Richard. editor. Casanovas, Pompeu. editor. Breuker, Joost. editor. Gangemi, Aldo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106624
Format: Electronic Resources
Availability Online Library~1

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

2025-12-16T09:57:30Z

Author Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106663
Format: Electronic Resources
Availability Online Library~1

Spatial Cognition IV. Reasoning, Action, Interaction International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Freksa, Christian. editor. Knauff, Markus. editor. Krieg-Brückner, Bernd. editor. Nebel, Bernhard. editor. Barkowsky, Thomas. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106616
Format: Electronic Resources
Availability Online Library~1

RoboCup 2004: Robot Soccer World Cup VIII

2025-12-16T09:57:30Z

Author Nardi, Daniele. editor. Riedmiller, Martin. editor. Sammut, Claude. editor. Santos-Victor, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106671
Format: Electronic Resources
Availability Online Library~1

E-Government: Towards Electronic Democracy International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005. Proceedings

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

2025-12-16T09:57:30Z

Author Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106468
Format: Electronic Resources
Availability Online Library~1

Environments for Multi-Agent Systems First International Workshop, E4MAS 2004, New York, NY, July 19, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

2025-12-16T09:57:30Z

Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105887
Format: Electronic Resources
Availability Online Library~1

Argumentation in Multi-Agent Systems First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

2025-12-16T09:57:30Z

Author Rahwan, Iyad. editor. Moraïtis, Pavlos. editor. Reed, Chris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105815
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings

2025-12-16T09:57:30Z

Author Ganter, Bernhard. editor. Godin, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105806
Format: Electronic Resources
Availability Online Library~1

Ambient Intelligence for Scientific Discovery Foundations, Theories, and Systems

2025-12-16T09:57:30Z

Author Cai, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105582
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings

2025-12-16T09:57:30Z

Author Barták, Roman. editor. Milano, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136920
Format: Electronic Resources
Availability Online Library~1

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

2025-12-16T09:57:30Z

Author Abdallah, Ali E. editor. Jones, Cliff B. editor. Sanders, Jeff W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136154
Format: Electronic Resources
Availability Online Library~1

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

2025-12-16T09:57:30Z

Author Cooper, S. Barry. editor. Löwe, Benedikt. editor. Torenvliet, Leen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136981
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T09:57:30Z

Author Roy, Bimal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11593447
Format: Electronic Resources
Availability Online Library~1

Software Architecture 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings

2025-12-16T09:57:30Z

Author Morrison, Ron. editor. Oquendo, Flavio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136986
Format: Electronic Resources
Availability Online Library~1

Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings

2025-12-16T09:57:30Z

Author Alonso, Gustavo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11587552
Format: Electronic Resources
Availability Online Library~1

Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings

2025-12-16T09:57:30Z

Author Adi, Asaf. editor. Stoutenburg, Suzette. editor. Tabet, Said. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11580072
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedings

2025-12-16T09:57:30Z

Author Richardson, Ita. editor. Abrahamsson, Pekka. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11586012
Format: Electronic Resources
Availability Online Library~1

High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings

2025-12-16T09:57:30Z

Author Conte, Tom. editor. Navarro, Nacho. editor. Hwu, Wen-mei W. editor. Valero, Mateo. editor. Ungerer, Theo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11587514
Format: Electronic Resources
Availability Online Library~1

Affective Computing and Intelligent Interaction First International Conference, ACII 2005, Beijing, China, October 22-24, 2005. Proceedings

2025-12-16T09:57:30Z

Author Tao, Jianhua. editor. Tan, Tieniu. editor. Picard, Rosalind W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11573548
Format: Electronic Resources
Availability Online Library~1

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning

2025-12-16T09:57:30Z

Author Kudenko, Daniel. editor. Kazakov, Dimitar. editor. Alonso, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106974
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

2025-12-16T09:57:30Z

Author Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106931
Format: Electronic Resources
Availability Online Library~1

Mobile Ad-hoc and Sensor Networks First International Conference, MSN 2005, Wuhan, China, December 13-15, 2005. Proceedings

2025-12-16T09:57:30Z

Author Jia, Xiaohua. editor. Wu, Jie. editor. He, Yanxiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11599463
Format: Electronic Resources
Availability Online Library~1

Grid and Cooperative Computing - GCC 2005 4th International Conference, Beijing, China, November 30 - December 3, 2005. Proceedings

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Progress in Cryptology - INDOCRYPT 2005 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005. Proceedings

2025-12-16T09:57:30Z

Author Maitra, Subhamoy. editor. Veni Madhavan, C. E. editor. Venkatesan, Ramarathnam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11596219
Format: Electronic Resources
Availability Online Library~1

Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets International Workshop, Dagstuhl Castle, Germany, March 1-5, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Grieser, Gunter. editor. Tanaka, Yuzuru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104697
Format: Electronic Resources
Availability Online Library~1

Regulatory Genomics RECOMB 2004 International Workshop, RRG 2004, San Diego, Ca, USA, March 26-27, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Eskin, Eleazar. editor. Workman, Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105490
Format: Electronic Resources
Availability Online Library~1

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings

2025-12-16T09:57:30Z

Author Dearle, Alan. editor. Eisenbach, Susan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590712
Format: Electronic Resources
Availability Online Library~1

GeoSpatial Semantics First International Conference, GeoS 2005, Mexico City, Mexico, November 29-30, 2005. Proceedings

2025-12-16T09:57:30Z

Author Rodríguez, M. Andrea. editor. Cruz, Isabel. editor. Levashkin, Sergei. editor. Egenhofer, Max J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11586180
Format: Electronic Resources
Availability Online Library~1

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005. Proceedings

2025-12-16T09:57:30Z

Author Bebis, George. editor. Boyle, Richard. editor. Koracin, Darko. editor. Parvin, Bahram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11595755
Format: Electronic Resources
Availability Online Library~1

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling Third International Conference, ICVS 2005, Strasbourg, France, November 30 - December 2, 2005. Proceedings

2025-12-16T09:57:30Z

Author Subsol, Gérard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590361
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2005 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005. Proceedings

2025-12-16T09:57:30Z

Author Ngu, Anne H. H. editor. Kitsuregawa, Masaru. editor. Neuhold, Erich J. editor. Chung, Jen-Yao. editor. Sheng, Quan Z. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11581062
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2005 Workshops WISE 2005 International Workshops, New York, NY, USA November 20-22, 2005. Proceedings

2025-12-16T09:57:30Z

Author Dean, Mike. editor. Guo, Yuanbo. editor. Jun, Woochun. editor. Kaschek, Roland. editor. Krishnaswamy, Shonali. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11581116
Format: Electronic Resources
Availability Online Library~1

Comparative Genomics RECOMB 2004 International Workshop, RCG 2004, Bertinoro, Italy, October 16-19, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Lagergren, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105486
Format: Electronic Resources
Availability Online Library~1

Digital Libraries: Implementing Strategies and Sharing Experiences 8th International Conference on Asian Digital Libraries, ICADL 2005, Bangkok, Thailand, December 12-15, 2005. Proceedings

2025-12-16T09:57:30Z

Author Fox, Edward A. editor. Neuhold, Erich J. editor. Premsmit, Pimrumpai. editor. Wuwongse, Vilas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11599517
Format: Electronic Resources
Availability Online Library~1

Technologies for Advanced Heterogeneous Networks First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings

2025-12-16T09:57:30Z

Author Cho, Kenjiro. editor. Jacquet, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11599593
Format: Electronic Resources
Availability Online Library~1

Internet and Network Economics First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005. Proceedings

2025-12-16T09:57:30Z

Author Deng, Xiaotie. editor. Ye, Yinyu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11600930
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing - ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005. Proceedings

2025-12-16T09:57:30Z

Author Benatallah, Boualem. editor. Casati, Fabio. editor. Traverso, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11596141
Format: Electronic Resources
Availability Online Library~1

Embedded and Ubiquitous Computing – EUC 2005 International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005. Proceedings

2025-12-16T09:57:30Z

Author Yang, Laurence T. editor. Amamiya, Makoto. editor. Liu, Zhen. editor. Guo, Minyi. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11596356
Format: Electronic Resources
Availability Online Library~1

Embedded and Ubiquitous Computing – EUC 2005 Workshops EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005. Proceedings

2025-12-16T09:57:30Z

Author Enokido, Tomoya. editor. Yan, Lu. editor. Xiao, Bin. editor. Kim, Daeyoung. editor. Dai, Yuanshun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11596042
Format: Electronic Resources
Availability Online Library~1

Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings

2025-12-16T09:57:30Z

Author Yang, Laurence T. editor. Zhou, Xingshe. editor. Zhao, Wei. editor. Wu, Zhaohui. editor. Zhu, Yian. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11599555
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005. Proceedings

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV

2025-12-16T09:57:30Z

Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganá, Antonio. editor. Lee, Heow Pueh. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136278
Format: Electronic Resources
Availability Online Library~1

Cryptography and Coding 10th IMA International Conference, Cirencester, UK, December 19-21, 2005. Proceedings

2025-12-16T09:57:30Z

Author Smart, Nigel P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11586821
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Machine Intelligence First International Conference, PReMI 2005, Kolkata, India, December 20-22, 2005. Proceedings

2025-12-16T09:57:30Z

Author Pal, Sankar K. editor. Bandyopadhyay, Sanghamitra. editor. Biswas, Sambhunath. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590316
Format: Electronic Resources
Availability Online Library~1

Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Burke, Edmund. editor. Trick, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11593577
Format: Electronic Resources
Availability Online Library~1

Information Systems Security First International Conference, ICISS 2005, Kolkata, India, December 19-21, 2005. Proceedings

2025-12-16T09:57:30Z

Author Jajodia, Sushil. editor. Mazumdar, Chandan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11593980
Format: Electronic Resources
Availability Online Library~1

Web and Wireless Geographical Information Systems 5th International Workshop, W2GIS 2005, Lausanne, Switzerland, December 15-16, 2005. Proceedings

2025-12-16T09:57:30Z

Author Li, Ki-Joune. editor. Vangenot, Christelle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11599289
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005. Proceedings

2025-12-16T09:57:30Z

Author Feng, Dengguo. editor. Lin, Dongdai. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11599548
Format: Electronic Resources
Availability Online Library~1

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

2025-12-16T09:57:30Z

Author Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11601548
Format: Electronic Resources
Availability Online Library~1

Algorithms and Computation 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005. Proceedings

2025-12-16T09:57:30Z

Author Deng, Xiaotie. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11602613
Format: Electronic Resources
Availability Online Library~1

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005. Proceedings

2025-12-16T09:57:30Z

Author Bader, David A. editor. Parashar, Manish. editor. Sridhar, Varadarajan. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11602569
Format: Electronic Resources
Availability Online Library~1

Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings

2025-12-16T09:57:30Z

Author Pal, Ajit. editor. Kshemkalyani, Ajay D. editor. Kumar, Rajeev. editor. Gupta, Arobinda. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11603771
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005. Proceedings

2025-12-16T09:57:30Z

Author Chakraborty, Goutam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11604655
Format: Electronic Resources
Availability Online Library~1

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005. Proceedings

2025-12-16T09:57:30Z

Author Megiddo, Nimrod. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137095
Format: Electronic Resources
Availability Online Library~1

Nonlinear Analyses and Algorithms for Speech Processing International Conference on Non-Linear Speech Processing, NOLISP 2005, Barcelona, Spain, April 19-22, 2005, Revised Selected Papers

2025-12-16T09:57:30Z

Author Faundez-Zanuy, Marcos. editor. Janer, Léonard. editor. Esposito, Anna. editor. Satue-Villar, Antonio. editor. Roure, Josep. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11613107
Format: Electronic Resources
Availability Online Library~1

Agent-Mediated Electronic Commerce VI. Theories for and Engineering of Distributed Mechanisms and Systems AAMAS 2004 Workshop, AMEC 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Faratin, Peyman. editor. Rodríguez-Aguilar, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11575726
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings

2025-12-16T09:57:30Z

Author Cao, Jiannong. editor. Yang, Laurence T. editor. Guo, Minyi. editor. Lau, Francis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104574
Format: Electronic Resources
Availability Online Library~1

Journal on Data Semantics II

2025-12-16T09:57:30Z

Author Spaccapietra, Stefano. editor. Bertino, Elisa. editor. Jajodia, Sushil. editor. King, Roger. editor. McLeod, Dennis. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104761
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Multimodal Interaction First International Workshop, MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Bengio, Samy. editor. Bourlard, Hervé. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105752
Format: Electronic Resources
Availability Online Library~1

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105030
Format: Electronic Resources
Availability Online Library~1

Database Theory - ICDT 2005 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

2025-12-16T09:57:30Z

Author Eiter, Thomas. editor. Libkin, Leonid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104421
Format: Electronic Resources
Availability Online Library~1

Attention and Performance in Computational Vision Second International Workshop, WAPCV 2004, Prague, Czech Republic, May 15, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Paletta, Lucas. editor. Tsotsos, John K. editor. Rome, Erich. editor. Humphreys, Glyn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105311
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Topics in Cryptology – CT-RSA 2005 The Cryptographers’ Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005. Proceedings

2025-12-16T09:57:30Z

Author Menezes, Alfred. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105222
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005. Proceedings

2025-12-16T09:57:30Z

Author Kilian, Joe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106171
Format: Electronic Resources
Availability Online Library~1

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

2025-12-16T09:57:30Z

Author Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105022
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

2025-12-16T09:57:30Z

Author Cousot, Radhia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105073
Format: Electronic Resources
Availability Online Library~1

Public Key Cryptography - PKC 2005 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005. Proceedings

2025-12-16T09:57:30Z

Author Vaudenay, Serge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105124
Format: Electronic Resources
Availability Online Library~1

Semantic Web Services and Web Process Composition First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Cardoso, Jorge. editor. Sheth, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105145
Format: Electronic Resources
Availability Online Library~1

Information Networking. Convergence in Broadband and Mobile Networking International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005. Proceedings

2025-12-16T09:57:30Z

Author Kim, Cheeha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105584
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T09:57:30Z

Author Kim, Tag Gon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105609
Format: Electronic Resources
Availability Online Library~1

Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

Author Baik, Doo-Kwon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105611
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005. Proceedings

2025-12-16T09:57:30Z

Author Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105772
Format: Electronic Resources
Availability Online Library~1

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings

2025-12-16T09:57:30Z

Author Franch, Xavier. editor. Port, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105900
Format: Electronic Resources
Availability Online Library~1

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings

2025-12-16T09:57:30Z

Author Prinz, Andreas. editor. Reed, Rick. editor. Reed, Jeanne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137793
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology III

2025-12-16T09:57:30Z

Author Priami, Corrado. editor. Merelli, Emanuela. editor. Gonzalez, Pablo. editor. Omicini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11599128
Format: Electronic Resources
Availability Online Library~1

Journal on Data Semantics III

2025-12-16T09:57:30Z

Author Spaccapietra, Stefano. editor. Zimányi, Esteban. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137098
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2025-12-16T09:57:30Z

Author Steffen, Martin. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136996
Format: Electronic Resources
Availability Online Library~1

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

2025-12-16T09:57:30Z

Author Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136988
Format: Electronic Resources
Availability Online Library~1

Advances in Biometrics International Conference, ICB 2006, Hong Kong, China, January 5-7, 2006. Proceedings

2025-12-16T09:57:30Z

Author Zhang, David. editor. Jain, Anil K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11608288
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings

2025-12-16T09:57:30Z

Author Vardanega, Tullio. editor. Wellings, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137344
Format: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30 – July 1, 2005. Proceedings

2025-12-16T09:57:30Z

Author Prasanna, Viktor K. editor. Iyengar, Sitharama S. editor. Spirakis, Paul G. editor. Welsh, Matt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137498
Format: Electronic Resources
Availability Online Library~1

Mechanisms, Symbols, and Models Underlying Cognition First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I

2025-12-16T09:57:30Z

Author Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137289
Format: Electronic Resources
Availability Online Library~1

Web Engineering 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings

2025-12-16T09:57:30Z

Author Lowe, David. editor. Gaedke, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31484-4
Format: Electronic Resources
Availability Online Library~1

Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

2025-12-16T09:57:30Z

Author Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137278
Format: Electronic Resources
Availability Online Library~1

Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

2025-12-16T09:57:30Z

Author Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11526988
Format: Electronic Resources
Availability Online Library~1

Information Processing in Medical Imaging 19th International Conference, IPMI 2005, Glenwood Springs, CO, USA, July 10-15, 2005. Proceedings

2025-12-16T09:57:30Z

Author Christensen, Gary E. editor. Sonka, Milan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137723
Format: Electronic Resources
Availability Online Library~1

Database: Enterprise, Skills and Innovation 22nd British National Conference on Databases, BNCOD 22, Sunderland, UK, July 5-7, 2005. Proceedings

2025-12-16T09:57:30Z

Author Jackson, Mike. editor. Nelson, David. editor. Stirk, Sue. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138245
Format: Electronic Resources
Availability Online Library~1

Image and Video Retrieval 4th International Conference, CIVR 2005, Singapore, July 20-22, 2005. Proceedings

2025-12-16T09:57:30Z

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: Electronic Resources
Availability Online Library~1