Search Results for Computer science. - Narrowed by: 2012

Applied Computer Science

2026-05-11T20:32:32Z

Author Torbert, Shane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1888-7
Format: Electronic Resources
Availability Online Library~1

Computer science : an overview

2026-05-11T20:32:32Z

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

Computer science : an overview

2026-05-11T20:32:32Z

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

Computer and Information Science 2012

2026-05-11T20:32:32Z

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

Advances in Computer Science and Education

2026-05-11T20:32:32Z

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

Advances in Computer Science and Engineering

2026-05-11T20:32:32Z

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

Mathematical Logic for Computer Science

2026-05-11T20:32:32Z

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

Instruction Sequences for Computer Science

2026-05-11T20:32:32Z

Author Bergstra, Jan A. author. Middelburg, Cornelis A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-65-7
Format: Electronic Resources
Availability Online Library~1

Mathematics of Discrete Structures for Computer Science

2026-05-11T20:32:32Z

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

Computer Science and its Applications CSA 2012

2026-05-11T20:32:32Z

Author Yeo, Sang-Soo. editor. Pan, Yi. editor. Lee, Yang Sun. editor. Chang, Hang Bae. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-5699-1
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25929-6
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings

2026-05-11T20:32:32Z

Author Hirsch, Edward A. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. Prilutskii, Michail. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30642-6
Format: Electronic Resources
Availability Online Library~1

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

2026-05-11T20:32:32Z

Author Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31570-1
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

2026-05-11T20:32:32Z

Author Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33314-9
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings

2026-05-11T20:32:32Z

Author Baeten, Jos C. M. editor. Ball, Tom. editor. Boer, Frank S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33475-7
Format: Electronic Resources
Availability Online Library~1

Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers

2026-05-11T20:32:32Z

Author Dinneen, Michael J. editor. Khoussainov, Bakhadyr. editor. Nies, André. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27654-5
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings

2026-05-11T20:32:32Z

Author Bieliková, Mária. editor. Friedrich, Gerhard. editor. Gottlob, Georg. editor. Katzenbeisser, Stefan. editor. Turán, György. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27660-6
Format: Electronic Resources
Availability Online Library~1

Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

2026-05-11T20:32:32Z

Author Pattinson, Dirk. editor. Schröder, Lutz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32784-1
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers

2026-05-11T20:32:32Z

Author Golumbic, Martin Charles. editor. Stern, Michal. editor. Levy, Avivit. editor. Morgenstern, Gila. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34611-8
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

2026-05-11T20:32:32Z

Author Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32589-2
Format: Electronic Resources
Availability Online Library~1

Advanced research on material science, environmental science and computer science selected, peer reviewed papers from the 2012 2nd International Conference on Material Science, Environmental Science and Computer Science (MSESCS2012) August 25-26, 2012, Wuhan, China

2026-05-11T20:32:32Z

Author International Conference on Material Science, Environmental Science and Computer Science (2nd : 2012 : Wuhan, China) Zhang, Helen, editor of compilation. Jin, David, editor of compilation. Zhao, X. J., editor of compilation.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=517244
Format: Electronic Resources
Availability Online Library~1

Operator Calculus on Graphs Theory and Applications in Computer Science.

2026-05-11T20:32:32Z

Author Schott, Rene. Staples, G. Stacey.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457191
Format: Electronic Resources
Availability Online Library~1

Simulating nature : a philosohpical study of computer-simulation uncertainties and their role in climate science and policy advice

2026-05-11T20:32:32Z

Author Petersen, Arthur C. (Arthur Caesar), 1970, author.
Preferred Shelf Number QC981.45 .P48 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Challenges at the Interface of Data Analysis, Computer Science, and Optimization Proceedings of the 34th Annual Conference of the Gesellschaft für Klassifikation e. V., Karlsruhe, July 21 - 23, 2010

2026-05-11T20:32:32Z

Author Gaul, Wolfgang A. editor. Geyer-Schulz, Andreas. editor. Schmidt-Thieme, Lars. editor. Kunze, Jonas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24466-7
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Computer Science and Information Engineering Volume 2

2026-05-11T20:32:32Z

Author Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25789-6
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Computer Science and Information Engineering Volume 5

2026-05-11T20:32:32Z

Author Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25792-6
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I

2026-05-11T20:32:32Z

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

Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II

2026-05-11T20:32:32Z

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

Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III

2026-05-11T20:32:32Z

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

Advances in Computer Science and Information Engineering Volume 2

2026-05-11T20:32:32Z

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

Computing Statistics under Interval and Fuzzy Uncertainty Applications to Computer Science and Engineering

2026-05-11T20:32:32Z

Author Nguyen, Hung T. author. Kreinovich, Vladik. author. Wu, Berlin. author. Xiang, Gang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24905-1
Format: Electronic Resources
Availability Online Library~1

Advanced Technology in Teaching - Proceedings of the 2009 3rd International Conference on Teaching and Computational Science (WTCS 2009) Volume 2: Education, Psychology and Computer Science

2026-05-11T20:32:32Z

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

Recent Advances in Computer Science and Information Engineering Volume 3

2026-05-11T20:32:32Z

Author Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25766-7
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Computer Science and Information Engineering Volume 4

2026-05-11T20:32:32Z

Author Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25769-8
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Computer Science and Information Engineering Volume 6

2026-05-11T20:32:32Z

Author Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25778-0
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Computer Science and Information Engineering Volume 1

2026-05-11T20:32:32Z

Author Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25781-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 2

2026-05-11T20:32:32Z

Author Gaol, Ford Lumban. editor. Nguyen, Quang Vinh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28308-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 1

2026-05-11T20:32:32Z

Author Gaol, Ford Lumban. editor. Nguyen, Quang Vinh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28314-7
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 2

2026-05-11T20:32:32Z

Author Wyld, David C. editor. Zizka, Jan. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30111-7
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Information Engineering Volume 1

2026-05-11T20:32:32Z

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

Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1

2026-05-11T20:32:32Z

Author Wyld, David C. editor. Zizka, Jan. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30157-5
Format: Electronic Resources
Availability Online Library~1

Computer Science and Convergence CSA 2011 & WCC 2011 Proceedings

2026-05-11T20:32:32Z

Author J. (Jong Hyuk) Park, James. editor. Chao, Han-Chieh. editor. S. Obaidat, Mohammad. editor. Kim, Jongsung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2792-2
Format: Electronic Resources
Availability Online Library~1

Linear algebra and probability for computer science applications

2026-05-11T20:32:32Z

Author Davis, Ernest.
Preferred Shelf Number QA76.9.M35 D38 2012
Format: Books
Availability Beytepe Library~1

Service Placement in Ad Hoc Networks

