Search Results for Computer science. - Narrowed by: 2011

Theoretical Computer Science

2024-11-01T23:01:51Z

Author Preparata, F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11120-4
Format: Electronic Resources
Availability Online Library~1

Computer and Information Science 2011

2024-11-01T23:01:51Z

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

Extremal Combinatorics With Applications in Computer Science

2024-11-01T23:01:51Z

Author Jukna, Stasys. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17364-6
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings

2024-11-01T23:01:51Z

Author Černá, Ivana. editor. Gyimóthy, Tibor. editor. Hromkovič, Juraj. editor. Jefferey, Keith. editor. Králović, Rastislav. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18381-2
Format: Electronic Resources
Availability Online Library~1

Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday

2024-11-01T23:01:51Z

Author Calude, Cristian S. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19391-0
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011. Revised Papers

2024-11-01T23:01:51Z

Author Kolman, Petr. editor. Kratochvíl, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25870-1
Format: Electronic Resources
Availability Online Library~1

Human Language Technology. Challenges for Computer Science and Linguistics 4th Language and Technology Conference, LTC 2009, Poznan, Poland, November 6-8, 2009, Revised Selected Papers

2024-11-01T23:01:51Z

Author Vetulani, Zygmunt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20095-3
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings

2024-11-01T23:01:51Z

Author Kulikov, Alexander. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20712-9
Format: Electronic Resources
Availability Online Library~1

Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I

2024-11-01T23:01:51Z

Author Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21402-8
Format: Electronic Resources
Availability Online Library~1

Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21411-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Education Applications International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II

2024-11-01T23:01:51Z

Author Zhou, Mark. editor. Tan, Honghua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22456-0
Format: Electronic Resources
Availability Online Library~1

Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings

2024-11-01T23:01:51Z

Author Corradini, Andrea. editor. Klin, Bartek. editor. Cîrstea, Corina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22944-2
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part I

2024-11-01T23:01:51Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23321-0
Format: Electronic Resources
Availability Online Library~1

Trends in Computer Science, Engineering and Information Technology First International Conference on Computer Science, Engineering and Information Technology, CCSEIT 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011. Proceedings

2024-11-01T23:01:51Z

Author Nagamalai, Dhinaharan. editor. Renault, Eric. editor. Dhanuskodi, Murugan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24043-0
Format: Electronic Resources
Availability Online Library~1

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

2024-11-01T23:01:51Z

Author Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24897-9
Format: Electronic Resources
Availability Online Library~1

Theoretical and Mathematical Foundations of Computer Science Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011. Selected Papers

2024-11-01T23:01:51Z

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

Advances in Computer Science and Information Technology First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I

2024-11-01T23:01:51Z

Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17857-3
Format: Electronic Resources
Availability Online Library~1

Advances in Networks and Communications First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part II

2024-11-01T23:01:51Z

Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17878-8
Format: Electronic Resources
Availability Online Library~1

Advanced Computing First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III

2024-11-01T23:01:51Z

Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17881-8
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

2024-11-01T23:01:51Z

Author Swart, Harrie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21070-9
Format: Electronic Resources
Availability Online Library~1

Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author Yu, Yuanxu. editor. Yu, Zhengtao. editor. Zhao, Jingying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22691-5
Format: Electronic Resources
Availability Online Library~1

Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011. Proceedings

2024-11-01T23:01:51Z

Author Yu, Yuanxu. editor. Yu, Zhengtao. editor. Zhao, Jingying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22694-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

2024-11-01T23:01:51Z

Author Murlak, Filip. editor. Sankowski, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22993-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part II

2024-11-01T23:01:51Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23324-1
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part IV

2024-11-01T23:01:51Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23339-5
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011, Proceedings, Part III

2024-11-01T23:01:51Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23345-6
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part V

2024-11-01T23:01:51Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23357-9
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Science and Information Technology Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings

2024-11-01T23:01:51Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Robles, Rosslin John. editor. Balitanas, Maricel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24267-0
Format: Electronic Resources
Availability Online Library~1

Schaum's outline of principles of computer science

2024-11-01T23:01:51Z

Author Reynolds, Carl, 1948- Tymann, Paul T.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Intelligent System and Environment

2024-11-01T23:01:51Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23756-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Intelligent System and Environment

2024-11-01T23:01:51Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23777-5
Format: Electronic Resources
Availability Online Library~1

Digital evidence and computer crime : forensic science, computers and the Internet

2024-11-01T23:01:51Z

Author Casey, Eoghan.
Preferred Shelf Number HV6773.C35 C35 2011
Format: Books
Availability Beytepe Library~1

Computer Science The Hardware, Software and Heart of It

2024-11-01T23:01:51Z

Author Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1168-0
Format: Electronic Resources
Availability Online Library~1

Guide to Teaching Computer Science An Activity-Based Approach

2024-11-01T23:01:51Z

Author Hazzan, Orit. author. Lapidot, Tami. author. Ragonis, Noa. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-443-2
Format: Electronic Resources
Availability Online Library~1

Geometric Methods and Applications For Computer Science and Engineering

2024-11-01T23:01:51Z

Author Gallier, Jean. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9961-0
Format: Electronic Resources
Availability Online Library~1

Gaming matters art, science, magic, and the computer game medium

2024-11-01T23:01:51Z

Author Ruggill, Judd Ethan. McAllister, Ken S., 1966- Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning

2024-11-01T23:01:51Z

Author Tchounikine, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20003-8
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Intelligent System and Environment

2024-11-01T23:01:51Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23753-9
Format: Electronic Resources
Availability Online Library~1

Explorations in computing : an introduction to computer science

2024-11-01T23:01:51Z

Author Conery, John S.
Preferred Shelf Number QA76 C585 2011
Format: Books
Availability Beytepe Library~1

Computability and Complexity Theory

2024-11-01T23:01:51Z

Author Homer, Steven. author. Selman, Alan L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0682-2
Format: Electronic Resources
Availability Online Library~1

Intermittently Connected Mobile Ad Hoc Networks from Routing to Content Distribution

2024-11-01T23:01:51Z

Author Jamalipour, Abbas. author. Ma, Yaozhou. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1572-5
Format: Electronic Resources
Availability Online Library~1

Repairing and Querying Databases under Aggregate Constraints

2024-11-01T23:01:51Z

Author Flesca, Sergio. author. Furfaro, Filippo. author. Parisi, Francesco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1641-8
Format: Electronic Resources
Availability Online Library~1

Glazed Panel Construction with Human-Robot Cooperation

2024-11-01T23:01:51Z

Author Lee, Seungyeol. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1418-6
Format: Electronic Resources
Availability Online Library~1

Bootstrapping Trust in Modern Computers

2024-11-01T23:01:51Z

Author Parno, Bryan. author. McCune, Jonathan M. author. Perrig, Adrian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1460-5
Format: Electronic Resources
Availability Online Library~1

Quantitative Security Risk Assessment of Enterprise Networks

2024-11-01T23:01:51Z

Author Ou, Xinming. author. Singhal, Anoop. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1860-3
Format: Electronic Resources
Availability Online Library~1

Interactive Co-segmentation of Objects in Image Collections

2024-11-01T23:01:51Z

Author Batra, Dhruv. author. Kowdle, Adarsh. author. Parikh, Devi. author. Luo, Jiebo. author. Chen, Tsuhan. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1915-0
Format: Electronic Resources
Availability Online Library~1

Explorations in Quantum Computing

2024-11-01T23:01:51Z

