Search Results for Computer science - Narrowed by: 2013

Computer science illuminated

2026-01-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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

Analyzing Evolutionary Algorithms The Computer Science Perspective

2026-01-07T19:21:10Z

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

Horizons in computer science research. Vol. 8

2026-01-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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

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-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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

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-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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

A practical guide to gender diversity for computer science faculty

2026-01-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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-07T19:21:10Z

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

Advances in Intelligent Control Systems and Computer Science

2026-01-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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

Motion History Images for Action Recognition and Understanding

2026-01-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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

Formal Languages and Compilation

2026-01-07T19:21:10Z

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

Fundamentals of Parameterized Complexity

2026-01-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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

Sentiment Analysis for PTSD Signals

2026-01-07T19:21:10Z

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-07T19:21:10Z

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

Automatic Malware Analysis An Emulator Based Approach

2026-01-07T19:21:10Z

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

A General Framework for Reasoning On Inconsistency

2026-01-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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

Performance Evaluation Software Moving Object Detection and Tracking in Videos

2026-01-07T19:21:10Z

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-07T19:21:10Z

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

Sustainable Web Ecosystem Design

2026-01-07T19:21:10Z

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-07T19:21:10Z

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

Security Assessment in Vehicular Networks

2026-01-07T19:21:10Z

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-07T19:21:10Z

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

Secure IP Mobility Management for VANET

2026-01-07T19:21:10Z

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

A Brief History of Cryptology and Cryptographic Algorithms

2026-01-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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

Cyber Security Deterrence and IT Protection for Critical Infrastructures

2026-01-07T19:21:10Z

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

Spatio-Temporal Databases Complex Motion Pattern Queries

2026-01-07T19:21:10Z

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

Unsupervised Information Extraction by Text Segmentation

2026-01-07T19:21:10Z

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

Belief Revision in Non-Classical Logics

2026-01-07T19:21:10Z

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

Time-of-Flight Cameras Principles, Methods and Applications

2026-01-07T19:21:10Z

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

Security and Privacy in Mobile Social Networks

2026-01-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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

Bluetooth Security Attacks Comparative Analysis, Attacks, and Countermeasures

2026-01-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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-07T19:21:10Z

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

Middleware Solutions for the Internet of Things

2026-01-07T19:21:10Z

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

Graph-Based Clustering and Data Visualization Algorithms

2026-01-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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

Mobile Authentication Problems and Solutions

2026-01-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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

Traffic Measurement on the Internet

2026-01-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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

Modeling Trust Context in Networks

2026-01-07T19:21:10Z

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

Transportation and Information Trends in Technology and Policy

2026-01-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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

Distributed Hash Table Theory, Platforms and Applications

2026-01-07T19:21:10Z

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-07T19:21:10Z

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

Studies on Urban Vehicular Ad-hoc Networks

2026-01-07T19:21:10Z

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

Sustainable Wireless Networks

2026-01-07T19:21:10Z

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

Social Media Audit Measure for Impact

2026-01-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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

Network Robustness under Large-Scale Attacks

2026-01-07T19:21:10Z

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

Energy-aware Scheduling on Multiprocessor Platforms

2026-01-07T19:21:10Z

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

RFID as an Infrastructure

2026-01-07T19:21:10Z

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

Fast Compact Algorithms and Software for Spline Smoothing

2026-01-07T19:21:10Z

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

Principles of Data Mining

2026-01-07T19:21:10Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331086.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4884-5
Format: Electronic Resources
Availability Online Library~1

Autonomic Computing Principles, Design and Implementation

2026-01-07T19:21:10Z

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-07T19:21:10Z

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

Principles of Digital Image Processing Advanced Methods

2026-01-07T19:21:10Z

Author Burger, Wilhelm. author. Burge, Mark J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332579.1)
Electronic Access http://dx.doi.org/10.1007/978-1-84882-919-0
Format: Electronic Resources
Availability Online Library~1

Spatial Information Theory 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings

2026-01-07T19:21:10Z

Author Tenbrink, Thora. editor. Stell, John. editor. Galton, Antony. editor. Wood, Zena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332890.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01790-7
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

2026-01-07T19:21:10Z

Author Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332892.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01928-4
Format: Electronic Resources
Availability Online Library~1

Speech and Computer 15th International Conference, SPECOM 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings

2026-01-07T19:21:10Z

Author Železný, Miloš. editor. Habernal, Ivan. editor. Ronzhin, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332893.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01931-4
Format: Electronic Resources
Availability Online Library~1

Multimodal Brain Image Analysis Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings

2026-01-07T19:21:10Z

