Search Results for Computer science. - Narrowed by: 2006

STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings

2025-01-03T08:38:11Z

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

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

2025-01-03T08:38:11Z

Author MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11734673
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings

2025-01-03T08:38:11Z

Author Grigoriev, Dima. editor. Harrison, John. editor. Hirsch, Edward A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11753728
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

2025-01-03T08:38:11Z

Author Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11874683
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 Revised Papers

2025-01-03T08:38:11Z

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

Theoretical Computer Science Essays in Memory of Shimon Even

2025-01-03T08:38:11Z

Author Goldreich, Oded. editor. Rosenberg, Arnold L. editor. Selman, Alan L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11685654
Format: Electronic Resources
Availability Online Library~1

Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings

2025-01-03T08:38:11Z

Author Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11786849
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

2025-01-03T08:38:11Z

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

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings

2025-01-03T08:38:11Z

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

SOFSEM 2006: Theory and Practice of Computer Science 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings

2025-01-03T08:38:11Z

Author Wiedermann, Jiří. editor. Tel, Gerard. editor. Pokorný, Jaroslav. editor. Bieliková, Mária. editor. Štuller, Július. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11611257
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

2025-01-03T08:38:11Z

Author Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11944836
Format: Electronic Resources
Availability Online Library~1

Validating pharmaceutical systems : good computer practice in life science manufacturing

2025-01-03T08:38:11Z

Author Andrews, John.
Preferred Shelf Number QV 778 V1717 2006
Format: Books
Availability Health Sciences Library~1

Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science

2025-01-03T08:38:11Z

Author Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31262-5
Format: Electronic Resources
Availability Online Library~1

Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile

2025-01-03T08:38:11Z

Author Navarro, Gonzalo. editor. Bertossi, Leopoldo. editor. Kohayakawa, Yoshiharu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-34735-6
Format: Electronic Resources
Availability Online Library~1

The cognitive dynamics of computer science cost-effective large scale software development

2025-01-03T08:38:11Z

Author De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429
Format: Electronic Resources
Availability Online Library~1

Queueing networks and Markov chains modeling and performance evaluation with computer science applications

2025-01-03T08:38:11Z

