Search Results for Computer science. - Narrowed by: 2007

Computer science illuminated

2024-11-13T08:58:14Z

Author Dale, Nell B. Lewis, John, 1963-
Preferred Shelf Number QA76 .D285 2007
Format: Books
Availability Beytepe Library~1

SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

2024-11-13T08:58:14Z

Author Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69507-3
Format: Electronic Resources
Availability Online Library~1

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

2024-11-13T08:58:14Z

Author Thomas, Wolfgang. editor. Weil, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70918-3
Format: Electronic Resources
Availability Online Library~1

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

2024-11-13T08:58:14Z

Author Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73859-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings

2024-11-13T08:58:14Z

Author Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74456-6
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers

2024-11-13T08:58:14Z

Author Brandstädt, Andreas. editor. Kratsch, Dieter. editor. Müller, Haiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74839-7
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings

2024-11-13T08:58:14Z

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

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

2024-11-13T08:58:14Z

Author Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77050-3
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

2024-11-13T08:58:14Z

Author Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72734-7
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

2024-11-13T08:58:14Z

Author Diekert, Volker. editor. Volkov, Mikhail V. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74510-5
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

2024-11-13T08:58:14Z

Author Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74915-8
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77505-8
Format: Electronic Resources
Availability Online Library~1

Computer science reconsidered the invocation model of process expression / Karl M. Fant.

2024-11-13T08:58:14Z

Author Fant, Karl M. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006052821-b.html John Wiley http://dx.doi.org/10.1002/9780470125779
Format: Electronic Resources
Availability Online Library~1

Geometric algebra for computer science an object-oriented approach to geometry

2024-11-13T08:58:14Z

Author Dorst, Leo, 1958- Fontijne, Daniel. Mann, Stephen, 1963-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123749420
Format: Electronic Resources
Availability Online Library~1

Geometric algebra for computer science an object-oriented approach to geometry

2024-11-13T08:58:14Z

Author Dorst, Leo, 1958- Fontijne, Daniel. Mann, Stephen, 1963-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123694652
Format: Electronic Resources
Availability Online Library~1

Geometric algebra for computer science : an object-oriented approach to geometry

2024-11-13T08:58:14Z

Author Dorst, Leo, 1958- Fontijne, Daniel. Mann, Stephen.
Preferred Shelf Number QA564 .D67 2007
Format: Books
Availability Beytepe Library~1

Ethical and Social Issues in the Information Age

2024-11-13T08:58:14Z

Author Kizza, Joseph Migga. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-659-9
Format: Electronic Resources
Availability Online Library~1

Fundamentals of the New Artificial Intelligence Neural, Evolutionary, Fuzzy and More

2024-11-13T08:58:14Z

Author Munakata, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-839-5
Format: Electronic Resources
Availability Online Library~1

Software engineering

2024-11-13T08:58:14Z

Author Sommerville, Ian, 1951-
Preferred Shelf Number QA76.6 S66 2007
Format: Books
Availability Beytepe Library~1

High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings

2024-11-13T08:58:14Z

Author Bosschere, Koen. editor. Kaeli, David. editor. Stenström, Per. editor. Whalley, David. editor. Ungerer, Theo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69338-3
Format: Electronic Resources
Availability Online Library~1

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

2024-11-13T08:58:14Z

Author Kühne, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69489-2
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006. Revised Papers

2024-11-13T08:58:14Z

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

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

2024-11-13T08:58:14Z

Author Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69554-7
Format: Electronic Resources
Availability Online Library~1

Multimodal Technologies for Perception of Humans First International Evaluation Workshop on Classification of Events, Activities and Relationships, CLEAR 2006, Southampton, UK, April 6-7, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Stiefelhagen, Rainer. editor. Garofolo, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69568-4
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

2024-11-13T08:58:14Z

Author Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69611-7
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

2024-11-13T08:58:14Z

Author Inoue, Katsumi. editor. Satoh, Ken. editor. Toni, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69619-3
Format: Electronic Resources
Availability Online Library~1

Numerical Methods and Applications 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers

2024-11-13T08:58:14Z

Author Boyanov, Todor. editor. Dimova, Stefka. editor. Georgiev, Krassimir. editor. Nikolov, Geno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70942-8
Format: Electronic Resources
Availability Online Library~1

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

2024-11-13T08:58:14Z

Author Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70945-9
Format: Electronic Resources
Availability Online Library~1

Environments for Multi-Agent Systems III Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers

2024-11-13T08:58:14Z

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

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

2024-11-13T08:58:14Z

Author Kordon, Fabrice. editor. Sztipanovits, Janos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71156-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Brim, Luboš. editor. Haverkort, Boudewijn. editor. Leucker, Martin. editor. Pol, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70952-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Rough Sets VI Commemorating the Life and Work of Zdzisław Pawlak, Part I

2024-11-13T08:58:14Z

Author Peters, James F. editor. Skowron, Andrzej. editor. Düntsch, Ivo. editor. Grzymała-Busse, Jerzy. editor. Orłowska, Ewa. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71200-8
Format: Electronic Resources
Availability Online Library~1

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

2024-11-13T08:58:14Z

Author Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71322-7
Format: Electronic Resources
Availability Online Library~1

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

2024-11-13T08:58:14Z

Author Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70816-2
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Puebla, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71410-1
Format: Electronic Resources
Availability Online Library~1

Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers

2024-11-13T08:58:14Z

Author Branco, António. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71412-5
Format: Electronic Resources
Availability Online Library~1

Reconfigurable Computing: Architectures, Tools and Applications Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Proceedings

2024-11-13T08:58:14Z

Author Diniz, Pedro C. editor. Marques, Eduardo. editor. Bertels, Koen. editor. Fernandes, Marcio Merino. editor. Cardoso, João M. P. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71431-6
Format: Electronic Resources
Availability Online Library~1

Computer Vision/Computer Graphics Collaboration Techniques Third International Conference, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007. Proceedings

2024-11-13T08:58:14Z

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

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

2024-11-13T08:58:14Z

Author Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71493-4
Format: Electronic Resources
Availability Online Library~1

Advances in Information Retrieval 29th European Conference on IR Research, ECIR 2007, Rome, Italy, April 2-5, 2007. Proceedings

2024-11-13T08:58:14Z

Author Amati, Giambattista. editor. Carpineto, Claudio. editor. Romano, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71496-5
Format: Electronic Resources
Availability Online Library~1

Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers

2024-11-13T08:58:14Z

Author Minden, Gary J. editor. Calvert, Kenneth L. editor. Solarski, Marcin. editor. Yamamoto, Miki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71500-9
Format: Electronic Resources
Availability Online Library~1

Progress in Nonlinear Speech Processing

2024-11-13T08:58:14Z

Author Stylianou, Yannis. editor. Faundez-Zanuy, Marcos. editor. Esposito, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71505-4
Format: Electronic Resources
Availability Online Library~1

Transactions on High-Performance Embedded Architectures and Compilers I

2024-11-13T08:58:14Z

Author Stenström, Per. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71528-3
Format: Electronic Resources
Availability Online Library~1

Swarm Robotics Second International Workshop, SAB 2006, Rome, Italy, September 30-October 1, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Şahin, Erol. editor. Spears, William M. editor. Winfield, Alan F. T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71541-2
Format: Electronic Resources
Availability Online Library~1