Author Williams, Colin P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-887-6
Format: Electronic Resources
Availability Online Library~1

Computer Vision Algorithms and Applications

2024-11-01T23:01:51Z

Author Szeliski, Richard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-935-0
Format: Electronic Resources
Availability Online Library~1

Specification of Software Systems

2024-11-01T23:01:51Z

Author Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-277-3
Format: Electronic Resources
Availability Online Library~1

The Computer Graphics Manual

2024-11-01T23:01:51Z

Author Salomon, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-886-7
Format: Electronic Resources
Availability Online Library~1

Voice over IP Security A Comprehensive Survey of Vulnerabilities and Academic Research

2024-11-01T23:01:51Z

Author Keromytis, Angelos D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9866-8
Format: Electronic Resources
Availability Online Library~1

Video Processing in the Cloud

2024-11-01T23:01:51Z

Author Pereira, Rafael Silva. author. Breitman, Karin K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2137-4
Format: Electronic Resources
Availability Online Library~1

Evolutionary Game Design

2024-11-01T23:01:51Z

Author Browne, Cameron. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2179-4
Format: Electronic Resources
Availability Online Library~1

Markov Models for Handwriting Recognition

2024-11-01T23:01:51Z

Author Plötz, Thomas. author. Fink, Gernot A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2188-6
Format: Electronic Resources
Availability Online Library~1

Guide to ILDJIT

2024-11-01T23:01:51Z

Author Campanoni, Simone. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2194-7
Format: Electronic Resources
Availability Online Library~1

Lossy Image Compression Domain Decomposition-Based Algorithms

2024-11-01T23:01:51Z

Author Shukla, K.K. author. Prasad, M.V. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2218-0
Format: Electronic Resources
Availability Online Library~1

Traffic-Sign Recognition Systems

2024-11-01T23:01:51Z

Author Escalera, Sergio. author. Baró, Xavier. author. Pujol, Oriol. author. Vitrià, Jordi. author. Radeva, Petia. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2245-6
Format: Electronic Resources
Availability Online Library~1

Demand-Driven Associative Classification

2024-11-01T23:01:51Z

Author Veloso, Adriano. author. Meira Jr., Wagner. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-525-5
Format: Electronic Resources
Availability Online Library~1

Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents

2024-11-01T23:01:51Z

Author Simari, Gerardo I. author. Parsons, Simon D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1472-8
Format: Electronic Resources
Availability Online Library~1

Methods and Tools of Parallel Programming Multicomputers Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Hsu, Ching-Hsien. editor. Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14822-4
Format: Electronic Resources
Availability Online Library~1

Property Testing Current Research and Surveys

2024-11-01T23:01:51Z

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

Transport Systems Telematics 10th Conference, TST 2010, Katowice – Ustroń, Poland, October 20-23, 2010. Selected Papers

2024-11-01T23:01:51Z

Author Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16472-9
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers

2024-11-01T23:01:51Z

Author Morazán, Marco T. editor. Scholz, Sven-Bodo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16478-1
Format: Electronic Resources
Availability Online Library~1

Facing the Multicore-Challenge Aspects of New Paradigms and Technologies in Parallel Computing

2024-11-01T23:01:51Z

Author Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16233-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science VIII

2024-11-01T23:01:51Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16236-7
Format: Electronic Resources
Availability Online Library~1

Software Technologies for Embedded and Ubiquitous Systems 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings

2024-11-01T23:01:51Z

Author Min, Sang Lyul. editor. Pettit, Robert. editor. Puschner, Peter. editor. Ungerer, Theo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16256-5
Format: Electronic Resources
Availability Online Library~1

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

2024-11-01T23:01:51Z

Author Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16277-0
Format: Electronic Resources
Availability Online Library~1

Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I

2024-11-01T23:01:51Z

Author Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16336-4
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology 5th International Conference, Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected Papers

2024-11-01T23:01:51Z

Author Bao, Feng. editor. Yung, Moti. editor. Lin, Dongdai. editor. Jing, Jiwu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16342-5
Format: Electronic Resources
Availability Online Library~1

Information Systems Security 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings

2024-11-01T23:01:51Z

Author Jha, Somesh. editor. Mathuria, Anish. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17714-9
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

2024-11-01T23:01:51Z

Author Rocha, Ricardo. editor. Launchbury, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18378-2
Format: Electronic Resources
Availability Online Library~1

Digital Watermarking 9th International Workshop, IWDW 2010, Seoul, Korea, October 1-3, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Kim, Hyoung-Joong. editor. Shi, Yun Qing. editor. Barni, Mauro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18405-5
Format: Electronic Resources
Availability Online Library~1

Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging International MICCAI Workshop, MCV 2010, Beijing, China, September 20, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Menze, Bjoern. editor. Langs, Georg. editor. Tu, Zhuowen. editor. Criminisi, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18421-5
Format: Electronic Resources
Availability Online Library~1

Combinatorial Algorithms 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Iliopoulos, Costas S. editor. Smyth, William F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19222-7
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers

2024-11-01T23:01:51Z

Author Domaratzki, Michael. editor. Salomaa, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18098-9
Format: Electronic Resources
Availability Online Library~1

Open Research Problems in Network Security IFIP WG 11.4 International Workshop, iNetSec 2010, Sofia, Bulgaria, March 5-6, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Camenisch, Jan. editor. Kisimov, Valentin. editor. Dubovitskaya, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19228-9
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

2024-11-01T23:01:51Z

Author Namjoshi, Kedar. editor. Zeller, Andreas. editor. Ziv, Avi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19237-1
Format: Electronic Resources
Availability Online Library~1

Passive and Active Measurement 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings

2024-11-01T23:01:51Z

Author Spring, Neil. editor. Riley, George F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19260-9
Format: Electronic Resources
Availability Online Library~1

Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings

2024-11-01T23:01:51Z

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

Computer Vision – ACCV 2010 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010, Revised Selected Papers, Part IV

2024-11-01T23:01:51Z

Author Kimmel, Ron. editor. Klette, Reinhard. editor. Sugimoto, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19282-1
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2010 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010, Revised Selected Papers, Part II

2024-11-01T23:01:51Z

Author Kimmel, Ron. editor. Klette, Reinhard. editor. Sugimoto, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19309-5
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2010 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010, Revised Selected Papers, Part I

2024-11-01T23:01:51Z

Author Kimmel, Ron. editor. Klette, Reinhard. editor. Sugimoto, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19315-6
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2010 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010, Revised Selected Papers, Part III

2024-11-01T23:01:51Z

Author Kimmel, Ron. editor. Klette, Reinhard. editor. Sugimoto, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19318-7
Format: Electronic Resources
Availability Online Library~1

ICT Innovations 2010 Second International Conference, ICT Innovations 2010, Ohrid Macedonia, September 12-15, 2010. Revised Selected Papers

2024-11-01T23:01:51Z

Author Gusev, Marjan. editor. Mitrevski, Pece. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19325-5
Format: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science – VECPAR 2010 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Palma, José M. Laginha M. editor. Daydé, Michel. editor. Marques, Osni. editor. Lopes, João Correia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19328-6
Format: Electronic Resources
Availability Online Library~1

Data Privacy Management and Autonomous Spontaneous Security 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Garcia-Alfaro, Joaquin. editor. Navarro-Arribas, Guillermo. editor. Cavalli, Ana. editor. Leneutre, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19348-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing and Information Science International Conference, ICICIS 2011, Chongqing, China, January 8-9, 2011. Proceedings, Part II