2026-05-11T20:32:32Z

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

Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services

2026-05-11T20:32:32Z

Author Birman, Kenneth P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2416-0
Format: Electronic Resources
Availability Online Library~1

Software Similarity and Classification

2026-05-11T20:32:32Z

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

Entropy Guided Transformation Learning: Algorithms and Applications

2026-05-11T20:32:32Z

Author Santos, Cícero Nogueira. author. Milidiú, Ruy Luiz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2978-3
Format: Electronic Resources
Availability Online Library~1

A Proof Theory for Description Logics

2026-05-11T20:32:32Z

Author Rademaker, Alexandre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4002-3
Format: Electronic Resources
Availability Online Library~1

Context Management for Distributed and Dynamic Context-Aware Computing

2026-05-11T20:32:32Z

Author Rocha, Ricardo Couto Antunes. author. Endler, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4020-7
Format: Electronic Resources
Availability Online Library~1

The Design of Cloud Workflow Systems

2026-05-11T20:32:32Z

Author Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1933-4
Format: Electronic Resources
Availability Online Library~1

A Survey of Data Leakage Detection and Prevention Solutions

2026-05-11T20:32:32Z

Author Shabtai, Asaf. author. Elovici, Yuval. author. Rokach, Lior. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2053-8
Format: Electronic Resources
Availability Online Library~1

Data Dissemination and Query in Mobile Social Networks

2026-05-11T20:32:32Z

Author Chen, Jiming. author. Fan, Jialu. author. Sun, Youxian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2254-9
Format: Electronic Resources
Availability Online Library~1

Scalable Parallel Programming Applied to H.264/AVC Decoding

2026-05-11T20:32:32Z

Author Juurlink, Ben. author. Alvarez-Mesa, Mauricio. author. Chi, Chi Ching. author. Azevedo, Arnaldo. author. Meenderinck, Cor. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2230-3
Format: Electronic Resources
Availability Online Library~1

Criminal Justice Forecasts of Risk A Machine Learning Approach

2026-05-11T20:32:32Z

Author Berk, Richard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3085-8
Format: Electronic Resources
Availability Online Library~1

Autonomic Cooperative Networking

2026-05-11T20:32:32Z

Author Wódczak, Michał. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3100-8
Format: Electronic Resources
Availability Online Library~1

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

2026-05-11T20:32:32Z

Author Henderson-Sellers, Brian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29825-7
Format: Electronic Resources
Availability Online Library~1

Event-Driven Surveillance Possibilities and Challenges

2026-05-11T20:32:32Z

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

Understanding High-Dimensional Spaces

2026-05-11T20:32:32Z

Author Skillicorn, David B. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33398-9
Format: Electronic Resources
Availability Online Library~1

A Primer of Multicast Routing

2026-05-11T20:32:32Z

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

Visual Indexing and Retrieval

2026-05-11T20:32:32Z

Author Benois-Pineau, Jenny. author. Precioso, Frédéric. author. Cord, Matthieu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3588-4
Format: Electronic Resources
Availability Online Library~1

Power Distribution and Performance Analysis for Wireless Communication Networks

2026-05-11T20:32:32Z

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

Service-Oriented Crowdsourcing Architecture, Protocols and Algorithms

2026-05-11T20:32:32Z

Author Schall, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5956-9
Format: Electronic Resources
Availability Online Library~1

Automated Configuration Problem Solving

2026-05-11T20:32:32Z

Author Petrie, Charles J. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4532-6
Format: Electronic Resources
Availability Online Library~1

Software Testing in the Cloud Migration and Execution

2026-05-11T20:32:32Z

Author Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32122-1
Format: Electronic Resources
Availability Online Library~1

Decentralized Reasoning in Ambient Intelligence

2026-05-11T20:32:32Z

Author Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4168-6
Format: Electronic Resources
Availability Online Library~1

Self-* and P2P for Network Management Design Principles and Case Studies

2026-05-11T20:32:32Z

Author Marquezan, Clarissa Cassales. author. Granville, Lisandro Zambenedetti. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4201-0
Format: Electronic Resources
Availability Online Library~1

Robust Motion Detection in Real-Life Scenarios

2026-05-11T20:32:32Z

Author Martínez-Martín, Ester. author. Pobil, Ángel P. del. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4216-4
Format: Electronic Resources
Availability Online Library~1

Guide to Cisco Routers Configuration Becoming a Router Geek

2026-05-11T20:32:32Z

Author Alani, Mohammed M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4246-1
Format: Electronic Resources
Availability Online Library~1

Two-Dimensional Change Detection Methods Remote Sensing Applications

2026-05-11T20:32:32Z

Author İlsever, Murat. author. Ünsalan, Cem. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4255-3
Format: Electronic Resources
Availability Online Library~1

Spatial AutoRegression (SAR) Model Parameter Estimation Techniques

2026-05-11T20:32:32Z

Author Kazar, Baris M. author. Celik, Mete. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1842-9
Format: Electronic Resources
Availability Online Library~1

ITIL® 2011 At a Glance

2026-05-11T20:32:32Z

Author Long, John O. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3897-7
Format: Electronic Resources
Availability Online Library~1

Peer-to-Peer Query Processing over Multidimensional Data

2026-05-11T20:32:32Z

Author Vlachou, Akrivi. author. Doulkeridis, Christos. author. Nørvåg, Kjetil. author. Kotidis, Yannis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2110-8
Format: Electronic Resources
Availability Online Library~1

Group Cell Architecture for Cooperative Communications

2026-05-11T20:32:32Z

Author Tao, Xiaofeng. Cui, Qimei. Xu, Xiaodong. Zhang, Ping. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4319-3
Format: Electronic Resources
Availability Online Library~1

Interworking of Wireless LANs and Cellular Networks

2026-05-11T20:32:32Z

Author Song, Wei. author. Zhuang, Weihua. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4379-7
Format: Electronic Resources
Availability Online Library~1

Rhodes Framework for Android™ Platform and BlackBerry® Smartphones

2026-05-11T20:32:32Z

Author Vohra, Deepak. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3579-2
Format: Electronic Resources
Availability Online Library~1

Applications of Algebra to Communications, Control, and Signal Processing

2026-05-11T20:32:32Z

Author Boston, Nigel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3863-2
Format: Electronic Resources
Availability Online Library~1

Sets, Logic and Maths for Computing

2026-05-11T20:32:32Z

Author Makinson, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2500-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Video and Image Processing Building Real Systems and Applications

2026-05-11T20:32:32Z

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

Introduction to Computer Graphics Using Java 2D and 3D

2026-05-11T20:32:32Z

Author Klawonn, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2733-8
Format: Electronic Resources
Availability Online Library~1