Adaptive Multimedia Retrieval: User, Context, and Feedback 4th International Workshop, AMR 2006, Geneva, Switzerland, July 27-28, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Marchand-Maillet, Stéphane. editor. Bruno, Eric. editor. Nürnberger, Andreas. editor. Detyniecki, Marcin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71545-0
Format: Electronic Resources
Availability Online Library~1

Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2007, Chengdu, China, April 11-12, 2007. Proceedings

2024-11-13T08:58:14Z

Author Yang, Christopher C. editor. Zeng, Daniel. editor. Chau, Michael. editor. Chang, Kuiyu. editor. Yang, Qing. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71549-8
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings

2024-11-13T08:58:14Z

Author Ebner, Marc. editor. O’Neill, Michael. editor. Ekárt, Anikó. editor. Vanneschi, Leonardo. editor. Esparcia-Alcázar, Anna Isabel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71605-1
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings

2024-11-13T08:58:14Z

Author Cotta, Carlos. editor. Hemert, Jano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71615-0
Format: Electronic Resources
Availability Online Library~1

Passive and Active Network Measurement 8th Internatinoal Conference, PAM 2007, Louvain-la-neuve, Belgium, April 5-6, 2007. Proceedings

2024-11-13T08:58:14Z

Author Uhlig, Steve. editor. Papagiannaki, Konstantina. editor. Bonaventure, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71617-4
Format: Electronic Resources
Availability Online Library~1

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I

2024-11-13T08:58:14Z

Author Beliczynski, Bartlomiej. editor. Dzielinski, Andrzej. editor. Iwanowski, Marcin. editor. Ribeiro, Bernardete. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71618-1
Format: Electronic Resources
Availability Online Library~1

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II

2024-11-13T08:58:14Z

Author Beliczynski, Bartlomiej. editor. Dzielinski, Andrzej. editor. Iwanowski, Marcin. editor. Ribeiro, Bernardete. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71629-7
Format: Electronic Resources
Availability Online Library~1

Databases, Information Systems, and Peer-to-Peer Computing International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Moro, Gianluca. editor. Bergamaschi, Sonia. editor. Joseph, Sam. editor. Morin, Jean-Henry. editor. Ouksel, Aris M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71661-7
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

2024-11-13T08:58:14Z

Author Südholt, Mario. editor. Consel, Charles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71774-4
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Convergence Technology First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Stajano, Frank. editor. Kim, Hyoung Joong. editor. Chae, Jong-Suk. editor. Kim, Seong-Dong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71789-8
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Lehner, Wolfgang. editor. Meyer, Norbert. editor. Streit, Achim. editor. Stewart, Craig. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72337-0
Format: Electronic Resources
Availability Online Library~1

Artifical Intelligence for Human Computing ICMI 2006 and IJCAI 2007 International Workshops, Banff, Canada, November 3, 2006, Hyderabad, India, January 6, 2007, Revised Seleced and Invited Papers

2024-11-13T08:58:14Z

Author Huang, Thomas S. editor. Nijholt, Anton. editor. Pantic, Maja. editor. Pentland, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72348-6
Format: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings

2024-11-13T08:58:14Z

Author Cérin, Christophe. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72360-8
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71998-4
Format: Electronic Resources
Availability Online Library~1

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic

2024-11-13T08:58:14Z

Author Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71999-1
Format: Electronic Resources
Availability Online Library~1

Bioinformatics Research and Applications Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007. Proceedings

2024-11-13T08:58:14Z

Author Măndoiu, Ion. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72031-7
Format: Electronic Resources
Availability Online Library~1

Business Information Systems 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007. Proceedings

2024-11-13T08:58:14Z

Author Abramowicz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72035-5
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings

2024-11-13T08:58:14Z

Author LaMarca, Anthony. editor. Langheinrich, Marc. editor. Truong, Khai N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72037-9
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 11th International Conference, FC 2007, and 1st International Workshop on Usable Security, USEC 2007, Scarborough, Trinidad and Tobago, February 12-16, 2007. Revised Selected Papers

2024-11-13T08:58:14Z

Author Dietrich, Sven. editor. Dhamija, Rachna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77366-5
Format: Electronic Resources
Availability Online Library~1

Information Hiding 9th International Workshop, IH 2007, Saint Malo, France, June 11-13, 2007, Revised Selected Papers

2024-11-13T08:58:14Z

Author Furon, Teddy. editor. Cayre, François. editor. Doërr, Gwenaël. editor. Bas, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77370-2
Format: Electronic Resources
Availability Online Library~1

Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

2024-11-13T08:58:14Z

Author Kordon, Fabrice. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77419-8
Format: Electronic Resources
Availability Online Library~1

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

2024-11-13T08:58:14Z

Author Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69061-0
Format: Electronic Resources
Availability Online Library~1

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2024-11-13T08:58:14Z

Author Prodan, Radu. author. Fahringer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69262-1
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

2024-11-13T08:58:14Z

Author Cook, Byron. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69738-1
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings

2024-11-13T08:58:14Z

Author Langendoen, Koen. editor. Voigt, Thiemo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69830-2
Format: Electronic Resources
Availability Online Library~1

Complex Motion First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004. Revised Papers

2024-11-13T08:58:14Z

Author Jähne, Bernd. editor. Mester, Rudolf. editor. Barth, Erhardt. editor. Scharr, Hanno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69866-1
Format: Electronic Resources
Availability Online Library~1

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-11-13T08:58:14Z

Author Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69868-5
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Artificial Intelligence JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Washio, Takashi. editor. Satoh, Ken. editor. Takeda, Hideaki. editor. Inokuchi, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69902-6
Format: Electronic Resources
Availability Online Library~1

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

2024-11-13T08:58:14Z

Author Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70881-0
Format: Electronic Resources
Availability Online Library~1

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

2024-11-13T08:58:14Z

Author Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70889-6
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings

2024-11-13T08:58:14Z

Author Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70901-5
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers

2024-11-13T08:58:14Z

Author Kaufmann, Michael. editor. Wagner, Dorothea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70904-6
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings

2024-11-13T08:58:14Z

Author Obayashi, Shigeru. editor. Deb, Kalyanmoy. editor. Poloni, Carlo. editor. Hiroyasu, Tomoyuki. editor. Murata, Tadahiko. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70928-2
Format: Electronic Resources
Availability Online Library~1

Dynamical Vision ICCV 2005 and ECCV 2006 Workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, 2006. Revised Papers

2024-11-13T08:58:14Z

Author Vidal, René. editor. Heyden, Anders. editor. Ma, Yi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70932-9
Format: Electronic Resources
Availability Online Library~1

Cognitive Systems Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers

2024-11-13T08:58:14Z

Author Lu, Ruqian. editor. Siekmann, Jörg H. editor. Ullrich, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70934-3
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007. Proceedings

2024-11-13T08:58:14Z

Author Vadhan, Salil P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70936-7
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings

2024-11-13T08:58:14Z

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

Information Security Applications 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Lee, Jae Kwang. editor. Yi, Okyeon. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71093-6
Format: Electronic Resources
Availability Online Library~1

Journal on Data Semantics VIII

2024-11-13T08:58:14Z

Author Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Fages, François. editor. Hacid, Mohand-Saïd. editor. Kifer, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70664-9
Format: Electronic Resources
Availability Online Library~1

Discrete Geometry, Combinatorics and Graph Theory 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, Xi’an, China, November 22-24, 2005, Revised Selected Papers