2024-11-01T23:01:51Z

Author Chen, Ran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18134-4
Format: Electronic Resources
Availability Online Library~1

Public Key Cryptography – PKC 2011 14th International Conference on Practice and Theory in Public Key Cryptography, Taormina, Italy, March 6-9, 2011. Proceedings

2024-11-01T23:01:51Z

Author Catalano, Dario. editor. Fazio, Nelly. editor. Gennaro, Rosario. editor. Nicolosi, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19379-8
Format: Electronic Resources
Availability Online Library~1

Multi-Agent-Based Simulation XI International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Bosse, Tibor. editor. Geller, Armando. editor. Jonker, Catholijn M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18345-4
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction, Tourism and Cultural Heritage First International Workshop, HCITOCH 2010, Brescello, Italy, September 7-8, 2010. Revised Selected Papers

2024-11-01T23:01:51Z

Author Cipolla Ficarra, Francisco V. editor. Castro Lozano, Carlos. editor. Nicol, Emma. editor. Kratky, Andreas. editor. Cipolla-Ficarra, Miguel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18348-5
Format: Electronic Resources
Availability Online Library~1

Algorithms and Data Structures 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011. Proceedings

2024-11-01T23:01:51Z

Author Dehne, Frank. editor. Iacono, John. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22300-6
Format: Electronic Resources
Availability Online Library~1

Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers

2024-11-01T23:01:51Z

Author Bezhanishvili, Nick. editor. Löbner, Sebastian. editor. Schwabe, Kerstin. editor. Spada, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22303-7
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

2024-11-01T23:01:51Z

Author Groce, Alex. editor. Musuvathi, Madanlal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22306-8
Format: Electronic Resources
Availability Online Library~1

Future Information Technology 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author Park, James J. editor. Yang, Laurence T. editor. Lee, Changhoon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22309-9
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings

2024-11-01T23:01:51Z

Author Mauri, Giancarlo. editor. Leporati, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22321-1
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Information Systems 16th International Conference on Applications of Natural Language to Information Systems, NLDB 2011, Alicante, Spain, June 28-30, 2011. Proceedings

2024-11-01T23:01:51Z

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

Future Information Technology 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

Author Park, James J. editor. Yang, Laurence T. editor. Lee, Changhoon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22333-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XII Special Issue on Cyberworlds

2024-11-01T23:01:51Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Sourin, Alexei. editor. Sourina, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22336-5
Format: Electronic Resources
Availability Online Library~1

Secure and Trust Computing, Data Management and Applications 8th FIRA International Conference, STA 2011, Loutraki, Greece, June 28-30, 2011. Proceedings

2024-11-01T23:01:51Z

Author Park, James J. editor. Lopez, Javier. editor. Yeo, Sang-Soo. editor. Shon, Taeshik. editor. Taniar, David. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22339-6
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part II

2024-11-01T23:01:51Z

Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21887-3
Format: Electronic Resources
Availability Online Library~1

Data and Applications Security and Privacy XXV 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011. Proceedings

2024-11-01T23:01:51Z

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

Scientific and Statistical Database Management 23rd International Conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011. Proceedings

2024-11-01T23:01:51Z

Author Bayard Cushing, Judith. editor. French, James. editor. Bowers, Shawn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22351-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development VIII

2024-11-01T23:01:51Z

Author Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22031-9
Format: Electronic Resources
Availability Online Library~1

User Modeling, Adaption and Personalization 19th International Conference, UMAP 2011, Girona, Spain, July 11-15, 2011. Proceedings

2024-11-01T23:01:51Z

Author Konstan, Joseph A. editor. Conejo, Ricardo. editor. Marzo, José L. editor. Oliver, Nuria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22362-4
Format: Electronic Resources
Availability Online Library~1

Software Composition 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings

2024-11-01T23:01:51Z

Author Apel, Sven. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22045-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

2024-11-01T23:01:51Z

Author Huzar, Zbigniew. editor. Koci, Radek. editor. Meyer, Bertrand. editor. Walter, Bartosz. editor. Zendulka, Jaroslav. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22386-0
Format: Electronic Resources
Availability Online Library~1

Digital Information Processing and Communications International Conference , ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

Author Snasel, Vaclav. editor. Platos, Jan. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22389-1
Format: Electronic Resources
Availability Online Library~1

Knowledge Processing and Data Analysis First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007 and First International Conference, KPP 2007,Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers

2024-11-01T23:01:51Z

Author Wolff, Karl Erich. editor. Palchunov, Dmitry E. editor. Zagoruiko, Nikolay G. editor. Andelfinger, Urs. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22140-8
Format: Electronic Resources
Availability Online Library~1

Detection of Intrusions and Malware, and Vulnerability Assessment 8th International Conference; DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011. Proceedings

2024-11-01T23:01:51Z

Author Holz, Thorsten. editor. Bos, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22424-9
Format: Electronic Resources
Availability Online Library~1

Networked Digital Technologies Third International Conference, NDT 2011, Macau, China, July 11-13, 2011. Proceedings

2024-11-01T23:01:51Z

Author Fong, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22185-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22191-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III

2024-11-01T23:01:51Z

Author Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22203-0
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Service Process Improvement 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings

2024-11-01T23:01:51Z

Author O‘Connor, Rory V. editor. Pries-Heje, Jan. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22206-1
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 18th International Colloquium, SIROCCO 2011, Gdańsk, Poland, June 26-29, 2011. Proceedings

2024-11-01T23:01:51Z

Author Kosowski, Adrian. editor. Yamashita, Masafumi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22212-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Medicine 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Bled, Slovenia, July 2-6, 2011. Proceedings

2024-11-01T23:01:51Z

Author Peleg, Mor. editor. Lavrač, Nada. editor. Combi, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22218-4
Format: Electronic Resources
Availability Online Library~1

Logical Aspects of Computational Linguistics 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings

2024-11-01T23:01:51Z

Author Pogodalla, Sylvain. editor. Prost, Jean-Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22221-4
Format: Electronic Resources
Availability Online Library~1

Web Engineering 11th International Conference, ICWE 2011, Paphos, Cyprus, June 20-24, 2011

2024-11-01T23:01:51Z

Author Auer, Sören. editor. Díaz, Oscar. editor. Papadopoulos, George A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22233-7
Format: Electronic Resources
Availability Online Library~1

Integrated Computing Technology First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31 – June 2, 2011. Proceedings

2024-11-01T23:01:51Z

Author Hruschka, Estevam Rafael. editor. Watada, Junzo. editor. Carmo Nicoletti, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22247-4
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings

2024-11-01T23:01:51Z

Author Bouchou-Markhoff, Béatrice. editor. Caron, Pascal. editor. Champarnaud, Jean-Marc. editor. Maurel, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22256-6
Format: Electronic Resources
Availability Online Library~1

Privacy Enhancing Technologies 11th International Symposium, PETS 2011, Waterloo, ON, Canada, July 27-29, 2011. Proceedings

2024-11-01T23:01:51Z

Author Fischer-Hübner, Simone. editor. Hopper, Nicholas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22263-4
Format: Electronic Resources
Availability Online Library~1

Datalog Reloaded First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers

2024-11-01T23:01:51Z

Author Moor, Oege. editor. Gottlob, Georg. editor. Furche, Tim. editor. Sellers, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24206-9
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23771-3
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011. Proceedings, Part I

