Search Results for Computer science. - Narrowed by: 2005

Computer science : an overview

2025-03-18T17:02:43Z

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

Computer science : an overview

2025-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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

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-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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

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-03-18T17:02:43Z

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-03-18T17:02:43Z

Author Andrews, John.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Evolutionary Synthesis of Pattern Recognition Systems

2025-03-18T17:02:43Z

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

Nearest Neighbor Search A Database Perspective

2025-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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

Super-Recursive Algorithms

2025-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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

Reverse Engineering of Object Oriented Code

2025-03-18T17:02:43Z

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

Adapting Proofs-as-Programs The Curry-Howard Protocol

2025-03-18T17:02:43Z

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

Geometric Fundamentals of Robotics

2025-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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

Digital Cities III. Information Technologies for Social Capital: Cross-cultural Perspectives Third International Digital Cities Workshop, Amsterdam, The Netherlands, September 18-19, 2003. Revised Selected Papers

2025-03-18T17:02:43Z

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

Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers

2025-03-18T17:02:43Z

Author Danos, Vincent. editor. Schachter, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107287
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-03-18T17:02:43Z

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

Database Programming Languages 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers

2025-03-18T17:02:43Z

Author Bierman, Gavin. editor. Koch, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11601524
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology III

2025-03-18T17:02:43Z

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 IV

2025-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

2025-03-18T17:02:43Z

Author Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11603009
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-03-18T17:02:43Z

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

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

2025-03-18T17:02:43Z

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

AI 2005: Advances in Artificial Intelligence 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005. Proceedings

2025-03-18T17:02:43Z

Author Zhang, Shichao. editor. Jarvis, Ray. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11589990
Format: Electronic Resources
Availability Online Library~1

Data Management in a Connected World Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday

2025-03-18T17:02:43Z

Author Härder, Theo. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137346
Format: Electronic Resources
Availability Online Library~1

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

2025-03-18T17:02:43Z

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

Applied Cryptography and Network Security Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005. Proceedings

2025-03-18T17:02:43Z

Author Ioannidis, John. editor. Keromytis, Angelos. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137093
Format: Electronic Resources
Availability Online Library~1

The Semantic Web: Research and Applications Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29–June 1, 2005. Proceedings

2025-03-18T17:02:43Z

Author Gómez-Pérez, Asunción. editor. Euzenat, Jérôme. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136731
Format: Electronic Resources
Availability Online Library~1

Journal on Data Semantics III

2025-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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

Combinatorial Pattern Matching 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005. Proceedings

2025-03-18T17:02:43Z

Author Apostolico, Alberto. editor. Crochemore, Maxime. editor. Park, Kunsoo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137128
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-03-18T17:02:43Z

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

Image Analysis 14th Scandinavian Conference, SCIA 2005, Joensuu, Finland, June 19-22, 2005. Proceedings

2025-03-18T17:02:43Z

Author Kalviainen, Heikki. editor. Parkkinen, Jussi. editor. Kaarna, Arto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137285
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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

2025-03-18T17:02:43Z

Author Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137280
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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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

Information Security and Privacy 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005. Proceedings

2025-03-18T17:02:43Z

Author Boyd, Colin. editor. González Nieto, Juan Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137750
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

2025-03-18T17:02:43Z

Author Etessami, Kousha. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138445
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

2025-03-18T17:02:43Z

Author Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11523468
Format: Electronic Resources
Availability Online Library~1

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005. Proceedings

2025-03-18T17:02:43Z

Author Gama, João. editor. Camacho, Rui. editor. Brazdil, Pavel B. editor. Jorge, Alípio Mário. editor. Torgo, Luís. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11564096
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-03-18T17:02:43Z

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-03-18T17:02:43Z

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

Advances in Web-Based Learning – ICWL 2005 4th International Conference, Hong Kong, China, July 31 - August 3, 2005. Proceedings

2025-03-18T17:02:43Z

Author Lau, Rynson W. H. editor. Li, Qing. editor. Cheung, Ronnie. editor. Liu, Wenyin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11528043
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction - INTERACT 2005 IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005. Proceedings

