Search Results for Computer Science. - Narrowed by: 2013

Computer science illuminated

2026-01-23T13:13:32Z

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

Computer and Information Science

2026-01-23T13:13:32Z

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

Modelling Computing Systems Mathematics for Computer Science

2026-01-23T13:13:32Z

Author Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332574.1)
Electronic Access http://dx.doi.org/10.1007/978-1-84800-322-4
Format: Electronic Resources
Availability Online Library~1

Horizons in computer science research. Vol. 8

2026-01-23T13:13:32Z

Author Clary, Thomas S.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=564186
Format: Electronic Resources
Availability Online Library~1

Analyzing Evolutionary Algorithms The Computer Science Perspective

2026-01-23T13:13:32Z

Author Jansen, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333075.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-17339-4
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2026-01-23T13:13:32Z

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

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

2026-01-23T13:13:32Z

Author Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Preferred Shelf Number ONLINE(334064.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35843-2
Format: Electronic Resources
Availability Online Library~1

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

2026-01-23T13:13:32Z

Author Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334910.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40206-7
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers

2026-01-23T13:13:32Z

Author Brandstädt, Andreas. editor. Jansen, Klaus. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335182.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45043-3
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

2026-01-23T13:13:32Z

Author Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334617.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38536-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XIX Special Issue on Computer Graphics

2026-01-23T13:13:32Z

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

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

2026-01-23T13:13:32Z

Author Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334925.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40313-2
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Preferred Shelf Number ONLINE(334106.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36046-6
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer

2026-01-23T13:13:32Z

Author Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330901.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4069-6
Format: Electronic Resources
Availability Online Library~1

Introduction to computer science using Python : a computational problem-solving focus

2026-01-23T13:13:32Z

Author Dierbach, Charles, 1953-
Preferred Shelf Number QA76.73 P98 D547 2013
Format: Books
Availability Beytepe Library~1

IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011

2026-01-23T13:13:32Z

Author Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335821.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4786-9
Format: Electronic Resources
Availability Online Library~1

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

2026-01-23T13:13:32Z

Author Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332822.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00966-7
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Control Systems and Computer Science

2026-01-23T13:13:32Z

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

Proceedings of the 2012 International Conference of Modern Computer Science and Applications

2026-01-23T13:13:32Z

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

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics

2026-01-23T13:13:32Z

Author Mogavero, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336496.1)
Electronic Access http://dx.doi.org/10.2991/978-94-91216-95-4
Format: Electronic Resources
Availability Online Library~1

A practical guide to gender diversity for computer science faculty

2026-01-23T13:13:32Z

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

Belief Revision in Non-Classical Logics

2026-01-23T13:13:32Z

Author Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330925.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Electronic Resources
Availability Online Library~1

Real-Time Detection of Lines and Grids By PClines and Other Approaches

2026-01-23T13:13:32Z

Author Herout, Adam. author. Dubská, Markéta. author. Havel, Jiří. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330974.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4414-4
Format: Electronic Resources
Availability Online Library~1

Energy-Efficient High Performance Computing Measurement and Tuning

2026-01-23T13:13:32Z

Author Laros III, James H. author. Pedretti, Kevin. author. Kelly, Suzanne M. author. Shu, Wei. author. Ferreira, Kurt. author.
Preferred Shelf Number ONLINE(330991.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4492-2
Format: Electronic Resources
Availability Online Library~1

Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems

2026-01-23T13:13:32Z

Author Shukla, K. K. author. Tiwari, Arvind K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331104.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4941-5
Format: Electronic Resources
Availability Online Library~1

Omnidirectional Vision Systems Calibration, Feature Extraction and 3D Information

2026-01-23T13:13:32Z

Author Puig, Luis. author. Guerrero, J.J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331106.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4947-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Image Processing Using R Learning by Examples

2026-01-23T13:13:32Z

Author Frery, Alejandro C. author. Perciano, Talita. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331107.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4950-7
Format: Electronic Resources
Availability Online Library~1

Ethical and Social Issues in the Information Age

2026-01-23T13:13:32Z

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

Computational Intelligence A Methodological Introduction

2026-01-23T13:13:32Z

Author Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Steinbrecher, Matthias. author.
Preferred Shelf Number ONLINE(331117.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5013-8
Format: Electronic Resources
Availability Online Library~1

Explaining Algorithms Using Metaphors

2026-01-23T13:13:32Z

Author Forišek, Michal. author. Steinová, Monika. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331118.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5019-0
Format: Electronic Resources
Availability Online Library~1

Modeling and Simulating Command and Control For Organizations Under Extreme Situations

2026-01-23T13:13:32Z

Author Moon, Il-Chul. author. Carley, Kathleen M. author. Kim, Tag Gon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331124.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5037-4
Format: Electronic Resources
Availability Online Library~1

From Fault Classification to Fault Tolerance for Multi-Agent Systems

2026-01-23T13:13:32Z

Author Potiron, Katia. author. El Fallah Seghrouchni, Amal. author. Taillibert, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331127.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5046-6
Format: Electronic Resources
Availability Online Library~1

Rapid Serial Visual Presentation Design for Cognition

2026-01-23T13:13:32Z

Author Spence, Robert. author. Witkowski, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331139.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5085-5
Format: Electronic Resources
Availability Online Library~1

Countering Brandjacking in the Digital Age … and Other Hidden Risks to Your Brand

2026-01-23T13:13:32Z

Author Hofman, Christopher. author. Keates, Simeon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331219.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5580-5
Format: Electronic Resources
Availability Online Library~1

Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture

2026-01-23T13:13:32Z

Author Rockcastle, Siobhan. author. Andersen, Marilyne. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331178.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5233-0
Format: Electronic Resources
Availability Online Library~1

Bluetooth Security Attacks Comparative Analysis, Attacks, and Countermeasures

2026-01-23T13:13:32Z

Author Haataja, Keijo. author. Hyppönen, Konstantin. author. Pasanen, Sanna. author. Toivanen, Pekka. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334982.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40646-1
Format: Electronic Resources
Availability Online Library~1

Mobile Authentication Problems and Solutions

2026-01-23T13:13:32Z

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

Spatio-temporal Networks Modeling and Algorithms

2026-01-23T13:13:32Z

Author George, Betsy. author. Kim, Sangho. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331620.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4918-8
Format: Electronic Resources
Availability Online Library~1

Querying Moving Objects Detected by Sensor Networks

2026-01-23T13:13:32Z

Author Bestehorn, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331623.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4927-0
Format: Electronic Resources
Availability Online Library~1

Automatic Malware Analysis An Emulator Based Approach

2026-01-23T13:13:32Z

Author Yin, Heng. author. Song, Dawn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331796.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5523-3
Format: Electronic Resources
Availability Online Library~1

Performance Evaluation Software Moving Object Detection and Tracking in Videos

2026-01-23T13:13:32Z

Author Karasulu, Bahadir. author. Korukoglu, Serdar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332057.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6534-8
Format: Electronic Resources
Availability Online Library~1

Distributed Medium Access Control in Wireless Networks

2026-01-23T13:13:32Z

Author Wang, Ping. author. Zhuang, Weihua. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332073.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6602-4
Format: Electronic Resources
Availability Online Library~1

Transportation and Information Trends in Technology and Policy

2026-01-23T13:13:32Z

Author Thakuriah, Piyushimita (Vonu). author. Geers, D. Glenn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332214.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7129-5
Format: Electronic Resources
Availability Online Library~1

Security for Wireless Implantable Medical Devices

2026-01-23T13:13:32Z

Author Hei, Xiali. author. Du, Xiaojiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332220.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7153-0
Format: Electronic Resources
Availability Online Library~1

A Survey of Core Research in Information Systems

2026-01-23T13:13:32Z

Author Sidorova, Anna. author. Evangelopoulos, Nicholas. author. Torres, Russell. author. Johnson, Vess. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332222.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7158-5
Format: Electronic Resources
Availability Online Library~1

Android Malware

2026-01-23T13:13:32Z

Author Jiang, Xuxian. author. Zhou, Yajin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332276.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7394-7
Format: Electronic Resources
Availability Online Library~1

Security Assessment in Vehicular Networks

2026-01-23T13:13:32Z

Author Du, Suguo. author. Zhu, Haojin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332479.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9357-0
Format: Electronic Resources
Availability Online Library~1

Wireless Virtualization

2026-01-23T13:13:32Z

Author Wen, Heming. author. Tiwary, Prabhat Kumar. author. Le-Ngoc, Tho. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332854.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01291-9
Format: Electronic Resources
Availability Online Library~1

Spatio-Temporal Databases Complex Motion Pattern Queries

2026-01-23T13:13:32Z

Author Vieira, Marcos R. author. Tsotras, Vassilis J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332918.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02408-0
Format: Electronic Resources
Availability Online Library~1

Secure IP Mobility Management for VANET

2026-01-23T13:13:32Z

Author Taha, Sanaa. author. Shen, Xuemin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332861.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01351-0
Format: Electronic Resources
Availability Online Library~1

Sustainable Wireless Networks

2026-01-23T13:13:32Z

Author Zheng, Zhongming. author. Cai, Lin X. author. Shen, Xuemin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332922.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02469-1
Format: Electronic Resources
Availability Online Library~1

Unsupervised Information Extraction by Text Segmentation

2026-01-23T13:13:32Z

Author Cortez, Eli. author. Silva, Altigran S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332930.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02597-1
Format: Electronic Resources
Availability Online Library~1

Traffic Measurement on the Internet

2026-01-23T13:13:32Z

Author Li, Tao. author. Chen, Shigang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331602.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4851-8
Format: Electronic Resources
Availability Online Library~1

Health Informatics in the Cloud

2026-01-23T13:13:32Z

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

Routing for Wireless Multi-Hop Networks

2026-01-23T13:13:32Z

Author Abdel Hamid, Sherin. author. Hassanein, Hossam S. author. Takahara, Glen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332014.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6357-3
Format: Electronic Resources
Availability Online Library~1

A General Framework for Reasoning On Inconsistency

2026-01-23T13:13:32Z

Author Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332107.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: Electronic Resources
Availability Online Library~1

Semantic Web-based Intelligent Geospatial Web Services

2026-01-23T13:13:32Z

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

Physical Layer Approaches for Securing Wireless Communication Systems

2026-01-23T13:13:32Z

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

Modeling Trust Context in Networks

2026-01-23T13:13:32Z

Author Adali, Sibel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332190.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7031-1
Format: Electronic Resources
Availability Online Library~1

Sustainable Web Ecosystem Design

2026-01-23T13:13:32Z

Author O'Toole, Greg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332331.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7714-3
Format: Electronic Resources
Availability Online Library~1

Concepts, Ontologies, and Knowledge Representation

2026-01-23T13:13:32Z

Author Jakus, Grega. author. Milutinović, Veljko. author. Omerović, Sanida. author. Tomažič, Sašo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332353.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7822-5
Format: Electronic Resources
Availability Online Library~1

Studies on Urban Vehicular Ad-hoc Networks

2026-01-23T13:13:32Z

Author Zhu, Hongzi. author. Li, Minglu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332386.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8048-8
Format: Electronic Resources
Availability Online Library~1

Security and Privacy in Mobile Social Networks

2026-01-23T13:13:32Z

Author Liang, Xiaohui. author. Lu, Rongxing. author. Lin, Xiaodong. author. Shen, Xuemin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332451.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8857-6
Format: Electronic Resources
Availability Online Library~1

Resource Management in Utility and Cloud Computing

2026-01-23T13:13:32Z

Author Zhao, Han. author. Li, Xiaolin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332457.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8970-2
Format: Electronic Resources
Availability Online Library~1

Intrusion Detection for IP-Based Multimedia Communications over Wireless Networks

2026-01-23T13:13:32Z

Author Tang, Jin. author. Cheng, Yu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332461.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8996-2
Format: Electronic Resources
Availability Online Library~1

Distributed Hash Table Theory, Platforms and Applications

2026-01-23T13:13:32Z

Author Zhang, Hao. author. Wen, Yonggang. author. Xie, Haiyong. author. Yu, Nenghai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332462.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9008-1
Format: Electronic Resources
Availability Online Library~1

Location Privacy Protection in Mobile Networks

2026-01-23T13:13:32Z

Author Liu, Xinxin. author. Li, Xiaolin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332468.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9074-6
Format: Electronic Resources
Availability Online Library~1

Cyber Security Deterrence and IT Protection for Critical Infrastructures

2026-01-23T13:13:32Z

Author Martellini, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332909.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02279-6
Format: Electronic Resources
Availability Online Library~1

A Brief History of Cryptology and Cryptographic Algorithms

2026-01-23T13:13:32Z

Author Dooley, John F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332881.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01628-3
Format: Electronic Resources
Availability Online Library~1

Concise Computer Mathematics Tutorials on Theory and Problems

2026-01-23T13:13:32Z

Author Bagdasar, Ovidiu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332887.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01751-8
Format: Electronic Resources
Availability Online Library~1

Data Center Networks Topologies, Architectures and Fault-Tolerance Characteristics

2026-01-23T13:13:32Z

Author Liu, Yang. author. Muppala, Jogesh K. author. Veeraraghavan, Malathi. author. Lin, Dong. author. Hamdi, Mounir. author.
Preferred Shelf Number ONLINE(332894.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01949-9
Format: Electronic Resources
Availability Online Library~1

Guide to Modeling and Simulation of Systems of Systems User’s Reference

2026-01-23T13:13:32Z

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

Time-of-Flight Cameras Principles, Methods and Applications

2026-01-23T13:13:32Z

Author Hansard, Miles. author. Lee, Seungkyu. author. Choi, Ouk. author. Horaud, Radu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331036.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4658-2
Format: Electronic Resources
Availability Online Library~1

Motion History Images for Action Recognition and Understanding

2026-01-23T13:13:32Z

Author Ahad, Md. Atiqur Rahman. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331046.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4730-5
Format: Electronic Resources
Availability Online Library~1

Data Mining in Large Sets of Complex Data

2026-01-23T13:13:32Z

Author Cordeiro, Robson L. F. author. Faloutsos, Christos. author. Traina Júnior, Caetano. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331088.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4890-6
Format: Electronic Resources
Availability Online Library~1

Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation

2026-01-23T13:13:32Z

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

Middleware Solutions for the Internet of Things

2026-01-23T13:13:32Z

Author Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331206.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5481-5
Format: Electronic Resources
Availability Online Library~1

Formal Languages and Compilation

2026-01-23T13:13:32Z

Author Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331210.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5514-0
Format: Electronic Resources
Availability Online Library~1

Graph-Based Clustering and Data Visualization Algorithms

2026-01-23T13:13:32Z

Author Vathy-Fogarassy, Ágnes. author. Abonyi, János. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331160.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5158-6
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Parameterized Complexity

2026-01-23T13:13:32Z

Author Downey, Rodney G. author. Fellows, Michael R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331218.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5559-1
Format: Electronic Resources
Availability Online Library~1

Sentiment Analysis for PTSD Signals

2026-01-23T13:13:32Z

Author Kagan, Vadim. author. Rossini, Edward. author. Sapounas, Demetrios. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331316.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3097-1
Format: Electronic Resources
Availability Online Library~1

Dynamic Cloud Collaboration Platform A Market-Oriented Approach

2026-01-23T13:13:32Z

Author Hassan, Mohammad Mehedi. author. Huh, Eui-Nam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331690.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5146-4
Format: Electronic Resources
Availability Online Library~1

RFID as an Infrastructure

2026-01-23T13:13:32Z

Author Qiao, Yan. author. Chen, Shigang. author. Li, Tao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331716.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5230-0
Format: Electronic Resources
Availability Online Library~1

Network Robustness under Large-Scale Attacks

2026-01-23T13:13:32Z

Author Zhou, Qing. author. Gao, Long. author. Liu, Ruifang. author. Cui, Shuguang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331604.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4860-0
Format: Electronic Resources
Availability Online Library~1

Fast Compact Algorithms and Software for Spline Smoothing

2026-01-23T13:13:32Z

Author Weinert, Howard L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331788.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: Electronic Resources
Availability Online Library~1

Social Media Audit Measure for Impact

2026-01-23T13:13:32Z

Author Gattiker, Urs E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331356.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3603-4
Format: Electronic Resources
Availability Online Library~1

Distributed Space-Time Coding

2026-01-23T13:13:32Z

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

Cooperative Networking in a Heterogeneous Wireless Medium

2026-01-23T13:13:32Z

Author Ismail, Muhammad. author. Zhuang, Weihua. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332201.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7079-3
Format: Electronic Resources
Availability Online Library~1

Cognitive Virtual Network Operator Games

2026-01-23T13:13:32Z

Author Duan, Lingjie. author. Huang, Jianwei. author. Shou, Biying. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332454.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8890-3
Format: Electronic Resources
Availability Online Library~1

4G Femtocells Resource Allocation and Interference Management

2026-01-23T13:13:32Z

Author Zhang, Haijun. author. Chu, Xiaoli. author. Wen, Xiangming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332469.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9080-7
Format: Electronic Resources
Availability Online Library~1

Energy-aware Scheduling on Multiprocessor Platforms

2026-01-23T13:13:32Z

Author Li, Dawei. author. Wu, Jie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331714.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5224-9
Format: Electronic Resources
Availability Online Library~1

Communications and Networking An Introduction

2026-01-23T13:13:32Z

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

Autonomic Computing Principles, Design and Implementation

2026-01-23T13:13:32Z

Author Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331115.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Databases A Practical Introduction

2026-01-23T13:13:32Z

Author Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331224.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

2026-01-23T13:13:32Z

Author Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333558.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32341-6
Format: Electronic Resources
Availability Online Library~1

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

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

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334022.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35656-8
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

2026-01-23T13:13:32Z

Author Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.
Preferred Shelf Number ONLINE(334025.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35668-1
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334034.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35705-3
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Modeling 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part I

2026-01-23T13:13:32Z

Author Li, Shipeng. editor. Saddik, Abdulmotaleb. editor. Wang, Meng. editor. Mei, Tao. editor. Sebe, Nicu. editor.
Preferred Shelf Number ONLINE(334039.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35725-1
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Modeling 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part II

2026-01-23T13:13:32Z

Author Li, Shipeng. editor. Saddik, Abdulmotaleb. editor. Wang, Meng. editor. Mei, Tao. editor. Sebe, Nicu. editor.
Preferred Shelf Number ONLINE(334040.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35728-2
Format: Electronic Resources
Availability Online Library~1

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number ONLINE(334041.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35737-4
Format: Electronic Resources
Availability Online Library~1

Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings

2026-01-23T13:13:32Z

Author Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334048.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35786-2
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings

2026-01-23T13:13:32Z

Author Demeester, Piet. editor. Moerman, Ingrid. editor. Terzis, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334263.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36672-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2026-01-23T13:13:32Z

Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334055.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Electronic Resources
Availability Online Library~1

Computational Color Imaging 4th International Workshop, CCIW 2013, Chiba, Japan, March 3-5, 2013. Proceedings

2026-01-23T13:13:32Z

Author Tominaga, Shoji. editor. Schettini, Raimondo. editor. Trémeau, Alain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334270.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36700-7
Format: Electronic Resources
Availability Online Library~1

Digital Libraries and Archives 8th Italian Research Conference, IRCDL 2012, Bari, Italy, February 9-10, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Agosti, Maristella. editor. Esposito, Floriana. editor. Ferilli, Stefano. editor. Ferro, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334061.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35834-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XVII

2026-01-23T13:13:32Z

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

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

2026-01-23T13:13:32Z

Author Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334069.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35861-6
Format: Electronic Resources
Availability Online Library~1

Mobile Communication and Power Engineering Second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Das, Vinu V. editor. Chaba, Yogesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334070.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35864-7
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

2026-01-23T13:13:32Z

Author Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334071.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35867-8
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

2026-01-23T13:13:32Z

Author Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334073.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35873-9
Format: Electronic Resources
Availability Online Library~1

Information Systems, E-learning, and Knowledge Management Research 4th World Summit on the Knowledge Society, WSKS 2011, Mykonos, Greece, September 21-23, 2011. Revised Selected Papers

2026-01-23T13:13:32Z

Author Lytras, Miltiadis D. editor. Ruan, Da. editor. Tennyson, Robert D. editor. Ordonez De Pablos, Patricia. editor. García Peñalvo, Francisco José. editor.
Preferred Shelf Number ONLINE(334075.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35879-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

2026-01-23T13:13:32Z

Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334077.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35887-6
Format: Electronic Resources
Availability Online Library~1

Data Privacy Management and Autonomous Spontaneous Security 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers

2026-01-23T13:13:32Z

Author Pietro, Roberto. editor. Herranz, Javier. editor. Damiani, Ernesto. editor. State, Radu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334078.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35890-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-23T13:13:32Z

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

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.
Preferred Shelf Number ONLINE(334080.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35898-2
Format: Electronic Resources
Availability Online Library~1

Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

2026-01-23T13:13:32Z

Author Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Preferred Shelf Number ONLINE(334092.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35975-0
Format: Electronic Resources
Availability Online Library~1

Modern Probabilistic Methods for Analysis of Telecommunication Networks Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings

2026-01-23T13:13:32Z

Author Dudin, Alexander. editor. Klimenok, Valentina. editor. Tsarenkov, Gennadiy. editor. Dudin, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334093.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35980-4
Format: Electronic Resources
Availability Online Library~1

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

2026-01-23T13:13:32Z

Author Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334096.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Electronic Resources
Availability Online Library~1

Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

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

Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

2026-01-23T13:13:32Z

Author Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334099.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36008-4
Format: Electronic Resources
Availability Online Library~1

Graphics Recognition. New Trends and Challenges 9th International Workshop, GREC 2011, Seoul, Korea, September 15-16, 2011, Revised Selected Papers

2026-01-23T13:13:32Z

Author Kwon, Young-Bin. editor. Ogier, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334303.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36824-0
Format: Electronic Resources
Availability Online Library~1

Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-01-23T13:13:32Z

Author Basin, David. editor. Mitchell, John C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334305.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36830-1
Format: Electronic Resources
Availability Online Library~1

Information Retrieval Meets Information Visualization PROMISE Winter School 2012, Zinal, Switzerland, January 23-27, 2012, Revised Tutorial Lectures

2026-01-23T13:13:32Z

Author Agosti, Maristella. editor. Ferro, Nicola. editor. Forner, Pamela. editor. Müller, Henning. editor. Santucci, Giuseppe. editor.
Preferred Shelf Number ONLINE(334197.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36415-0
Format: Electronic Resources
Availability Online Library~1

Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede

2026-01-23T13:13:32Z

Author Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334319.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36899-8
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings

2026-01-23T13:13:32Z

Author Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334200.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36424-2
Format: Electronic Resources
Availability Online Library~1

Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings

2026-01-23T13:13:32Z

Author Zhang, Jianlong. editor. Sun, Chengyu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334705.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38974-0
Format: Electronic Resources
Availability Online Library~1

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

2026-01-23T13:13:32Z

Author Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334706.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38977-1
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings

2026-01-23T13:13:32Z

Author Jacobson, Michael. editor. Locasto, Michael. editor. Mohassel, Payman. editor. Safavi-Naini, Reihaneh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334707.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38980-1
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

2026-01-23T13:13:32Z

Author Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334708.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38986-3
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition 5th Mexican Conference, MCPR 2013, Querétaro, Mexico, June 26-29, 2013. Proceedings

2026-01-23T13:13:32Z

Author Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Rodríguez, Joaquín Salas. editor. Baja, Gabriella Sanniti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334709.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38989-4
Format: Electronic Resources
Availability Online Library~1

Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings

2026-01-23T13:13:32Z

Author Doyen, Guillaume. editor. Waldburger, Martin. editor. Čeleda, Pavel. editor. Sperotto, Anna. editor. Stiller, Burkhard. editor.
Preferred Shelf Number ONLINE(334710.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38998-6
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2026-01-23T13:13:32Z

Author Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334711.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39013-5
Format: Electronic Resources
Availability Online Library~1

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2026-01-23T13:13:32Z

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

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

2026-01-23T13:13:32Z

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

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

2026-01-23T13:13:32Z

Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334718.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings

2026-01-23T13:13:32Z

Author Delany, Sarah Jane. editor. Ontañón, Santiago. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334719.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39056-2
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings

2026-01-23T13:13:32Z

Author Boyd, Colin. editor. Simpson, Leonie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334720.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39059-3
Format: Electronic Resources
Availability Online Library~1

Human Factors in Computing and Informatics First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings

2026-01-23T13:13:32Z

Author Holzinger, Andreas. editor. Ziefle, Martina. editor. Hitz, Martin. editor. Debevc, Matjaž. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334721.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39062-3
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I

2026-01-23T13:13:32Z

Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334722.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39065-4
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II

2026-01-23T13:13:32Z

Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334723.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39068-5
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

2026-01-23T13:13:32Z

Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334724.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39071-5
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

2026-01-23T13:13:32Z

Author Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334725.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39074-6
Format: Electronic Resources
Availability Online Library~1

Privacy Enhancing Technologies 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings

2026-01-23T13:13:32Z

Author Cristofaro, Emiliano. editor. Wright, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334726.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39077-7
Format: Electronic Resources
Availability Online Library~1

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

2026-01-23T13:13:32Z

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

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

2026-01-23T13:13:32Z

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

Image Analysis and Recognition 10th International Conference, ICIAR 2013, Póvoa do Varzim, Portugal, June 26-28, 2013. Proceedings

2026-01-23T13:13:32Z

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

Artificial Intelligence in Education 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013. Proceedings

2026-01-23T13:13:32Z

Author Lane, H. Chad. editor. Yacef, Kalina. editor. Mostow, Jack. editor. Pavlik, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334731.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39112-5
Format: Electronic Resources
Availability Online Library~1

Cross-Cultural Design. Cultural Differences in Everyday Life 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

2026-01-23T13:13:32Z

Author Rau, P. L. Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334735.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39137-8
Format: Electronic Resources
Availability Online Library~1

Similarity-Based Pattern Recognition Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings

2026-01-23T13:13:32Z

Author Hancock, Edwin. editor. Pelillo, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334736.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39140-8
Format: Electronic Resources
Availability Online Library~1

Cross-Cultural Design. Methods, Practice, and Case Studies 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2026-01-23T13:13:32Z

Author Rau, P. L. Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334737.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39143-9
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data Third International Workshop, HCI-KDD 2013, Held at SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings

2026-01-23T13:13:32Z

Author Holzinger, Andreas. editor. Pasi, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334738.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39146-0
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition in Bioinformatics 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings

2026-01-23T13:13:32Z

Author Ngom, Alioune. editor. Formenti, Enrico. editor. Hao, Jin-Kao. editor. Zhao, Xing-Ming. editor. Laarhoven, Twan. editor.
Preferred Shelf Number ONLINE(334739.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39159-0
Format: Electronic Resources
Availability Online Library~1

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2026-01-23T13:13:32Z

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

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

2026-01-23T13:13:32Z

Author Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334743.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39176-7
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings

2026-01-23T13:13:32Z

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

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

2026-01-23T13:13:32Z

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

E-Voting and Identify 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings

2026-01-23T13:13:32Z

Author Heather, James. editor. Schneider, Steve. editor. Teague, Vanessa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334746.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39185-9
Format: Electronic Resources
Availability Online Library~1

Universal Access in Human-Computer Interaction. Design Methods, Tools, and Interaction Techniques for eInclusion 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2026-01-23T13:13:32Z

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

Universal Access in Human-Computer Interaction. User and Context Diversity 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

2026-01-23T13:13:32Z

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

Universal Access in Human-Computer Interaction. Applications and Services for Quality of Life 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III

2026-01-23T13:13:32Z

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

Web Engineering 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings

2026-01-23T13:13:32Z

Author Daniel, Florian. editor. Dolog, Peter. editor. Li, Qing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334750.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39200-9
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

2026-01-23T13:13:32Z

Author Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334751.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39206-1
Format: Electronic Resources
Availability Online Library~1

Human Interface and the Management of Information. Information and Interaction Design 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2026-01-23T13:13:32Z

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

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

2026-01-23T13:13:32Z

Author Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334753.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39212-2
Format: Electronic Resources
Availability Online Library~1

Human Interface and the Management of Information. Information and Interaction for Health, Safety, Mobility and Complex Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

2026-01-23T13:13:32Z

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

Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings

2026-01-23T13:13:32Z

Author Neto, Pedro. editor. Moreira, António Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334756.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39223-8
Format: Electronic Resources
Availability Online Library~1

Human Interface and the Management of Information. Information and Interaction for Learning, Culture, Collaboration and Business, 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III

2026-01-23T13:13:32Z

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

Design, User Experience, and Usability. Design Philosophy, Methods, and Tools Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2026-01-23T13:13:32Z

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

Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2026-01-23T13:13:32Z

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

Detection of Intrusions and Malware, and Vulnerability Assessment 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings

2026-01-23T13:13:32Z

Author Rieck, Konrad. editor. Stewin, Patrick. editor. Seifert, Jean-Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334760.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39235-1
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability. User Experience in Novel Technological Environments Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III

2026-01-23T13:13:32Z

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

Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

2026-01-23T13:13:32Z

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

Ad-hoc, Mobile, and Wireless Network 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings

2026-01-23T13:13:32Z

Author Cichoń, Jacek. editor. Gȩbala, Maciej. editor. Klonowski, Marek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334764.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39247-4
Format: Electronic Resources
Availability Online Library~1

RoboCup 2012: Robot Soccer World Cup XVI

2026-01-23T13:13:32Z

Author Chen, Xiaoping. editor. Stone, Peter. editor. Sucar, Luis Enrique. editor. Zant, Tijn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334765.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39250-4
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability. Web, Mobile, and Product Design Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV

2026-01-23T13:13:32Z

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

Data and Applications Security and Privacy XXVII 27th Annual IFIP WG 11.3 Conference, DBSec 2013, Newark, NJ, USA, July 15-17, 2013. Proceedings

2026-01-23T13:13:32Z

Author Wang, Lingyu. editor. Shafiq, Basit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334767.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39256-6
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings

2026-01-23T13:13:32Z

Author Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334768.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39259-7
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Applications and Services 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

2026-01-23T13:13:32Z

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

Human-Computer Interaction. Users and Contexts of Use 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III

2026-01-23T13:13:32Z

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

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

2026-01-23T13:13:32Z

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

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

2026-01-23T13:13:32Z

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

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

2026-01-23T13:13:32Z

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

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

2026-01-23T13:13:32Z

Author Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Preferred Shelf Number ONLINE(334781.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39320-4
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Interaction Modalities and Techniques 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV

2026-01-23T13:13:32Z

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

Human-Computer Interaction. Towards Intelligent and Implicit Interaction 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part V

2026-01-23T13:13:32Z

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

Human Aspects of Information Security, Privacy, and Trust First International Conference, HAS 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings

2026-01-23T13:13:32Z

Author Marinos, Louis. editor. Askoxylakis, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334786.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39345-7
Format: Electronic Resources
Availability Online Library~1

Distributed, Ambient, and Pervasive Interactions First International Conference, DAPI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings

2026-01-23T13:13:32Z

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

Engineering Psychology and Cognitive Ergonomics. Applications and Services 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

2026-01-23T13:13:32Z

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

Mathematics and Computation in Music 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013. Proceedings

2026-01-23T13:13:32Z

Author Yust, Jason. editor. Wild, Jonathan. editor. Burgoyne, John Ashley. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334789.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39357-0
Format: Electronic Resources
Availability Online Library~1

Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2026-01-23T13:13:32Z

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

Serious Games Development and Applications 4th International Conference, SGDA 2013, Trondheim, Norway, September 25-27, 2013. Proceedings

2026-01-23T13:13:32Z

Author Ma, Minhua. editor. Oliveira, Manuel Fradinho. editor. Petersen, Sobah. editor. Hauge, Jannicke Baalsrud. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335004.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40790-1
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings

2026-01-23T13:13:32Z

Author Bitsch, Friedemann. editor. Guiochet, Jérémie. editor. Kaâniche, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335005.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40793-2
Format: Electronic Resources
Availability Online Library~1

Computer Vision Systems 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings

2026-01-23T13:13:32Z

Author Chen, Mei. editor. Leibe, Bastian. editor. Neumann, Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334795.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39402-7
Format: Electronic Resources
Availability Online Library~1

Information Access Evaluation. Multilinguality, Multimodality, and Visualization 4th International Conference of the CLEF Initiative, CLEF 2013, Valencia, Spain, September 23-26, 2013. Proceedings

2026-01-23T13:13:32Z

Author Forner, Pamela. editor. Müller, Henning. editor. Paredes, Roberto. editor. Rosso, Paolo. editor. Stein, Benno. editor.
Preferred Shelf Number ONLINE(335007.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40802-1
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I

2026-01-23T13:13:32Z

Author Mori, Kensaku. editor. Sakuma, Ichiro. editor. Sato, Yoshinobu. editor. Barillot, Christian. editor. Navab, Nassir. editor.
Preferred Shelf Number ONLINE(335010.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40811-3
Format: Electronic Resources
Availability Online Library~1

Scaling up Learning for Sustained Impact 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings

2026-01-23T13:13:32Z

Author Hernández-Leo, Davinia. editor. Ley, Tobias. editor. Klamma, Ralf. editor. Harrer, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335011.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40814-4
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings

2026-01-23T13:13:32Z

Author Hsu, Ching-Hsien. editor. Li, Xiaoming. editor. Shi, Xuanhua. editor. Zheng, Ran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335013.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40820-5
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 10th International Conference, CDVE 2013, Alcudia, Mallorca, Spain, September 22-25, 2013. Proceedings

2026-01-23T13:13:32Z

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

Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

2026-01-23T13:13:32Z

Author Liao, Hongen. editor. Linte, Cristian A. editor. Masamune, Ken. editor. Peters, Terry M. editor. Zheng, Guoyan. editor.
Preferred Shelf Number ONLINE(335016.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40843-4
Format: Electronic Resources
Availability Online Library~1

Data Integration in the Life Sciences 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedings

2026-01-23T13:13:32Z

Author Baker, Christopher J. O. editor. Butler, Greg. editor. Jurisica, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334800.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39437-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Augmented Cognition 7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings

2026-01-23T13:13:32Z

Author Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334801.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39454-6
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Data Analysis XII 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings

2026-01-23T13:13:32Z

Author Tucker, Allan. editor. Höppner, Frank. editor. Siebes, Arno. editor. Swift, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335103.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41398-8
Format: Electronic Resources
Availability Online Library~1

Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings

2026-01-23T13:13:32Z

Author Accorsi, Rafael. editor. Ranise, Silvio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335057.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41098-7
Format: Electronic Resources
Availability Online Library~1

Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings

2026-01-23T13:13:32Z

Author Pathan, Mukaddim. editor. Wei, Guiyi. editor. Fortino, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335105.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41428-2
Format: Electronic Resources
Availability Online Library~1

Critical Information Infrastructures Security 7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Hämmerli, Bernhard M. editor. Kalstad Svendsen, Nils. editor. Lopez, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335110.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41485-5
Format: Electronic Resources
Availability Online Library~1

Secure IT Systems 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

2026-01-23T13:13:32Z

Author Riis Nielson, Hanne. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335111.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41488-6
Format: Electronic Resources
Availability Online Library~1

Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Palamidessi, Catuscia. editor. Ryan, Mark D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335066.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41157-1
Format: Electronic Resources
Availability Online Library~1

Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335116.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41515-9
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013. Proceedings, Part I

2026-01-23T13:13:32Z

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

Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013, Proceedings, Part II

2026-01-23T13:13:32Z

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

New Trends in Image Analysis and Processing – ICIAP 2013 ICIAP 2013 International Workshops, Naples, Italy, September 9-13, 2013. Proceedings

2026-01-23T13:13:32Z

Author Petrosino, Alfredo. editor. Maddalena, Lucia. editor. Pala, Pietro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335071.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41190-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

2026-01-23T13:13:32Z

Author Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335072.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41202-8
Format: Electronic Resources
Availability Online Library~1

Cyber Security and Privacy Trust in the Digital World and Cyber Security and Privacy EU Forum 2013, Brussels, Belgium, April 2013, Revised Selected Papers

2026-01-23T13:13:32Z

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

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings

2026-01-23T13:13:32Z

Author Ciucci, Davide. editor. Inuiguchi, Masahiro. editor. Yao, Yiyu. editor. Ślęzak, Dominik. editor. Wang, Guoyin. editor.
Preferred Shelf Number ONLINE(335074.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41218-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems X Special Issue on Database- and Expert-Systems Applications

2026-01-23T13:13:32Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Liddle, Stephen W. editor. Schewe, Klaus-Dieter. editor.
Preferred Shelf Number ONLINE(335075.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41221-9
Format: Electronic Resources
Availability Online Library~1

Multimodal Communication in Political Speech. Shaping Minds and Social Action International Workshop, Political Speech 2010, Rome, Italy, November 10-12, 2010, Revised Selected Papers

2026-01-23T13:13:32Z

Author Poggi, Isabella. editor. D’Errico, Francesca. editor. Vincze, Laura. editor. Vinciarelli, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335121.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41545-6
Format: Electronic Resources
Availability Online Library~1

Provable Security 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings

2026-01-23T13:13:32Z

Author Susilo, Willy. editor. Reyhanitabar, Reza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335077.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41227-1
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I

2026-01-23T13:13:32Z

Author Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335078.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41230-1
Format: Electronic Resources
Availability Online Library~1

The Semantic Web: ESWC 2013 Satellite Events ESWC 2013 Satellite Events, Montpellier, France, May 26-30, 2013, Revised Selected Papers

2026-01-23T13:13:32Z

Author Cimiano, Philipp. editor. Fernández, Miriam. editor. Lopez, Vanessa. editor. Schlobach, Stefan. editor. Völker, Johanna. editor.
Preferred Shelf Number ONLINE(335079.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41242-4
Format: Electronic Resources
Availability Online Library~1

From Sounds to Music and Emotions 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Aramaki, Mitsuko. editor. Barthet, Mathieu. editor. Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335080.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41248-6
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

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

High Performance Computing 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Zhang, Yunquan. editor. Li, Kenli. editor. Xiao, Zheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335128.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41591-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Data Engineering and Automated Learning – IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings

2026-01-23T13:13:32Z

Author Yin, Hujun. editor. Tang, Ke. editor. Gao, Yang. editor. Klawonn, Frank. editor. Lee, Minho. editor.
Preferred Shelf Number ONLINE(335084.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41278-3
Format: Electronic Resources
Availability Online Library~1

Research in Attacks, Intrusions, and Defenses 16th International Symposium, RAID 2013, Rodney Bay, St. Lucia, October 23-25, 2013. Proceedings

2026-01-23T13:13:32Z

Author Stolfo, Salvatore J. editor. Stavrou, Angelos. editor. Wright, Charles V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335085.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41284-4
Format: Electronic Resources
Availability Online Library~1

Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers

2026-01-23T13:13:32Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.
Preferred Shelf Number ONLINE(335131.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41635-4
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Chinese Computing Second CCF Conference, NLPCC 2013, Chongqing, China, November 15-19, 2013, Proceedings

2026-01-23T13:13:32Z

Author Zhou, Guodong. editor. Li, Juanzi. editor. Zhao, Dongyan. editor. Feng, Yansong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335134.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41644-6
Format: Electronic Resources
Availability Online Library~1

Activities of Transport Telematics 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23–26, 2013, Selected Papers

2026-01-23T13:13:32Z

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

In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman

2026-01-23T13:13:32Z

Author Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.
Preferred Shelf Number ONLINE(335138.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41660-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

2026-01-23T13:13:32Z

Author Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334978.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40615-7
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

2026-01-23T13:13:32Z

Author Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Preferred Shelf Number ONLINE(334979.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40624-9
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

2026-01-23T13:13:32Z

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

Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings

2026-01-23T13:13:32Z

Author Bielza, Concha. editor. Salmerón, Antonio. editor. Alonso-Betanzos, Amparo. editor. Hidalgo, J. Ignacio. editor. Martínez, Luis. editor.
Preferred Shelf Number ONLINE(334981.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40643-0
Format: Electronic Resources
Availability Online Library~1

Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings

2026-01-23T13:13:32Z

Author Lau, Kung-Kiu. editor. Lamersdorf, Winfried. editor. Pimentel, Ernesto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334983.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40651-5
Format: Electronic Resources
Availability Online Library~1

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

2026-01-23T13:13:32Z

Author Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334985.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40663-8
Format: Electronic Resources
Availability Online Library~1

Progress in Artificial Intelligence 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings

2026-01-23T13:13:32Z

Author Correia, Luís. editor. Reis, Luís Paulo. editor. Cascalho, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334986.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40669-0
Format: Electronic Resources
Availability Online Library~1

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

2026-01-23T13:13:32Z

Author Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334987.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40672-0
Format: Electronic Resources
Availability Online Library~1

Advances in Databases and Information Systems 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings

2026-01-23T13:13:32Z

Author Catania, Barbara. editor. Guerrini, Giovanna. editor. Pokorný, Jaroslav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334989.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40683-6
Format: Electronic Resources
Availability Online Library~1

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

2026-01-23T13:13:32Z

Author Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334990.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40698-0
Format: Electronic Resources
Availability Online Library~1

Partially Supervised Learning Second IAPR International Workshop, PSL 2013, Nanjing, China, May 13-14, 2013, Revised Selected Papers

2026-01-23T13:13:32Z

Author Zhou, Zhi-Hua. editor. Schwenker, Friedhelm. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334991.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40705-5
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

2026-01-23T13:13:32Z

Author Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334992.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40708-6
Format: Electronic Resources
Availability Online Library~1

Language Processing and Knowledge in the Web 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings

2026-01-23T13:13:32Z

Author Gurevych, Iryna. editor. Biemann, Chris. editor. Zesch, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334994.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40722-2
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings

2026-01-23T13:13:32Z

Author Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334995.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40725-3
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings

2026-01-23T13:13:32Z

Author Mladenov, Valeri. editor. Koprinkova-Hristova, Petia. editor. Palm, Günther. editor. Villa, Alessandro E. P. editor. Appollini, Bruno. editor.
Preferred Shelf Number ONLINE(334996.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40728-4
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III

2026-01-23T13:13:32Z

Author Mori, Kensaku. editor. Sakuma, Ichiro. editor. Sato, Yoshinobu. editor. Barillot, Christian. editor. Navab, Nassir. editor.
Preferred Shelf Number ONLINE(334998.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40760-4
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II

2026-01-23T13:13:32Z

Author Mori, Kensaku. editor. Sakuma, Ichiro. editor. Sato, Yoshinobu. editor. Barillot, Christian. editor. Navab, Nassir. editor.
Preferred Shelf Number ONLINE(334999.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40763-5
Format: Electronic Resources
Availability Online Library~1

Flexible Query Answering Systems 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings

2026-01-23T13:13:32Z

Author Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Vila, María Amparo. editor. Andreasen, Troels. editor. Christiansen, Henning. editor.
Preferred Shelf Number ONLINE(335000.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40769-7
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings

2026-01-23T13:13:32Z

Author Klusch, Matthias. editor. Thimm, Matthias. editor. Paprzycki, Marcin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335001.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40776-5
Format: Electronic Resources
Availability Online Library~1

Communications and Multimedia Security 14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 25-26, 2013. Proceedings

2026-01-23T13:13:32Z

Author Decker, Bart. editor. Dittmann, Jana. editor. Kraetzer, Christian. editor. Vielhauer, Claus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335002.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40779-6
Format: Electronic Resources
Availability Online Library~1

Process Support and Knowledge Representation in Health Care BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Lenz, Richard. editor. Miksch, Silvia. editor. Peleg, Mor. editor. Reichert, Manfred. editor. Riaño, David. editor.
Preferred Shelf Number ONLINE(334204.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36438-9
Format: Electronic Resources
Availability Online Library~1

Cognitive Agents for Virtual Environments First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Dignum, Frank. editor. Brom, Cyril. editor. Hindriks, Koen. editor. Beer, Martin. editor. Richards, Deborah. editor.
Preferred Shelf Number ONLINE(334206.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36444-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Rough Sets XVI

2026-01-23T13:13:32Z

Author Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Preferred Shelf Number ONLINE(334220.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36505-8
Format: Electronic Resources
Availability Online Library~1

Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings

2026-01-23T13:13:32Z

Author Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334223.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36516-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part II

2026-01-23T13:13:32Z

Author Selamat, Ali. editor. Nguyen, Ngoc Thanh. editor. Haron, Habibollah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334230.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36543-0
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I

2026-01-23T13:13:32Z

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

Theory of Cryptography 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings

2026-01-23T13:13:32Z

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

Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages 6th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2013, Oldenburg, Germany, February 26–March 2, 2013. Proceedings

2026-01-23T13:13:32Z

Author Diethelm, Ira. editor. Mittermeir, Roland T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334248.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36617-8
Format: Electronic Resources
Availability Online Library~1

Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Menze, Bjoern H. editor. Langs, Georg. editor. Lu, Le. editor. Montillo, Albert. editor. Tu, Zhuowen. editor.
Preferred Shelf Number ONLINE(334249.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36620-8
Format: Electronic Resources
Availability Online Library~1

Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334049.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35795-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Science and Intelligent Data Engineering Third Sino-foreign-interchange Workshop, IScIDE 2012, Nanjing, China, October 15-17, 2012. Revised Selected Papers

2026-01-23T13:13:32Z

Author Yang, Jian. editor. Fang, Fang. editor. Sun, Changyin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334262.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36669-7
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

2026-01-23T13:13:32Z

Author Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334264.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36675-8
Format: Electronic Resources
Availability Online Library~1

Medical Content-Based Retrieval for Clinical Decision Support Third MICCAI International Workshop, MCBR-CDS 2012, Nice, France, October 1, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

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

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

2026-01-23T13:13:32Z

Author Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334268.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36694-9
Format: Electronic Resources
Availability Online Library~1

Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Magnini, Bernardo. editor. Cutugno, Francesco. editor. Falcone, Mauro. editor. Pianta, Emanuele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334059.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35828-9
Format: Electronic Resources
Availability Online Library~1

Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334274.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36727-4
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-01-23T13:13:32Z

Author Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334278.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36742-7
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.
Preferred Shelf Number ONLINE(334280.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36751-9
Format: Electronic Resources
Availability Online Library~1

S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings

2026-01-23T13:13:32Z

Author Fischer, Herbert. editor. Schneeberger, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334281.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36754-0
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

2026-01-23T13:13:32Z

Author Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334282.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36757-1
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Didimo, Walter. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334284.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36763-2
Format: Electronic Resources
Availability Online Library~1

Emerging Trends in Knowledge Discovery and Data Mining PAKDD 2012 International Workshops: DMHM, GeoDoc, 3Clust, and DSDM, Kuala Lumpur, Malaysia, May 29 – June 1, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

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

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334290.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36781-6
Format: Electronic Resources
Availability Online Library~1

Data Traffic Monitoring and Analysis From Measurement, Classification, and Anomaly Detection to Quality of Experience

2026-01-23T13:13:32Z

Author Biersack, Ernst. editor. Callegari, Christian. editor. Matijasevic, Maja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334291.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36784-7
Format: Electronic Resources
Availability Online Library~1

Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Manninen, Pekka. editor. Öster, Per. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334296.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36803-5
Format: Electronic Resources
Availability Online Library~1

Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings

2026-01-23T13:13:32Z

Author Brisk, Philip. editor. Figueiredo Coutinho, José Gabriel. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334299.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36812-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence IX

2026-01-23T13:13:32Z

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

Information and Communication Technology International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings

2026-01-23T13:13:32Z

Author Mustofa, Khabib. editor. Neuhold, Erich J. editor. Tjoa, A Min. editor. Weippl, Edgar. editor. You, Ilsun. editor.
Preferred Shelf Number ONLINE(334301.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36818-9
Format: Electronic Resources
Availability Online Library~1

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

2026-01-23T13:13:32Z

Author Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334337.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36976-6
Format: Electronic Resources
Availability Online Library~1

Your Virtual Butler The Making-of

2026-01-23T13:13:32Z

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

New Frontiers in Mining Complex Patterns First International Workshop, NFMCP 2012, Held in Conjunction with ECML/PKDD 2012, Bristol, UK, September 24, 2012, Rivesed Selected Papers

2026-01-23T13:13:32Z

Author Appice, Annalisa. editor. Ceci, Michelangelo. editor. Loglisci, Corrado. editor. Manco, Giuseppe. editor. Masciari, Elio. editor.
Preferred Shelf Number ONLINE(334417.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37382-4
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-01-23T13:13:32Z

Author Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334353.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37051-9
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-01-23T13:13:32Z

Author Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334354.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37057-1
Format: Electronic Resources
Availability Online Library~1

Computer Vision - ACCV 2012 Workshops ACCV 2012 International Workshops, Daejeon, Korea, November 5-6, 2012, Revised Selected Papers, Part II

2026-01-23T13:13:32Z

Author Park, Jong-Il. editor. Kim, Junmo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334439.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37484-5
Format: Electronic Resources
Availability Online Library~1

Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part I

2026-01-23T13:13:32Z

Author Meng, Weiyi. editor. Feng, Ling. editor. Bressan, Stéphane. editor. Winiwarter, Werner. editor. Song, Wei. editor.
Preferred Shelf Number ONLINE(334440.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37487-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-01-23T13:13:32Z

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

Web and Wireless Geographical Information Systems 12th International Symposium, W2GIS 2013, Banff, AB, Canada, April 4-5, 2013. Proceedings

2026-01-23T13:13:32Z

Author Liang, Steve H. L. editor. Wang, Xin. editor. Claramunt, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334361.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37087-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing for Sustainable Energy and Environment Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers

2026-01-23T13:13:32Z

Author Li, Kang. editor. Li, Shaoyuan. editor. Li, Dewei. editor. Niu, Qun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334362.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37105-9
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334465.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Electronic Resources
Availability Online Library~1

Programming Logics Essays in Memory of Harald Ganzinger

2026-01-23T13:13:32Z

Author Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334468.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37651-1
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334469.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37658-0
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology – ICISC 2012 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Kwon, Taekyoung. editor. Lee, Mun-Kyu. editor. Kwon, Daesung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334470.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37682-5
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings

2026-01-23T13:13:32Z

Author Deng, Minghua. editor. Jiang, Rui. editor. Sun, Fengzhu. editor. Zhang, Xuegong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334382.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37195-0
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-01-23T13:13:32Z

Author Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.
Preferred Shelf Number ONLINE(334384.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37207-0
Format: Electronic Resources
Availability Online Library~1

Social Computing, Behavioral-Cultural Modeling and Prediction 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings

2026-01-23T13:13:32Z

Author Greenberg, Ariel M. editor. Kennedy, William G. editor. Bos, Nathan D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334385.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37210-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part II

2026-01-23T13:13:32Z

Author Batyrshin, Ildar. editor. Mendoza, Miguel González. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334483.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37798-3
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing - ICSOC 2012 Workshops ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

2026-01-23T13:13:32Z

Author Ghose, Aditya. editor. Zhu, Huibiao. editor. Yu, Qi. editor. Delis, Alex. editor. Sheng, Quang Z. editor.
Preferred Shelf Number ONLINE(334485.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37804-1
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part II

2026-01-23T13:13:32Z

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

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

2026-01-23T13:13:32Z

Author Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Preferred Shelf Number ONLINE(334508.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37974-1
Format: Electronic Resources
Availability Online Library~1

Semantic Technology Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings

2026-01-23T13:13:32Z

Author Takeda, Hideaki. editor. Qu, Yuzhong. editor. Mizoguchi, Riichiro. editor. Kitamura, Yoshinobu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334512.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37996-3
Format: Electronic Resources
Availability Online Library~1