2024-11-13T08:58:14Z

Author Akiyama, Jin. editor. Chen, William Y. C. editor. Kano, Mikio. editor. Li, Xueliang. editor. Yu, Qinglin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70666-3
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

2024-11-13T08:58:14Z

Author Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71229-9
Format: Electronic Resources
Availability Online Library~1

Learning Classifier Systems International Workshops, IWLCS 2003-2005, Revised Selected Papers

2024-11-13T08:58:14Z

Author Kovacs, Tim. editor. Llorà, Xavier. editor. Takadama, Keiki. editor. Lanzi, Pier Luca. editor. Stolzmann, Wolfgang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71231-2
Format: Electronic Resources
Availability Online Library~1

Bioinformatics Research and Development First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007. Proceedings

2024-11-13T08:58:14Z

Author Hochreiter, Sepp. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71233-6
Format: Electronic Resources
Availability Online Library~1

KI 2006: Advances in Artificial Intelligence 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings

2024-11-13T08:58:14Z

Author Freksa, Christian. editor. Kohlhase, Michael. editor. Schill, Kerstin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69912-5
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings

2024-11-13T08:58:14Z

Author Lukowicz, Paul. editor. Thiele, Lothar. editor. Tröster, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71270-1
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-11-13T08:58:14Z

Author Dwyer, Matthew B. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71289-3
Format: Electronic Resources
Availability Online Library~1

Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings

2024-11-13T08:58:14Z

Author Dubitzky, Werner. editor. Schuster, Assaf. editor. Sloot, Peter M. A. editor. Schroeder, Michael. editor. Romberg, Mathilde. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69968-2
Format: Electronic Resources
Availability Online Library~1

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

2024-11-13T08:58:14Z

Author Guelfi, Nicolas. editor. Buchs, Didier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71876-5
Format: Electronic Resources
Availability Online Library~1

Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

2024-11-13T08:58:14Z

Author Liblit, Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71878-9
Format: Electronic Resources
Availability Online Library~1

Leveraging the Semantics of Topic Maps Second International Conference on Topic Maps Research and Applications, TMRA 2006, Leipzig, Germany, October 11-12, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Maicher, Lutz. editor. Sigel, Alexander. editor. Garshol, Lars Marius. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71945-8
Format: Electronic Resources
Availability Online Library~1

Human-Centered Visualization Environments GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Lectures

2024-11-13T08:58:14Z

Author Kerren, Andreas. editor. Ebert, Achim. editor. Meyer, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71949-6
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-11-13T08:58:14Z

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

Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007. Proceedings

2024-11-13T08:58:14Z

Author Sauveron, Damien. editor. Markantonakis, Konstantinos. editor. Bilas, Angelos. editor. Quisquater, Jean-Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72354-7
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I

2024-11-13T08:58:14Z

Author Liu, Derong. editor. Fei, Shumin. editor. Hou, Zeng-Guang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72383-7
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II

2024-11-13T08:58:14Z

Author Liu, Derong. editor. Fei, Shumin. editor. Hou, Zengguang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72393-6
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III

2024-11-13T08:58:14Z

Author Liu, Derong. editor. Fei, Shumin. editor. Hou, Zengguang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72395-0
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings

2024-11-13T08:58:14Z

Author Hentenryck, Pascal. editor. Wolsey, Laurence. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72397-4
Format: Electronic Resources
Availability Online Library~1

Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings

2024-11-13T08:58:14Z

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

Rough Sets and Knowledge Technology Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007. Proceedings

2024-11-13T08:58:14Z

Author Yao, JingTao. editor. Lingras, Pawan. editor. Wu, Wei-Zhi. editor. Szczuka, Marcin. editor. Cercone, Nick J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72458-2
Format: Electronic Resources
Availability Online Library~1

Agent-Mediated Electronic Commerce. Automated Negotiation and Strategy Design for Electronic Markets AAMAS 2006 Workshop, TADA/AMEC 2006, Hakodate, Japan, May 9, 2006, Selected and Revised Papers

2024-11-13T08:58:14Z

Author Fasli, Maria. editor. Shehory, Onn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72502-2
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings

2024-11-13T08:58:14Z

Author Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72504-6
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers

2024-11-13T08:58:14Z

Author Almási, George. editor. Caşcaval, Călin. editor. Wu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72521-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2024-11-13T08:58:14Z

Author Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72522-0
Format: Electronic Resources
Availability Online Library~1

Multiple Classifier Systems 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007. Proceedings

2024-11-13T08:58:14Z

Author Haindl, Michal. editor. Kittler, Josef. editor. Roli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72523-7
Format: Electronic Resources
Availability Online Library~1

Advances in Data and Web Management Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007. Proceedings

2024-11-13T08:58:14Z

Author Dong, Guozhu. editor. Lin, Xuemin. editor. Wang, Wei. editor. Yang, Yun. editor. Yu, Jeffrey Xu. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72524-4
Format: Electronic Resources
Availability Online Library~1

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedings

2024-11-13T08:58:14Z

Author An, Aijun. editor. Stefanowski, Jerzy. editor. Ramanna, Sheela. editor. Butz, Cory J. editor. Pedrycz, Witold. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72530-5
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-11-13T08:58:14Z

Author Indulska, Jadwiga. editor. Raymond, Kerry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72883-2
Format: Electronic Resources
Availability Online Library~1

Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

2024-11-13T08:58:14Z

Author Akehurst, David H. editor. Vogel, Régis. editor. Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72901-3
Format: Electronic Resources
Availability Online Library~1

Graph-Based Representations in Pattern Recognition 6th IAPR-TC-15 International Workshop, GbRPR 2007, Alicante, Spain, June 11-13, 2007. Proceedings

2024-11-13T08:58:14Z

Author Escolano, Francisco. editor. Vento, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72903-7
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings

2024-11-13T08:58:14Z

Author Jin, Hai. editor. Rana, Omer F. editor. Pan, Yi. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72905-1
Format: Electronic Resources
Availability Online Library~1

Functional Imaging and Modeling of the Heart 4th International Conference, FIHM 2007, Salt Lake City, UT, USA, June 7-9, 2007. Proceedings

2024-11-13T08:58:14Z

Author Sachse, Frank B. editor. Seemann, Gunnar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72907-5
Format: Electronic Resources
Availability Online Library~1

The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments

2024-11-13T08:58:14Z

Author Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72727-9
Format: Electronic Resources
Availability Online Library~1

Fun with Algorithms 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007. Proceedings

2024-11-13T08:58:14Z

Author Crescenzi, Pierluigi. editor. Prencipe, Giuseppe. editor. Pucci, Geppino. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72914-3
Format: Electronic Resources
Availability Online Library~1

Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings

2024-11-13T08:58:14Z

Author Bshouty, Nader H. editor. Gentile, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72927-3
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2024-11-13T08:58:14Z

Author Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings

2024-11-13T08:58:14Z

Author Fischetti, Matteo. editor. Williamson, David P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72792-7
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-11-13T08:58:14Z

Author Murphy, Amy L. editor. Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72794-1
Format: Electronic Resources
Availability Online Library~1

Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings

2024-11-13T08:58:14Z

Author Sgallari, Fiorella. editor. Murli, Almerico. editor. Paragios, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72823-8
Format: Electronic Resources
Availability Online Library~1