2025-03-18T17:02:43Z

Author Costabile, Maria Francesca. editor. Paternò, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11555261
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing – IJCNLP 2005 Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005. Proceedings

2025-03-18T17:02:43Z

Author Dale, Robert. editor. Wong, Kam-Fai. editor. Su, Jian. editor. Kwong, Oi Yee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11562214
Format: Electronic Resources
Availability Online Library~1

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

2025-03-18T17:02:43Z

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

Computational Life Sciences First International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005. Proceedings

2025-03-18T17:02:43Z

Author R. Berthold, Michael. editor. Glen, Robert C. editor. Diederichs, Kay. editor. Kohlbacher, Oliver. editor. Fischer, Ingrid. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560500
Format: Electronic Resources
Availability Online Library~1

Deterministic and Statistical Methods in Machine Learning First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures

2025-03-18T17:02:43Z

Author Winkler, Joab. editor. Niranjan, Mahesan. editor. Lawrence, Neil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11559887
Format: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings

2025-03-18T17:02:43Z

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

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedings

2025-03-18T17:02:43Z

Author Pěchouček, Michael. editor. Petta, Paolo. editor. Varga, László Zsolt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11559221
Format: Electronic Resources
Availability Online Library~1

Data Warehousing and Knowledge Discovery 7th International Conference, DaWaK 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings

2025-03-18T17:02:43Z

Author Tjoa, A Min. editor. Trujillo, Juan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11546849
Format: Electronic Resources
Availability Online Library~1

AI*IA 2005: Advances in Artificial Intelligence 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-32, 2005. Proceedings

2025-03-18T17:02:43Z

Author Bandini, Stefania. editor. Manzoni, Sara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11558590
Format: Electronic Resources
Availability Online Library~1

E-Commerce and Web Technologies 6th International Conference, EC-Web 2005, Copenhagen, Denmark, August 23-26, 2005. Proceedings

2025-03-18T17:02:43Z

Author Bauknecht, Kurt. editor. Pröll, Birgit. editor. Werthner, Hannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11545163
Format: Electronic Resources
Availability Online Library~1

Electronic Government 4th International Conference, EGOV 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings

2025-03-18T17:02:43Z

Author Wimmer, Maria A. editor. Traunmüller, Roland. editor. Grönlund, Åke. editor. Andersen, Kim V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11545156
Format: Electronic Resources
Availability Online Library~1

Intelligent Media Technology for Communicative Intelligence Second International Workshop, IMTCI 2004, Warsaw, Poland, September 13-14, 2004. Revised Selected Papers

2025-03-18T17:02:43Z

Author Bolc, Leonard. editor. Michalewicz, Zbigniew. editor. Nishida, Toyoaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11558637
Format: Electronic Resources
Availability Online Library~1

UML Modeling Languages and Applications < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers

2025-03-18T17:02:43Z

Author Jardim Nunes, Nuno. editor. Selic, Bran. editor. Rodrigues da Silva, Alberto. editor. Toval Alvarez, Ambrosio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106725
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

2025-03-18T17:02:43Z

Author Shen, Weiming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Li, Tangqiu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11568421
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-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

2025-03-18T17:02:43Z

Author Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106767
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-03-18T17:02:43Z

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

Transactions on Rough Sets III

2025-03-18T17:02:43Z

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

Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings

2025-03-18T17:02:43Z

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

Numerical Analysis and Its Applications Third International Conference, NAA 2004, Rousse, Bulgaria, June 29-July 3, 2004, Revised Selected Papers

2025-03-18T17:02:43Z

Author Li, Zhilin. editor. Vulkov, Lubin. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106395
Format: Electronic Resources
Availability Online Library~1

Advances in Natural Computation First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I

2025-03-18T17:02:43Z

Author Wang, Lipo. editor. Chen, Ke. editor. Ong, Yew Soon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11539087
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-03-18T17:02:43Z

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

Case-Based Reasoning Research and Development 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings

2025-03-18T17:02:43Z