2024-11-01T23:01:51Z

Author Gunopulos, Dimitrios. editor. Hofmann, Thomas. editor. Malerba, Donato. editor. Vazirgiannis, Michalis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23780-5
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author Gunopulos, Dimitrios. editor. Hofmann, Thomas. editor. Malerba, Donato. editor. Vazirgiannis, Michalis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23783-6
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming – CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings

2024-11-01T23:01:51Z

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

Multiple Access Communications 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011. Proceedings

2024-11-01T23:01:51Z

Author Sacchi, Claudio. editor. Bellalta, Boris. editor. Vinel, Alexey. editor. Schlegel, Christian. editor. Granelli, Fabrizio. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23795-9
Format: Electronic Resources
Availability Online Library~1

Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings

2024-11-01T23:01:51Z

Author Crnkovic, Ivica. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23798-0
Format: Electronic Resources
Availability Online Library~1

Collaboration and Technology 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011. Proceedings

2024-11-01T23:01:51Z

Author Vivacqua, Adriana S. editor. Gutwin, Carl. editor. Borges, Marcos R. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23801-7
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011, Proceedings, Part III

2024-11-01T23:01:51Z

Author Gunopulos, Dimitrios. editor. Hofmann, Thomas. editor. Malerba, Donato. editor. Vazirgiannis, Michalis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23808-6
Format: Electronic Resources
Availability Online Library~1

Computer Security – ESORICS 2011 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12-14,2011. Proceedings

2024-11-01T23:01:51Z

Author Atluri, Vijay. editor. Diaz, Claudia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23822-2
Format: Electronic Resources
Availability Online Library~1

Serious Games Development and Applications Second International Conference, SGDA 2011, Lisbon, Portugal, September 19-20, 2011. Proceedings

2024-11-01T23:01:51Z

Author Ma, Minhua. editor. Fradinho Oliveira, Manuel. editor. Madeiras Pereira, João. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23834-5
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based and Intelligent Information and Engineering Systems 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

Author König, Andreas. editor. Dengel, Andreas. editor. Hinkelmann, Knut. editor. Kise, Koichi. editor. Howlett, Robert J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23851-2
Format: Electronic Resources
Availability Online Library~1

ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

Author Cruz-Cunha, Maria Manuela. editor. Varajão, João. editor. Powell, Philip. editor. Martinho, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24358-5
Format: Electronic Resources
Availability Online Library~1

Adaptive and Intelligent Systems Second International Conference, ICAIS 2011, Klagenfurt, Austria, September 6-8, 2011. Proceedings

2024-11-01T23:01:51Z

Author Bouchachia, Abdelhamid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23857-4
Format: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings

2024-11-01T23:01:51Z

Author Tinelli, Cesare. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24364-6
Format: Electronic Resources
Availability Online Library~1

Knowlege-Based and Intelligent Information and Engineering Systems 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author König, Andreas. editor. Dengel, Andreas. editor. Hinkelmann, Knut. editor. Kise, Koichi. editor. Howlett, Robert J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23863-5
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition in Bioinformatics 6th IAPR International Conference, PRIB 2011, Delft, The Netherlands, November 2-4, 2011. Proceedings

2024-11-01T23:01:51Z

Author Loog, Marco. editor. Wessels, Lodewyk. editor. Reinders, Marcel J. T. editor. Ridder, Dick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24855-9
Format: Electronic Resources
Availability Online Library~1

AI 2011: Advances in Artificial Intelligence 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings

2024-11-01T23:01:51Z

Author Wang, Dianhui. editor. Reynolds, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25832-9
Format: Electronic Resources
Availability Online Library~1

Security Protocols XIX 19th International Workshop, Cambridge, UK, March 28-30, 2011, Revised Selected Papers

2024-11-01T23:01:51Z

Author Christianson, Bruce. editor. Crispo, Bruno. editor. Malcolm, James. editor. Stajano, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25867-1
Format: Electronic Resources
Availability Online Library~1

Network Performance Engineering A Handbook on Convergent Multi-Service Networks and Next Generation Internet

2024-11-01T23:01:51Z

Author Kouvatsos, Demetres D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02742-0
Format: Electronic Resources
Availability Online Library~1

Advances in Databases and Information Systems 14th East European Conference, ADBIS 2010, Novi Sad, Serbia, September 20-24, 2010. Proceedings

2024-11-01T23:01:51Z

Author Catania, Barbara. editor. Ivanović, Mirjana. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15576-5
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Information Processing - PCM 2010 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 2010, Proceedings, Part II

2024-11-01T23:01:51Z

Author Qiu, Guoping. editor. Lam, Kin Man. editor. Kiya, Hitoshi. editor. Xue, Xiang-Yang. editor. Kuo, C.-C. Jay. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15696-0
Format: Electronic Resources
Availability Online Library~1

AI 2010: Advances in Artificial Intelligence 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings

2024-11-01T23:01:51Z

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

Advances in Computing, Communication and Control International Conference, ICAC3 2011, Mumbai, India, January 28-29, 2011. Proceedings

2024-11-01T23:01:51Z

Author Unnikrishnan, Srija. editor. Surve, Sunil. editor. Bhoir, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18440-6
Format: Electronic Resources
Availability Online Library~1

Vagueness in Communication International Workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers

2024-11-01T23:01:51Z

Author Nouwen, Rick. editor. Rooij, Robert. editor. Sauerland, Uli. editor. Schmitz, Hans-Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18446-8
Format: Electronic Resources
Availability Online Library~1

Adaptive Multimedia Retrieval. Understanding Media and Adapting to the User 7th International Workshop, AMR 2009, Madrid, Spain, September 24-25, 2009, Revised Selected Papers

2024-11-01T23:01:51Z

Author Detyniecki, Marcin. editor. García-Serrano, Ana. editor. Nürnberger, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18449-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Edutainment V

2024-11-01T23:01:51Z

Author Pan, Zhigeng. editor. Cheok, Adrian David. editor. Müller, Wolfgang. editor. Yang, Xubo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18452-9
Format: Electronic Resources
Availability Online Library~1

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

2024-11-01T23:01:51Z

Author Dimov, Ivan. editor. Dimova, Stefka. editor. Kolkovska, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18466-6
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers

2024-11-01T23:01:51Z

Author Brandes, Ulrik. editor. Cornelsen, Sabine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18469-7
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18472-7
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery, Knowlege Engineering and Knowledge Management First International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009, Revised Selected Papers

2024-11-01T23:01:51Z

Author Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19032-2
Format: Electronic Resources
Availability Online Library~1

Digital Privacy PRIME - Privacy and Identity Management for Europe

2024-11-01T23:01:51Z

Author Camenisch, Jan. editor. Leenes, Ronald. editor. Sommer, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19050-6
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings

2024-11-01T23:01:51Z

Author Natarajan, Raja. editor. Ojo, Adegboyega. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19056-8
Format: Electronic Resources
Availability Online Library~1

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

2024-11-01T23:01:51Z

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

WALCOM: Algorithms and Computation 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings

2024-11-01T23:01:51Z

Author Katoh, Naoki. editor. Kumar, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19094-0
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

2024-11-01T23:01:51Z

Author Jhala, Ranjit. editor. Schmidt, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18275-4
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems - ARCS 2011 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings

2024-11-01T23:01:51Z

Author Berekovic, Mladen. editor. Fornaciari, William. editor. Brinkschulte, Uwe. editor. Silvano, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19137-4
Format: Electronic Resources
Availability Online Library~1