Agent and Multi-Agent Systems: Technologies and Applications First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31– June 1, 2007. Proceedings

2024-11-13T08:58:14Z

Author Nguyen, Ngoc Thanh. editor. Grzech, Adam. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72830-6
Format: Electronic Resources
Availability Online Library~1

Autonomous Intelligent Systems: Multi-Agents and Data Mining Second International Workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 2007. Proceedings

2024-11-13T08:58:14Z

Author Gorodetsky, Vladimir. editor. Zhang, Chengqi. editor. Skormin, Victor A. editor. Cao, Longbing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72839-9
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007. Proceedings

2024-11-13T08:58:14Z

Author Demetrescu, Camil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72845-0
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Image Analysis Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part I

2024-11-13T08:58:14Z

Author Martí, Joan. editor. Benedí, José Miguel. editor. Mendonça, Ana Maria. editor. Serrat, Joan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72847-4
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Image Analysis Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part II

2024-11-13T08:58:14Z

Author Martí, Joan. editor. Benedí, José Miguel. editor. Mendonça, Ana Maria. editor. Serrat, Joan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72849-8
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72863-4
Format: Electronic Resources
Availability Online Library~1

Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007. Proceedings

2024-11-13T08:58:14Z

Author Melin, Patricia. editor. Castillo, Oscar. editor. Aguilar, Luis T. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72950-1
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007. Proceedings

2024-11-13T08:58:14Z

Author Prencipe, Giuseppe. editor. Zaks, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72951-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-11-13T08:58:14Z

Author Bonsangue, Marcello M. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72952-5
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

2024-11-13T08:58:14Z

Author Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72982-2
Format: Electronic Resources
Availability Online Library~1

Inter-Domain Management First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007. Proceedings

2024-11-13T08:58:14Z

Author Bandara, Arosha K. editor. Burgess, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72986-0
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007. Proceedings

2024-11-13T08:58:14Z

Author Krogstie, John. editor. Opdahl, Andreas. editor. Sindre, Guttorm. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72988-4
Format: Electronic Resources
Availability Online Library~1

Managing Traffic Performance in Converged Networks 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings

2024-11-13T08:58:14Z

Author Mason, Lorne. editor. Drwiega, Tadeusz. editor. Yan, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72990-7
Format: Electronic Resources
Availability Online Library~1

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

2024-11-13T08:58:14Z

Author Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73001-9
Format: Electronic Resources
Availability Online Library~1

Computational and Ambient Intelligence 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007. Proceedings

2024-11-13T08:58:14Z

Author Sandoval, Francisco. editor. Prieto, Alberto. editor. Cabestany, Joan. editor. Graña, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73007-1
Format: Electronic Resources
Availability Online Library~1

Technologies for E-Learning and Digital Entertainment Second International Conference, Edutainment 2007, Hong Kong, China, June 11-13, 2007. Proceedings

2024-11-13T08:58:14Z

Author Hui, Kin-chuen. editor. Pan, Zhigeng. editor. Chung, Ronald Chi-kit. editor. Wang, Charlie C. L. editor. Jin, Xiaogang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73011-8
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

2024-11-13T08:58:14Z

Author Sawyer, Pete. editor. Paech, Barbara. editor. Heymans, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73031-6
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing for Quality of Life Enhancement 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007. Proceedings

2024-11-13T08:58:14Z

Author Okadome, Takeshi. editor. Yamazaki, Tatsuya. editor. Makhtari, Mounir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73035-4
Format: Electronic Resources
Availability Online Library~1

Image Analysis 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007

2024-11-13T08:58:14Z

Author Ersbøll, Bjarne Kjær. editor. Pedersen, Kim Steenstrup. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73040-8
Format: Electronic Resources
Availability Online Library~1

Bio-inspired Modeling of Cognitive Tasks Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I

2024-11-13T08:58:14Z

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

Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II

2024-11-13T08:58:14Z

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

Systems Biology and Computational Proteomics Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Ideker, Trey. editor. Bafna, Vineet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73060-6
Format: Electronic Resources
Availability Online Library~1

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

2024-11-13T08:58:14Z

Author Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Electronic Resources
Availability Online Library~1

Arithmetic of Finite Fields First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings

2024-11-13T08:58:14Z

Author Carlet, Claude. editor. Sunar, Berk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73074-3
Format: Electronic Resources
Availability Online Library~1

User Modeling 2007 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007. Proceedings

2024-11-13T08:58:14Z

Author Conati, Cristina. editor. McCoy, Kathleen. editor. Paliouras, Georgios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73078-1
Format: Electronic Resources
Availability Online Library~1

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

2024-11-13T08:58:14Z

Author Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73086-6
Format: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings

2024-11-13T08:58:14Z

Author Aspnes, James. editor. Scheideler, Christian. editor. Arora, Anish. editor. Madden, Samuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73090-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Data Hiding and Multimedia Security II

2024-11-13T08:58:14Z

Author Shi, Yun Q. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73092-7
Format: Electronic Resources
Availability Online Library~1

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

2024-11-13T08:58:14Z

Author Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73094-1
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

2024-11-13T08:58:14Z

Author Olivetti, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73099-6
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

2024-11-13T08:58:14Z

Author Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73101-6
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-11-13T08:58:14Z

Author Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73105-4
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

2024-11-13T08:58:14Z

Author Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73107-8
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

2024-11-13T08:58:14Z

Author Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73110-8
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

2024-11-13T08:58:14Z

Author Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73111-5
Format: Electronic Resources
Availability Online Library~1

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

2024-11-13T08:58:14Z

Author Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73131-3
Format: Electronic Resources
Availability Online Library~1

Statistical Network Analysis: Models, Issues, and New Directions ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Airoldi, Edoardo. editor. Blei, David M. editor. Fienberg, Stephen E. editor. Goldenberg, Anna. editor. Xing, Eric P. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73133-7
Format: Electronic Resources
Availability Online Library~1

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

2024-11-13T08:58:14Z

Author Comon-Lundh, Hubert. editor. Kirchner, Claude. editor. Kirchner, Hélène. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73147-4
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

2024-11-13T08:58:14Z

Author Derrick, John. editor. Vain, Jüri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73196-2
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings

2024-11-13T08:58:14Z

Author Preparata, Franco P. editor. Fang, Qizhi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73814-5
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

2024-11-13T08:58:14Z

Author Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Electronic Resources
Availability Online Library~1

Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings

2024-11-13T08:58:14Z

Author Martin, Ralph. editor. Sabin, Malcolm. editor. Winkler, Joab. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73843-5
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Muggleton, Stephen. editor. Otero, Ramon. editor. Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73847-3
Format: Electronic Resources
Availability Online Library~1

Advanced Data Mining and Applications Third International Conference, ADMA 2007 Harbin, China, August 6-8, 2007 Proceedings

2024-11-13T08:58:14Z

Author Alhajj, Reda. editor. Gao, Hong. editor. Li, Xue. editor. Li, Jianzhong. editor. Zaïane, Osmar R. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73871-8
Format: Electronic Resources
Availability Online Library~1

Comparative Evaluation of XML Information Retrieval Systems 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2006, Dagstuhl Castle, Germany, December 17-20, 2006, Revised and Selected Papers

2024-11-13T08:58:14Z

Author Fuhr, Norbert. editor. Lalmas, Mounia. editor. Trotman, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73888-6
Format: Electronic Resources
Availability Online Library~1