Author Muñoz-Ávila, Héctor. editor. Ricci, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11536406
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

2025-03-18T17:02:43Z

Author Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11533092
Format: Electronic Resources
Availability Online Library~1

Advances in Natural Computation First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II

2025-03-18T17:02:43Z

Author Wang, Lipo. editor. Chen, Ke. editor. Ong, Yew Soon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11539117
Format: Electronic Resources
Availability Online Library~1

Trusting Agents for Trusting Electronic Societies Theory and Applications in HCI and E-Commerce

2025-03-18T17:02:43Z

Author Falcone, Rino. editor. Barber, Suzanne. editor. Sabater-Mir, Jordi. editor. Singh, Munindar P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11532095
Format: Electronic Resources
Availability Online Library~1

Combinatorial and Algorithmic Aspects of Networking First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers

2025-03-18T17:02:43Z

Author López-Ortiz, Alejandro. editor. Hamel, Angèle M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11527954
Format: Electronic Resources
Availability Online Library~1

Advances in Bioinformatics and Computational Biology Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005. Proceedings

2025-03-18T17:02:43Z

Author Setubal, João Carlos. editor. Verjovski-Almeida, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11532323
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

2025-03-18T17:02:43Z

Author Liu, Zhiming. editor. Araki, Keijiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107116
Format: Electronic Resources
Availability Online Library~1

Advances in Natural Computation First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III

2025-03-18T17:02:43Z

Author Wang, Lipo. editor. Chen, Ke. editor. Ong, Yew Soon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11539902
Format: Electronic Resources
Availability Online Library~1

Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

2025-03-18T17:02:43Z

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

Advances in Information Retrieval 27th European Conference on IR Research, ECIR 2005, Santiago de Compostela, Spain, March 21-23, 2005. Proceedings

2025-03-18T17:02:43Z

Author Losada, David E. editor. Fernández-Luna, Juan M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107096
Format: Electronic Resources
Availability Online Library~1

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

2025-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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

Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures

2025-03-18T17:02:43Z

Author Vene, Varmo. editor. Uustalu, Tarmo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11546382
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-03-18T17:02:43Z

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

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005 and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005. Proceedings

2025-03-18T17:02:43Z

Author Chekuri, Chandra. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11538462
Format: Electronic Resources
Availability Online Library~1

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

2025-03-18T17:02:43Z

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

Advanced Data Mining and Applications First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005. Proceedings

2025-03-18T17:02:43Z

Author Li, Xue. editor. Wang, Shuliang. editor. Dong, Zhao Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b11111
Format: Electronic Resources
Availability Online Library~1

User Modeling 2005 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005. Proceedings

2025-03-18T17:02:43Z

Author Ardissono, Liliana. editor. Brna, Paul. editor. Mitrovic, Antonija. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11527886
Format: Electronic Resources
Availability Online Library~1

Data Integration in the Life Sciences Second International Workshop, DILS 2005, San Diego, CA, USA, July 20-22, 2005. Proceedings

2025-03-18T17:02:43Z

Author Ludäscher, Bertram. editor. Raschid, Louiqa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11530084
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005. Proceedings

2025-03-18T17:02:43Z

Author Coello Coello, Carlos A. editor. Hernández Aguirre, Arturo. editor. Zitzler, Eckart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106458
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis Foundations and Applications

2025-03-18T17:02:43Z

Author Ganter, Bernhard. editor. Stumme, Gerd. editor. Wille, Rudolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31881-1
Format: Electronic Resources
Availability Online Library~1

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings

2025-03-18T17:02:43Z

Author Zucker, Jean-Daniel. editor. Saitta, Lorenza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11527862
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-03-18T17:02:43Z

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

Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3 – 7, 2005. Proceedings

2025-03-18T17:02:43Z

Author Calude, Cristian S. editor. Dinneen, Michael J. editor. Păun, Gheorghe. editor. Pérez-Jímenez, Mario J. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560319
Format: 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-03-18T17:02:43Z

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-03-18T17:02:43Z

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

Autonomic Communication First International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers

2025-03-18T17:02:43Z

Author Smirnov, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138981
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-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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

Massively Multi-Agent Systems I First International Workshop, MMAS 2004, Kyoto, Japan, December 10-11, 2004, Revised Selected and Invited Papers

2025-03-18T17:02:43Z

Author Ishida, Toru. editor. Gasser, Les. editor. Nakashima, Hideyuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138262
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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

2025-03-18T17:02:43Z

Author Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560548
Format: Electronic Resources
Availability Online Library~1

Mobility Aware Technologies and Applications Second International Workshop, MATA 2005, Montreal, Canada, October 17-19, 2005. Proceedings

2025-03-18T17:02:43Z

Author Magedanz, Thomas. editor. Karmouch, Ahmed. editor. Pierre, Samuel. editor. Venieris, Iakovos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11569510
Format: Electronic Resources
Availability Online Library~1

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

2025-03-18T17:02:43Z

Author Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137052
Format: Electronic Resources
Availability Online Library~1

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

2025-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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

Foundations of Genetic Algorithms 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5 - 9 , 2005, Revised Selected Papers

2025-03-18T17:02:43Z

Author Wright, Alden H. editor. Vose, Michael D. editor. Jong, Kenneth A. editor. Schmitt, Lothar M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138412
Format: Electronic Resources
Availability Online Library~1

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers

2025-03-18T17:02:43Z

Author Sloot, Peter M. A. editor. Hoekstra, Alfons G. editor. Priol, Thierry. editor. Reinefeld, Alexander. editor. Bubak, Marian. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137919
Format: Electronic Resources
Availability Online Library~1

Model-Based Testing of Reactive Systems Advanced Lectures

2025-03-18T17:02:43Z

Author Broy, Manfred. editor. Jonsson, Bengt. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. Pretschner, Alexander. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137241
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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers

2025-03-18T17:02:43Z

Author Jermann, Christophe. editor. Neumaier, Arnold. editor. Sam, Djamila. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136292
Format: Electronic Resources
Availability Online Library~1

Location- and Context-Awareness First International Workshop, LoCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005. Proceedings

2025-03-18T17:02:43Z

Author Strang, Thomas. editor. Linnhoff-Popien, Claudia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136418
Format: Electronic Resources
Availability Online Library~1

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

2025-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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

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

2025-03-18T17:02:43Z

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

Advanced Concepts for Intelligent Vision Systems 7th International Conference, ACIVS 2005, Antwerp, Belgium, September 20-23, 2005. Proceedings

2025-03-18T17:02:43Z

Author Blanc-Talon, Jacques. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11558484
Format: Electronic Resources
Availability Online Library~1

Peer-to-Peer Systems and Applications

2025-03-18T17:02:43Z

Author Steinmetz, Ralf. editor. Wehrle, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11530657
Format: Electronic Resources
Availability Online Library~1

Sequences and Their Applications - SETA 2004 Third International Conference, Seoul, Korea, October 24-28, 2004. Revised Selected Papers

2025-03-18T17:02:43Z

Author Helleseth, Tor. editor. Sarwate, Dilip. editor. Song, Hong-Yeop. editor. Yang, Kyeongcheol. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136167
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

2025-03-18T17:02:43Z

Author Heineman, George T. editor. Crnkovic, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor. Szyperski, Clemens. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136248
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

2025-03-18T17:02:43Z

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

Multilingual Information Access for Text, Speech and Images 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004, Revised Selected Papers

2025-03-18T17:02:43Z

Author Peters, Carol. editor. Clough, Paul. editor. Gonzalo, Julio. editor. Jones, Gareth J. F. editor. Kluck, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138934
Format: Electronic Resources
Availability Online Library~1

Digital Watermarking 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005. Proceedings

2025-03-18T17:02:43Z

Author Barni, Mauro. editor. Cox, Ingemar. editor. Kalker, Ton. editor. Kim, Hyoung-Joong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11551492
Format: Electronic Resources
Availability Online Library~1

Advances in XML Information Retrieval Third International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2004, Dagstuhl Castle, Germany, December 6-8, 2004, Revised Selected Papers