Guide to Scientific Computing in C++

2026-05-11T20:32:32Z

Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2736-9
Format: Electronic Resources
Availability Online Library~1

Advances in Image and Video Technology 5th Pacific Rim Symposium, PSIVT 2011, Gwangju, South Korea, November 20-23, 2011, Proceedings, Part II

2026-05-11T20:32:32Z

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

Advances in Image and Video Technology 5th Pacific Rim Symposium, PSIVT 2011, Gwangju, South Korea, November 20-23, 2011, Proceedings, Part I

2026-05-11T20:32:32Z

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

Graph Drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

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

Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers

2026-05-11T20:32:32Z

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

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Huang, De-Shuang. editor. Gan, Yong. editor. Gupta, Phalguni. editor. Gromiha, M. Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25944-9
Format: Electronic Resources
Availability Online Library~1

The Semantic Web: ESWC 2011 Workshops ESWC 2011 Workshops, Heraklion, Greece, May 29-30, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author García-Castro, Raúl. editor. Fensel, Dieter. editor. Antoniou, Grigoris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25953-1
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings

2026-05-11T20:32:32Z

Author Bononi, Luciano. editor. Datta, Ajoy K. editor. Devismes, Stéphane. editor. Misra, Archan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25959-3
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

2026-05-11T20:32:32Z

Author Barbosa, Luís Soares. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27269-1
Format: Electronic Resources
Availability Online Library~1

Communication and Networking International Conference, FGCN 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I

2026-05-11T20:32:32Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Fang, Wai-chi. editor. Vasilakos, Thanos. editor. Stoica, Adrian. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27192-2
Format: Electronic Resources
Availability Online Library~1

Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I

2026-05-11T20:32:32Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Grosky, William I. editor. Pissinou, Niki. editor. Shih, Timothy K. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27204-2
Format: Electronic Resources
Availability Online Library~1

Advanced Agent Technology AAMAS 2011 Workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers

2026-05-11T20:32:32Z

Author Dechesne, Francien. editor. Hattori, Hiromitsu. editor. Mors, Adriaan. editor. Such, Jose Miguel. editor. Weyns, Danny. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27216-5
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Modeling 18th International Conference, MMM 2012, Klagenfurt, Austria, January 4-6, 2012. Proceedings

2026-05-11T20:32:32Z

Author Schoeffmann, Klaus. editor. Merialdo, Bernard. editor. Hauptmann, Alexander G. editor. Ngo, Chong-Wah. editor. Andreopoulos, Yiannis. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27355-1
Format: Electronic Resources
Availability Online Library~1

Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Mödersheim, Sebastian. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27375-9
Format: Electronic Resources
Availability Online Library~1

Perception and Machine Intelligence First Indo-Japan Conference, PerMIn 2012, Kolkata, India, January 12-13, 2012. Proceedings

2026-05-11T20:32:32Z

Author Kundu, Malay K. editor. Mitra, Sushmita. editor. Mazumdar, Debasis. editor. Pal, Sankar K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27387-2
Format: Electronic Resources
Availability Online Library~1

Resource Discovery Third International Workshop, RED 2010, Paris, France, November 5, 2010, Revised Selected Papers

2026-05-11T20:32:32Z

Author Lacroix, Zoé. editor. Vidal, María Esther. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27392-6
Format: Electronic Resources
Availability Online Library~1

Curves and Surfaces 7th International Conference, Avignon, France, June 24 - 30, 2010, Revised Selected Papers

2026-05-11T20:32:32Z

Author Boissonnat, Jean-Daniel. editor. Chenin, Patrick. editor. Cohen, Albert. editor. Gout, Christian. editor. Lyche, Tom. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27413-8
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

2026-05-11T20:32:32Z

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

Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Villatoro, Daniel. editor. Sabater-Mir, Jordi. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28400-7
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

2026-05-11T20:32:32Z

Author Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28412-0
Format: Electronic Resources
Availability Online Library~1

Medical Content-Based Retrieval for Clinical Decision Support Second MICCAI International Workshop, MCBR-CDS 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Müller, Henning. editor. Greenspan, Hayit. editor. Syeda-Mahmood, Tanveer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28460-1
Format: Electronic Resources
Availability Online Library~1

Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

2026-05-11T20:32:32Z

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

Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part I

2026-05-11T20:32:32Z

Author Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28487-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part II

2026-05-11T20:32:32Z

Author Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28490-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part III

2026-05-11T20:32:32Z

Author Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28493-9
Format: Electronic Resources
Availability Online Library~1

Selected Areas in Cryptography 18th International Workshop, SAC 2011, Toronto, ON, Canada, August 11-12, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

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

Adaptive and Learning Agents International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Vrancx, Peter. editor. Knudson, Matthew. editor. Grześ, Marek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28499-1
Format: Electronic Resources
Availability Online Library~1

Advances in User Modeling UMAP 2011 Workshops, Girona, Spain, July 11-15, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

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

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

2026-05-11T20:32:32Z

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

Traffic Monitoring and Analysis 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012. Proceedings

2026-05-11T20:32:32Z

Author Pescapè, Antonio. editor. Salgarelli, Luca. editor. Dimitropoulos, Xenofontas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28534-9
Format: Electronic Resources
Availability Online Library~1

Passive and Active Measurement 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012. Proceedings

2026-05-11T20:32:32Z

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

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

2026-05-11T20:32:32Z

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

Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings

2026-05-11T20:32:32Z

Author Theis, Fabian. editor. Cichocki, Andrzej. editor. Yeredor, Arie. editor. Zibulevsky, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28551-6
Format: Electronic Resources
Availability Online Library~1

Abdominal Imaging. Computational and Clinical Applications Third International Workshop, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 18, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Yoshida, Hiroyuki. editor. Sakas, Georgios. editor. Linguraru, Marius George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28557-8
Format: Electronic Resources
Availability Online Library~1

Self-Organizing Systems 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings

2026-05-11T20:32:32Z

Author Kuipers, Fernando A. editor. Heegaard, Poul E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28583-7
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part II

2026-05-11T20:32:32Z

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

Computational Linguistics and Intelligent Text Processing 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part I

2026-05-11T20:32:32Z

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

Web-Age Information Management WAIM 2011 International Workshops: WGIM 2011, XMLDM 2011, SNA 2011, Wuhan, China, September 14-16, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Wang, Liwei. editor. Jiang, Jingjue. editor. Lu, Jiaheng. editor. Hong, Liang. editor. Liu, Bin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28635-3
Format: Electronic Resources
Availability Online Library~1

Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

2026-05-11T20:32:32Z

Author Degano, Pierpaolo. editor. Guttman, Joshua D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28641-4
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

2026-05-11T20:32:32Z

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