Self-Organizing Systems 5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24. 2011. Proceedings

2024-11-01T23:01:51Z

Author Bettstetter, Christian. editor. Gershenson, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19167-1
Format: Electronic Resources
Availability Online Library~1

Web and Wireless Geographical Information Systems 10th International Symposium, W2GIS 2011, Kyoto, Japan, March 3-4, 2011. Proceedings

2024-11-01T23:01:51Z

Author Tanaka, Katsumi. editor. Fröhlich, Peter. editor. Kim, Kyoung-Sook. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19173-2
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks 8th European Conference, EWSN 2011, Bonn, Germany, February 23-25, 2011. Proceedings

2024-11-01T23:01:51Z

Author Marrón, Pedro José. editor. Whitehouse, Kamin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19186-2
Format: Electronic Resources
Availability Online Library~1

Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers

2024-11-01T23:01:51Z

Author Gleizes, Marie-Pierre. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19208-1
Format: Electronic Resources
Availability Online Library~1

Ludics, Dialogue and Interaction PRELUDE Project - 2006-2009. Revised Selected Papers

2024-11-01T23:01:51Z

Author Lecomte, Alain. editor. Tronçon, Samuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19211-1
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2024-11-01T23:01:51Z

Author Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19835-9
Format: Electronic Resources
Availability Online Library~1

Information and Automation International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers

2024-11-01T23:01:51Z

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

Requirements Engineering: Foundation for Software Quality 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings

2024-11-01T23:01:51Z

Author Berry, Daniel. editor. Franch, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19858-8
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2024-11-01T23:01:51Z

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

Discrete Geometry for Computer Imagery 16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011. Proceedings

2024-11-01T23:01:51Z

Author Debled-Rennesson, Isabelle. editor. Domenjoud, Eric. editor. Kerautret, Bertrand. editor. Even, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19867-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2024-11-01T23:01:51Z

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

Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2024-11-01T23:01:51Z

Author Giannakopoulou, Dimitra. editor. Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19811-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19829-8
Format: Electronic Resources
Availability Online Library~1

Interdisciplinary Approaches to Adaptive Learning. A Look at the Neighbours First International Conference on Interdisciplinary Research on Technology, Education and Communication, ITEC 2010, Kortrijk, Belgium, May 25-27, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Wannemacker, Stefan. editor. Clarebout, Geraldine. editor. Causmaecker, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20074-8
Format: Electronic Resources
Availability Online Library~1

e-Business and Telecommunications 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papers

2024-11-01T23:01:51Z

Author Obaidat, Mohammad S. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20077-9
Format: Electronic Resources
Availability Online Library~1

Software and Data Technologies 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers

2024-11-01T23:01:51Z

Author Cordeiro, José. editor. Ranchordas, AlpeshKumar. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20116-5
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2011 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, May 15-19, 2011. Proceedings

2024-11-01T23:01:51Z

Author Paterson, Kenneth G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20465-4
Format: Electronic Resources
Availability Online Library~1

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings

2024-11-01T23:01:51Z

Author Das, Vinu V. editor. Thankachan, Nessy. editor. Debnath, Narayan C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20499-9
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings

2024-11-01T23:01:51Z

Author Valtchev, Petko. editor. Jäschke, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20514-9
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author Chio, Cecilia. editor. Brabazon, Anthony. editor. Caro, Gianni A. editor. Drechsler, Rolf. editor. Farooq, Muddassar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20520-0
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

Author Chio, Cecilia. editor. Cagnoni, Stefano. editor. Cotta, Carlos. editor. Ebner, Marc. editor. Ekárt, Anikó. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20525-5
Format: Electronic Resources
Availability Online Library~1

New Horizons in Web-Based Learning - ICWL 2010 Workshops ICWL 2010 Workshops: STEG, CICW, WGLBWS, and IWKDEWL, Shanghai, China, December 7-11, 2010 Revised Selected Papers

2024-11-01T23:01:51Z

Author Luo, Xiangfeng. editor. Cao, Yiwei. editor. Yang, Bo. editor. Liu, Jianxun. editor. Ye, Feiyue. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20539-2
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Alpuente, María. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20551-4
Format: Electronic Resources
Availability Online Library~1

Information Technology and Mobile Communication International Conference, AIM 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings

2024-11-01T23:01:51Z

Author Das, Vinu V. editor. Thomas, Gylson. editor. Lumban Gaol, Ford. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20573-6
Format: Electronic Resources
Availability Online Library~1

Applications of Declarative Programming and Knowledge Management 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers

2024-11-01T23:01:51Z

Author Abreu, Salvador. editor. Seipel, Dietmar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20589-7
Format: Electronic Resources
Availability Online Library~1

GeoSpatial Semantics 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011. Proceedings

2024-11-01T23:01:51Z

Author Claramunt, Christophe. editor. Levashkin, Sergei. editor. Bertolotto, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20630-6
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Perspectives in Design Science Research 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings

2024-11-01T23:01:51Z

Author Jain, Hemant. editor. Sinha, Atish P. editor. Vitharana, Padmal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20633-7
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings

2024-11-01T23:01:51Z

Author Pardalos, Panos M. editor. Rebennack, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20662-7
Format: Electronic Resources
Availability Online Library~1

Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

2024-11-01T23:01:51Z

Author Meyden, Ron. editor. Smaus, Jan-Georg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20674-0
Format: Electronic Resources
Availability Online Library~1

Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers

2024-11-01T23:01:51Z

Author Omicini, Andrea. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20715-0
Format: Electronic Resources
Availability Online Library~1

Information Theoretic Security 5th International Conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011. Proceedings

2024-11-01T23:01:51Z

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

Advances in Grid and Pervasive Computing 6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011. Proceedings

2024-11-01T23:01:51Z

Author Riekki, Jukka. editor. Ylianttila, Mika. editor. Guo, Minyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20754-9
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2011 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

Author Domingo-Pascual, Jordi. editor. Manzoni, Pietro. editor. Palazzo, Sergio. editor. Pont, Ana. editor. Scoglio, Caterina. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20757-0
Format: Electronic Resources
Availability Online Library~1

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

2024-11-01T23:01:51Z

Author Mariño, Julio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20775-4
Format: Electronic Resources
Availability Online Library~1

Knowledge-Driven Multimedia Information Extraction and Ontology Evolution Bridging the Semantic Gap

2024-11-01T23:01:51Z

Author Paliouras, Georgios. editor. Spyropoulos, Constantine D. editor. Tsatsaronis, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20795-2
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2011 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author Domingo-Pascual, Jordi. editor. Manzoni, Pietro. editor. Palazzo, Sergio. editor. Pont, Ana. editor. Scoglio, Caterina. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20798-3
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatoral Optimization 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings

2024-11-01T23:01:51Z

Author Günlük, Oktay. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20807-2
Format: Electronic Resources
Availability Online Library~1

Advances in New Technologies, Interactive Interfaces, and Communicability First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Cipolla Ficarra, Francisco V. editor. Castro Lozano, Carlos. editor. Pérez Jiménez, Mauricio. editor. Nicol, Emma. editor. Kratky, Andreas. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20810-2
Format: Electronic Resources
Availability Online Library~1

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

2024-11-01T23:01:51Z

Author Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20832-4
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 15th Pacific-Asia Conference, PAKDD 2011, Shenzhen, China, May 24-27, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