2025-03-18T17:02:43Z

Author Fuhr, Norbert. editor. Lalmas, Mounia. editor. Malik, Saadia. editor. Szlávik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136250
Format: Electronic Resources
Availability Online Library~1

Entertainment Computing - ICEC 2005 4th International Conference, Sanda, Japan, September 19-21, 2005. Proceedings

2025-03-18T17:02:43Z

Author Kishino, Fumio. editor. Kitamura, Yoshifumi. editor. Kato, Hirokazu. editor. Nagata, Noriko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11558651
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2005 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005. Proceedings

2025-03-18T17:02:43Z

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

Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings

2025-03-18T17:02:43Z

Author Reussner, Ralf. editor. Mayer, Johannes. editor. Stafford, Judith A. editor. Overhage, Sven. editor. Becker, Steffen. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11558569
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings

2025-03-18T17:02:43Z

Author Briand, Lionel. editor. Williams, Clay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11557432
Format: Electronic Resources
Availability Online Library~1

Intelligence and Security Informatics IEEE International Conference on Intelligence and Security Informatics, ISI 2005, Atlanta, GA, USA, May 19-20, 2005. Proceedings

2025-03-18T17:02:43Z

Author Kantor, Paul. editor. Muresan, Gheorghe. editor. Roberts, Fred. editor. Zeng, Daniel D. editor. Wang, Fei-Yue. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136511
Format: Electronic Resources
Availability Online Library~1

Software Product Lines 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings

2025-03-18T17:02:43Z

Author Obbink, Henk. editor. Pohl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11554844
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2005 Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I

2025-03-18T17:02:43Z

Author Wang, Jun. editor. Liao, Xiaofeng. editor. Yi, Zhang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136476
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – Mycrypt 2005 First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005. Proceedings

2025-03-18T17:02:43Z

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

Advances in Neural Networks – ISNN 2005 Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part II

2025-03-18T17:02:43Z

Author Wang, Jun. editor. Liao, Xiao-Feng. editor. Yi, Zhang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136478
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling – ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedings

2025-03-18T17:02:43Z

Author Delcambre, Lois. editor. Kop, Christian. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. Pastor, Oscar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11568322
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2005 Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part III

2025-03-18T17:02:43Z

Author Wang, Jun. editor. Liao, Xiao-Feng. editor. Yi, Zhang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136479
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings

2025-03-18T17:02:43Z

Author Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11555964
Format: Electronic Resources
Availability Online Library~1

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005. Proceedings

2025-03-18T17:02:43Z

Author Hobbs, Michael. editor. Goscinski, Andrzej M. editor. Zhou, Wanlei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11564621
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

2025-03-18T17:02:43Z

Author Hung, Dang. editor. Wirsing, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560647
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 12 International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005. Proceedings

2025-03-18T17:02:43Z

Author Pelc, Andrzej. editor. Raynal, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136628
Format: Electronic Resources
Availability Online Library~1

Analysis and Modelling of Faces and Gestures Second International Workshop, AMFG 2005, Beijing, China, October 16, 2005. Proceedings

2025-03-18T17:02:43Z

Author Zhao, Wenyi. editor. Gong, Shaogang. editor. Tang, Xiaoou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11564386
Format: Electronic Resources
Availability Online Library~1

Distributed Computing 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005. Proceedings

2025-03-18T17:02:43Z

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

Testing of Communicating Systems 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings

2025-03-18T17:02:43Z

Author Khendek, Ferhat. editor. Dssouli, Rachida. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136676
Format: Electronic Resources
Availability Online Library~1

Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005. Proceedings

2025-03-18T17:02:43Z

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

High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings

2025-03-18T17:02:43Z

Author Yang, Laurence T. editor. Rana, Omer F. editor. Martino, Beniamino. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11557654
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

2025-03-18T17:02:43Z

Author Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11556930
Format: Electronic Resources
Availability Online Library~1

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005. Proceedings

2025-03-18T17:02:43Z