Theorie and Applications of Formal Argumentation First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Modgil, Sanjay. editor. Oren, Nir. editor. Toni, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29184-5
Format: Electronic Resources
Availability Online Library~1

Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28675-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Data Hiding and Multimedia Security VII

2026-05-11T20:32:32Z

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

Global Trends in Computing and Communication Systems 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part I

2026-05-11T20:32:32Z

Author Krishna, P. Venkata. editor. Babu, M. Rajasekhara. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29219-4
Format: Electronic Resources
Availability Online Library~1

Web and Wireless Geographical Information Systems 11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings

2026-05-11T20:32:32Z

Author Martino, Sergio. editor. Peron, Adriano. editor. Tezuka, Taro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29247-7
Format: Electronic Resources
Availability Online Library~1

Web Technologies and Applications 14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 11-13, 2012. Proceedings

2026-05-11T20:32:32Z

Author Sheng, Quan Z. editor. Wang, Guoren. editor. Jensen, Christian S. editor. Xu, Guandong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29253-8
Format: Electronic Resources
Availability Online Library~1

Advanced Computing, Networking and Security International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Thilagam, P. Santhi. editor. Pais, Alwyn Roshan. editor. Chandrasekaran, K. editor. Balakrishnan, N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29280-4
Format: Electronic Resources
Availability Online Library~1

S-BPM ONE - Education and Industrial Developments 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings

2026-05-11T20:32:32Z

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

Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

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

Games, Actions and Social Software Multidisciplinary Aspects

2026-05-11T20:32:32Z

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

LATIN 2012: Theoretical Informatics 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings

2026-05-11T20:32:32Z

Author Fernández-Baca, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29344-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012, Proceedings, Part I

2026-05-11T20:32:32Z

Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29347-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012, Proceedings, Part II

2026-05-11T20:32:32Z

Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29350-4
Format: Electronic Resources
Availability Online Library~1

Swarm and Evolutionary Computation International Symposia, SIDE 2012 and EC 2012, Held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012. Proceedings

2026-05-11T20:32:32Z

Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29353-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence VI

2026-05-11T20:32:32Z

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

Health Information Science First International Conference, HIS 2012, Beijing, China, April 8-10, 2012. Proceedings

2026-05-11T20:32:32Z

Author He, Jing. editor. Liu, Xiaohui. editor. Krupinski, Elizabeth A. editor. Xu, Guandong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29361-0
Format: Electronic Resources
Availability Online Library~1

Camera-Based Document Analysis and Recognition 4th International Workshop, CBDAR 2011, Beijing, China, September 22, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

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

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

2026-05-11T20:32:32Z

Author Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29414-3
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

2026-05-11T20:32:32Z

Author Barthe, Gilles. editor. Datta, Anupam. editor. Etalle, Sandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29420-4
Format: Electronic Resources
Availability Online Library~1

Web Technologies and Applications APWeb 2012 International Workshops: SenDe, IDP, IEKB, MBC, Kunming, China, April 11-13, 2012. Proceedings

2026-05-11T20:32:32Z

Author Wang, Hua. editor. Zou, Lei. editor. Huang, Guangyan. editor. He, Jing. editor. Pang, Chaoyi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29426-6
Format: Electronic Resources
Availability Online Library~1

Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

2026-05-11T20:32:32Z

Author Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29449-5
Format: Electronic Resources
Availability Online Library~1

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

2026-05-11T20:32:32Z

Author Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29485-3
Format: Electronic Resources
Availability Online Library~1

Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers

2026-05-11T20:32:32Z

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

Digital Urban Modeling and Simulation

2026-05-11T20:32:32Z

Author Arisona, Stefan Müller. editor. Aschwanden, Gideon. editor. Halatsch, Jan. editor. Wonka, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29758-8
Format: Electronic Resources
Availability Online Library~1

Public Key Infrastructures, Services and Applications 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Petkova-Nikova, Svetla. editor. Pashalidis, Andreas. editor. Pernul, Günther. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29804-2
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

2026-05-11T20:32:32Z

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

Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings

2026-05-11T20:32:32Z

Author Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29828-8
Format: Electronic Resources
Availability Online Library~1

Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Carbone, Marco. editor. Petit, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29834-9
Format: Electronic Resources
Availability Online Library~1

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

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

Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

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

Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

2026-05-11T20:32:32Z

Author Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29863-9
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security FC 2011 Workshops, RLCPS and WECSR 2011, Rodney Bay, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Danezis, George. editor. Dietrich, Sven. editor. Sako, Kazue. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29889-9
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings

2026-05-11T20:32:32Z

Author Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29892-9
Format: Electronic Resources
Availability Online Library~1

Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings

2026-05-11T20:32:32Z

Author Schindler, Werner. editor. Huss, Sorin A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29912-4
Format: Electronic Resources
Availability Online Library~1

The Semantic Web Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings

2026-05-11T20:32:32Z

Author Pan, Jeff Z. editor. Chen, Huajun. editor. Kim, Hong-Gee. editor. Li, Juanzi. editor. Wu, Zhe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29923-0
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Reinforcement Learning 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

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

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

2026-05-11T20:32:32Z

Author Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29952-0
Format: Electronic Resources
Availability Online Library~1

Security and Trust Management 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Meadows, Catherine. editor. Fernandez-Gago, Carmen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29963-6
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29 – June 1, 2012, Proceedings, Part II

2026-05-11T20:32:32Z

Author Tan, Pang-Ning. editor. Chawla, Sanjay. editor. Ho, Chin Kuan. editor. Bailey, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30220-6
Format: Electronic Resources
Availability Online Library~1

The Future Internet Future Internet Assembly 2012: From Promises to Reality

2026-05-11T20:32:32Z

Author Álvarez, Federico. editor. Cleary, Frances. editor. Daras, Petros. editor. Domingue, John. editor. Galis, Alex. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30241-1
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2012 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I

2026-05-11T20:32:32Z

Author Bestak, Robert. editor. Kencl, Lukas. editor. Li, Li Erran. editor. Widmer, Joerg. editor. Yin, Hao. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30045-5
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2012 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part II

2026-05-11T20:32:32Z

Author Bestak, Robert. editor. Kencl, Lukas. editor. Li, Li Erran. editor. Widmer, Joerg. editor. Yin, Hao. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30054-7
Format: Electronic Resources
Availability Online Library~1

Trustworthy Global Computing 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

2026-05-11T20:32:32Z

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

Fun with Algorithms 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings

2026-05-11T20:32:32Z

Author Kranakis, Evangelos. editor. Krizanc, Danny. editor. Luccio, Flaminia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30347-0
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communication 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012. Proceedings

2026-05-11T20:32:32Z