Computational Discovery of Scientific Knowledge Introduction, Techniques, and Applications in Environmental and Life Sciences

2024-11-13T08:58:14Z

Author Džeroski, Sašo. editor. Todorovski, Ljupčo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73920-3
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings

2024-11-13T08:58:14Z

Author Huang, De-Shuang. editor. Heutte, Laurent. editor. Loog, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74171-8
Format: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007. Proceedings

2024-11-13T08:58:14Z

Author Yuille, Alan L. editor. Zhu, Song-Chun. editor. Cremers, Daniel. editor. Wang, Yongtian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74198-5
Format: Electronic Resources
Availability Online Library~1

Speaker Classification I Fundamentals, Features, and Methods

2024-11-13T08:58:14Z

Author Müller, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74200-5
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings

2024-11-13T08:58:14Z

Author Huang, De-Shuang. editor. Heutte, Laurent. editor. Loog, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74205-0
Format: Electronic Resources
Availability Online Library~1

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007. Proceedings

2024-11-13T08:58:14Z

Author Charikar, Moses. editor. Jansen, Klaus. editor. Reingold, Omer. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74208-1
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

2024-11-13T08:58:14Z

Author Csuhaj-Varjú, Erzsébet. editor. Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74240-1
Format: Electronic Resources
Availability Online Library~1

Algorithmic Methods for Railway Optimization International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers

2024-11-13T08:58:14Z

Author Geraets, Frank. editor. Kroon, Leo. editor. Schoebel, Anita. editor. Wagner, Dorothea. editor. Zaroliagis, Christos D. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74247-0
Format: Electronic Resources
Availability Online Library~1

Modeling and Using Context 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007. Proceedings

2024-11-13T08:58:14Z

Author Kokinov, Boicho. editor. Richardson, Daniel C. editor. Roth-Berghofer, Thomas R. editor. Vieu, Laure. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74255-5
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007. Proceedings

2024-11-13T08:58:14Z

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

Anticipatory Behavior in Adaptive Learning Systems From Brains to Individual and Social Behavior

2024-11-13T08:58:14Z

Author Butz, Martin V. editor. Sigaud, Olivier. editor. Pezzulo, Giovanni. editor. Baldassarre, Gianluca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74262-3
Format: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007. Proceedings

2024-11-13T08:58:14Z

Author Kropatsch, Walter G. editor. Kampel, Martin. editor. Hanbury, Allan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74272-2
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings

2024-11-13T08:58:14Z

Author Choi, Lynn. editor. Paek, Yunheung. editor. Cho, Sangyeun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74309-5
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Intrusion Detection 10th International Symposium, RAID 2007, Gold Goast, Australia, September 5-7, 2007. Proceedings

2024-11-13T08:58:14Z

Author Kruegel, Christopher. editor. Lippmann, Richard. editor. Clark, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74320-0
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Security International Conference, CIS 2006. Guangzhou, China, November 3-6, 2006. Revised Selected Papers

2024-11-13T08:58:14Z

Author Wang, Yuping. editor. Cheung, Yiu-ming. editor. Liu, Hailin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74377-4
Format: Electronic Resources
Availability Online Library~1

CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

2024-11-13T08:58:14Z

Author Caires, Luís. editor. Vasconcelos, Vasco T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74407-8
Format: Electronic Resources
Availability Online Library~1

Trust, Privacy and Security in Digital Business 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings

2024-11-13T08:58:14Z

Author Lambrinoudakis, Costas. editor. Pernul, Günther. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74409-2
Format: Electronic Resources
Availability Online Library~1

Grid Economics and Business Models 4th International Workshop, GECON 2007, Rennes, France, August 28, 2007. Proceedings

2024-11-13T08:58:14Z

Author Veit, Daniel J. editor. Altmann, Jörn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74430-6
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

2024-11-13T08:58:14Z

Author Azémard, Nadine. editor. Svensson, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74442-9
Format: Electronic Resources
Availability Online Library~1

Electronic Government 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007. Proceedings

2024-11-13T08:58:14Z

Author Wimmer, Maria A. editor. Scholl, Jochen. editor. Grönlund, Åke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74444-3
Format: Electronic Resources
Availability Online Library~1

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007. Proceedings

2024-11-13T08:58:14Z

Author Stützle, Thomas. editor. Birattari, Mauro. editor. H. Hoos, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74446-7
Format: Electronic Resources
Availability Online Library~1

KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007. Proceedings

2024-11-13T08:58:14Z

Author Hertzberg, Joachim. editor. Beetz, Michael. editor. Englert, Roman. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74565-5
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

2024-11-13T08:58:14Z

Author Noriega, Pablo. editor. Vázquez-Salceda, Javier. editor. Boella, Guido. editor. Boissier, Olivier. editor. Dignum, Virginia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74459-7
Format: Electronic Resources
Availability Online Library~1

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Altenkirch, Thorsten. editor. McBride, Conor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74464-1
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings

2024-11-13T08:58:14Z

Author Kermarrec, Anne-Marie. editor. Bougé, Luc. editor. Priol, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74466-5
Format: Electronic Resources
Availability Online Library~1

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings

2024-11-13T08:58:14Z

Author Durand-Lose, Jérôme. editor. Margenstern, Maurice. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74593-8
Format: Electronic Resources
Availability Online Library~1

Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures

2024-11-13T08:58:14Z

Author Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74810-6
Format: Electronic Resources
Availability Online Library~1

Groupware: Design, Implementation, and Use 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007. Proceedings

2024-11-13T08:58:14Z

Author Haake, Jörg M. editor. Ochoa, Sergio F. editor. Cechich, Alejandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74812-0
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part I

2024-11-13T08:58:14Z

Author Apolloni, Bruno. editor. Howlett, Robert J. editor. Jain, Lakhmi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74819-9
Format: Electronic Resources
Availability Online Library~1

Ad-Hoc, Mobile, and Wireless Networks 6th International Conference, ADHOC-NOW 2007, Morelia, Mexico, September 24-26, 2007, Proceeedings

2024-11-13T08:58:14Z

Author Kranakis, Evangelos. editor. Opatrny, Jaroslav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74823-6
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Data Analysis VII 7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6-8, 2007. Proceedings

2024-11-13T08:58:14Z

Author R. Berthold, Michael. editor. Shawe-Taylor, John. editor. Lavrač, Nada. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74825-0
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II

2024-11-13T08:58:14Z

Author Apolloni, Bruno. editor. Howlett, Robert J. editor. Jain, Lakhmi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74827-4
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part III

2024-11-13T08:58:14Z

Author Apolloni, Bruno. editor. Howlett, Robert J. editor. Jain, Lakhmi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74829-8
Format: Electronic Resources
Availability Online Library~1

Next Generation Teletraffic and Wired/Wireless Advanced Networking 7th International Conference, NEW2AN 2007 St. Petersburg, Russia, September 10-14, 2007 Proceedings

2024-11-13T08:58:14Z

Author Koucheryavy, Yevgeni. editor. Harju, Jarmo. editor. Sayenko, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74833-5
Format: Electronic Resources
Availability Online Library~1

Computer Security – ESORICS 2007 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 — 26, 2007. Proceedings

2024-11-13T08:58:14Z

Author Biskup, Joachim. editor. López, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74835-9
Format: Electronic Resources
Availability Online Library~1

Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers

2024-11-13T08:58:14Z