Author Frangi, Alejandro F. editor. Radeva, Petia I. editor. Santos, Andres. editor. Hernandez, Monica. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136980
Format: Electronic Resources
Availability Online Library~1

The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings

2025-03-18T17:02:43Z

Author Gil, Yolanda. editor. Motta, Enrico. editor. Benjamins, V. Richard. editor. Musen, Mark A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11574620
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology – ICISC 2004 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers

2025-03-18T17:02:43Z

Author Park, Choon-sik. editor. Chee, Seongtaek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137120
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

2025-03-18T17:02:43Z

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

Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings

2025-03-18T17:02:43Z

Author Yolum, pInar. editor. Güngör, Tunga. editor. Gürgen, Fikret. editor. Özturan, Can. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11569596
Format: Electronic Resources
Availability Online Library~1

Ad-Hoc, Mobile, and Wireless Networks 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005. Proceedings

2025-03-18T17:02:43Z

Author Syrotiuk, Violet R. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11561354
Format: Electronic Resources
Availability Online Library~1

Advances in Web-Age Information Management 6th International Conference, WAIM 2005, Hangzhou, China, October 11 – 13, 2005. Proceedings

2025-03-18T17:02:43Z

Author Fan, Wenfei. editor. Wu, Zhaohui. editor. Yang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11563952
Format: Electronic Resources
Availability Online Library~1

Discrete and Computational Geometry Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004, Revised Selected Papers

2025-03-18T17:02:43Z

Author Akiyama, Jin. editor. Kano, Mikio. editor. Tan, Xuehou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11589440
Format: Electronic Resources
Availability Online Library~1

Management of Multimedia Networks and Services 8th International Conference on Management of Multimedia Networks and Services, MMNS 2005, Barcelona, Spain, October 24-26, 2005. Proceedings

2025-03-18T17:02:43Z

Author Dalmau Royo, Jordi. editor. Hasegawa, Go. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11572831
Format: Electronic Resources
Availability Online Library~1

Advances in Informatics 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005. Proceedings

2025-03-18T17:02:43Z

Author Bozanis, Panayiotis. editor. Houstis, Elias N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11573036
Format: Electronic Resources
Availability Online Library~1

Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

2025-03-18T17:02:43Z

Author Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11572329
Format: Electronic Resources
Availability Online Library~1

Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

2025-03-18T17:02:43Z

Author Hartman, Alan. editor. Kreische, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11581741
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part I

2025-03-18T17:02:43Z

Author Duncan, James S. editor. Gerig, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11566465
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part II

2025-03-18T17:02:43Z

Author Duncan, James S. editor. Gerig, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11566489
Format: Electronic Resources
Availability Online Library~1

Operations and Management in IP-Based Networks 5th IEEE International Workshop on IP Operations and Management, IPOM 2005, Barcelona, Spain, October 26-28, 2005. Proceedings

2025-03-18T17:02:43Z

Author Magedanz, Thomas. editor. Madeira, Edmundo R. M. editor. Dini, Petre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11567486
Format: Electronic Resources
Availability Online Library~1

Deep Structure, Singularities, and Computer Vision First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers

2025-03-18T17:02:43Z

Author Fogh Olsen, Ole. editor. Florack, Luc. editor. Kuijper, Arjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11577812
Format: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005. Proceedings

2025-03-18T17:02:43Z

Author Rangarajan, Anand. editor. Vemuri, Baba. editor. Yuille, Alan L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11585978
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005. Proceedings

2025-03-18T17:02:43Z

Author Qing, Sihan. editor. Mao, Wenbo. editor. López, Javier. editor. Wang, Guilin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11602897
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings

2025-03-18T17:02:43Z

Author Pan, Yi. editor. Chen, Daoxu. editor. Guo, Minyi. editor. Cao, Jiannong. editor. Dongarra, Jack. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11576235
Format: Electronic Resources
Availability Online Library~1

Context: Nature, Impact, and Role 5th International Conference on Conceptions of Library and Information Sciences, CoLIS 2005, Glasgow, UK, June 4-8, 2005. Proceedings