Author Koucheryavy, Yevgeni. editor. Mamatas, Lefteris. editor. Matta, Ibrahim. editor. Tsaoussidis, Vassilis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30630-3
Format: Electronic Resources
Availability Online Library~1

Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings

2026-05-11T20:32:32Z

Author Furia, Carlo A. editor. Nanz, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30561-0
Format: Electronic Resources
Availability Online Library~1

Multimedia Communications, Services and Security 5th International Conference, MCSS 2012, Krakow, Poland, May 31–June 1, 2012. Proceedings

2026-05-11T20:32:32Z

Author Dziech, Andrzej. editor. Czyżewski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30721-8
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

2026-05-11T20:32:32Z

Author Derrick, John. editor. Gnesi, Stefania. editor. Latella, Diego. editor. Treharne, Helen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30729-4
Format: Electronic Resources
Availability Online Library~1

Information Processing in Computer-Assisted Interventions Third International Conference, IPCAI 2012, Pisa, Italy, June 27, 2012. Proceedings

2026-05-11T20:32:32Z

Author Abolmaesumi, Purang. editor. Joskowicz, Leo. editor. Navab, Nassir. editor. Jannin, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30618-1
Format: Electronic Resources
Availability Online Library~1

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz

2026-05-11T20:32:32Z

Author Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30743-0
Format: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings

2026-05-11T20:32:32Z

Author Li, Ruixuan. editor. Cao, Jiannong. editor. Bourgeois, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30767-6
Format: Electronic Resources
Availability Online Library~1

Impact Analysis of Solutions for Chronic Disease Prevention and Management 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings

2026-05-11T20:32:32Z

Author Donnelly, Mark. editor. Paggetti, Cristiano. editor. Nugent, Chris. editor. Mokhtari, Mounir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30779-9
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings

2026-05-11T20:32:32Z

Author Al-Begain, Khalid. editor. Fiems, Dieter. editor. Vincent, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30782-9
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

2026-05-11T20:32:32Z

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

Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

2026-05-11T20:32:32Z

Author Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30823-9
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings

2026-05-11T20:32:32Z

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

Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday

2026-05-11T20:32:32Z

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

Experimental Algorithms 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings

2026-05-11T20:32:32Z

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

How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

2026-05-11T20:32:32Z

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

Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

2026-05-11T20:32:32Z

Author Derrick, John. editor. Fitzgerald, John. editor. Gnesi, Stefania. editor. Khurshid, Sarfraz. editor. Leuschel, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30885-7
Format: Electronic Resources
Availability Online Library~1

The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday

2026-05-11T20:32:32Z

Author Bodlaender, Hans L. editor. Downey, Rod. editor. Fomin, Fedor V. editor. Marx, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30891-8
Format: Electronic Resources
Availability Online Library~1

Trust and Trustworthy Computing 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012. Proceedings

2026-05-11T20:32:32Z

Author Katzenbeisser, Stefan. editor. Weippl, Edgar. editor. Camp, L. Jean. editor. Volkamer, Melanie. editor. Reiter, Mike. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30921-2
Format: Electronic Resources
Availability Online Library~1

Agent and Multi-Agent Systems. Technologies and Applications 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings

2026-05-11T20:32:32Z

Author Jezic, Gordan. editor. Kusek, Mario. editor. Nguyen, Ngoc-Thanh. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30947-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Tutoring Systems 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings

2026-05-11T20:32:32Z

Author Cerri, Stefano A. editor. Clancey, William J. editor. Papadourakis, Giorgos. editor. Panourgia, Kitty. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30950-2
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings

2026-05-11T20:32:32Z

Author Askoxylakis, Ioannis. editor. Pöhls, Henrich C. editor. Posegga, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30955-7
Format: Electronic Resources
Availability Online Library~1

OpenMP in a Heterogeneous World 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings

2026-05-11T20:32:32Z

Author Chapman, Barbara M. editor. Massaioli, Federico. editor. Müller, Matthias S. editor. Rorro, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30961-8
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part I

2026-05-11T20:32:32Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Ji, Zhen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30976-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

2026-05-11T20:32:32Z

Author Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30982-3
Format: Electronic Resources
Availability Online Library~1

Controlled Natural Language Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers

2026-05-11T20:32:32Z

Author Rosner, Michael. editor. Fuchs, Norbert E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31175-8
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Information Systems 17th International Conference on Applications of Natural Language to Information Systems, NLDB 2012, Groningen, The Netherlands, June 26-28, 2012. Proceedings

2026-05-11T20:32:32Z

Author Bouma, Gosse. editor. Ittoo, Ashwin. editor. Métais, Elisabeth. editor. Wortmann, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31178-9
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings

2026-05-11T20:32:32Z

Author Winkler, Dietmar. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31199-4
Format: Electronic Resources
Availability Online Library~1

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

2026-05-11T20:32:32Z

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

Pervasive Computing 10th International Conference, Pervasive 2012, Newcastle, UK, June 18-22, 2012. Proceedings

2026-05-11T20:32:32Z

Author Kay, Judy. editor. Lukowicz, Paul. editor. Tokuda, Hideyuki. editor. Olivier, Patrick. editor. Krüger, Antonio. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31205-2
Format: Electronic Resources
Availability Online Library~1

Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings

2026-05-11T20:32:32Z

Author Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31217-5
Format: Electronic Resources
Availability Online Library~1

Diagrammatic Representation and Inference 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings

2026-05-11T20:32:32Z

Author Cox, Philip. editor. Plimmer, Beryl. editor. Rodgers, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31223-6
Format: Electronic Resources
Availability Online Library~1

Scientific and Statistical Database Management 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012. Proceedings

2026-05-11T20:32:32Z

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

Image and Signal Processing 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings

2026-05-11T20:32:32Z

Author Elmoataz, Abderrahim. editor. Mammass, Driss. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Aboutajdine, Driss. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31254-0
Format: Electronic Resources
Availability Online Library~1

Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

2026-05-11T20:32:32Z

Author Béchet, Denis. editor. Dikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31262-5
Format: Electronic Resources
Availability Online Library~1

Combinatorial Pattern Matching 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings

2026-05-11T20:32:32Z

Author Kärkkäinen, Juha. editor. Stoye, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31265-6
Format: Electronic Resources
Availability Online Library~1

Breast Imaging 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012. Proceedings

2026-05-11T20:32:32Z

Author Maidment, Andrew D. A. editor. Bakic, Predrag R. editor. Gavenonis, Sara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31271-7
Format: Electronic Resources
Availability Online Library~1

Methodologies and Technologies for Networked Enterprises ArtDeco: Adaptive Infrastructures for Decentralised Organisations

2026-05-11T20:32:32Z