Author Huang, Joshua Zhexue. editor. Cao, Longbing. editor. Srivastava, Jaideep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20841-6
Format: Electronic Resources
Availability Online Library~1

Graph-Based Representations in Pattern Recognition 8th IAPR-TC-15 International Workshop, GbRPR 2011, Münster, Germany, May 18-20, 2011. Proceedings

2024-11-01T23:01:51Z

Author Jiang, Xiaoyi. editor. Ferrer, Miquel. editor. Torsello, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20844-7
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 15th Pacific-Asia Conference, PAKDD 2011, Shenzhen, China, May 24-27, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author Huang, Joshua Zhexue. editor. Cao, Longbing. editor. Srivastava, Jaideep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20847-8
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings

2024-11-01T23:01:51Z

Author Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20877-5
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

2024-11-01T23:01:51Z

Author Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20895-9
Format: Electronic Resources
Availability Online Library~1

The Future Internet Future Internet Assembly 2011: Achievements and Technological Promises

2024-11-01T23:01:51Z

Author Domingue, John. editor. Galis, Alex. editor. Gavras, Anastasius. editor. Zahariadis, Theodore. editor. Lambert, Dave. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20898-0
Format: Electronic Resources
Availability Online Library~1

Coding and Cryptology Third International Workshop, IWCC 2011, Qingdao, China, May 30-June 3, 2011. Proceedings

2024-11-01T23:01:51Z

Author Chee, Yeow Meng. editor. Guo, Zhenbo. editor. Ling, San. editor. Shao, Fengjing. editor. Tang, Yuansheng. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20901-7
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

2024-11-01T23:01:51Z

Author Beklemishev, Lev D. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20920-8
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Computing and Multimedia Applications Second International Conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011. Proceedings, Part I

2024-11-01T23:01:51Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Robles, Rosslin John. editor. Balitanas, Maricel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20975-8
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Computing and Multimedia Applications Second International Conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011. Proceedings, Part II

2024-11-01T23:01:51Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Robles, Rosslin John. editor. Balitanas, Maricel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20998-7
Format: Electronic Resources
Availability Online Library~1

Functional Imaging and Modeling of the Heart 6th International Conference, FIMH 2011, New York City, NY, USA, May 25-27, 2011. Proceedings

2024-11-01T23:01:51Z

Author Metaxas, Dimitris N. editor. Axel, Leon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21028-0
Format: Electronic Resources
Availability Online Library~1

Information Security Practice and Experience 7th International Conference, ISPEC 2011, Guangzhou, China, May 30 – June 1, 2011. Proceedings

2024-11-01T23:01:51Z

Author Bao, Feng. editor. Weng, Jian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21031-0
Format: Electronic Resources
Availability Online Library~1

The Semantic Web: Research and Applications 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

Author Antoniou, Grigoris. editor. Grobelnik, Marko. editor. Simperl, Elena. editor. Parsia, Bijan. editor. Plexousakis, Dimitris. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21034-1
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication 5th IFIP WG 11.2 International Workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011. Proceedings

2024-11-01T23:01:51Z

Author Ardagna, Claudio A. editor. Zhou, Jianying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21040-2
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings

2024-11-01T23:01:51Z

Author Atallah, Mikhail. editor. Li, Xiang-Yang. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21204-8
Format: Electronic Resources
Availability Online Library~1

Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

2024-11-01T23:01:51Z

Author Dingel, Juergen. editor. Solberg, Arnor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21210-9
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

Author Corchado, Emilio. editor. Kurzyński, Marek. editor. Woźniak, Michał. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21219-2
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author Corchado, Emilio. editor. Kurzyński, Marek. editor. Woźniak, Michał. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21222-2
Format: Electronic Resources
Availability Online Library~1

Image Analysis 17th Scandinavian Conference, SCIA 2011, Ystad, Sweden, May 2011. Proceedings

2024-11-01T23:01:51Z

Author Heyden, Anders. editor. Kahl, Fredrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21227-7
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement and Capability Determination 11th International Conference, SPICE 2011, Dublin, Ireland, May 30 – June 1, 2011. Proceedings

2024-11-01T23:01:51Z

Author O’Connor, Rory V. editor. Rout, Terry. editor. McCaffery, Fergal. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21233-8
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings

2024-11-01T23:01:51Z

Author Dediu, Adrian-Horia. editor. Inenaga, Shunsuke. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21254-3
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Image Analysis 5th Iberian Conference, IbPRIA 2011, Las Palmas de Gran Canaria, Spain, June 8-10, 2011. Proceedings

2024-11-01T23:01:51Z

Author Vitrià, Jordi. editor. Sanches, João Miguel. editor. Hernández, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21257-4
Format: Electronic Resources
Availability Online Library~1

Bioinformatics Research and Applications 7th International Symposium, ISBRA 2011, Changsha, China, May 27-29, 2011. Proceedings

2024-11-01T23:01:51Z

Author Chen, Jianer. editor. Wang, Jianxin. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21260-4
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Agent Systems VI COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Vos, Marina. editor. Fornara, Nicoletta. editor. Pitt, Jeremy V. editor. Vouros, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21268-0
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Life. Darwin Meets von Neumann 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part I

2024-11-01T23:01:51Z

Author Kampis, George. editor. Karsai, István. editor. Szathmáry, Eörs. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21283-3
Format: Electronic Resources
Availability Online Library~1

Algorithms and Models for the Web Graph 8th International Workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011. Proceedings

2024-11-01T23:01:51Z

Author Frieze, Alan. editor. Horn, Paul. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21286-4
Format: Electronic Resources
Availability Online Library~1

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21292-5
Format: Electronic Resources
Availability Online Library~1

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

2024-11-01T23:01:51Z

Author Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21350-2
Format: Electronic Resources
Availability Online Library~1

Multidisciplinary Information Retrieval Second Information Retrieval Facility Conference, IRFC 2011, Vienna, Austria, June 6, 2011. Proceedings

2024-11-01T23:01:51Z

Author Hanbury, Allan. editor. Rauber, Andreas. editor. Vries, Arjen P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21353-3
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

2024-11-01T23:01:51Z

Author Felber, Pascal. editor. Rouvoy, Romain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21387-8
Format: Electronic Resources
Availability Online Library~1

FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

2024-11-01T23:01:51Z

Author Butler, Michael. editor. Schulte, Wolfram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21437-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

2024-11-01T23:01:51Z

Author Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21455-4
Format: Electronic Resources
Availability Online Library~1

Combinatorial Pattern Matching 22nd Annual Symposium, CPM 2011, Palermo, Italy, June 27-29, 2011. Proceedings

2024-11-01T23:01:51Z

Author Giancarlo, Raffaele. editor. Manzini, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21458-5
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

2024-11-01T23:01:51Z

Author Bruni, Roberto. editor. Dingel, Juergen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21461-5
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

2024-11-01T23:01:51Z

Author Meuter, Wolfgang. editor. Roman, Gruia-Catalin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21464-6
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

2024-11-01T23:01:51Z

Author France, Robert B. editor. Kuester, Jochen M. editor. Bordbar, Behzad. editor. Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21470-7
Format: Electronic Resources
Availability Online Library~1

Multidisciplinary Aspects of Time and Time Perception COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Vatakis, Argiro. editor. Esposito, Anna. editor. Giagkou, Maria. editor. Cummins, Fred. editor. Papadelis, Georgios. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21478-3
Format: Electronic Resources
Availability Online Library~1