2025-03-18T17:02:43Z

Author Crestani, Fabio. editor. Ruthven, Ian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137025
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005. Proceedings

2025-03-18T17:02:43Z

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

Wired/Wireless Internet Communications Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005. Proceedings

2025-03-18T17:02:43Z

Author Braun, Torsten. editor. Carle, Georg. editor. Koucheryavy, Yevgeni. editor. Tsaoussidis, Vassilis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136247
Format: Electronic Resources
Availability Online Library~1

Metainformatics International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers

2025-03-18T17:02:43Z

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

Computational Intelligence and Bioinspired Systems 8th International Work-Conference on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltrú, Barcelona, Spain, June 8-10, 2005. Proceedings

2025-03-18T17:02:43Z

Author Cabestany, Joan. editor. Prieto, Alberto. editor. Sandoval, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136983
Format: Electronic Resources
Availability Online Library~1

Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings

2025-03-18T17:02:43Z

Author Cao, Jiannong. editor. Nejdl, Wolfgang. editor. Xu, Ming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11573937
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings

2025-03-18T17:02:43Z

Author Srikanthan, Thambipillai. editor. Xue, Jingling. editor. Chang, Chip-Hong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11572961
Format: Electronic Resources
Availability Online Library~1

Variational, Geometric, and Level Set Methods in Computer Vision Third International Workshop, VLSM 2005, Beijing, China, October 16, 2005. Proceedings

2025-03-18T17:02:43Z

Author Paragios, Nikos. editor. Faugeras, Olivier. editor. Chan, Tony. editor. Schnörr, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11567646
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings

2025-03-18T17:02:43Z

Author Montoyo, Andrés. editor. Muńoz, Rafael. editor. Métais, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136569
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I

2025-03-18T17:02:43Z

Author Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136570
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II

2025-03-18T17:02:43Z

Author Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136571
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Processing and Applications - ISPA 2005 Workshops ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005. Proceedings

2025-03-18T17:02:43Z

Author Chen, Guihai. editor. Pan, Yi. editor. Guo, Minyi. editor. Lu, Jian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11576259
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I

2025-03-18T17:02:43Z

Author Meersman, Robert. editor. Tari, Zahir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11575771
Format: Electronic Resources
Availability Online Library~1

Human Interactive Proofs Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005. Proceedings

2025-03-18T17:02:43Z

Author Baird, Henry S. editor. Lopresti, Daniel P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136509
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III

2025-03-18T17:02:43Z

Author Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136575
Format: Electronic Resources
Availability Online Library~1

Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

2025-03-18T17:02:43Z

Author Li, Hongbo. editor. Olver, Peter J. editor. Sommer, Gerald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137294
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings Part II

2025-03-18T17:02:43Z

Author Meersman, Robert. editor. Tari, Zahir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11575801
Format: Electronic Resources
Availability Online Library~1

Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings

2025-03-18T17:02:43Z

Author Tixeuil, Sébastien. editor. Herman, Ted. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11577327
Format: Electronic Resources
Availability Online Library~1

Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers

2025-03-18T17:02:43Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. Geske, Ulrich. editor. Bartenstein, Oskar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135595
Format: Electronic Resources
Availability Online Library~1

Computer Vision for Biomedical Image Applications First International Workshop, CVBIA 2005, Beijing, China, October 21, 2005. Proceedings

2025-03-18T17:02:43Z

Author Liu, Yanxi. editor. Jiang, Tianzi. editor. Zhang, Changshui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11569541
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology I

2025-03-18T17:02:43Z

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

Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005. Proceedings

2025-03-18T17:02:43Z

Author Pastor, Oscar. editor. Falcão e Cunha, João. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136788
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-03-18T17:02:43Z

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

Computer Vision in Human-Computer Interaction ICCV 2005 Workshop on HCI, Beijing, China, October 21, 2005. Proceedings

2025-03-18T17:02:43Z

Author Sebe, Nicu. editor. Lew, Michael. editor. Huang, Thomas S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11573425
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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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-03-18T17:02:43Z

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