Author Anastasi, Giuseppe. editor. Bellini, Emilio. editor. Nitto, Elisabetta. editor. Ghezzi, Carlo. editor. Tanca, Letizia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31739-2
Format: Electronic Resources
Availability Online Library~1

Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings

2026-05-11T20:32:32Z

Author Brambilla, Marco. editor. Tokuda, Takehiro. editor. Tolksdorf, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31753-8
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

2026-05-11T20:32:32Z

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

Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I

2026-05-11T20:32:32Z

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

Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part II

2026-05-11T20:32:32Z

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

Biomedical Image Registration 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012. Proceedings

2026-05-11T20:32:32Z

Author Dawant, Benoît M. editor. Christensen, Gary E. editor. Fitzpatrick, J. Michael. editor. Rueckert, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31340-0
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2012 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part I

2026-05-11T20:32:32Z

Author Wang, Jun. editor. Yen, Gary G. editor. Polycarpou, Marios M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31346-2
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2012 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part II

2026-05-11T20:32:32Z

Author Wang, Jun. editor. Yen, Gary G. editor. Polycarpou, Marios M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31362-2
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

2026-05-11T20:32:32Z

Author Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31365-3
Format: Electronic Resources
Availability Online Library~1

Autonomous and Intelligent Systems Third International Conference, AIS 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings

2026-05-11T20:32:32Z

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

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

2026-05-11T20:32:32Z

Author Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31374-5
Format: Electronic Resources
Availability Online Library~1

Engaging Learners Through Emerging Technologies International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings

2026-05-11T20:32:32Z

Author Li, Kam Cheong. editor. Wang, Fu Lee. editor. Yuen, Kin Sun. editor. Cheung, Simon K. S. editor. Kwan, Reggie. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31398-1
Format: Electronic Resources
Availability Online Library~1

Haptics: Perception, Devices, Mobility, and Communication International Conference, EuroHaptics 2012, Tampere, Finland, June 13-15, 2012. Proceedings, Part I

2026-05-11T20:32:32Z

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

Haptics: Perception, Devices, Mobility, and Communication International Conference, EuroHaptics 2012, Tampere, Finland, June 13-15, 2012 Proceedings, Part II

2026-05-11T20:32:32Z

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

Progress in Cryptology - AFRICACRYPT 2012 5th International Conference on Cryptology in Africa, Ifrance, Morocco, July 10-12, 2012. Proceedings

2026-05-11T20:32:32Z

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

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

2026-05-11T20:32:32Z

Author Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31424-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Edutainment VIII

2026-05-11T20:32:32Z

Author Pan, Zhigeng. editor. Cheok, Adrian David. editor. Müller, Wolfgang. editor. Chang, Maiga. editor. Zhang, Mingmin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31439-1
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy 17th Australasian Conference, ACISP 2012, Wollongong, NSW, Australia, July 9-11, 2012. Proceedings

2026-05-11T20:32:32Z

Author Susilo, Willy. editor. Mu, Yi. editor. Seberry, Jennifer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31448-3
Format: Electronic Resources
Availability Online Library~1

User Modeling, Adaptation, and Personalization 20th International Conference, UMAP 2012, Montreal, Canada, July 16-20, 2012. Proceedings

2026-05-11T20:32:32Z

Author Masthoff, Judith. editor. Mobasher, Bamshad. editor. Desmarais, Michel C. editor. Nkambou, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31454-4
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I

2026-05-11T20:32:32Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31464-3
Format: Electronic Resources
Availability Online Library~1

New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers

2026-05-11T20:32:32Z

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

Constructing Ambient Intelligence AmI 2011 Workshops, Amsterdam, The Netherlands, November 16-18, 2011. Revised Selected Papers

2026-05-11T20:32:32Z

Author Wichert, Reiner. editor. Laerhoven, Kristof. editor. Gelissen, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31479-7
Format: Electronic Resources
Availability Online Library~1

Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers

2026-05-11T20:32:32Z

Author Aloni, Maria. editor. Kimmelman, Vadim. editor. Roelofsen, Floris. editor. Sassoon, Galit W. editor. Schulz, Katrin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31482-7
Format: Electronic Resources
Availability Online Library~1

Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

2026-05-11T20:32:32Z

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

Advances in Data Mining. Applications and Theoretical Aspects 12th Industrial Conference, ICDM 2012, Berlin, Germany, July 13-20, 2012. Proceedings

2026-05-11T20:32:32Z

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

Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings

2026-05-11T20:32:32Z

Author Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31491-9
Format: Electronic Resources
Availability Online Library~1

Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings

2026-05-11T20:32:32Z

Author Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31494-0
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II

2026-05-11T20:32:32Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31500-8
Format: Electronic Resources
Availability Online Library~1

Computers Helping People with Special Needs 13th International Conference, ICCHP 2012, Linz, Austria, July 11-13, 2012, Proceedings, Part I

2026-05-11T20:32:32Z

Author Miesenberger, Klaus. editor. Karshmer, Arthur. editor. Penaz, Petr. editor. Zagler, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31522-0
Format: Electronic Resources
Availability Online Library~1

Biomimetic and Biohybrid Systems First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings

2026-05-11T20:32:32Z

Author Prescott, Tony J. editor. Lepora, Nathan F. editor. Mura, Anna. editor. Verschure, Paul F. M. J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31525-1
Format: Electronic Resources
Availability Online Library~1

Computers Helping People with Special Needs 13th International Conference, ICCHP 2012, Linz, Austria, July 11-13, 2012, Proceedings, Part II

2026-05-11T20:32:32Z

Author Miesenberger, Klaus. editor. Karshmer, Arthur. editor. Penaz, Petr. editor. Zagler, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31534-3
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Data Mining in Pattern Recognition 8th International Conference, MLDM 2012, Berlin, Germany, July 13-20, 2012. Proceedings

2026-05-11T20:32:32Z

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

Data and Applications Security and Privacy XXVI 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012. Proceedings

2026-05-11T20:32:32Z

Author Cuppens-Boulahia, Nora. editor. Cuppens, Frédéric. editor. Garcia-Alfaro, Joaquin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31540-4
Format: Electronic Resources
Availability Online Library~1

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

2026-05-11T20:32:32Z

Author Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31555-8
Format: Electronic Resources
Availability Online Library~1

Advances in Brain Inspired Cognitive Systems 5th International Conference, BICS 2012, Shenyang, China, July 11-14, 2012. Proceedings

2026-05-11T20:32:32Z

Author Zhang, Huaguang. editor. Hussain, Amir. editor. Liu, Derong. editor. Wang, Zhanshan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31561-9
Format: Electronic Resources
Availability Online Library~1