Author Bolch, Gunter, author.
Preferred Shelf Number ONLINE(318899.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=257568 ebrary http://site.ebrary.com/id/10305613 EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=158144 John Wiley http://dx.doi.org/10.1002/0471791571 John Wiley http://dx.doi.org/10.1002/9780471791577
Format: Electronic Resources
Availability Online Library~1

Queueing networks and Markov chains modeling and performance evaluation with computer science applications

2025-01-03T08:38:11Z

Author Bolch, Gunter, author.
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=257568 John Wiley http://dx.doi.org/10.1002/0471791571 John Wiley http://dx.doi.org/10.1002/9780471791577 http://www3.interscience.wiley.com/cgi-bin/bookhome/112100979 MyiLibrary, Table of contents http://www.myilibrary.com?id=44862&ref=toc
Format: Electronic Resources
Availability Online Library~1

Computer algebra recipes : An introductory guide to the mathematical models of science

2025-01-03T08:38:11Z

Author Enns, Richard H. McGuire, George, 1940-
Preferred Shelf Number QC30 .E484 2006
Format: Books
Availability Beytepe Library~2

Modeling and simulation : the computer science of illusion

2025-01-03T08:38:11Z

Author Raczynski, Stanislaw.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Software Configuration Management Using Vesta

2025-01-03T08:38:11Z

Author Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-30852-4
Format: Electronic Resources
Availability Online Library~1

Theory of Computation

2025-01-03T08:38:11Z

Author Kozen, Dexter C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-477-5
Format: Electronic Resources
Availability Online Library~1

Adaptive Multimedia Retrieval: User, Context, and Feedback Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Detyniecki, Marcin. editor. Jose, Joemon M. editor. Nürnberger, Andreas. editor. Rijsbergen, C. J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11670834
Format: Electronic Resources
Availability Online Library~1

Efficient Approximation and Online Algorithms Recent Progress on Classical Combinatorial Optimization Problems and New Applications

2025-01-03T08:38:11Z

Author Bampis, Evripidis. editor. Jansen, Klaus. editor. Kenyon, Claire. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11671541
Format: Electronic Resources
Availability Online Library~1

Visual Information and Information Systems 8th International Conference, VISUAL 2005, Amsterdam, The Netherlands, July 5, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Bres, Stéphane. editor. Laurini, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590064
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers

2025-01-03T08:38:11Z

Author Freund, Rudolf. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11603047
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers

2025-01-03T08:38:11Z

Author Gesú, Vito. editor. Masulli, Francesco. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/10983652
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings

2025-01-03T08:38:11Z

Author Halevi, Shai. editor. Rabin, Tal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11681878
Format: Electronic Resources
Availability Online Library~1

Trends in Enterprise Application Architecture VLDB Workshop, TEAA 2005, Trondheim, Norway, August 28, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Draheim, Dirk. editor. Weber, Gerald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11681885
Format: Electronic Resources
Availability Online Library~1

Advances in Database Technology - EDBT 2006 10th International Conference on Extending Database Technology, Munich, Germany, March 26-31, 2006

2025-01-03T08:38:11Z

Author Ioannidis, Yannis. editor. Scholl, Marc H. editor. Schmidt, Joachim W. editor. Matthes, Florian. editor. Hatzopoulos, Mike. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11687238
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11686699
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development I

2025-01-03T08:38:11Z

Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11687061
Format: Electronic Resources
Availability Online Library~1

Autonomic Communication Second International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

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

Transactions on Computational Systems Biology IV

2025-01-03T08:38:11Z

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

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

2025-01-03T08:38:11Z

Author Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11682462
Format: Electronic Resources
Availability Online Library~1

VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search

2025-01-03T08:38:11Z

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

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings

2025-01-03T08:38:11Z

Author Grass, Werner. editor. Sick, Bernhard. editor. Waldschmidt, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11682127
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006. Proceedings

2025-01-03T08:38:11Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Valls, Aïda. editor. Domingo-Ferrer, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11681960
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery in Life Science Literature PAKDD 2006 International Workshop, KDLL 2006, Singapore, April 9, 2006. Proceedings

2025-01-03T08:38:11Z

Author Bremer, Eric G. editor. Hakenberg, Jörg. editor. Han, Eui-Hong (Sam). editor. Berrar, Daniel. editor. Dubitzky, Werner. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11683568
Format: Electronic Resources
Availability Online Library~1

Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

2025-01-03T08:38:11Z

Author Thompson, Simon G. editor. Ghanea-Hercock, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11683704
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery in Inductive Databases 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers

2025-01-03T08:38:11Z

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

Research in Computational Molecular Biology 10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006. Proceedings

2025-01-03T08:38:11Z

Author Apostolico, Alberto. editor. Guerra, Concettina. editor. Istrail, Sorin. editor. Pevzner, Pavel A. editor. Waterman, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11732990
Format: Electronic Resources
Availability Online Library~1

Smart Card Research and Advanced Applications 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006. Proceedings

2025-01-03T08:38:11Z

Author Domingo-Ferrer, Josep. editor. Posegga, Joachim. editor. Schreckling, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11733447
Format: Electronic Resources
Availability Online Library~1

Database Systems for Advanced Applications 11th International Conference, DASFAA 2006, Singapore, April 12-15, 2006. Proceedings

2025-01-03T08:38:11Z

Author Lee, Mong. editor. Tan, Kian-Lee. editor. Wuwongse, Vilas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11733836
Format: Electronic Resources
Availability Online Library~1

Advances in Information Retrieval 28th European Conference on IR Research, ECIR 2006, London, UK, April 10-12, 2006. Proceedings

2025-01-03T08:38:11Z

Author Lalmas, Mounia. editor. MacFarlane, Andy. editor. Rüger, Stefan. editor. Tombros, Anastasios. editor. Tsikrika, Theodora. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11735106
Format: Electronic Resources
Availability Online Library~1

Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11734697
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology - ICISC 2005 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

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

Intelligence and Security Informatics International Workshop, WISI 2006, Singapore, April 9, 2006. Proceedings

2025-01-03T08:38:11Z

Author Chen, Hsinchun. editor. Wang, Fei-Yue. editor. Yang, Christopher C. editor. Zeng, Daniel. editor. Chau, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11734628
Format: Electronic Resources
Availability Online Library~1

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings

2025-01-03T08:38:11Z

Author Clark, John A. editor. Paige, Richard F. editor. Polack, Fiona A. C. editor. Brooke, Phillip J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11734666
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 10th Pacific-Asia Conference, PAKDD 2006, Singapore, April 9-12, 2006. Proceedings

2025-01-03T08:38:11Z

Author Ng, Wee-Keong. editor. Kitsuregawa, Masaru. editor. Li, Jianzhong. editor. Chang, Kuiyu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11731139
Format: Electronic Resources
Availability Online Library~1

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

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

Applications of Evolutionary Computing EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings

2025-01-03T08:38:11Z

Author Rothlauf, Franz. editor. Branke, Jürgen. editor. Cagnoni, Stefano. editor. Costa, Ernesto. editor. Cotta, Carlos. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11732242
Format: Electronic Resources
Availability Online Library~1

Technologies for E-Services 6th International Workshop, TES 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

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

Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment First PASCAL Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Quiñonero-Candela, Joaquin. editor. Dagan, Ido. editor. Magnini, Bernardo. editor. d’Alché-Buc, Florence. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11736790
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

2025-01-03T08:38:11Z

Author Hagiya, Masami. editor. Wadler, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11737414
Format: Electronic Resources
Availability Online Library~1

Visual Content Processing and Representation 9th International Workshop, VLBV 2005, Sardinia, Italy, September 15-16, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Atzori, Luigi. editor. Giusto, Daniel D. editor. Leonardi, Riccardo. editor. Pereira, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11738695
Format: Electronic Resources
Availability Online Library~1

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

2025-01-03T08:38:11Z

Author Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11738817
Format: Electronic Resources
Availability Online Library~1

Advances in Machine Learning and Cybernetics 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Yeung, Daniel S. editor. Liu, Zhi-Qiang. editor. Wang, Xi-Zhao. editor. Yan, Hong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11739685
Format: Electronic Resources
Availability Online Library~1

Modeling and Retrieval of Context Second International Workshop, MRC 2005, Edinburgh, UK, July 31–August 1, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Roth-Berghofer, Thomas R. editor. Schulz, Stefan. editor. Leake, David B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11740674
Format: Electronic Resources
Availability Online Library~1

Artificial Evolution 7th International Conference, Evolution Artificielle, EA 2005, Lille, France, October 26-28, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Talbi, El-Ghazali. editor. Liardet, Pierre. editor. Collet, Pierre. editor. Lutton, Evelyne. editor. Schoenauer, Marc. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11740698
Format: Electronic Resources
Availability Online Library~1

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11741060
Format: Electronic Resources
Availability Online Library~1

Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers

2025-01-03T08:38:11Z

Author Dongarra, Jack. editor. Madsen, Kaj. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11558958
Format: Electronic Resources
Availability Online Library~1

Cognitive Vision Systems Sampling the Spectrum of Approaches

2025-01-03T08:38:11Z

Author Christensen, Henrik I. editor. Nagel, Hans-Hellmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11414353
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2006 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006. Proceedings, Part I

2025-01-03T08:38:11Z

Author Leonardis, Aleš. editor. Bischof, Horst. editor. Pinz, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11744023
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2006 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part III

2025-01-03T08:38:11Z

Author Leonardis, Aleš. editor. Bischof, Horst. editor. Pinz, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11744078
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2006 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part IV

2025-01-03T08:38:11Z

Author Leonardis, Aleš. editor. Bischof, Horst. editor. Pinz, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11744085
Format: Electronic Resources
Availability Online Library~1

Public Key Cryptography - PKC 2006 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 2006. Proceedings

2025-01-03T08:38:11Z

Author Yung, Moti. editor. Dodis, Yevgeniy. editor. Kiayias, Aggelos. editor. Malkin, Tal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11745853
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings

2025-01-03T08:38:11Z

Author Fishkin, Kenneth P. editor. Schiele, Bernt. editor. Nixon, Paddy. editor. Quigley, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11748625
Format: Electronic Resources
Availability Online Library~1

Innovative Internet Community Systems 4th International Workshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004. Revised Papers

2025-01-03T08:38:11Z

Author Böhme, Thomas. editor. Larios Rosillo, Victor M. editor. Unger, Helena. editor. Unger, Herwig. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11553762
Format: Electronic Resources
Availability Online Library~1

Persuasive Technology First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006. Proceedings

2025-01-03T08:38:11Z

Author IJsselsteijn, Wijnand A. editor. Kort, Yvonne A. W. editor. Midden, Cees. editor. Eggen, Berry. editor. Hoven, Elise. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11755494
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V

2025-01-03T08:38:11Z

Author Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751649
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

2025-01-03T08:38:11Z

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

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

2025-01-03T08:38:11Z

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

Subspace, Latent Structure and Feature Selection Statistical and Optimization Perspectives Workshop, SLSFS 2005, Bohinj, Slovenia, February 23-25, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Saunders, Craig. editor. Grobelnik, Marko. editor. Gunn, Steve. editor. Shawe-Taylor, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11752790
Format: Electronic Resources
Availability Online Library~1

Algorithms and Complexity 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006. Proceedings

2025-01-03T08:38:11Z

Author Calamoneri, Tiziana. editor. Finocchi, Irene. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11758471
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I

2025-01-03T08:38:11Z

Author Alexandrov, Vassil N. 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/11758501
Format: Electronic Resources
Availability Online Library~1

Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

2025-01-03T08:38:11Z

Author Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11752707
Format: Electronic Resources
Availability Online Library~1

Location- and Context-Awareness Second International Workshop, LoCA 2006, Dublin, Ireland, May 10-11, 2006. Proceedings

2025-01-03T08:38:11Z

Author Hazas, Mike. editor. Krumm, John. editor. Strang, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11752967
Format: Electronic Resources
Availability Online Library~1

DNA Computing 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.

2025-01-03T08:38:11Z

Author Carbone, Alessandra. editor. Pierce, Niles A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11753681
Format: Electronic Resources
Availability Online Library~1

Testing of Communicating Systems 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings

2025-01-03T08:38:11Z

Author Uyar, M. Ümit. editor. Duale, Ali Y. editor. Fecko, Mariusz A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11754008
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

2025-01-03T08:38:11Z

Author Boavida, Fernando. editor. Plagemann, Thomas. editor. Stiller, Burkhard. editor. Westphal, Cedric. editor. Monteiro, Edmundo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11753810
Format: Electronic Resources
Availability Online Library~1

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings

2025-01-03T08:38:11Z

Author Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. Wernick, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11754305
Format: Electronic Resources
Availability Online Library~1

Computer Vision in Human-Computer Interaction ECCV 2006 Workshop on HCI, Graz, Austria, May 13, 2006. Proceedings

2025-01-03T08:38:11Z

Author Huang, Thomas S. editor. Sebe, Nicu. editor. Lew, Michael S. editor. Pavlović, Vladimir. editor. Kölsch, Mathias. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11754336
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

2025-01-03T08:38:11Z

Author Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11754602
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II

2025-01-03T08:38:11Z

Author Alexandrov, Vassil N. 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/11758525
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III

2025-01-03T08:38:11Z

Author Alexandrov, Vassil N. 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/11758532
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV

2025-01-03T08:38:11Z

Author Alexandrov, Vassil N. 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/11758549
Format: Electronic Resources
Availability Online Library~1

Next Generation Teletraffic and Wired/Wireless Advanced Networking 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings

2025-01-03T08:38:11Z

Author Koucheryavy, Yevgeni. editor. Harju, Jarmo. editor. Iversen, Villy B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11759355
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II

2025-01-03T08:38:11Z

Author Wang, Jun. editor. Yi, Zhang. editor. Zurada, Jacek M. editor. Lu, Bao-Liang. editor. Yin, Hujun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11760023
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I

2025-01-03T08:38:11Z

Author Wang, Jun. editor. Yi, Zhang. editor. Zurada, Jacek M. editor. Lu, Bao-Liang. editor. Yin, Hujun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11759966
Format: Electronic Resources
Availability Online Library~1

Engineering Societies in the Agents World VI 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers

2025-01-03T08:38:11Z

Author Dikenelli, Oğuz. editor. Gleizes, Marie-Pierre. editor. Ricci, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11759683
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11759744
Format: Electronic Resources
Availability Online Library~1

Intelligence and Security Informatics IEEE International Conference on Intelligence and Security Informatics, ISI 2006, San Diego, CA, USA, May 23-24, 2006. Proceedings

2025-01-03T08:38:11Z

Author Mehrotra, Sharad. editor. Zeng, Daniel D. editor. Chen, Hsinchun. editor. Thuraisingham, Bhavani. editor. Wang, Fei-Yue. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11760146
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part III

2025-01-03T08:38:11Z

Author Wang, Jun. editor. Yi, Zhang. editor. Zurada, Jacek M. editor. Lu, Bao-Liang. editor. Yin, Hujun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11760191
Format: Electronic Resources
Availability Online Library~1

The Semantic Web: Research and Applications 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11-14, 2006 Proceedings

2025-01-03T08:38:11Z

Author Sure, York. editor. Domingue, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11762256
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2006 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings

2025-01-03T08:38:11Z

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

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2025-01-03T08:38:11Z

Author Eliassen, Frank. editor. Montresor, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11773887
Format: Electronic Resources
Availability Online Library~1

Public Key Infrastructure Third European PKI Workshop: Theory and Practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006. Proceedings

2025-01-03T08:38:11Z

Author Atzeni, Andrea S. editor. Lioy, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11774716
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects in Information and Management Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006. Proceedings

2025-01-03T08:38:11Z

Author Cheng, Siu-Wing. editor. Poon, Chung Keung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11775096
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006. Proceedings

2025-01-03T08:38:11Z

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

Advances in Web-Age Information Management 7th International Conference, WAIM 2006, Hong Kong, China, June 17-19, 2006. Proceedings

2025-01-03T08:38:11Z

Author Yu, Jeffrey Xu. editor. Kitsuregawa, Masaru. editor. Leong, Hong Va. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11775300
Format: Electronic Resources
Availability Online Library~1

Adaptive Hypermedia and Adaptive Web-Based Systems 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006. Proceedings

2025-01-03T08:38:11Z

Author Wade, Vincent P. editor. Ashman, Helen. editor. Smyth, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11768012
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006. Proceedings

2025-01-03T08:38:11Z

Author Zhou, Jianying. editor. Yung, Moti. editor. Bao, Feng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767480
Format: Electronic Resources
Availability Online Library~1

Graphics Recognition. Ten Years Review and Future Perspectives 6th Internation Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Liu, Wenyin. editor. Lladós, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767978
Format: Electronic Resources
Availability Online Library~1

Learning Theory 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006. Proceedings

2025-01-03T08:38:11Z

Author Lugosi, Gábor. editor. Simon, Hans Ulrich. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11776420
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Artificial Intelligence Joint JSAI 2005 Workshop Post-Proceedings

2025-01-03T08:38:11Z

Author Washio, Takashi. editor. Sakurai, Akito. editor. Nakajima, Katsuto. editor. Takeda, Hideaki. editor. Tojo, Satoshi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780496
Format: Electronic Resources
Availability Online Library~1

Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings

2025-01-03T08:38:11Z

Author Barker-Plummer, Dave. editor. Cox, Richard. editor. Swoboda, Nik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11783183
Format: Electronic Resources
Availability Online Library~1

Digital Mammography 8th International Workshop, IWDM 2006, Manchester, UK, June 18-21, 2006. Proceedings

2025-01-03T08:38:11Z

Author Astley, Susan M. editor. Brady, Michael. editor. Rose, Chris. editor. Zwiggelaar, Reyer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11783237
Format: Electronic Resources
Availability Online Library~1

Coding and Cryptography International Workshop, WCC 2005, Bergen, Norway, March 14-18, 2005. Revised Selected Papers

2025-01-03T08:38:11Z

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

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

2025-01-03T08:38:11Z

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

Advances in Computer Graphics 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006. Proceedings

2025-01-03T08:38:11Z

Author Nishita, Tomoyuki. editor. Peng, Qunsheng. editor. Seidel, Hans-Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11784203
Format: Electronic Resources
Availability Online Library~1

Argumentation in Multi-Agent Systems Second International Workshop, ArgMAS 2005 Utrecht, The Netherlands, July 26, 2005 Revised Selected and Invited Papers

2025-01-03T08:38:11Z

Author Parsons, Simon. editor. Maudet, Nicolas. editor. Moraitis, Pavlos. editor. Rahwan, Iyad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11794578
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings

2025-01-03T08:38:11Z

Author Vassiliadis, Stamatis. editor. Wong, Stephan. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11796435
Format: Electronic Resources
Availability Online Library~1

Data Integration in the Life Sciences Third International Workshop, DILS 2006, Hinxton, UK, July 20-22, 2006. Proceedings

2025-01-03T08:38:11Z

Author Leser, Ulf. editor. Naumann, Felix. editor. Eckman, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11799511
Format: Electronic Resources
Availability Online Library~1

Fast Software Encryption 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers

2025-01-03T08:38:11Z

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

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2025-01-03T08:38:11Z

Author Etalle, Sandro. editor. Truszczyński, Mirosław. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11799573
Format: Electronic Resources
Availability Online Library~1

PRICAI 2006: Trends in Artificial Intelligence 9th Pacific Rim International Conference on Artificial Intelligence Guilin, China, August 7-11, 2006 Proceedings

2025-01-03T08:38:11Z

Author Yang, Qiang. editor. Webb, Geoff. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-36668-3
Format: Electronic Resources
Availability Online Library~1

Embedded and Ubiquitous Computing International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006. Proceedings

2025-01-03T08:38:11Z

Author Sha, Edwin. editor. Han, Sung-Kook. editor. Xu, Cheng-Zhong. editor. Kim, Moon-Hae. editor. Yang, Laurence T. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11802167
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2025-01-03T08:38:11Z

Author Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11814948
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings

2025-01-03T08:38:11Z

Author Ibarra, Oscar H. editor. Yen, Hsu-Chun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11812128
Format: Electronic Resources
Availability Online Library~1

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

2025-01-03T08:38:11Z

Author Misra, Jayadev. editor. Nipkow, Tobias. editor. Sekerinski, Emil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11813040
Format: Electronic Resources
Availability Online Library~1

Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshops, SSPR 2006 and SPR 2006, Hong Kong, China, August 17-19, 2006. Proceedings

2025-01-03T08:38:11Z

Author Yeung, Dit-Yan. editor. Kwok, James T. editor. Fred, Ana. editor. Roli, Fabio. editor. Ridder, Dick. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11815921
Format: Electronic Resources
Availability Online Library~1

Ad-Hoc, Mobile, and Wireless Networks 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedings

2025-01-03T08:38:11Z

Author Kunz, Thomas. editor. Ravi, S. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11814764
Format: Electronic Resources
Availability Online Library~1

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program

2025-01-03T08:38:11Z

Author Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11808107
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part I

2025-01-03T08:38:11Z

Author Huang, De-Shuang. editor. Li, Kang. editor. Irwin, George William. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11816157
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part II

2025-01-03T08:38:11Z

Author Huang, De-Shuang. editor. Li, Kang. editor. Irwin, George William. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11816171
Format: Electronic Resources
Availability Online Library~1

Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings

2025-01-03T08:38:11Z

Author Shi, Zhong-Zhi. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11802372
Format: Electronic Resources
Availability Online Library~1

Journal on Data Semantics VI

2025-01-03T08:38:11Z

Author Spaccapietra, Stefano. editor. Aberer, Karl. editor. Cudré-Mauroux, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11803034
Format: Electronic Resources
Availability Online Library~1

Advances in Natural Language Processing 5th International Conference on NLP, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings

2025-01-03T08:38:11Z

Author Salakoski, Tapio. editor. Ginter, Filip. editor. Pyysalo, Sampo. editor. Pahikkala, Tapio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11816508
Format: Electronic Resources
Availability Online Library~1

CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

2025-01-03T08:38:11Z

Author Baier, Christel. editor. Hermanns, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11817949
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2025-01-03T08:38:11Z

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

Advances in Cryptology - CRYPTO 2006 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006. Proceedings

2025-01-03T08:38:11Z

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

Advanced Topics in Exception Handling Techniques

2025-01-03T08:38:11Z

Author Dony, Christophe. editor. Knudsen, Jørgen Lindskov. editor. Romanovsky, Alexander. editor. Tripathi, Anand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11818502
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition in Bioinformatics International Workshop, PRIB 2006, Hong Kong, China, August 20, 2006. Proceedings

2025-01-03T08:38:11Z

Author Rajapakse, Jagath C. editor. Wong, Limsoon. editor. Acharya, Raj. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11818564
Format: Electronic Resources
Availability Online Library~1

Intelligent Virtual Agents 6th International Conference, IVA 2006, Marina Del Rey, CA, USA, August 21-23, 2006. Proceedings

2025-01-03T08:38:11Z

Author Gratch, Jonathan. editor. Young, Michael. editor. Aylett, Ruth. editor. Ballin, Daniel. editor. Olivier, Patrick. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11821830
Format: Electronic Resources
Availability Online Library~1

Haptic and Audio Interaction Design First International Workshop, HAID 2006, Glasgow, UK, August 31 - September 1, 2006. Proceedings

2025-01-03T08:38:11Z

Author McGookin, David. editor. Brewster, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11821731
Format: Electronic Resources
Availability Online Library~1

Advances in Machine Vision, Image Processing, and Pattern Analysis International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006 Xi’an, China, August 26-27, 2006 Proceedings

2025-01-03T08:38:11Z

Author Zheng, Nanning. editor. Jiang, Xiaoyi. editor. Lan, Xuguang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11821045
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings

2025-01-03T08:38:11Z

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

Sequences and Their Applications – SETA 2006 4th International Conference Beijing, China, September 24-28, 2006 Proceedings

2025-01-03T08:38:11Z

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

Geographic Information Science 4th International Conference, GIScience 2006, Münster, Germany, September 20-23, 2006. Proceedings

2025-01-03T08:38:11Z

Author Raubal, Martin. editor. Miller, Harvey J. editor. Frank, Andrew U. editor. Goodchild, Michael F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11863939
Format: Electronic Resources
Availability Online Library~1

Comparative Genomics RECOMB 2006 International Workshop, RCG 2006 Montreal, Canada, September 24-26, 2006 Proceedings

2025-01-03T08:38:11Z

Author Bourque, Guillaume. editor. El-Mabrouk, Nadia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11864127
Format: Electronic Resources
Availability Online Library~1

Computer Security – ESORICS 2006 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006. Proceedings

2025-01-03T08:38:11Z

Author Gollmann, Dieter. editor. Meier, Jan. editor. Sabelfeld, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11863908
Format: Electronic Resources
Availability Online Library~1

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006. Proceedings

2025-01-03T08:38:11Z

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

Advanced Concepts for Intelligent Vision Systems 8th International Conference, ACIVS 2006, Antwerp, Belgium, September 18-21, 2006. Proceedings

2025-01-03T08:38:11Z

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

Research and Advanced Technology for Digital Libraries 10th European Conference, ECDL 2006, Alicante, Spain, September 17-22, 2006. Proceedings

2025-01-03T08:38:11Z

Author Gonzalo, Julio. editor. Thanos, Costantino. editor. Verdejo, M. Felisa. editor. Carrasco, Rafael C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11863878
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 9th International Conference, Copenhagen, Denmark, October 1-6, 2006. Proceedings, Part I

2025-01-03T08:38:11Z

Author Larsen, Rasmus. editor. Nielsen, Mads. editor. Sporring, Jon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11866565
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 9th International Conference, Copenhagen, Denmark, October 1-6, 2006. Proceedings, Part II

2025-01-03T08:38:11Z

Author Larsen, Rasmus. editor. Nielsen, Mads. editor. Sporring, Jon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11866763
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part I

2025-01-03T08:38:11Z

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

Image Analysis and Recognition Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part II

2025-01-03T08:38:11Z

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

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

2025-01-03T08:38:11Z

Author Asarin, Eugene. editor. Bouyer, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11867340
Format: Electronic Resources
Availability Online Library~1

Personal Wireless Communications IFIP TC6 11th International Conference, PWC 2006, Albacete, Spain, September 20-22, 2006. Proceedings

2025-01-03T08:38:11Z

Author Cuenca, Pedro. editor. Orozco-Barbosa, Luiz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11872153
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings

2025-01-03T08:38:11Z

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

Entertainment Computing - ICEC 2006 5th International Conference, Cambridge, UK, September 20-22, 2006. Proceedings

2025-01-03T08:38:11Z

Author Harper, Richard. editor. Rauterberg, Matthias. editor. Combetto, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11872320
Format: Electronic Resources
Availability Online Library~1

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings

2025-01-03T08:38:11Z

Author Sakakibara, Yasubumi. editor. Kobayashi, Satoshi. editor. Sato, Kengo. editor. Nishino, Tetsuro. editor. Tomita, Etsuji. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11872436
Format: Electronic Resources
Availability Online Library~1

Variations on Constants Flow Analysis of Sequential and Parallel Programs

2025-01-03T08:38:11Z

Author Müller-Olm, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11871743
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings

2025-01-03T08:38:11Z

Author Sichman, Jaime Simão. editor. Coelho, Helder. editor. Rezende, Solange Oliveira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11874850
Format: Electronic Resources
Availability Online Library~1

Intelligent Data Engineering and Automated Learning – IDEAL 2006 7th International Conference, Burgos, Spain, September 20-23, 2006. Proceedings

2025-01-03T08:38:11Z

Author Corchado, Emilio. editor. Yin, Hujun. editor. Botti, Vicente. editor. Fyfe, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11875581
Format: Electronic Resources
Availability Online Library~1

Accessing Multilingual Information Repositories 6th Workshop of the Cross-Language Evalution Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Peters, Carol. editor. Gey, Fredric C. editor. Gonzalo, Julio. editor. Müller, Henning. editor. Jones, Gareth J. F. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11878773
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings

2025-01-03T08:38:11Z

Author Górski, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11875567
Format: Electronic Resources
Availability Online Library~1

Computational Life Sciences II Second International Symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006. Proceedings

2025-01-03T08:38:11Z

Author R. Berthold, Michael. editor. Glen, Robert C. editor. Fischer, Ingrid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11875741
Format: Electronic Resources
Availability Online Library~1

Symbol Grounding and Beyond Third International Workshop on the Emergence and Evolution of Linguistic Communication, EELC 2006, Rome, Italy, September 30 – October 1, 2006. Proceedings

2025-01-03T08:38:11Z

Author Vogt, Paul. editor. Sugita, Yuuya. editor. Tuci, Elio. editor. Nehaniv, Chrystopher. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11880172
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings

2025-01-03T08:38:11Z

Author Nierstrasz, Oscar. editor. Whittle, Jon. editor. Harel, David. editor. Reggio, Gianna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11880240
Format: Electronic Resources
Availability Online Library~1

String Processing and Information Retrieval 13th International Conference, SPIRE 2006, Glasgow, UK, October 11-13, 2006. Proceedings

2025-01-03T08:38:11Z

Author Crestani, Fabio. editor. Ferragina, Paolo. editor. Sanderson, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11880561
Format: Electronic Resources
Availability Online Library~1

Current Trends in Database Technology – EDBT 2006 EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers

2025-01-03T08:38:11Z

Author Grust, Torsten. editor. Höpfner, Hagen. editor. Illarramendi, Arantza. editor. Jablonski, Stefan. editor. Mesiti, Marco. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11896548
Format: Electronic Resources
Availability Online Library~1

Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures

2025-01-03T08:38:11Z

Author Horváth, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11894100
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part I

2025-01-03T08:38:11Z

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

Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings

2025-01-03T08:38:11Z

Author Embley, David W. editor. Olivé, Antoni. editor. Ram, Sudha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11901181
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

2025-01-03T08:38:11Z

Author Graf, Susanne. editor. Zhang, Wenhui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11901914
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis and Applications 11th Iberoamerican Congress in Pattern Recognition, CIARP 2006 Cancun, Mexico, November 14-17, 2006 Proceedings

2025-01-03T08:38:11Z

Author Martínez-Trinidad, José Francisco. editor. Carrasco Ochoa, Jesús Ariel. editor. Kittler, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11892755
Format: Electronic Resources
Availability Online Library~1

Systems Biology and Regulatory Genomics Joint Annual RECOMB 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics, San Diego, CA, USA; December 2-4, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Eskin, Eleazar. editor. Ideker, Trey. editor. Raphael, Ben. editor. Workman, Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-48540-7
Format: Electronic Resources
Availability Online Library~1

Information Networking. Advances in Data Communications and Wireless Networks International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers

2025-01-03T08:38:11Z

Author Chong, Ilyoung. editor. Kawahara, Kenji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11919568
Format: Electronic Resources
Availability Online Library~1

Advances in Visual Computing Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006. Proceedings, Part II

2025-01-03T08:38:11Z

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

Advances in Visual Computing Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006 Proceedings, Part I

2025-01-03T08:38:11Z

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

Advances in Multimedia Information Processing - PCM 2006 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006. Proceedings

2025-01-03T08:38:11Z

Author Zhuang, Yueting. editor. Yang, Shi-Qiang. editor. Rui, Yong. editor. He, Qinming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11922162
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

2025-01-03T08:38:11Z

Author Barkaoui, Kamel. editor. Cavalcanti, Ana. editor. Cerone, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11921240
Format: Electronic Resources
Availability Online Library~1

Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers

2025-01-03T08:38:11Z

Author Dignum, Frank P. M. editor. Eijk, Rogier M. editor. Flores, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68143-4
Format: Electronic Resources
Availability Online Library~1

Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers

2025-01-03T08:38:11Z

Author Hofmeister, Christine. editor. Crnkovic, Ivica. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11921998
Format: Electronic Resources
Availability Online Library~1

Combinatorial and Algorithmic Aspects of Networking Third Workshop, CAAN 2006, Chester, UK, July 2, 2006. Revised Papers

2025-01-03T08:38:11Z

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

Software Engineering Education in the Modern Age Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures

2025-01-03T08:38:11Z

Author Inverardi, Paola. editor. Jazayeri, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11949374
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

2025-01-03T08:38:11Z

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

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

2025-01-03T08:38:11Z

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

Biological and Medical Data Analysis 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings

2025-01-03T08:38:11Z

Author Maglaveras, Nicos. editor. Chouvarda, Ioanna. editor. Koutkias, Vassilis. editor. Brause, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11946465
Format: Electronic Resources
Availability Online Library~1

The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings

2025-01-03T08:38:11Z

Author Cruz, Isabel. editor. Decker, Stefan. editor. Allemang, Dean. editor. Preist, Chris. editor. Schwabe, Daniel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11926078
Format: Electronic Resources
Availability Online Library~1

MICAI 2006: Advances in Artificial Intelligence 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006. Proceedings

2025-01-03T08:38:11Z

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

Constraint-Based Mining and Inductive Databases European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers

2025-01-03T08:38:11Z

Author Boulicaut, Jean-François. editor. Raedt, Luc. editor. Mannila, Heikki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11615576
Format: Electronic Resources
Availability Online Library~1

Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers

2025-01-03T08:38:11Z

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

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006. Proceedings

2025-01-03T08:38:11Z

Author Fossorier, Marc P. C. editor. Imai, Hideki. editor. Lin, Shu. editor. Poli, Alain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11617983
Format: Electronic Resources
Availability Online Library~1

Journal on Data Semantics V

2025-01-03T08:38:11Z

Author Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Chu, Wesley W. editor. Catarci, Tiziana. editor. Sycara, Katia P. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11617808
Format: Electronic Resources
Availability Online Library~1

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

2025-01-03T08:38:11Z

Author Filliâtre, Jean-Christophe. editor. Paulin-Mohring, Christine. editor. Werner, Benjamin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11617990
Format: Electronic Resources
Availability Online Library~1

Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

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

Graph Drawing 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. Revised Papers

2025-01-03T08:38:11Z

Author Healy, Patrick. editor. Nikolov, Nikola S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11618058
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings

2025-01-03T08:38:11Z

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

Recent Advances in Intrusion Detection 8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005. Revised Papers

2025-01-03T08:38:11Z

Author Valdes, Alfonso. editor. Zamboni, Diego. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11663812
Format: Electronic Resources
Availability Online Library~1

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers

2025-01-03T08:38:11Z

Author Bruel, Jean-Michel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11663430
Format: Electronic Resources
Availability Online Library~1

Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

2025-01-03T08:38:11Z

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

Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers

2025-01-03T08:38:11Z

Author Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11666806
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part II

2025-01-03T08:38:11Z

Author Narayanan, P. J. editor. Nayar, Shree K. editor. Shum, Heung-Yeung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11612704
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part I

2025-01-03T08:38:11Z

Author Narayanan, P. J. editor. Nayar, Shree K. editor. Shum, Heung-Yeung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11612032
Format: Electronic Resources
Availability Online Library~1

Advanced Web and Network Technologies, and Applications APWeb 2006 International Workshops: XRA, IWSN, MEGA, and ICSE, Harbin, China, January 16-18, 2006. Proceedings

2025-01-03T08:38:11Z

Author Shen, Heng Tao. editor. Li, Jinbao. editor. Li, Minglu. editor. Ni, Jun. editor. Wang, Wei. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11610496
Format: Electronic Resources
Availability Online Library~1

Frontiers of WWW Research and Development - APWeb 2006 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006. Proceedings

2025-01-03T08:38:11Z

Author Zhou, Xiaofang. editor. Li, Jianzhong. editor. Shen, Heng Tao. editor. Kitsuregawa, Masaru. editor. Zhang, Yanchun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11610113
Format: Electronic Resources
Availability Online Library~1

Biologically Inspired Approaches to Advanced Information Technology Second International Workshop, BioADIT 2006, Osaka, Japan, January 26-27, 2006

2025-01-03T08:38:11Z

Author Ijspeert, Auke Jan. editor. Masuzawa, Toshimitsu. editor. Kusumoto, Shinji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11613022
Format: Electronic Resources
Availability Online Library~1

Unifying the Software Process Spectrum International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Li, Mingshu. editor. Boehm, Barry. editor. Osterweil, Leon J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11608035
Format: Electronic Resources
Availability Online Library~1

Data Management in Grids First VLDB Workshop, DMG 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Pierson, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11611950
Format: Electronic Resources
Availability Online Library~1

Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers

2025-01-03T08:38:11Z

Author Herik, H. Jaap. editor. Björnsson, Yngvi. editor. Netanyahu, Nathan S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11674399
Format: Electronic Resources
Availability Online Library~1

Charting the Topic Maps Research and Applications Landscape First International Workshop on Topic Map Research and Applications, TMRA 2005, Leipzig, Germany, October 6-7, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Maicher, Lutz. editor. Park, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11676904
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Bloch, Isabelle. editor. Petrosino, Alfredo. editor. Tettamanzi, Andrea G. B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11676935
Format: Electronic Resources
Availability Online Library~1

Spatial Coherence for Visual Motion Analysis First International Workshop, SCVMA 2004, Prague, Czech Republic, May 15, 2004. Revised Papers

2025-01-03T08:38:11Z

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

Data Mining Theory, Methodology, Techniques, and Applications

2025-01-03T08:38:11Z

Author Williams, Graham J. editor. Simoff, Simeon J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11677437
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Multimodal Interaction Second International Workshop, MLMI 2005, Edinburgh, UK, July 11-13, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

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

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

2025-01-03T08:38:11Z

Author Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11690634
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

2025-01-03T08:38:11Z

Author Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11688839
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2025-01-03T08:38:11Z

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

Information Security Practice and Experience Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006. Proceedings

2025-01-03T08:38:11Z

Author Chen, Kefei. editor. Deng, Robert. editor. Lai, Xuejia. editor. Zhou, Jianying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11689522
Format: Electronic Resources
Availability Online Library~1

Learning and Adaption in Multi-Agent Systems First International Workshop, LAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Tuyls, Karl. editor. Hoen, Pieter Jan’t. editor. Verbeeck, Katja. editor. Sen, Sandip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11691839
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2025-01-03T08:38:11Z

Author Baresi, Luciano. editor. Heckel, Reiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11693017
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2025-01-03T08:38:11Z

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

Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Farré, Jacques. editor. Litovsky, Igor. editor. Schmitz, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11605157
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

2025-01-03T08:38:11Z

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

Data Mining for Biomedical Applications PAKDD 2006 Workshop, BioDM 2006, Singapore, April 9, 2006. Proceedings

2025-01-03T08:38:11Z

Author Li, Jinyan. editor. Yang, Qiang. editor. Tan, Ah-Hwee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11691730
Format: Electronic Resources
Availability Online Library~1

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

2025-01-03T08:38:11Z

Author Baldoni, Matteo. editor. Endriss, Ulle. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11691792
Format: Electronic Resources
Availability Online Library~1

Selected Areas in Cryptography 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Preneel, Bart. editor. Tavares, Stafford. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11693383
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings

2025-01-03T08:38:11Z

Author Collet, Pierre. editor. Tomassini, Marco. editor. Ebner, Marc. editor. Gustafson, Steven. editor. Ekárt, Anikó. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11729976
Format: Electronic Resources
Availability Online Library~1

Information Security Applications 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Song, Joo-Seok. editor. Kwon, Taekyoung. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11604938
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

2025-01-03T08:38:11Z

Author Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11730637
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings

2025-01-03T08:38:11Z

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

Knowledge Discovery from XML Documents First International Workshop, KDXD 2006, Singapore, April 9, 2006. Proceedings

2025-01-03T08:38:11Z

Author Nayak, Richi. editor. Zaki, Mohammed J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11730262
Format: Electronic Resources
Availability Online Library~1

Neural Nets 16th Italian Workshop on Neural Nets, WIRN 2005, and International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Apolloni, Bruno. editor. Marinaro, Maria. editor. Nicosia, Giuseppe. editor. Tagliaferri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11731177
Format: Electronic Resources
Availability Online Library~1

Federation over the Web International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005. Revised Selected Papers

2025-01-03T08:38:11Z

Author Jantke, Klaus P. editor. Lunzer, Aran. editor. Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11605126
Format: Electronic Resources
Availability Online Library~1

Business Process Management Workshops BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005. Revised Selected Papers

2025-01-03T08:38:11Z

Author Bussler, Christoph J. editor. Haller, Armin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11678564
Format: Electronic Resources
Availability Online Library~1

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11678779
Format: Electronic Resources
Availability Online Library~1

Environments for Multi-Agent Systems II Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papers

2025-01-03T08:38:11Z

Author Weyns, Danny. editor. Dyke Parunak, H. editor. Michel, Fabien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11678809
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

2025-01-03T08:38:11Z

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

Gesture in Human-Computer Interaction and Simulation 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Gibet, Sylvie. editor. Courty, Nicolas. editor. Kamp, Jean-François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11678816
Format: Electronic Resources
Availability Online Library~1

Formal Aspects in Security and Trust Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Dimitrakos, Theo. editor. Martinelli, Fabio. editor. Ryan, Peter Y. A. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11679219
Format: Electronic Resources
Availability Online Library~1

Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings

2025-01-03T08:38:11Z

Author Rosca, Justinian. editor. Erdogmus, Deniz. editor. Príncipe, José C. editor. Haykin, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11679363
Format: Electronic Resources
Availability Online Library~1

Topics in Cryptology – CT-RSA 2006 The Cryptographers’ Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005. Proceedings

2025-01-03T08:38:11Z

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

The Seventeen Provers of the World Foreword by Dana S. Scott

2025-01-03T08:38:11Z

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

Technologies for E-Learning and Digital Entertainment First International Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006. Proceedings

2025-01-03T08:38:11Z

Author Pan, Zhigeng. editor. Aylett, Ruth. editor. Diener, Holger. editor. Jin, Xiaogang. editor. Göbel, Stefan. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11736639
Format: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings

2025-01-03T08:38:11Z

Author Chung, Yeh-Ching. editor. Moreira, José E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11745693
Format: Electronic Resources
Availability Online Library~1

Innovative Internet Community Systems 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers

2025-01-03T08:38:11Z

Author Bui, Alain. editor. Bui, Marc. editor. Böhme, Thomas. editor. Unger, Herwig. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11749776
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2006 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006. Proceedings, Part II

2025-01-03T08:38:11Z

Author Leonardis, Aleš. editor. Bischof, Horst. editor. Pinz, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11744047
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers

2025-01-03T08:38:11Z

Author Toni, Francesca. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11750734
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings

2025-01-03T08:38:11Z

Author Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11750321
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communications 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006. Proceedings

2025-01-03T08:38:11Z

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

Wireless Systems and Network Architectures in Next Generation Internet Second International Workshop of the EURO-NGI Network of Excellence, Villa Vigoni, Italy, July 13-15, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Cesana, Matteo. editor. Fratta, Luigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11750673
Format: Electronic Resources
Availability Online Library~1

Computer Music Modeling and Retrieval Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers

2025-01-03T08:38:11Z

Author Kronland-Martinet, Richard. editor. Voinier, Thierry. editor. Ystad, Sølvi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751069
Format: Electronic Resources
Availability Online Library~1

Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006. Proceedings

2025-01-03T08:38:11Z

Author Vieira, Renata. editor. Quaresma, Paulo. editor. Nunes, Maria das Graças Volpe. editor. Mamede, Nuno J. editor. Oliveira, Cláudia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751984
Format: Electronic Resources
Availability Online Library~1

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

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

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I

2025-01-03T08:38:11Z

Author Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751540
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II

2025-01-03T08:38:11Z

Author Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751588
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III

2025-01-03T08:38:11Z

Author Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751595
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV

2025-01-03T08:38:11Z

Author Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751632
Format: Electronic Resources
Availability Online Library~1

Trust Management 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006. Proceedings

2025-01-03T08:38:11Z

Author Stølen, Ketil. editor. Winsborough, William H. editor. Martinelli, Fabio. editor. Massacci, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11755593
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings

2025-01-03T08:38:11Z

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

Advances in Artificial Intelligence 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006. Proceedings

2025-01-03T08:38:11Z

Author Antoniou, Grigoris. editor. Potamias, George. editor. Spyropoulos, Costas. editor. Plexousakis, Dimitris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11752912
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Meyer, Norbert. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11752578
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2025-01-03T08:38:11Z

Author Gorrieri, Roberto. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11768869
Format: Electronic Resources
Availability Online Library~1

Advances in XML Information Retrieval and Evaluation 4th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2005, Dagstuhl Castle, Germany, November 28-30, 2005. Revised Selected Papers

2025-01-03T08:38:11Z

Author Fuhr, Norbert. editor. Lalmas, Mounia. editor. Malik, Saadia. editor. Kazai, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11766278
Format: Electronic Resources
Availability Online Library~1

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

2025-01-03T08:38:11Z

Author Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11774129
Format: Electronic Resources
Availability Online Library~1

Combinatorial Image Analysis 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006. Proceedings

2025-01-03T08:38:11Z

Author Reulke, Ralf. editor. Eckardt, Ulrich. editor. Flach, Boris. editor. Knauer, Uwe. editor. Polthier, Konrad. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11774938
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006. Proceedings

2025-01-03T08:38:11Z

Author Àlvarez, Carme. editor. Serna, María. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11764298
Format: Electronic Resources
Availability Online Library~1

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006 Turin, Italy, June 12-15, 2006 Proceedings

2025-01-03T08:38:11Z

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

Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings

2025-01-03T08:38:11Z

Author Kop, Christian. editor. Fliedl, Günther. editor. Mayr, Heinrich C. editor. Métais, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11765448
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 19th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2006, Québec City, Québec, Canada, June 7-9, 2006. Proceedings

2025-01-03T08:38:11Z

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

Flexible Query Answering Systems 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006 Proceedings

2025-01-03T08:38:11Z

Author Larsen, Henrik Legind. editor. Pasi, Gabriella. editor. Ortiz-Arroyo, Daniel. editor. Andreasen, Troels. editor. Christiansen, Henning. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11766254
Format: Electronic Resources
Availability Online Library~1

Emerging Trends in Information and Communication Security International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006. Proceedings

2025-01-03T08:38:11Z

Author Müller, Günter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11766155
Format: Electronic Resources
Availability Online Library~1

Intelligent Tutoring Systems 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006. Proceedings

2025-01-03T08:38:11Z

Author Ikeda, Mitsuru. editor. Ashley, Kevin D. editor. Chan, Tak-Wai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11774303
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

Author Boissier, Olivier. editor. Padget, Julian. editor. Dignum, Virginia. editor. Lindemann, Gabriela. editor. Matson, Eric. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11775331
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings

2025-01-03T08:38:11Z

Author Pinho, Luís Miguel. editor. González Harbour, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767077
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006. Proceedings

2025-01-03T08:38:11Z

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

Distributed Computing in Sensor Systems Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings

2025-01-03T08:38:11Z

Author Gibbons, Phillip B. editor. Abdelzaher, Tarek. editor. Aspnes, James. editor. Rao, Ramesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11776178
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2025-01-03T08:38:11Z

Author Ciancarini, Paolo. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767954
Format: Electronic Resources
Availability Online Library~1

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

2025-01-03T08:38:11Z

Author Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767589
Format: Electronic Resources
Availability Online Library~1

Self-Managed Networks, Systems, and Services Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings

2025-01-03T08:38:11Z

Author Keller, Alexander. editor. Martin-Flatin, Jean-Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767886
Format: Electronic Resources
Availability Online Library~1

Perception and Interactive Technologies International Tutorial and Research Workshop, PIT 2006 Kloster Irsee, Germany, June 19-21, 2006. Proceedings

2025-01-03T08:38:11Z

Author André, Elisabeth. editor. Dybkjær, Laila. editor. Minker, Wolfgang. editor. Neumann, Heiko. editor. Weber, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11768029
Format: Electronic Resources
Availability Online Library~1

Privacy Enhancing Technologies 5th International Workshop, PET 2005, Cavtat, Croatia, May 30-June 1, 2005, Revised Selected Papers

2025-01-03T08:38:11Z

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

Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

2025-01-03T08:38:11Z

Author Dunne, Steve. editor. Stoddart, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11768173
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

2025-01-03T08:38:11Z

Author Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11777830
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

2025-01-03T08:38:11Z

Author Ibarra, Oscar H. editor. Dang, Zhe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11779148
Format: Electronic Resources
Availability Online Library~1

RoboCup 2005: Robot Soccer World Cup IX

2025-01-03T08:38:11Z

Author Bredenfeld, Ansgar. editor. Jacoff, Adam. editor. Noda, Itsuki. editor. Takahashi, Yasutake. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780519
Format: Electronic Resources
Availability Online Library~1

Data Engineering Issues in E-Commerce and Services Second International Workshop, DEECS 2006, San Francisco, CA, USA, June 26, 2006. Proceedings

2025-01-03T08:38:11Z

Author Lee, Juhnyoung. editor. Shim, Junho. editor. Lee, Sang-goo. editor. Bussler, Christoph. editor. Shim, Simon. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780397
Format: Electronic Resources
Availability Online Library~1

Advances in Applied Artificial Intelligence 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006. Proceedings

2025-01-03T08:38:11Z

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

Performability Has its Price 5th International Workshop on Internet Charging and QoS Technologies, ICQT 2006, St. Malo, France, June 27, 2006. Proceedings

2025-01-03T08:38:11Z

Author Stiller, Burkhard. editor. Reichl, Peter. editor. Tuffin, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780502
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006. Proceedings

2025-01-03T08:38:11Z

Author Batten, Lynn Margaret. editor. Safavi-Naini, Reihaneh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780656
Format: Electronic Resources
Availability Online Library~1

Combinatorial Pattern Matching 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006. Proceedings

2025-01-03T08:38:11Z

Author Lewenstein, Moshe. editor. Valiente, Gabriel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780441
Format: Electronic Resources
Availability Online Library~1

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

2025-01-03T08:38:11Z

Author Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780274
Format: Electronic Resources
Availability Online Library~1

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings

2025-01-03T08:38:11Z

Author Beckmann, Arnold. editor. Berger, Ulrich. editor. Löwe, Benedikt. editor. Tucker, John V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780342
Format: Electronic Resources
Availability Online Library~1

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers

2025-01-03T08:38:11Z

Author Yli-Jyrä, Anssi. editor. Karttunen, Lauri. editor. Karhumäki, Juhani. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780885
Format: Electronic Resources
Availability Online Library~1

Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006. Proceedings

2025-01-03T08:38:11Z

Author Etzion, Opher. editor. Kuflik, Tsvi. editor. Motro, Amihai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780991
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006. Proceedings

2025-01-03T08:38:11Z

Author Flocchini, Paola. editor. Gąsieniec, Leszek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780823
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings

2025-01-03T08:38:11Z

Author Gorton, Ian. editor. Heineman, George T. editor. Crnković, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11783565
Format: Electronic Resources
Availability Online Library~1

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

2025-01-03T08:38:11Z

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

Biomedical Image Registration Third International Workshop, WBIR 2006, Utrecht, The Netherlands, July 9-11, 2006. Proceedings

2025-01-03T08:38:11Z

Author Pluim, Josien P. W. editor. Likar, Boštjan. editor. Gerritsen, Frans A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11784012
Format: Electronic Resources
Availability Online Library~1

ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings

2025-01-03T08:38:11Z

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

Artificial Intelligence and Soft Computing – ICAISC 2006 8th International Conference, Zakopane, Poland, June 25-29, 2006. Proceedings

2025-01-03T08:38:11Z

Author Rutkowski, Leszek. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor. Żurada, Jacek M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11785231
Format: Electronic Resources
Availability Online Library~1

Algorithm Theory – SWAT 2006 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006. Proceedings

2025-01-03T08:38:11Z

Author Arge, Lars. editor. Freivalds, Rusins. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11785293
Format: Electronic Resources
Availability Online Library~1

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

2025-01-03T08:38:11Z

Author Reussner, Ralf H. editor. Stafford, Judith A. editor. Szyperski, Clemens A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11786160
Format: Electronic Resources
Availability Online Library~1

Conceptual Structures: Inspiration and Application 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006. Proceedings

2025-01-03T08:38:11Z

Author Schärfe, Henrik. editor. Hitzler, Pascal. editor. Øhrstrøm, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11787181
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

2025-01-03T08:38:11Z

Author Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11786986
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

2025-01-03T08:38:11Z

Author Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11787006
Format: Electronic Resources
Availability Online Library~1

Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings

2025-01-03T08:38:11Z

Author Rensink, Arend. editor. Warmer, Jos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11787044
Format: Electronic Resources
Availability Online Library~1