Managing the Dynamics of Networks and Services 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011. Proceedings

2024-11-01T23:01:51Z

Author Chrisment, Isabelle. editor. Couch, Alva. editor. Badonnel, Rémi. editor. Waldburger, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21484-4
Format: Electronic Resources
Availability Online Library~1

OpenMP in the Petascale Era 7th International Workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011. Proceedings

2024-11-01T23:01:51Z

Author Chapman, Barbara M. editor. Gropp, William D. editor. Kumaran, Kalyan. editor. Müller, Matthias S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21487-5
Format: Electronic Resources
Availability Online Library~1

Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

2024-11-01T23:01:51Z

Author Pogodalla, Sylvain. editor. Quatrini, Myriam. editor. Retoré, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21490-5
Format: Electronic Resources
Availability Online Library~1

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings

2024-11-01T23:01:51Z

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

Advances in Computational Intelligence 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author Cabestany, Joan. editor. Rojas, Ignacio. editor. Joya, Gonzalo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21498-1
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

Author Cabestany, Joan. editor. Rojas, Ignacio. editor. Joya, Gonzalo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21501-8
Format: Electronic Resources
Availability Online Library~1

Information Processing in Computer-Assisted Interventions Second International Conference, IPCAI 2011, Berlin, Germany, June 22, 2011. Proceedings

2024-11-01T23:01:51Z

Author Taylor, Russell H. editor. Yang, Guang-Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21504-9
Format: Electronic Resources
Availability Online Library~1

Ambient Assisted Living Third International Workshop, IWAAL 2011, Held at IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011. Proceedings

2024-11-01T23:01:51Z

Author Bravo, José. editor. Hervás, Ramón. editor. Villarreal, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21303-8
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Chai, Yi. editor. Wang, Guoyin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21515-5
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

2024-11-01T23:01:51Z

Author Achterberg, Tobias. editor. Beck, J. Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21311-3
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Life. Darwin Meets von Neumann 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part II

2024-11-01T23:01:51Z

Author Kampis, George. editor. Karsai, István. editor. Szathmáry, Eörs. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21314-4
Format: Electronic Resources
Availability Online Library~1

Network Optimization 5th International Conference, INOC 2011, Hamburg, Germany, June 13-16, 2011. Proceedings

2024-11-01T23:01:51Z

Author Pahl, Julia. editor. Reiners, Torsten. editor. Voß, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21527-8
Format: Electronic Resources
Availability Online Library~1

End-User Development Third International Symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. Proceedings

2024-11-01T23:01:51Z

Author Costabile, Maria Francesca. editor. Dittrich, Yvonne. editor. Fischer, Gerhard. editor. Piccinno, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21530-8
Format: Electronic Resources
Availability Online Library~1

New Challenges on Bioinspired Applications 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part II

2024-11-01T23:01:51Z

Author Ferrández, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz, Félix. editor. Toledo, F. Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21326-7
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

2024-11-01T23:01:51Z

Author Romanovsky, Alexander. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21338-0
Format: Electronic Resources
Availability Online Library~1

Toward Useful Services for Elderly and People with Disabilities 9th International Conference on Smart Homes and Health Telematics, ICOST 2011, Montreal, Canada, June 20-22, 2011. Proceedings

2024-11-01T23:01:51Z

Author Abdulrazak, Bessam. editor. Giroux, Sylvain. editor. Bouchard, Bruno. editor. Pigot, Hélène. editor. Mokhtari, Mounir. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21535-3
Format: Electronic Resources
Availability Online Library~1

Autonomous and Intelligent Systems Second International Conference, AIS 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings

2024-11-01T23:01:51Z

Author Kamel, Mohamed. editor. Karray, Fakhri. editor. Gueaieb, Wail. editor. Khamis, Alaa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21538-4
Format: Electronic Resources
Availability Online Library~1

Top Productivity through Software Reuse 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

2024-11-01T23:01:51Z

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

Progress in Cryptology – AFRICACRYPT 2011 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011. Proceedings

2024-11-01T23:01:51Z

Author Nitaj, Abderrahmane. editor. Pointcheval, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21969-6
Format: Electronic Resources
Availability Online Library~1

Research and Education in Robotics - EUROBOT 2011 International Conference, Prague, Czech Republic, June 15-17, 2011. Proceedings

2024-11-01T23:01:51Z

Author Obdržálek, David. editor. Gottscheber, Achim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21975-7
Format: Electronic Resources
Availability Online Library~1

Digital Information and Communication Technology and Its Applications International Conference, DICTAP 2011, Dijon, France, June 21-23, 2011. Proceedings, Part I

2024-11-01T23:01:51Z

Author Cherifi, Hocine. editor. Zain, Jasni Mohamad. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21984-9
Format: Electronic Resources
Availability Online Library~1

Agent and Multi-Agent Systems: Technologies and Applications 5th KES International Conference, KES-AMSTA 2011, Manchester, UK, June 29 – July 1, 2011. Proceedings

2024-11-01T23:01:51Z

Author O’Shea, James. editor. Nguyen, Ngoc Thanh. editor. Crockett, Keeley. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22000-5
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

Author Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22006-7
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22012-8
Format: Electronic Resources
Availability Online Library~1

Virtual and Mixed Reality - New Trends International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

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

Virtual and Mixed Reality - Systems and Applications International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author Shumaker, Randall. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22024-1
Format: Electronic Resources
Availability Online Library~1

Digital Information and Communication Technology and Its Applications International Conference, DICTAP 2011, Dijon, France, June 21-23, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author Cherifi, Hocine. editor. Zain, Jasni Mohamad. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22027-2
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

2024-11-01T23:01:51Z

Author Leite, João. editor. Torroni, Paolo. editor. Ågotnes, Thomas. editor. Boella, Guido. editor. Torre, Leon. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22359-4
Format: Electronic Resources
Availability Online Library~1

Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2011, Beijing, China, July 9, 2011. Proceedings

2024-11-01T23:01:51Z

Author Chau, Michael. editor. Wang, G. Alan. editor. Zheng, Xiaolong. editor. Chen, Hsinchun. editor. Zeng, Daniel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22039-5
Format: Electronic Resources
Availability Online Library~1

Secure and Trust Computing, Data Management, and Applications STA 2011 Workshops: IWCS 2011 and STAVE 2011, Loutraki, Greece, June 28-30, 2011. Proceedings

2024-11-01T23:01:51Z

Author Lee, Changhoon. editor. Seigneur, Jean-Marc. editor. Park, James J. editor. Wagner, Roland R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22365-5
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings

2024-11-01T23:01:51Z

Author Liò, Pietro. editor. Nicosia, Giuseppe. editor. Stibor, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22371-6
Format: Electronic Resources
Availability Online Library~1

Enhancing Learning Through Technology. Education Unplugged: Mobile Technologies and Web 2.0 6th International Conference, ITC 2011, Hong Kong, China, July 11-13, 2011. Proceedings

2024-11-01T23:01:51Z

Author Kwan, Reggie. editor. McNaught, Carmel. editor. Tsang, Philip. editor. Wang, Fu Lee. editor. Li, Kam Cheong. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22383-9
Format: Electronic Resources
Availability Online Library~1

Information Processing in Medical Imaging 22nd International Conference, IPMI 2011, Kloster Irsee, Germany, July 3-8, 2011. Proceedings

2024-11-01T23:01:51Z