Articulated Motion and Deformable Objects 7th International Conference, AMDO 2012, Port d’Andratx, Mallorca, Spain, July 11-13, 2012. Proceedings

2026-05-11T20:32:32Z

Author Perales, Francisco J. editor. Fisher, Robert B. editor. Moeslund, Thomas B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31567-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings

2026-05-11T20:32:32Z

Author Huang, De-Shuang. editor. Ma, Jianhua. editor. Jo, Kang-Hyun. editor. Gromiha, M. Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31576-3
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

2026-05-11T20:32:32Z

Author Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31585-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Technology 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings

2026-05-11T20:32:32Z

Author Huang, De-Shuang. editor. Jiang, Changjun. editor. Bevilacqua, Vitoantonio. editor. Figueroa, Juan Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31588-6
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I

2026-05-11T20:32:32Z

Author Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31594-7
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

2026-05-11T20:32:32Z

Author Moreira, Nelma. editor. Reis, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31606-7
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

2026-05-11T20:32:32Z

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

Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

2026-05-11T20:32:32Z

Author Kutrib, Martin. editor. Moreira, Nelma. editor. Reis, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31623-4
Format: Electronic Resources
Availability Online Library~1

Ad-hoc, Mobile, and Wireless Networks 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings

2026-05-11T20:32:32Z

Author Li, Xiang-Yang. editor. Papavassiliou, Symeon. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31638-8
Format: Electronic Resources
Availability Online Library~1

Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday

2026-05-11T20:32:32Z

Author Bordihn, Henning. editor. Kutrib, Martin. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31644-9
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings

2026-05-11T20:32:32Z

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

Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings

2026-05-11T20:32:32Z

Author Özbudak, Ferruh. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31662-3
Format: Electronic Resources
Availability Online Library~1

Privacy Enhancing Technologies 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings

2026-05-11T20:32:32Z

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

Wireless Networks and Computational Intelligence 6th International Conference on Information Processing, ICIP 2012, Bangalore, India, August 10-12, 2012. Proceedings

2026-05-11T20:32:32Z

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

Advances on Computational Intelligence 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part I

2026-05-11T20:32:32Z

Author Greco, Salvatore. editor. Bouchon-Meunier, Bernadette. editor. Coletti, Giulianella. editor. Fedrizzi, Mario. editor. Matarazzo, Benedetto. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31709-5
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part II

2026-05-11T20:32:32Z

Author Greco, Salvatore. editor. Bouchon-Meunier, Bernadette. editor. Coletti, Giulianella. editor. Fedrizzi, Mario. editor. Matarazzo, Benedetto. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31715-6
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part III

2026-05-11T20:32:32Z

Author Greco, Salvatore. editor. Bouchon-Meunier, Bernadette. editor. Coletti, Giulianella. editor. Fedrizzi, Mario. editor. Matarazzo, Benedetto. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31718-7
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part IV

2026-05-11T20:32:32Z

Author Greco, Salvatore. editor. Bouchon-Meunier, Bernadette. editor. Coletti, Giulianella. editor. Fedrizzi, Mario. editor. Matarazzo, Benedetto. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31724-8
Format: Electronic Resources
Availability Online Library~1

Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings

2026-05-11T20:32:32Z

Author Fomin, Fedor V. editor. Kaski, Petteri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31155-0
Format: Electronic Resources
Availability Online Library~1

Haptic and Audio Interaction Design 7th International Conference, HAID 2012, Lund, Sweden, August 23-24, 2012. Proceedings

2026-05-11T20:32:32Z

Author Magnusson, Charlotte. editor. Szymczak, Delphine. editor. Brewster, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32796-4
Format: Electronic Resources
Availability Online Library~1

Communications and Multimedia Security 13th IFIP TC 6/TC 11 International Conference, CMS 2012, Canterbury, UK, September 3-5, 2012. Proceedings

2026-05-11T20:32:32Z

Author Decker, Bart. editor. Chadwick, David W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32805-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence: Methodology, Systems, and Applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings

2026-05-11T20:32:32Z

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

Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

2026-05-11T20:32:32Z

Author Kaklamanis, Christos. editor. Papatheodorou, Theodore. editor. Spirakis, Paul G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32820-6
Format: Electronic Resources
Availability Online Library~1

Knowledge Technology Third Knowledge Technology Week, KTW 2011, Kajang, Malaysia, July 18-22, 2011. Revised Selected Papers

2026-05-11T20:32:32Z

Author Lukose, Dickson. editor. Ahmad, Abdul Rahim. editor. Suliman, Azizah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32826-8
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings

2026-05-11T20:32:32Z

Author Krötzsch, Markus. editor. Straccia, Umberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33203-6
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks in Pattern Recognition 5th INNS IAPR TC 3 GIRPR Workshop, ANNPR 2012, Trento, Italy, September 17-19, 2012. Proceedings

2026-05-11T20:32:32Z

Author Mana, Nadia. editor. Schwenker, Friedhelm. editor. Trentin, Edmondo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33212-8
Format: Electronic Resources
Availability Online Library~1

Electronic Participation 4th IFIP WG 8.5 International Conference, ePart 2012, Kristiansand, Norway, September 3-5, 2012. Proceedings

2026-05-11T20:32:32Z

Author Tambouris, Efthimios. editor. Macintosh, Ann. editor. Sæbø, Øystein. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33250-0
Format: Electronic Resources
Availability Online Library~1

Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings

2026-05-11T20:32:32Z

Author Barros, Alistair. editor. Gal, Avigdor. editor. Kindler, Ekkart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32885-5
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings

2026-05-11T20:32:32Z

Author Durand-Lose, Jérôme. editor. Jonoska, Nataša. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32894-7
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning – ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I

2026-05-11T20:32:32Z

Author Villa, Alessandro E. P. editor. Duch, Włodzisław. editor. Érdi, Péter. editor. Masulli, Francesco. editor. Palm, Günther. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33269-2
Format: Electronic Resources
Availability Online Library~1

Engineering Applications of Neural Networks 13th International Conference, EANN 2012, London, UK, September 20-23, 2012. Proceedings

2026-05-11T20:32:32Z

Author Jayne, Chrisina. editor. Yue, Shigang. editor. Iliadis, Lazaros. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32909-8
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

2026-05-11T20:32:32Z

Author Alvarez, Luis. editor. Mejail, Marta. editor. Gomez, Luis. editor. Jacobo, Julio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33275-3
Format: Electronic Resources
Availability Online Library~1

Collaboration and Technology 18th International Conference, CRIWG 2012 Raesfeld, Germany, September 16-19, 2012 Proceedings

2026-05-11T20:32:32Z