Author Shen, Li. editor. Liu, Tianming. editor. Yap, Pew-Thian. editor. Huang, Heng. editor. Shen, Dinggang. editor.
Preferred Shelf Number ONLINE(332901.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02126-3
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II

2026-01-07T19:21:10Z

Author Aversa, Rocco. editor. Kołodziej, Joanna. editor. Zhang, Jun. editor. Amato, Flora. editor. Fortino, Giancarlo. editor.
Preferred Shelf Number ONLINE(333003.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03889-6
Format: Electronic Resources
Availability Online Library~1

Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

2026-01-07T19:21:10Z

Author Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333005.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03898-8
Format: Electronic Resources
Availability Online Library~1

Process Support and Knowledge Representation in Health Care AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013, Revised Selected Papers

2026-01-07T19:21:10Z

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

Critical Information Infrastructures Security 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers

2026-01-07T19:21:10Z

Author Luiijf, Eric. editor. Hartel, Pieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333008.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03964-0
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

2026-01-07T19:21:10Z

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

Behavior and Social Computing International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, QLD, Australia, April 14-17, 2013 and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers

2026-01-07T19:21:10Z

Author Cao, Longbing. editor. Motoda, Hiroshi. editor. Srivastava, Jaideep. editor. Lim, Ee-Peng. editor. King, Irwin. editor.
Preferred Shelf Number ONLINE(333012.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-04048-6
Format: Electronic Resources
Availability Online Library~1

Design Science: Perspectives from Europe European Design Science Symposium, EDSS 2012, Leixlip, Ireland, December 6, 2012, Revised Selected Papers

2026-01-07T19:21:10Z

Author Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333013.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-04090-5
Format: Electronic Resources
Availability Online Library~1

Current Trends in Web Engineering ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers

2026-01-07T19:21:10Z

Author Sheng, Quan Z. editor. Kjeldskov, Jesper. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333019.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-04244-2
Format: Electronic Resources
Availability Online Library~1

Evolving Ambient Intelligence AmI 2013 Workshops, Dublin, Ireland, December 3-5, 2013. Revised Selected Papers

2026-01-07T19:21:10Z

Author O’Grady, Michael J. editor. Vahdat-Nejad, Hamed. editor. Wolf, Klaus-Hendrik. editor. Dragone, Mauro. editor. Ye, Juan. editor.
Preferred Shelf Number ONLINE(333022.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-04406-4
Format: Electronic Resources
Availability Online Library~1

Economics of Grids, Clouds, Systems, and Services 10th International Conference, GECON 2013, Zaragoza, Spain, September 18-20, 2013. Proceedings

2026-01-07T19:21:10Z

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

String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings

2026-01-07T19:21:10Z

Author Kurland, Oren. editor. Lewenstein, Moshe. editor. Porat, Ely. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332920.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02432-5
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

2026-01-07T19:21:10Z

Author Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332921.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02444-8
Format: Electronic Resources
Availability Online Library~1

Advances in Bioinformatics and Computational Biology 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings

2026-01-07T19:21:10Z

Author Setubal, João C. editor. Almeida, Nalvo F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332932.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02624-4
Format: Electronic Resources
Availability Online Library~1

Social Robotics 5th International Conference, ICSR 2013, Bristol, UK, October 27-29, 2013, Proceedings

2026-01-07T19:21:10Z

Author Herrmann, Guido. editor. Pearson, Martin J. editor. Lenz, Alexander. editor. Bremner, Paul. editor. Spiers, Adam. editor.
Preferred Shelf Number ONLINE(332935.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02675-6
Format: Electronic Resources
Availability Online Library~1

Human Behavior Understanding 4th International Workshop, HBU 2013, Barcelona, Spain, October 22, 2013. Proceedings

2026-01-07T19:21:10Z

Author Salah, Albert Ali. editor. Hung, Hayley. editor. Aran, Oya. editor. Gunes, Hatice. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332940.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02714-2
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013. Proceedings

2026-01-07T19:21:10Z

Author Qing, Sihan. editor. Zhou, Jianying. editor. Liu, Dongmei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332941.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02726-5
Format: Electronic Resources
Availability Online Library~1

Active Media Technology 9th International Conference, AMT 2013, Maebashi, Japan, October 29-31, 2013, Proceedings

2026-01-07T19:21:10Z

Author Yoshida, Tetsuya. editor. Kou, Gang. editor. Skowron, Andrzej. editor. Cao, Jiannong. editor. Hacid, Hakim. editor.
Preferred Shelf Number ONLINE(332942.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02750-0
Format: Electronic Resources
Availability Online Library~1

Brain and Health Informatics International Conference, BHI 2013, Maebashi, Japan, October 29-31, 2013. Proceedings

2026-01-07T19:21:10Z

Author Imamura, Kazayuki. editor. Usui, Shiro. editor. Shirao, Tomoaki. editor. Kasamatsu, Takuji. editor. Schwabe, Lars. editor.
Preferred Shelf Number ONLINE(332943.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02753-1
Format: Electronic Resources
Availability Online Library~1

Interactive Storytelling 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings

2026-01-07T19:21:10Z

Author Koenitz, Hartmut. editor. Sezen, Tonguc Ibrahim. editor. Ferri, Gabriele. editor. Haahr, Mads. editor. Sezen, Digdem. editor.
Preferred Shelf Number ONLINE(332944.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02756-2
Format: Electronic Resources
Availability Online Library~1

Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings

2026-01-07T19:21:10Z

Author Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332947.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02786-9
Format: Electronic Resources
Availability Online Library~1

Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings

2026-01-07T19:21:10Z

Author Blanc-Talon, Jacques. editor. Kasinski, Andrzej. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Preferred Shelf Number ONLINE(332953.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02895-8
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22. 2013. Proceedings

2026-01-07T19:21:10Z

Author Abdalla, Michel. editor. Nita-Rotaru, Cristina. editor. Dahab, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332957.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02937-5
Format: Electronic Resources
Availability Online Library~1

Advances in Visual Informatics Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings

2026-01-07T19:21:10Z

Author Zaman, Halimah Badioze. editor. Robinson, Peter. editor. Olivier, Patrick. editor. Shih, Timothy K. editor. Velastin, Sergio. editor.
Preferred Shelf Number ONLINE(332958.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02958-0
Format: Electronic Resources
Availability Online Library~1

Biometric Recognition 8th Chinese Conference, CCBR 2013, Jinan, China, November 16-17, 2013. Proceedings

2026-01-07T19:21:10Z

Author Sun, Zhenan. editor. Shan, Shiguan. editor. Yang, Gongping. editor. Zhou, Jie. editor. Wang, Yunhong. editor.
Preferred Shelf Number ONLINE(332959.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02961-0
Format: Electronic Resources
Availability Online Library~1

Human Computer Interaction 6th Latin American Conference, CLIHC 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

2026-01-07T19:21:10Z

Author Collazos, César. editor. Liborio, Andréia. editor. Rusu, Cristian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332961.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03068-5
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

2026-01-07T19:21:10Z

Author Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Preferred Shelf Number ONLINE(332964.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03089-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings

2026-01-07T19:21:10Z

Author Reidsma, Dennis. editor. Katayose, Haruhiro. editor. Nijholt, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332968.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03161-3
Format: Electronic Resources
Availability Online Library~1

Social Informatics 5th International Conference, SocInfo 2013, Kyoto, Japan, November 25-27, 2013, Proceedings

2026-01-07T19:21:10Z

Author Jatowt, Adam. editor. Lim, Ee-Peng. editor. Ding, Ying. editor. Miura, Asako. editor. Tezuka, Taro. editor.
Preferred Shelf Number ONLINE(332973.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03260-3
Format: Electronic Resources
Availability Online Library~1

Metadata and Semantics Research 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings

2026-01-07T19:21:10Z

Author Garoufallou, Emmanouel. editor. Greenberg, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332974.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03437-9
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

2026-01-07T19:21:10Z

Author Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332999.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03850-6
Format: Electronic Resources
Availability Online Library~1

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

2026-01-07T19:21:10Z

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

Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers

2026-01-07T19:21:10Z

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

Knowledge Discovery, Knowledge Engineering and Knowledge Management Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers

2026-01-07T19:21:10Z

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

Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers

2026-01-07T19:21:10Z

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

Communications and Networking An Introduction

2026-01-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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-07T19:21:10Z

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 Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede

2026-01-07T19:21:10Z

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

Agents and Artificial Intelligence 4th International Conference, ICAART 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected Papers

2026-01-07T19:21:10Z

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

Chinese Lexical Semantics 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers

2026-01-07T19:21:10Z

Author Ji, Donghong. editor. Xiao, Guozheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334180.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36337-5
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography – PKC 2013 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedings

2026-01-07T19:21:10Z

Author Kurosawa, Kaoru. editor. Hanaoka, Goichiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334184.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36362-7
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

2026-01-07T19:21:10Z

Author Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Preferred Shelf Number ONLINE(334328.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36949-0
Format: Electronic Resources
Availability Online Library~1

Information Hiding 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers

2026-01-07T19:21:10Z

Author Kirchner, Matthias. editor. Ghosal, Dipak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334187.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36373-3
Format: Electronic Resources
Availability Online Library~1

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers

2026-01-07T19:21:10Z

Author Camara, Oscar. editor. Mansi, Tommaso. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.
Preferred Shelf Number ONLINE(334332.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36961-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development X

2026-01-07T19:21:10Z

Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334333.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36964-3
Format: Electronic Resources
Availability Online Library~1

Advances in Information Retrieval 35th European Conference on IR Research, ECIR 2013, Moscow, Russia, March 24-27, 2013. Proceedings

2026-01-07T19:21:10Z

Author Serdyukov, Pavel. editor. Braslavski, Pavel. editor. Kuznetsov, Sergei O. editor. Kamps, Jaap. editor. Rüger, Stefan. editor.
Preferred Shelf Number ONLINE(334336.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36973-5
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-07T19:21:10Z

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

The Language of Mathematics A Linguistic and Philosophical Investigation

2026-01-07T19:21:10Z

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

Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers

2026-01-07T19:21:10Z

Author Zu, Qiaohong. editor. Hu, Bo. editor. Elçi, Atilla. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334342.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37015-1
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 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-07T19:21:10Z

Author Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334348.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37036-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Edutainment IX

2026-01-07T19:21:10Z

Author Pan, Zhigeng. editor. Cheok, Adrian David. editor. Müller, Wolfgang. editor. Liarokapis, Fotis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334350.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37042-7
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-07T19:21:10Z

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-07T19:21:10Z

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

Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings

2026-01-07T19:21:10Z

Author Gonzalez-Diaz, Rocio. editor. Jimenez, Maria-Jose. editor. Medrano, Belen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334356.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37067-0
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-07T19:21:10Z

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

Web Technologies and Applications 15th Asia-Pacific Web Conference, APWeb 2013, Sydney, Australia, April 4-6, 2013. Proceedings

2026-01-07T19:21:10Z

Author Ishikawa, Yoshiharu. editor. Li, Jianzhong. editor. Wang, Wei. editor. Zhang, Rui. editor. Zhang, Wenjie. editor.
Preferred Shelf Number ONLINE(334421.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37401-2
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 I

2026-01-07T19:21:10Z

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

Adaptive Multimedia Retrieval. Large-Scale Multimedia Retrieval and Evaluation 9th International Workshop, AMR 2011, Barcelona, Spain, July 18-19, 2011, Revised Selected Papers

2026-01-07T19:21:10Z

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

Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers

2026-01-07T19:21:10Z

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

Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II

2026-01-07T19:21:10Z

Author Lee, Kyoung Mu. editor. Matsushita, Yasuyuki. editor. Rehg, James M. editor. Hu, Zhanyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334430.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37444-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV

2026-01-07T19:21:10Z

Author Lee, Kyoung Mu. editor. Matsushita, Yasuyuki. editor. Rehg, James M. editor. Hu, Zhanyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334431.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37447-0
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 II

2026-01-07T19:21:10Z

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

Advances in Knowledge Discovery and Data Mining 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013, Proceedings, Part I

2026-01-07T19:21:10Z

Author Pei, Jian. editor. Tseng, Vincent S. editor. Cao, Longbing. editor. Motoda, Hiroshi. editor. Xu, Guandong. editor.
Preferred Shelf Number ONLINE(334433.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37453-1
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013, Proceedings, Part II

2026-01-07T19:21:10Z

Author Pei, Jian. editor. Tseng, Vincent S. editor. Cao, Longbing. editor. Motoda, Hiroshi. editor. Xu, Guandong. editor.
Preferred Shelf Number ONLINE(334434.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37456-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Interactive Technologies and Multimedia Second International Conference, IITM 2013, Allahabad, India, March 9-11, 2013. Proceedings

2026-01-07T19:21:10Z

Author Agrawal, Anupam. editor. Tripathi, R. C. editor. Do, Ellen Yi-Luen. editor. Tiwari, M. D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334435.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37463-0
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-07T19:21:10Z

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-07T19:21:10Z

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

Transactions on Large-Scale Data- and Knowledge-Centered Systems VIII Special Issue on Advances in Data Warehousing and Knowledge Discovery

2026-01-07T19:21:10Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Cuzzocrea, Alfredo. editor. Dayal, Umeshwar. editor.
Preferred Shelf Number ONLINE(334455.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37574-3
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-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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

Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings

2026-01-07T19:21:10Z

Author Blesa, María J. editor. Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Preferred Shelf Number ONLINE(334612.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38516-2
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings

2026-01-07T19:21:10Z

Author Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334615.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38527-8
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings

2026-01-07T19:21:10Z

Author Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334616.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38530-8
Format: Electronic Resources
Availability Online Library~1

Multimedia Communications, Services and Security 6th International Conference, MCSS 2013, Krakow, Poland, June 6-7, 2013. Proceedings

2026-01-07T19:21:10Z

Author Dziech, Andrzej. editor. Czyżewski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334621.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38559-9
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-07T19:21:10Z

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

Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings

2026-01-07T19:21:10Z

Author Barratt, Dean. editor. Cotin, Stéphane. editor. Fichtinger, Gabor. editor. Jannin, Pierre. editor. Navab, Nassir. editor.
Preferred Shelf Number ONLINE(334624.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38568-1
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2026-01-07T19:21:10Z

Author Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334630.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38592-6
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

2026-01-07T19:21:10Z

Author Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334631.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38601-5
Format: Electronic Resources
Availability Online Library~1

Business Process Models. Change Management

2026-01-07T19:21:10Z

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

Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II

2026-01-07T19:21:10Z

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

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

2026-01-07T19:21:10Z

Author Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334634.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38613-8
Format: Electronic Resources
Availability Online Library~1

Post-Quantum Cryptography 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings

2026-01-07T19:21:10Z

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

Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II

2026-01-07T19:21:10Z

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

Pattern Recognition and Image Analysis 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013. Proceedings

2026-01-07T19:21:10Z

Author Sanches, João M. editor. Micó, Luisa. editor. Cardoso, Jaime S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334637.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38628-2
Format: Electronic Resources
Availability Online Library~1

Network and System Security 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013. Proceedings

2026-01-07T19:21:10Z

Author Lopez, Javier. editor. Huang, Xinyi. editor. Sandhu, Ravi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334638.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38631-2
Format: Electronic Resources
Availability Online Library~1

Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings

2026-01-07T19:21:10Z

Author Kłopotek, Mieczysław A. editor. Koronacki, Jacek. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. Wierzchoń, Sławomir T. editor.
Preferred Shelf Number ONLINE(334639.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38634-3
Format: Electronic Resources
Availability Online Library~1

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

2026-01-07T19:21:10Z

Author Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334547.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

2026-01-07T19:21:10Z

Author Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334549.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38171-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I

2026-01-07T19:21:10Z

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

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2026-01-07T19:21:10Z

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

Transactions on Pattern Languages of Programming III

2026-01-07T19:21:10Z

Author Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334647.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38676-3
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I

2026-01-07T19:21:10Z

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

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

2026-01-07T19:21:10Z

Author Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334556.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38209-3
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

2026-01-07T19:21:10Z

Author Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334652.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38700-5
Format: Electronic Resources
Availability Online Library~1

Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers

2026-01-07T19:21:10Z

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

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

2026-01-07T19:21:10Z

Author Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334562.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38230-7
Format: Electronic Resources
Availability Online Library~1

Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

2026-01-07T19:21:10Z

Author Spirakis, Paul G. editor. Serna, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334563.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38233-8
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

2026-01-07T19:21:10Z

Author Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334564.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38236-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Imaging and Computer Graphics. Theory and Application 7th International Joint Conference, VISIGRAPP 2012, Rome, Italy, February 24-26, 2012, Revised Selected Papers

2026-01-07T19:21:10Z

Author Csurka, Gabriela. editor. Kraus, Martin. editor. Laramee, Robert S. editor. Richard, Paul. editor. Braz, José. editor.
Preferred Shelf Number ONLINE(334565.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38241-3
Format: Electronic Resources
Availability Online Library~1

Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers

2026-01-07T19:21:10Z

Author Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334567.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38250-5
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies 5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers

2026-01-07T19:21:10Z

Author Gabriel, Joaquim. editor. Schier, Jan. editor. Huffel, Sabine. editor. Conchon, Emmanuel. editor. Correia, Carlos. editor.
Preferred Shelf Number ONLINE(334569.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38256-7
Format: Electronic Resources
Availability Online Library~1

Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings

2026-01-07T19:21:10Z

Author Kuijper, Arjan. editor. Bredies, Kristian. editor. Pock, Thomas. editor. Bischof, Horst. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334572.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38267-3
Format: Electronic Resources
Availability Online Library~1

Webble Technology First Webble World Summit, WWS 2013, Erfurt, Germany, June 3-5, 2013. Proceedings

2026-01-07T19:21:10Z

Author Arnold, Oksana. editor. Spickermann, Wolfgang. editor. Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334678.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38836-1
Format: Electronic Resources
Availability Online Library~1

User Modeling, Adaptation, and Personalization 21th International Conference, UMAP 2013, Rome, Italy, June 10-14, 2013 Proceedings

2026-01-07T19:21:10Z

Author Carberry, Sandra. editor. Weibelzahl, Stephan. editor. Micarelli, Alessandro. editor. Semeraro, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334680.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38844-6
Format: Electronic Resources
Availability Online Library~1

Advances in Nonlinear Speech Processing 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedings

2026-01-07T19:21:10Z

Author Drugman, Thomas. editor. Dutoit, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334681.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38847-7
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

2026-01-07T19:21:10Z

Author Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334580.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38317-5
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Medicine 14th Conference on Artificial Intelligence in Medicine, AIME 2013, Murcia, Spain, May 29 – June 1, 2013. Proceedings

2026-01-07T19:21:10Z

Author Peek, Niels. editor. Marín Morales, Roque. editor. Peleg, Mor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334583.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38326-7
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2011 and 2012 Workshops Combined WISE 2011 and WISE 2012 Workshops, Sydney Australia, October 12-14, 2011 and Paphos, Cyprus, November 28-30, 2012, Revised Selected Papers

2026-01-07T19:21:10Z

Author Haller, Armin. editor. Huang, Guangyan. editor. Huang, Zhisheng. editor. Paik, Hye-young. editor. Sheng, Quan Z. editor.
Preferred Shelf Number ONLINE(334584.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38333-5
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence Methods for Bioinformatics and Biostatistics 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers

2026-01-07T19:21:10Z

Author Peterson, Leif E. editor. Masulli, Francesco. editor. Russo, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334585.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38342-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings

2026-01-07T19:21:10Z

Author Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334587.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38348-9
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings

2026-01-07T19:21:10Z

Author Tsaoussidis, Vassilis. editor. Kassler, Andreas J. editor. Koucheryavy, Yevgeni. editor. Mellouk, Abdelhamid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334594.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38401-1
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings

2026-01-07T19:21:10Z

Author Zaïane, Osmar R. editor. Zilles, Sandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334602.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38457-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-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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-07T19:21:10Z

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

Statistical Language and Speech Processing First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013. Proceedings

2026-01-07T19:21:10Z

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

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2026-01-07T19:21:10Z

Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334820.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Electronic Resources
Availability Online Library~1

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

2026-01-07T19:21:10Z

Author Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334821.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39614-4
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-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

2026-01-07T19:21:10Z

Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334841.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39721-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-07T19:21:10Z

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

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

2026-01-07T19:21:10Z

Author Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334848.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39784-4
Format: Electronic Resources
Availability Online Library~1

Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings

2026-01-07T19:21:10Z

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

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

2026-01-07T19:21:10Z

Author Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334851.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39799-8
Format: Electronic Resources
Availability Online Library~1

Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings

2026-01-07T19:21:10Z

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

Wireless Access Flexibility First International Workshop, WiFlex 2013, Kaliningrad, Russia, September 4-6, 2013. Proceedings

2026-01-07T19:21:10Z

Author Bianchi, Giuseppe. editor. Lyakhov, Andrey. editor. Khorov, Evgeny. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334853.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39805-6
Format: Electronic Resources
Availability Online Library~1

Smart Health International Conference, ICSH 2013, Beijing, China, August 3-4, 2013. Proceedings

2026-01-07T19:21:10Z

Author Zeng, Daniel. editor. Yang, Christopher C. editor. Tseng, Vincent S. editor. Xing, Chunxiao. editor. Chen, Hsinchun. editor.
Preferred Shelf Number ONLINE(334856.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39844-5
Format: Electronic Resources
Availability Online Library~1

Agreement Technologies Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings

2026-01-07T19:21:10Z

Author Chesñevar, Carlos Iván. editor. Onaindia, Eva. editor. Ossowski, Sascha. editor. Vouros, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334857.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39860-5
Format: Electronic Resources
Availability Online Library~1

Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2026-01-07T19:21:10Z

Author Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334859.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39866-7
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers

2026-01-07T19:21:10Z

Author Sadeghi, Ahmad-Reza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334863.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39884-1
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-07T19:21:10Z

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-07T19:21:10Z

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

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

2026-01-07T19:21:10Z

Author Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334870.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39955-8
Format: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

2026-01-07T19:21:10Z

Author Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334871.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39958-9
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-07T19:21:10Z

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

Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2026-01-07T19:21:10Z

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

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

2026-01-07T19:21:10Z

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

Virtual, Augmented and Mixed Reality. Systems and Applications 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

2026-01-07T19:21:10Z

Author Shumaker, Randall. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334798.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39420-1
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-07T19:21:10Z

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-07T19:21:10Z

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 Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II

2026-01-07T19:21:10Z

Author Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334888.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40084-1
Format: Electronic Resources
Availability Online Library~1

Multilingual Information Access in South Asian Languages Second International Workshop, FIRE 2010, Gandhinagar, India, February 19-21, 2010 and Third International Workshop, FIRE 2011, Bombay, India, December 2-4, 2011, Revised Selected Papers

2026-01-07T19:21:10Z

Author Majumder, Prasenjit. editor. Mitra, Mandar. editor. Bhattacharyya, Pushpak. editor. Subramaniam, L. Venkata. editor. Contractor, Danish. editor.
Preferred Shelf Number ONLINE(334889.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40087-2
Format: Electronic Resources
Availability Online Library~1

Information Technology in Bio- and Medical Informatics 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013. Proceedings

2026-01-07T19:21:10Z

Author Bursa, Miroslav. editor. Khuri, Sami. editor. Renda, M. Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334891.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40093-3
Format: Electronic Resources
Availability Online Library~1

Computer Security – ESORICS 2013 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings

2026-01-07T19:21:10Z

Author Crampton, Jason. editor. Jajodia, Sushil. editor. Mayes, Keith. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334909.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40203-6
Format: Electronic Resources
Availability Online Library~1

Data Warehousing and Knowledge Discovery 15th International Conference, DaWaK 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings

2026-01-07T19:21:10Z

Author Bellatreche, Ladjel. editor. Mohania, Mukesh K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334896.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40131-2
Format: Electronic Resources
Availability Online Library~1

Information Search, Integration and Personalization International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papers

2026-01-07T19:21:10Z

Author Tanaka, Yuzuru. editor. Spyratos, Nicolas. editor. Yoshida, Tetsuya. editor. Meghini, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334898.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40140-4
Format: Electronic Resources
Availability Online Library~1

Networked Systems First International Conference, NETYS 2013, Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers

2026-01-07T19:21:10Z

Author Gramoli, Vincent. editor. Guerraoui, Rachid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334899.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40148-0
Format: Electronic Resources
Availability Online Library~1

Technology-Enabled Innovation for Democracy, Government and Governance Second Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2013, Prague, Czech Republic, August 26-28, 2013, Proceedings

2026-01-07T19:21:10Z

Author Kő, Andrea. editor. Leitner, Christine. editor. Leitold, Herbert. editor. Prosser, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334900.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40160-2
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings

2026-01-07T19:21:10Z

Author Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334901.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40164-0
Format: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I

2026-01-07T19:21:10Z

Author Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334919.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40261-6
Format: Electronic Resources
Availability Online Library~1

Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, International Workshops: BDMA, SNSM, SeCoP, Wuhan, China, April 22-25, 2013. Proceedings

2026-01-07T19:21:10Z

Author Hong, Bonghee. editor. Meng, Xiaofeng. editor. Chen, Lei. editor. Winiwarter, Werner. editor. Song, Wei. editor.
Preferred Shelf Number ONLINE(334920.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40270-8
Format: Electronic Resources
Availability Online Library~1

Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday

2026-01-07T19:21:10Z

Author Brodnik, Andrej. editor. López-Ortiz, Alejandro. editor. Raman, Venkatesh. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334921.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40273-9
Format: Electronic Resources
Availability Online Library~1

Mobile Web Information Systems 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings

2026-01-07T19:21:10Z

Author Daniel, Florian. editor. Papadopoulos, George A. editor. Thiran, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334922.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40276-0
Format: Electronic Resources
Availability Online Library~1

Database and Expert Systems Applications 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part I

2026-01-07T19:21:10Z

Author Decker, Hendrik. editor. Lhotská, Lenka. editor. Link, Sebastian. editor. Basl, Josef. editor. Tjoa, A Min. editor.
Preferred Shelf Number ONLINE(334923.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40285-2
Format: Electronic Resources
Availability Online Library~1

Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers

2026-01-07T19:21:10Z

Author Jiang, Xiaoyi. editor. Bellon, Olga Regina Pereira. editor. Goldgof, Dmitry. editor. Oishi, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334924.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40303-3
Format: Electronic Resources
Availability Online Library~1

Internet of Things, Smart Spaces, and Next Generation Networking 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings

2026-01-07T19:21:10Z

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

Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2013 International Workshops: DMApps, DANTH, QIMIE, BDM, CDA, CloudSD, Gold Coast, QLD, Australia, April 14-17, 2013, Revised Selected Papers

2026-01-07T19:21:10Z

Author Li, Jiuyong. editor. Cao, Longbing. editor. Wang, Can. editor. Tan, Kay Chen. editor. Liu, Bo. editor.
Preferred Shelf Number ONLINE(334927.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40319-4
Format: Electronic Resources
Availability Online Library~1

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings

2026-01-07T19:21:10Z

Author Raghavendra, Prasad. editor. Raskhodnikova, Sofya. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334929.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40328-6
Format: Electronic Resources
Availability Online Library~1

Trust, Privacy, and Security in Digital Business 10th International Conference, TrustBus 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings

2026-01-07T19:21:10Z

Author Furnell, Steven. editor. Lambrinoudakis, Costas. editor. Lopez, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334930.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40343-9
Format: Electronic Resources
Availability Online Library~1

Electronic Participation 5th IFIP WG 8.5 International Conference, ePart 2013, Koblenz, Germany, September 17-19, 2013. Proceedings

2026-01-07T19:21:10Z

Author Wimmer, Maria A. editor. Tambouris, Efthimios. editor. Macintosh, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334931.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40346-0
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2013 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings

2026-01-07T19:21:10Z

Author Bertoni, Guido. editor. Coron, Jean-Sébastien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334932.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40349-1
Format: Electronic Resources
Availability Online Library~1

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

2026-01-07T19:21:10Z

Author Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334934.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40355-2
Format: Electronic Resources
Availability Online Library~1

Electronic Government 12th IFIP WG 8.5 International Conference, EGOV 2013, Koblenz, Germany, September 16-19, 2013. Proceedings

2026-01-07T19:21:10Z

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

Scalable Uncertainty Management 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings

2026-01-07T19:21:10Z

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

Lightweight Cryptography for Security and Privacy Second International Workshop, LightSec 2013, Gebze, Turkey, May 6-7, 2013, Revised Selected Papers

2026-01-07T19:21:10Z

Author Avoine, Gildas. editor. Kara, Orhun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334938.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40392-7
Format: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings

2026-01-07T19:21:10Z

Author Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.
Preferred Shelf Number ONLINE(334939.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40395-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics Systems: Inspiring the NEXT 16th FIRA RoboWorld Congress, FIRA 2013, Kuala Lumpur, Malaysia, August 24-29, 2013. Proceedings

2026-01-07T19:21:10Z

Author Omar, Khairuddin. editor. Nordin, Md Jan. editor. Vadakkepat, Prahlad. editor. Prabuwono, Anton Satria. editor. Abdullah, Siti Norul Huda Sheikh. editor.
Preferred Shelf Number ONLINE(334942.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40409-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Virtual Agents 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings

2026-01-07T19:21:10Z

Author Aylett, Ruth. editor. Krenn, Brigitte. editor. Pelachaud, Catherine. editor. Shimodaira, Hiroshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334943.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40415-3
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

2026-01-07T19:21:10Z

Author Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334946.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40447-4
Format: Electronic Resources
Availability Online Library~1

Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings

2026-01-07T19:21:10Z

Author Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334947.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40450-4
Format: Electronic Resources
Availability Online Library~1

Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings

2026-01-07T19:21:10Z

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

Transactions on Petri Nets and Other Models of Concurrency VIII

2026-01-07T19:21:10Z

Author Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334949.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40465-8
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III

2026-01-07T19:21:10Z

Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE(334950.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40477-1
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II

2026-01-07T19:21:10Z

Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE(334951.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40480-1
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I

2026-01-07T19:21:10Z

Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE(334952.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40483-2
Format: Electronic Resources
Availability Online Library~1

Systems and Frameworks for Computational Morphology Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings

2026-01-07T19:21:10Z

Author Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334953.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40486-3
Format: Electronic Resources
Availability Online Library~1

Computational Collective Intelligence. Technologies and Applications 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings

2026-01-07T19:21:10Z

Author Bǎdicǎ, Costin. editor. Nguyen, Ngoc Thanh. editor. Brezovan, Marius. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334954.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40495-5
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV

2026-01-07T19:21:10Z

Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE(334955.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40498-6
Format: Electronic Resources
Availability Online Library~1

Research and Advanced Technology for Digital Libraries International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings

2026-01-07T19:21:10Z

Author Aalberg, Trond. editor. Papatheodorou, Christos. editor. Dobreva, Milena. editor. Tsakonas, Giannis. editor. Farrugia, Charles J. editor.
Preferred Shelf Number ONLINE(334956.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40501-3
Format: Electronic Resources
Availability Online Library~1

Availability, Reliability, and Security in Information Systems and HCI IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2013, Regensburg, Germany, September 2-6, 2013. Proceedings

2026-01-07T19:21:10Z

Author Cuzzocrea, Alfredo. editor. Kittl, Christian. editor. Simos, Dimitris E. editor. Weippl, Edgar. editor. Xu, Lida. editor.
Preferred Shelf Number ONLINE(334958.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40511-2
Format: Electronic Resources
Availability Online Library~1

Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers

2026-01-07T19:21:10Z

Author Pierson, Jean-Marc. editor. Da Costa, Georges. editor. Dittmann, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334960.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40517-4
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2026-01-07T19:21:10Z

Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Electronic Resources
Availability Online Library~1

Advances in Communication Networking 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013. Proceedings

2026-01-07T19:21:10Z

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

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

2026-01-07T19:21:10Z

Author Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334968.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40561-7
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2026-01-07T19:21:10Z

Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334969.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Electronic Resources
Availability Online Library~1

Soft Computing Applications and Intelligent Systems Second International Multi-Conference on Artificial Intelligence Technology, M-CAIT 2013, Shah Alam, August 28-29, 2013. Proceedings

2026-01-07T19:21:10Z

Author Noah, Shahrul Azman. editor. Abdullah, Azizi. editor. Arshad, Haslina. editor. Abu Bakar, Azuraliza. editor. Othman, Zulaiha Ali. editor.
Preferred Shelf Number ONLINE(334970.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40567-9
Format: Electronic Resources
Availability Online Library~1

Security in Computing and Communications International Symposium, SSCC 2013, Mysore, India, August 22-24, 2013. Proceedings

2026-01-07T19:21:10Z

Author Thampi, Sabu M. editor. Atrey, Pradeep K. editor. Fan, Chun-I. editor. Perez, Gregorio Martinez. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334972.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40576-1
Format: Electronic Resources
Availability Online Library~1

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

2026-01-07T19:21:10Z

Author Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334973.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Electronic Resources
Availability Online Library~1

Text, Speech, and Dialogue 16th International Conference, TSD 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings

2026-01-07T19:21:10Z

Author Habernal, Ivan. editor. Matoušek, Václav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334974.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40585-3
Format: Electronic Resources
Availability Online Library~1

Security Engineering and Intelligence Informatics CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings

2026-01-07T19:21:10Z

Author Cuzzocrea, Alfredo. editor. Kittl, Christian. editor. Simos, Dimitris E. editor. Weippl, Edgar. editor. Xu, Lida. editor.
Preferred Shelf Number ONLINE(334975.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40588-4
Format: Electronic Resources
Availability Online Library~1

Advances in Security of Information and Communication Networks First International Conference, SecNet 2013, Cairo, Egypt, September 3-5, 2013. Proceedings

2026-01-07T19:21:10Z

Author Awad, Ali Ismail. editor. Hassanien, Aboul Ella. editor. Baba, Kensuke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334976.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40597-6
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition 35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013. Proceedings

2026-01-07T19:21:10Z

Author Weickert, Joachim. editor. Hein, Matthias. editor. Schiele, Bernt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334977.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40602-7
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-07T19:21:10Z

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

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

2026-01-07T19:21:10Z

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-07T19:21:10Z

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