Author Biryukov, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74619-5
Format: Electronic Resources
Availability Online Library~1

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

2024-11-13T08:58:14Z

Author Kang, Lishan. editor. Liu, Yong. editor. Zeng, Sanyou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74626-3
Format: Electronic Resources
Availability Online Library~1

Research and Advanced Technology for Digital Libraries 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007. Proceedings

2024-11-13T08:58:14Z

Author Kovács, László. editor. Fuhr, Norbert. editor. Meghini, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74851-9
Format: Electronic Resources
Availability Online Library~1

UbiComp 2007: Ubiquitous Computing 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007. Proceedings

2024-11-13T08:58:14Z

Author Krumm, John. editor. Abowd, Gregory D. editor. Seneviratne, Aruna. editor. Strang, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74853-3
Format: Electronic Resources
Availability Online Library~1

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

2024-11-13T08:58:14Z

Author George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74964-6
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks – ICANN 2007 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part I

2024-11-13T08:58:14Z

Author Sá, Joaquim Marques. editor. Alexandre, Luís A. editor. Duch, Włodzisław. editor. Mandic, Danilo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74690-4
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

2024-11-13T08:58:14Z

Author Bessière, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74970-7
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks – ICANN 2007 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part II

2024-11-13T08:58:14Z

Author Sá, Joaquim Marques. editor. Alexandre, Luís A. editor. Duch, Włodzisław. editor. Mandic, Danilo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74695-9
Format: Electronic Resources
Availability Online Library~1

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

2024-11-13T08:58:14Z

Author Gaudin, Emmanuel. editor. Najm, Elie. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74984-4
Format: Electronic Resources
Availability Online Library~1

Journal on Data Semantics IX

2024-11-13T08:58:14Z

Author Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Fages, François. editor. Hacid, Mohand-Saïd. editor. Kifer, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74987-5
Format: Electronic Resources
Availability Online Library~1

Evaluation of Multilingual and Multi-modal Information Retrieval 7th Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain, September 20-22, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Peters, Carol. editor. Clough, Paul. editor. Gey, Fredric C. editor. Karlgren, Jussi. editor. Magnini, Bernardo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74999-8
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

2024-11-13T08:58:14Z

Author Saglietti, Francesca. editor. Oster, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75101-4
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings

2024-11-13T08:58:14Z

Author Stojmenovic, Ivan. editor. Thulasiram, Ruppa K. editor. Yang, Laurence T. editor. Jia, Weijia. editor. Guo, Minyi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74742-0
Format: Electronic Resources
Availability Online Library~1

Advances in Databases and Information Systems 11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, 2007. Proceedings

2024-11-13T08:58:14Z

Author Ioannidis, Yannis. editor. Novikov, Boris. editor. Rachev, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75185-4
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings

2024-11-13T08:58:14Z

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/978-3-540-75187-8
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Simulation International Conference, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings

2024-11-13T08:58:14Z

Author Li, Kang. editor. Li, Xin. editor. Irwin, George William. editor. He, Gusen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74771-0
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings

2024-11-13T08:58:14Z

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

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007. Proceedings

2024-11-13T08:58:14Z

Author Basili, Roberto. editor. Pazienza, Maria Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74782-6
Format: Electronic Resources
Availability Online Library~1

Spatial Information Theory 8th International Conference, COSIT 2007, Melbourne, Australiia, September 19-23, 2007. Proceedings

2024-11-13T08:58:14Z

Author Winter, Stephan. editor. Duckham, Matt. editor. Kulik, Lars. editor. Kuipers, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74788-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

2024-11-13T08:58:14Z

Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74792-5
Format: Electronic Resources
Availability Online Library~1

Spatial Cognition V Reasoning, Action, Interaction International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Barkowsky, Thomas. editor. Knauff, Markus. editor. Ligozat, Gérard. editor. Montello, Daniel R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75666-8
Format: Electronic Resources
Availability Online Library~1

Mobile Response First International Workshop on Mobile Information Technology for Emergency Response, Mobile Response 2007, Sankt Augustin, Germany, February 22-23, 2007, Revised Selected Papers

2024-11-13T08:58:14Z

Author Löffler, Jobst. editor. Klann, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75668-2
Format: Electronic Resources
Availability Online Library~1

Provable Security First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings

2024-11-13T08:58:14Z

Author Susilo, Willy. editor. Liu, Joseph K. editor. Mu, Yi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75670-5
Format: Electronic Resources
Availability Online Library~1

Computers and Games 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers

2024-11-13T08:58:14Z

Author Herik, H. Jaap. editor. Ciancarini, Paolo. editor. Donkers, H. H. L. M. (Jeroen). editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75538-8
Format: Electronic Resources
Availability Online Library~1

Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers

2024-11-13T08:58:14Z

Author Meyer, Bertrand. editor. Joseph, Mathai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75542-5
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery in Inductive Databases 5th International Workshop, KDID 2006 Berlin, Germany, September 18, 2006 Revised Selected and Invited Papers

2024-11-13T08:58:14Z

Author Džeroski, Sašo. editor. Struyf, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75549-4
Format: Electronic Resources
Availability Online Library~1

Privacy Enhancing Technologies 7th International Symposium, PET 2007 Ottawa, Canada, June 20-22, 2007 Revised Selected Papers

2024-11-13T08:58:14Z

Author Borisov, Nikita. editor. Golle, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75551-7
Format: Electronic Resources
Availability Online Library~1

Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Kågström, Bo. editor. Elmroth, Erik. editor. Dongarra, Jack. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75755-9
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I

2024-11-13T08:58:14Z

Author Ayache, Nicholas. editor. Ourselin, Sébastien. editor. Maeder, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75757-3
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II

2024-11-13T08:58:14Z

Author Ayache, Nicholas. editor. Ourselin, Sébastien. editor. Maeder, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75759-7
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2024-11-13T08:58:14Z

Author Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75560-9
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

2024-11-13T08:58:14Z

Author Parent, Christine. editor. Schewe, Klaus-Dieter. editor. Storey, Veda C. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75563-0
Format: Electronic Resources
Availability Online Library~1

Human–Computer Interaction IEEE International Workshop, HCI 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings

2024-11-13T08:58:14Z

Author Lew, Michael. editor. Sebe, Nicu. editor. Huang, Thomas S. editor. Bakker, Erwin M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75773-3
Format: Electronic Resources
Availability Online Library~1

IP Operations and Management 7th IEEE International Workshop, IPOM 2007 San José, USA, October 31 - November 2, 2007 Proceedings

2024-11-13T08:58:14Z

Author Medhi, Deep. editor. Nogueira, José Marcos. editor. Pfeifer, Tom. editor. Wu, S. Felix. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75853-2
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

2024-11-13T08:58:14Z

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

Real-Time Mobile Multimedia Services 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2007, San José, USA, October 31 - November 2, 2007 Proceedings

2024-11-13T08:58:14Z

Author Krishnaswamy, Dilip. editor. Pfeifer, Tom. editor. Raz, Danny. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75869-3
Format: Electronic Resources
Availability Online Library~1

Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

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

Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday

2024-11-13T08:58:14Z

Author Aguzzoli, Stefano. editor. Ciabattoni, Agata. editor. Gerla, Brunella. editor. Manara, Corrado. editor. Marra, Vincenzo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75939-3
Format: Electronic Resources
Availability Online Library~1

Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers

2024-11-13T08:58:14Z

Author Schilder, Frank. editor. Katz, Graham. editor. Pustejovsky, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75989-8
Format: Electronic Resources
Availability Online Library~1

E-business and Telecommunication Networks Second International Conference, ICETE 2005, Reading, UK, October 3-7, 2005. Selected Papers

2024-11-13T08:58:14Z

Author Filipe, Joaquim. editor. Coelhas, Helder. editor. Saramago, Monica. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75993-5
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Computing Systems 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007. Proceedings

2024-11-13T08:58:14Z

Author Ichikawa, Haruhisa. editor. Cho, We-Duke. editor. Satoh, Ichiro. editor. Youn, Hee Yong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76772-5
Format: Electronic Resources
Availability Online Library~1

Verbal and Nonverbal Communication Behaviours COST Action 2102 International Workshop, Vietri sul Mare, Italy, March 29-31, 2007, Revised Selected and Invited Papers

2024-11-13T08:58:14Z

Author Esposito, Anna. editor. Faundez-Zanuy, Marcos. editor. Keller, Eric. editor. Marinaro, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76442-7
Format: Electronic Resources
Availability Online Library~1

Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

2024-11-13T08:58:14Z

Author Backhouse, Roland. editor. Gibbons, Jeremy. editor. Hinze, Ralf. editor. Jeuring, Johan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76786-2
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I

2024-11-13T08:58:14Z

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

MICAI 2007: Advances in Artificial Intelligence 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007. Proceedings

2024-11-13T08:58:14Z

Author Gelbukh, Alexander. editor. Kuri Morales, Ángel Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76631-5
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

2024-11-13T08:58:14Z

Author Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76637-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

2024-11-13T08:58:14Z

Author Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76650-6
Format: Electronic Resources
Availability Online Library~1

Ambient Intelligence European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007. Proceedings

2024-11-13T08:58:14Z

Author Schiele, Bernt. editor. Dey, Anind K. editor. Gellersen, Hans. editor. Ruyter, Boris. editor. Tscheligi, Manfred. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76652-0
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 6th International Conference, CANS 2007, Singapore, December 8-10, 2007. Proceedings

2024-11-13T08:58:14Z

Author Bao, Feng. editor. Ling, San. editor. Okamoto, Tatsuaki. editor. Wang, Huaxiong. editor. Xing, Chaoping. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76969-9
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2007 8th International Conference on Web Information Systems Engineering Nancy, France, December 3-7, 2007 Proceedings

2024-11-13T08:58:14Z

Author Benatallah, Boualem. editor. Casati, Fabio. editor. Georgakopoulos, Dimitrios. editor. Bartolini, Claudio. editor. Sadiq, Wasim. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76993-4
Format: Electronic Resources
Availability Online Library~1

Progress in Artificial Intelligence 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007. Proceedings

2024-11-13T08:58:14Z

Author Neves, José. editor. Santos, Manuel Filipe. editor. Machado, José Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77002-2
Format: Electronic Resources
Availability Online Library~1

Algorithms and Models for the Web-Graph 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007. Proceedings

2024-11-13T08:58:14Z

Author Bonato, Anthony. editor. Chung, Fan R. K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77004-6
Format: Electronic Resources
Availability Online Library~1

Persuasive Technology Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papers

2024-11-13T08:58:14Z

Author Kort, Yvonne. editor. IJsselsteijn, Wijnand. editor. Midden, Cees. editor. Eggen, Berry. editor. Fogg, B. J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77006-0
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2007 Workshops WISE 2007 International Workshops Nancy, France, December 3, 2007 Proceedings

2024-11-13T08:58:14Z

Author Weske, Mathias. editor. Hacid, Mohand-Saïd. editor. Godart, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77010-7
Format: Electronic Resources
Availability Online Library~1

Emerging Technologies in Knowledge Discovery and Data Mining PAKDD 2007 International Workshops Nanjing, China, May 22-25, 2007 Revised Selected Papers

2024-11-13T08:58:14Z

Author Washio, Takashi. editor. Zhou, Zhi-Hua. editor. Huang, Joshua Zhexue. editor. Hu, Xiaohua. editor. Li, Jinyan. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77018-3
Format: Electronic Resources
Availability Online Library~1

Mobile Ad-Hoc and Sensor Networks Third International Conference, MSN 2007 Beijing, China, December 12-14, 2007 Proceedings

2024-11-13T08:58:14Z

Author Zhang, Hongke. editor. Olariu, Stephan. editor. Cao, Jiannong. editor. Johnson, David B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77024-4
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – INDOCRYPT 2007 8th International Conference on Cryptology in India, Chennai, India, December 9-13, 2007. Proceedings

2024-11-13T08:58:14Z

Author Srinathan, K. editor. Rangan, C. Pandu. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77026-8
Format: Electronic Resources
Availability Online Library~1

Web Intelligence Meets Brain Informatics First WICI International Workshop, WImBI 2006, Beijing, China, December 15-16, 2006, Revised Selected and Invited Papers

2024-11-13T08:58:14Z

Author Zhong, Ning. editor. Liu, Jiming. editor. Yao, Yiyu. editor. Wu, Jinglong. editor. Lu, Shengfu. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77028-2
Format: Electronic Resources
Availability Online Library~1

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007. Proceedings

2024-11-13T08:58:14Z

Author Cavazza, Marc. editor. Donikian, Stéphane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77039-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development IV

2024-11-13T08:58:14Z

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

Pattern Recognition and Machine Intelligence Second International Conference, PReMI 2007, Kolkata, India, December 18-22, 2007. Proceedings

2024-11-13T08:58:14Z

Author Ghosh, Ashish. editor. De, Rajat K. editor. Pal, Sankar K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77046-6
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 9th International Conference, ICICS 2007, Zhengzhou, China, December 12-15, 2007. Proceedings

2024-11-13T08:58:14Z

Author Qing, Sihan. editor. Imai, Hideki. editor. Wang, Guilin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77048-0
Format: Electronic Resources
Availability Online Library~1

Semantic Multimedia Second International Conference on Semantic and Digital Media Technologies, SAMT 2007, Genoa, Italy, December 5-7, 2007. Proceedings

2024-11-13T08:58:14Z

Author Falcidieno, Bianca. editor. Spagnuolo, Michela. editor. Avrithis, Yannis. editor. Kompatsiaris, Ioannis. editor. Buitelaar, Paul. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77051-0
Format: Electronic Resources
Availability Online Library~1

Information Systems Security Third International Conference, ICISS 2007, Delhi, India, December 16-20, 2007. Proceedings

2024-11-13T08:58:14Z

Author McDaniel, Patrick. editor. Gupta, Shyam K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77086-2
Format: Electronic Resources
Availability Online Library~1

Digital Libraries: Research and Development First International DELOS Conference, Pisa, Italy, February 13-14, 2007, Revised Selected Papers

2024-11-13T08:58:14Z

Author Thanos, Costantino. editor. Borri, Francesca. editor. Candela, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77088-6
Format: Electronic Resources
Availability Online Library~1

Emerging Directions in Embedded and Ubiquitous Computing EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007. Proceedings

2024-11-13T08:58:14Z

Author Denko, Mieso K. editor. Shih, Chi-sheng. editor. Li, Kuan-Ching. editor. Tsao, Shiao-Li. editor. Zeng, Qing-An. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77090-9
Format: Electronic Resources
Availability Online Library~1