Author Herskovic, Valeria. editor. Hoppe, H. Ulrich. editor. Jansen, Marc. editor. Ziegler, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33284-5
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Digital Libraries Second International Conference, TPDL 2012, Paphos, Cyprus, September 23-27, 2012. Proceedings

2026-05-11T20:32:32Z

Author Zaphiris, Panayiotis. editor. Buchanan, George. editor. Rasmussen, Edie. editor. Loizides, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33290-6
Format: Electronic Resources
Availability Online Library~1

CONCUR 2012 – Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings

2026-05-11T20:32:32Z

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

Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

2026-05-11T20:32:32Z

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

Financial Cryptography and Data Security 16th International Conference, FC 2012, Kralendijk, Bonaire, Februray 27-March 2, 2012, Revised Selected Papers

2026-05-11T20:32:32Z

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

Parallel Problem Solving from Nature - PPSN XII 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part II

2026-05-11T20:32:32Z

Author Coello, Carlos A. Coello. editor. Cutello, Vincenzo. editor. Deb, Kalyanmoy. editor. Forrest, Stephanie. editor. Nicosia, Giuseppe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32964-7
Format: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings

2026-05-11T20:32:32Z

Author Agudo, Belén Díaz. editor. Watson, Ian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32986-9
Format: Electronic Resources
Availability Online Library~1

Research in Attacks, Intrusions, and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings

2026-05-11T20:32:32Z

Author Balzarotti, Davide. editor. Stolfo, Salvatore J. editor. Cova, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33338-5
Format: Electronic Resources
Availability Online Library~1

KI 2012: Advances in Artificial Intelligence 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings

2026-05-11T20:32:32Z

Author Glimm, Birte. editor. Krüger, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33347-7
Format: Electronic Resources
Availability Online Library~1

Cellular Automata 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings

2026-05-11T20:32:32Z

Author Sirakoulis, Georgios Ch. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33350-7
Format: Electronic Resources
Availability Online Library~1

Web-Age Information Management WAIM 2012 International Workshops: GDMM, IWSN, MDSP, USDM, and XMLDM Harbin, China, August 18-20, 2012 Proceedings

2026-05-11T20:32:32Z

Author Bao, Zhifeng. editor. Gao, Yunjun. editor. Gu, Yu. editor. Guo, Longjiang. editor. Li, Yingshu. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33050-6
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

2026-05-11T20:32:32Z

Author Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33365-1
Format: Electronic Resources
Availability Online Library~1

Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings

2026-05-11T20:32:32Z

Author Gollmann, Dieter. editor. Freiling, Felix C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33383-5
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

2026-05-11T20:32:32Z

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

Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I

2026-05-11T20:32:32Z

Author Xiang, Yang. editor. Stojmenovic, Ivan. editor. Apduhan, Bernady O. editor. Wang, Guojun. editor. Nakano, Koji. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33078-0
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part I

2026-05-11T20:32:32Z

Author Ayache, Nicholas. editor. Delingette, Hervé. editor. Golland, Polina. editor. Mori, Kensaku. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33415-3
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part II

2026-05-11T20:32:32Z

Author Ayache, Nicholas. editor. Delingette, Hervé. editor. Golland, Polina. editor. Mori, Kensaku. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33418-4
Format: Electronic Resources
Availability Online Library~1

Service-Oriented and Cloud Computing First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings

2026-05-11T20:32:32Z

Author Paoli, Flavio. editor. Pimentel, Ernesto. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33427-6
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part III

2026-05-11T20:32:32Z

Author Ayache, Nicholas. editor. Delingette, Hervé. editor. Golland, Polina. editor. Mori, Kensaku. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33454-2
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part I

2026-05-11T20:32:32Z

Author Flach, Peter A. editor. Bie, Tijl. editor. Cristianini, Nello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33460-3
Format: Electronic Resources
Availability Online Library~1

Mesh Processing in Medical Image Analysis 2012 MICCAI 2012 International Workshop, MeshMed 2012, Nice, France, October 1, 2012. Proceedings

2026-05-11T20:32:32Z

Author Levine, Joshua A. editor. Paulsen, Rasmus R. editor. Zhang, Yongjie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33463-4
Format: Electronic Resources
Availability Online Library~1

E-Learning and Games for Training, Education, Health and Sports 7th International Conference, Edutainment 2012 and 3rd International Conference, GameDays 2012, Darmstadt, Germany, September 18-20, 2012. Proceedings

2026-05-11T20:32:32Z

Author Göbel, Stefan. editor. Müller, Wolfgang. editor. Urban, Bodo. editor. Wiemeyer, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33466-5
Format: Electronic Resources
Availability Online Library~1

Web Information Systems and Mining International Conference, WISM 2012, Chengdu, China, October 26-28, 2012. Proceedings

2026-05-11T20:32:32Z

Author Wang, Fu Lee. editor. Lei, Jingsheng. editor. Gong, Zhiguo. editor. Luo, Xiangfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33469-6
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Computational Intelligence 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings

2026-05-11T20:32:32Z

Author Lei, Jingsheng. editor. Wang, Fu Lee. editor. Deng, Hepu. editor. Miao, Duoqian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33478-8
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – LATINCRYPT 2012 2nd International Conference on Cryptology and Information Security in Latin America, Santiago, Chile, October 7-10, 2012. Proceedings

2026-05-11T20:32:32Z

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

Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings

2026-05-11T20:32:32Z

Author Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33119-0
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part III

2026-05-11T20:32:32Z

Author Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33503-7
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition Chinese Conference, CCPR 2012, Beijing, China, September 24-26, 2012. Proceedings

2026-05-11T20:32:32Z

Author Liu, Cheng-Lin. editor. Zhang, Changshui. editor. Wang, Liang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33506-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part I

2026-05-11T20:32:32Z

Author Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33509-9
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

2026-05-11T20:32:32Z

Author Finkel, Alain. editor. Leroux, Jérôme. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33512-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II

2026-05-11T20:32:32Z

Author Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33515-0
Format: Electronic Resources
Availability Online Library~1

Recent Advances in the Message Passing Interface 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings

2026-05-11T20:32:32Z

Author Träff, Jesper Larsson. editor. Benkner, Siegfried. editor. Dongarra, Jack J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33518-1
Format: Electronic Resources
Availability Online Library~1

Multimodal Brain Image Analysis Second International Workshop, MBIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1-5, 2012. Proceedings

2026-05-11T20:32:32Z

Author Yap, Pew-Thian. editor. Liu, Tianming. editor. Shen, Dinggang. editor. Westin, Carl-Fredrik. editor. Shen, Li. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33530-3
Format: Electronic Resources
Availability Online Library~1

Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers

2026-05-11T20:32:32Z

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