Author Székely, Gábor. editor. Hahn, Horst K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22092-0
Format: Electronic Resources
Availability Online Library~1

HCI International 2011 – Posters’ Extended Abstracts International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

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

HCI International 2011 – Posters’ Extended Abstracts International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

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

Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

2024-11-01T23:01:51Z

Author Gopalakrishnan, Ganesh. editor. Qadeer, Shaz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22110-1
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

2024-11-01T23:01:51Z

Author Brünnler, Kai. editor. Metcalfe, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22119-4
Format: Electronic Resources
Availability Online Library~1

Security Protocols XVI 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers

2024-11-01T23:01:51Z

Author Christianson, Bruce. editor. Malcolm, James A. editor. Matyas, Vashek. editor. Roe, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22137-8
Format: Electronic Resources
Availability Online Library~1

Digital Information Processing and Communications International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part II

2024-11-01T23:01:51Z

Author Snasel, Vaclav. editor. Platos, Jan. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22410-2
Format: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings

2024-11-01T23:01:51Z

Author Liu, Weiru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22152-1
Format: Electronic Resources
Availability Online Library~1

Advances in Information Technology and Education International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

Author Tan, Honghua. editor. Zhou, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22418-8
Format: Electronic Resources
Availability Online Library~1

Collaborative Agents - Research and Development International Workshops, CARE@AI09 2009 / CARE@IAT10 2010, Melbourne Australia, December 1, 2009 and Toronto Canada, August 31, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Guttmann, Christian. editor. Dignum, Frank. editor. Georgeff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22427-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

Author Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22170-5
Format: Electronic Resources
Availability Online Library~1

Automated Deduction – CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

2024-11-01T23:01:51Z

Author Bjørner, Nikolaj. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22438-6
Format: Electronic Resources
Availability Online Library~1

Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

2024-11-01T23:01:51Z

Author Cuellar, Jorge. editor. Lopez, Javier. editor. Barthe, Gilles. editor. Pretschner, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22444-7
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part III

2024-11-01T23:01:51Z

Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21931-3
Format: Electronic Resources
Availability Online Library~1

Argumentation in Multi-Agent Systems 7th International Workshop, ArgMAS 2010 Toronto, ON, Canada, May 10, 2010 Revised, Selected and Invited Papers

2024-11-01T23:01:51Z

Author McBurney, Peter. editor. Rahwan, Iyad. editor. Parsons, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21940-5
Format: Electronic Resources
Availability Online Library~1

Smart Graphics 11th International Symposium, SG 2011, Bremen, Germany, July 18-20, 2011. Proceedings

2024-11-01T23:01:51Z

Author Dickmann, Lutz. editor. Volkmann, Gerald. editor. Malaka, Rainer. editor. Boll, Susanne. editor. Krüger, Antonio. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22571-0
Format: Electronic Resources
Availability Online Library~1

High Performance Architecture and Grid Computing International Conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011. Proceedings

2024-11-01T23:01:51Z

Author Mantri, Archana. editor. Nandi, Suman. editor. Kumar, Gaurav. editor. Kumar, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22577-2
Format: Electronic Resources
Availability Online Library~1

A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots

2024-11-01T23:01:51Z

Author Hartanto, Ronny. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22580-2
Format: Electronic Resources
Availability Online Library~1

Computer Networks and Intelligent Computing 5th International Conference on Information Processing, ICIP 2011, Bangalore, India, August 5-7, 2011. Proceedings

2024-11-01T23:01:51Z

Author Venugopal, K. R. editor. Patnaik, L. M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22786-8
Format: Electronic Resources
Availability Online Library~1

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

2024-11-01T23:01:51Z

Author Kaiser, Łukasz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22807-0
Format: Electronic Resources
Availability Online Library~1

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 14th International Workshop, APPROX 2011, and 15th International Workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011. Proceedings

2024-11-01T23:01:51Z

Author Goldberg, Leslie Ann. editor. Jansen, Klaus. editor. Ravi, R. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22935-0
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers

2024-11-01T23:01:51Z

Author Page, Rex. editor. Horváth, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22941-1
Format: Electronic Resources
Availability Online Library~1

Data Management in Grid and Peer-to-Peer Systems 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings

2024-11-01T23:01:51Z

Author Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22947-3
Format: Electronic Resources
Availability Online Library~1

Haptic and Audio Interaction Design 6th International Workshop, HAID 2011, Kusatsu, Japan, August 25-26, 2011. Proceedings

2024-11-01T23:01:51Z

Author Cooper, Eric W. editor. Kryssanov, Victor V. editor. Ogawa, Hitoshi. editor. Brewster, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22950-3
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

2024-11-01T23:01:51Z

Author Owe, Olaf. editor. Steffen, Martin. editor. Telle, Jan Arne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22953-4
Format: Electronic Resources
Availability Online Library~1

Electronic Government and the Information Systems Perspective Second International Conference, EGOVIS 2011, Toulouse, France, August 29 – September 2, 2011. Proceedings

2024-11-01T23:01:51Z

Author Andersen, Kim Normann. editor. Francesconi, Enrico. editor. Grönlund, Åke. editor. Engers, Tom M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22961-9
Format: Electronic Resources
Availability Online Library~1

Advances in Bioinformatics and Computational Biology 6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasilia, Brazil, August 10-12, 2011. Proceedings

2024-11-01T23:01:51Z

Author Norberto de Souza, Osmar. editor. Telles, Guilherme P. editor. Palakal, Mathew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22825-4
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

2024-11-01T23:01:51Z

Author Eekelen, Marko. editor. Geuvers, Herman. editor. Schmaltz, Julien. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22863-6
Format: Electronic Resources
Availability Online Library~1

Smart Spaces and Next Generation Wired/Wireless Networking 11th International Conference, NEW2AN 2011, and 4th Conference on Smart Spaces, ruSMART 2011, St. Petersburg, Russia, August 22-25, 2011. Proceedings

2024-11-01T23:01:51Z

Author Balandin, Sergey. editor. Koucheryavy, Yevgeni. editor. Hu, Honglin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22875-9
Format: Electronic Resources
Availability Online Library~1

Electronic Government 10th IFIP WG 8.5 International Conference, EGOV 2011, Delft, The Netherlands, August 28 – September 2, 2011. Proceedings

2024-11-01T23:01:51Z

Author Janssen, Marijn. editor. Scholl, Hans J. editor. Wimmer, Maria A. editor. Tan, Yao-hua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22878-0
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011. Proceedings

2024-11-01T23:01:51Z

Author Schmidhuber, Jürgen. editor. Thórisson, Kristinn R. editor. Looks, Moshe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22887-2
Format: Electronic Resources
Availability Online Library~1

Trust, Privacy and Security in Digital Business 8th International Conference, TrustBus 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings

2024-11-01T23:01:51Z

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

Information Technology in Bio- and Medical Informatics Second International Conference, ITBAM 2011, Toulouse, France, August 31 - September 1, 2011. Proceedings

2024-11-01T23:01:51Z

Author Böhm, Christian. editor. Khuri, Sami. editor. Lhotská, Lenka. editor. Pisanti, Nadia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23208-4
Format: Electronic Resources
Availability Online Library~1

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

2024-11-01T23:01:51Z

Author Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23211-4
Format: Electronic Resources
Availability Online Library~1

Applied Informatics and Communication International Conference, ICAIC 2011,Xi’an, China, August 20-21, 2011, Proceedings, Part I

2024-11-01T23:01:51Z

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