Embedded and Ubiquitous Computing International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings

2024-11-13T08:58:14Z

Author Kuo, Tei-Wei. editor. Sha, Edwin. editor. Guo, Minyi. editor. Yang, Laurence T. editor. Shao, Zili. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77092-3
Format: Electronic Resources
Availability Online Library~1

Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers 10th International Conference on Asian Digital Libraries, ICADL 2007, Hanoi, Vietnam, December 10-13, 2007. Proceedings

2024-11-13T08:58:14Z

Author Goh, Dion Hoe-Lian. editor. Cao, Tru Hoang. editor. Sølvberg, Ingeborg Torvik. editor. Rasmussen, Edie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77094-7
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings

2024-11-13T08:58:14Z

Author Tovar, Eduardo. editor. Tsigas, Philippas. editor. Fouchal, Hacène. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77096-1
Format: Electronic Resources
Availability Online Library~1

Internet and Network Economics Third International Workshop, WINE 2007, San Diego, CA, USA, December 12-14, 2007. Proceedings

2024-11-13T08:58:14Z

Author Deng, Xiaotie. editor. Graham, Fan Chung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77105-0
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedings

2024-11-13T08:58:14Z

Author Janowski, Tomasz. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77115-9
Format: Electronic Resources
Availability Online Library~1

Algorithms and Computation 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007. Proceedings

2024-11-13T08:58:14Z

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

Advances in Image and Video Technology Second Pacific Rim Symposium, PSIVT 2007 Santiago, Chile, December 17-19, 2007 Proceedings

2024-11-13T08:58:14Z

Author Mery, Domingo. editor. Rueda, Luis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77129-6
Format: Electronic Resources
Availability Online Library~1

Security Protocols 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers

2024-11-13T08:58:14Z

Author Christianson, Bruce. editor. Crispo, Bruno. editor. Malcolm, James A. editor. Roe, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77156-2
Format: Electronic Resources
Availability Online Library~1

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

2024-11-13T08:58:14Z

Author Aluru, Srinivas. editor. Parashar, Manish. editor. Badrinath, Ramamurthy. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77220-0
Format: Electronic Resources
Availability Online Library~1

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

2024-11-13T08:58:14Z

Author Winckler, Marco. editor. Johnson, Hilary. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77222-4
Format: Electronic Resources
Availability Online Library~1

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings

2024-11-13T08:58:14Z

Author Boztaş, Serdar. editor. Lu, Hsiao-Feng (Francis). editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77224-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Data Engineering and Automated Learning - IDEAL 2007 8th International Conference, Birmingham, UK, December 16-19, 2007. Proceedings

2024-11-13T08:58:14Z

Author Yin, Hujun. editor. Tino, Peter. editor. Corchado, Emilio. editor. Byrne, Will. editor. Yao, Xin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77226-2
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Information Processing – PCM 2007 8th Pacific Rim Conference on Multimedia, Hong Kong, China, December 11-14, 2007. Proceedings

2024-11-13T08:58:14Z

Author Ip, Horace H.-S. editor. Au, Oscar C. editor. Leung, Howard. editor. Sun, Ming-Ting. editor. Ma, Wei-Ying. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77255-2
Format: Electronic Resources
Availability Online Library~1

Cryptography and Coding 11th IMA International Conference, Cirencester, UK, December 18-20, 2007. Proceedings

2024-11-13T08:58:14Z

Author Galbraith, Steven D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77272-9
Format: Electronic Resources
Availability Online Library~1

Combinatorial and Algorithmic Aspects of Networking 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers

2024-11-13T08:58:14Z

Author Janssen, Jeannette. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77294-1
Format: Electronic Resources
Availability Online Library~1

50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence

2024-11-13T08:58:14Z

Author Lungarella, Max. editor. Iida, Fumiya. editor. Bongard, Josh. editor. Pfeifer, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77296-5
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers

2024-11-13T08:58:14Z

Author Eleftherakis, George. editor. Kefalas, Petros. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77312-2
Format: Electronic Resources
Availability Online Library~1

Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007 Hyderabad, India, January 8, 2007 Revised Selected Papers

2024-11-13T08:58:14Z

Author Paletta, Lucas. editor. Rome, Erich. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77343-6
Format: Electronic Resources
Availability Online Library~1

Practice and Theory of Automated Timetabling VI 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers

2024-11-13T08:58:14Z

Author Burke, Edmund K. editor. Rudová, Hana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77345-0
Format: Electronic Resources
Availability Online Library~1

Advances in Nonlinear Speech Processing International Conference on Non-Linear Speech Processing, NOLISP 2007 Paris, France, May 22-25, 2007 Revised Selected Papers

2024-11-13T08:58:14Z

Author Chetouani, Mohamed. editor. Hussain, Amir. editor. Gas, Bruno. editor. Milgram, Maurice. editor. Zarader, Jean-Luc. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77347-4
Format: Electronic Resources
Availability Online Library~1

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

2024-11-13T08:58:14Z

Author Lumpe, Markus. editor. Vanderperren, Wim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77351-1
Format: Electronic Resources
Availability Online Library~1

Semantics with Applications: An Appetizer

2024-11-13T08:58:14Z

Author Nielson, Hanne Riis. author. Nielson, Flemming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-692-6
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Programming Languages: Interpretation

2024-11-13T08:58:14Z

Author Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-774-9
Format: Electronic Resources
Availability Online Library~1

Practical Distributed Processing

2024-11-13T08:58:14Z

Author Brooke, Phillip J. author. Paige, Richard F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-841-8
Format: Electronic Resources
Availability Online Library~1

Introduction to Operating System Design and Implementation The OSP 2 Approach

2024-11-13T08:58:14Z

Author Kifer, Michael. author. Smolka, Scott A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-843-6
Format: Electronic Resources
Availability Online Library~1

Wireless Systems and Mobility in Next Generation Internet Third International Workshop of the EURO-NGI Network of Excellence, Sitges, Spain, June 6-9, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author García-Vidal, Jorge. editor. Cerdà-Alabern, Llorenç. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70969-5
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-11-13T08:58:14Z

Author Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71209-1
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Artificial Intelligence JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan, June 23-27, 2003 and Kanazawa, Japan, May 31 - June 4, 2004, Revised Selected Papers

2024-11-13T08:58:14Z

Author Sakurai, Akito. editor. Hasida, Kôiti. editor. Nitta, Katsumi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71009-7
Format: Electronic Resources
Availability Online Library~1

Universal Access in Ambient Intelligence Environments 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers

2024-11-13T08:58:14Z

Author Stephanidis, Constantine. editor. Pieper, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71025-7
Format: Electronic Resources
Availability Online Library~1

Pixelization Paradigm First Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Lévy, Pierre P. editor. Grand, Bénédicte. editor. Poulet, François. editor. Soto, Michel. editor. Darago, Laszlo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71027-1
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

2024-11-13T08:58:14Z

Author Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71035-6
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery and Emergent Complexity in Bioinformatics First International Workshop, KDECB 2006, Ghent, Belgium, May 10, 2006. Revised Selected Papers

2024-11-13T08:58:14Z

Author Tuyls, Karl. editor. Westra, Ronald. editor. Saeys, Yvan. editor. Nowé, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71037-0
Format: Electronic Resources
Availability Online Library~1