Search Results for Computer science. - Narrowed by: 2013

Computer science illuminated

2025-12-09T15:04:40Z

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

Computer and Information Science

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Advances in Intelligent Control Systems and Computer Science

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

A practical guide to gender diversity for computer science faculty

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Graph-Based Clustering and Data Visualization Algorithms

2025-12-09T15:04:40Z

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

Middleware Solutions for the Internet of Things

2025-12-09T15:04:40Z

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

Automatic Malware Analysis An Emulator Based Approach

2025-12-09T15:04:40Z

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

Physical Layer Approaches for Securing Wireless Communication Systems

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Transportation and Information Trends in Technology and Policy

2025-12-09T15:04:40Z

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

Semantic Web-based Intelligent Geospatial Web Services

2025-12-09T15:04:40Z

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

Sustainable Web Ecosystem Design

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Studies on Urban Vehicular Ad-hoc Networks

2025-12-09T15:04:40Z

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

Wireless Virtualization

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Cyber Security Deterrence and IT Protection for Critical Infrastructures

2025-12-09T15:04:40Z

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

A Brief History of Cryptology and Cryptographic Algorithms

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Bluetooth Security Attacks Comparative Analysis, Attacks, and Countermeasures

2025-12-09T15:04:40Z

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

Time-of-Flight Cameras Principles, Methods and Applications

2025-12-09T15:04:40Z

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

Motion History Images for Action Recognition and Understanding

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Mobile Authentication Problems and Solutions

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Dynamic Cloud Collaboration Platform A Market-Oriented Approach

2025-12-09T15:04:40Z

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

Routing for Wireless Multi-Hop Networks

2025-12-09T15:04:40Z

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

Android Malware

2025-12-09T15:04:40Z

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

Security and Privacy in Mobile Social Networks

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Distributed Hash Table Theory, Platforms and Applications

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Security Assessment in Vehicular Networks

2025-12-09T15:04:40Z

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

Belief Revision in Non-Classical Logics

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Rapid Serial Visual Presentation Design for Cognition

2025-12-09T15:04:40Z

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

Energy-Efficient High Performance Computing Measurement and Tuning

2025-12-09T15:04:40Z

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

Formal Languages and Compilation

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Sentiment Analysis for PTSD Signals

2025-12-09T15:04:40Z

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

Introduction to Image Processing Using R Learning by Examples

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Traffic Measurement on the Internet

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

A General Framework for Reasoning On Inconsistency

2025-12-09T15:04:40Z

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

Security for Wireless Implantable Medical Devices

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Modeling Trust Context in Networks

2025-12-09T15:04:40Z

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

Spatio-Temporal Databases Complex Motion Pattern Queries

2025-12-09T15:04:40Z

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

Sustainable Wireless Networks

2025-12-09T15:04:40Z

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

Unsupervised Information Extraction by Text Segmentation

2025-12-09T15:04:40Z

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

Fast Compact Algorithms and Software for Spline Smoothing

2025-12-09T15:04:40Z

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

Distributed Space-Time Coding

2025-12-09T15:04:40Z

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

Network Robustness under Large-Scale Attacks

2025-12-09T15:04:40Z

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

Cognitive Virtual Network Operator Games

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Social Media Audit Measure for Impact

2025-12-09T15:04:40Z

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

Energy-aware Scheduling on Multiprocessor Platforms

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Cooperative Networking in a Heterogeneous Wireless Medium

2025-12-09T15:04:40Z

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

Autonomic Computing Principles, Design and Implementation

2025-12-09T15:04:40Z

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

Machine Learning in Medical Imaging 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

2025-12-09T15:04:40Z

Author Wu, Guorong. editor. Zhang, Daoqiang. editor. Shen, Dinggang. editor. Yan, Pingkun. editor. Suzuki, Kenji. editor.
Preferred Shelf Number ONLINE(332907.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02267-3
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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Cloud Computing and Services Science Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers

2025-12-09T15:04:40Z

Author Ivanov, Ivan I. editor. Sinderen, Marten. editor. Leymann, Frank. editor. Shan, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333024.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-04519-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papers

2025-12-09T15:04:40Z

Author Csurka, Gabriela. editor. Kraus, Martin. editor. Mestetskiy, Leonid. editor. Richard, Paul. editor. Braz, José. editor.
Preferred Shelf Number ONLINE(333559.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32350-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

Transactions on Rough Sets XVI

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Transactions on Computational Science XVII

2025-12-09T15:04:40Z

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

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

2025-12-09T15:04:40Z

Author Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334236.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36563-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Security Protocols XVII 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers

2025-12-09T15:04:40Z

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

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

2025-12-09T15:04:40Z

Author Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334156.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36249-1
Format: Electronic Resources
Availability Online Library~1

Advances in Wireless Sensor Networks 6th China Conference, CWSN 2012, Huangshan, China, October 25-27, 2012, Revised Selected Papers

2025-12-09T15:04:40Z

Author Wang, Ruchuan. editor. Xiao, Fu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334157.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36252-1
Format: Electronic Resources
Availability Online Library~1

Agents and Data Mining Interaction 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers

2025-12-09T15:04:40Z

Author Cao, Longbing. editor. Zeng, Yifeng. editor. Symeonidis, Andreas L. editor. Gorodetsky, Vladimir I. editor. Yu, Philip S. editor.
Preferred Shelf Number ONLINE(334167.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36288-0
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

2025-12-09T15:04:40Z

Author Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334174.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36315-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers

2025-12-09T15:04:40Z

Author Abdalla, Michel. editor. Lange, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334179.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36334-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

2025-12-09T15:04:40Z

Author Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334327.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36946-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

The Language of Mathematics A Linguistic and Philosophical Investigation

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

2025-12-09T15:04:40Z

Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334355.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37064-9
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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction First IAPR TC3 Workshop, MPRSS 2012, Tsukuba, Japan, November 11, 2012, Revised Selected Papers

2025-12-09T15:04:40Z

Author Schwenker, Friedhelm. editor. Scherer, Stefan. editor. Morency, Louis-Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334359.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37081-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers

2025-12-09T15:04:40Z

Author Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.
Preferred Shelf Number ONLINE(334365.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37119-6
Format: Electronic Resources
Availability Online Library~1

Databases in Networked Information Systems 8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 25-27, 2013. Proceedings

2025-12-09T15:04:40Z

Author Madaan, Aastha. editor. Kikuchi, Shinji. editor. Bhalla, Subhash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334368.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37134-9
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings

2025-12-09T15:04:40Z

Author Purshouse, Robin C. editor. Fleming, Peter J. editor. Fonseca, Carlos M. editor. Greco, Salvatore. editor. Shaw, Jane. editor.
Preferred Shelf Number ONLINE(334370.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37140-0
Format: Electronic Resources
Availability Online Library~1

Advances in Image and Graphics Technologies Chinese Conference, IGTA 2013, Beijing, China, April 2-3, 2013. Proceedings

2025-12-09T15:04:40Z

Author Tan, Tieniu. editor. Ruan, Qiuqi. editor. Chen, Xilin. editor. Ma, Huimin. editor. Wang, Liang. editor.
Preferred Shelf Number ONLINE(334373.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37149-3
Format: Electronic Resources
Availability Online Library~1

Persuasive Technology 8th International Conference, PERSUASIVE 2013, Sydney, NSW, Australia, April 3-5, 2013. Proceedings

2025-12-09T15:04:40Z

Author Berkovsky, Shlomo. editor. Freyne, Jill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334374.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37157-8
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery, Knowledge Engineering and Knowledge Management Third International Joint Conference, IC3K 2011, Paris, France, October 26-29, 2011. Revised Selected Papers

2025-12-09T15:04:40Z

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

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2025-12-09T15:04:40Z

Author Vanneschi, Leonardo. editor. Bush, William S. editor. Giacobini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334380.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37189-9
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2025-12-09T15:04:40Z

Author Esparcia-Alcázar, Anna I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334381.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37192-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings

2025-12-09T15:04:40Z

Author Tomassini, Marco. editor. Antonioni, Alberto. editor. Daolio, Fabio. editor. Buesser, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334386.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37213-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Programming Logics Essays in Memory of Harald Ganzinger

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Distributed Applications and Interoperable Systems 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2025-12-09T15:04:40Z

Author Dowling, Jim. editor. Taïani, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334618.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38541-4
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Agent Systems VIII 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

2025-12-09T15:04:40Z

Author Aldewereld, Huib. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334477.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37756-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

Web-Age Information Management 14th International Conference, WAIM 2013, Beidaihe, China, June 14-16, 2013. Proceedings

2025-12-09T15:04:40Z

Author Wang, Jianyong. editor. Xiong, Hui. editor. Ishikawa, Yoshiharu. editor. Xu, Jianliang. editor. Zhou, Junfeng. editor.
Preferred Shelf Number ONLINE(334622.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38562-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

2025-12-09T15:04:40Z

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

Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings

2025-12-09T15:04:40Z

Author Ali, Moonis. editor. Bosse, Tibor. editor. Hindriks, Koen V. editor. Hoogendoorn, Mark. editor. Jonker, Catholijn M. editor.
Preferred Shelf Number ONLINE(334627.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38577-3
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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Transactions on Edutainment X

2025-12-09T15:04:40Z

Author Pan, Zhigeng. editor. Cheok, Adrian David. editor. Müller, Wolfgang. editor. Iurgel, Ido. editor. Petta, Paolo. editor.
Preferred Shelf Number ONLINE(334501.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37919-2
Format: Electronic Resources
Availability Online Library~1

Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings

2025-12-09T15:04:40Z

Author Brocke, Jan. editor. Hekkala, Riitta. editor. Ram, Sudha. editor. Rossi, Matti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334675.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38827-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers

2025-12-09T15:04:40Z

Author Giardini, Francesca. editor. Amblard, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334684.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38859-0
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings

2025-12-09T15:04:40Z

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

Information Processing in Medical Imaging 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedings

2025-12-09T15:04:40Z

Author Gee, James C. editor. Joshi, Sarang. editor. Pohl, Kilian M. editor. Wells, William M. editor. Zöllei, Lilla. editor.
Preferred Shelf Number ONLINE(334687.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38868-2
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings

2025-12-09T15:04:40Z

Author Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.
Preferred Shelf Number ONLINE(334915.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40235-7
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 II

2025-12-09T15:04:40Z

Author Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334917.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40246-3
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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

2025-12-09T15:04:40Z

Author Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334825.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39634-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I

2025-12-09T15:04:40Z

Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number ONLINE(334826.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39637-3
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V

2025-12-09T15:04:40Z

Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number ONLINE(334827.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39640-3
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II

2025-12-09T15:04:40Z

Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number ONLINE(334828.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39643-4
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

2025-12-09T15:04:40Z

Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number ONLINE(334829.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39646-5
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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2013, Beijing, China, August 3, 2013. Proceedings

2025-12-09T15:04:40Z

Author Wang, G. Alan. editor. Zheng, Xiaolong. editor. Chau, Michael. editor. Chen, Hsinchun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334836.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39693-9
Format: Electronic Resources
Availability Online Library~1

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

2025-12-09T15:04:40Z

Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334837.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39698-4
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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

Online Communities and Social Computing 5th International conference, OCSC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings

2025-12-09T15:04:40Z

Author Ozok, A. Ant. editor. Zaphiris, Panayiotis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334793.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39371-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Critical Information Infrastructure Security 6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 8-9, 2011, Revised Selected Papers

2025-12-09T15:04:40Z

Author Bologna, Sandro. editor. Hämmerli, Bernhard. editor. Gritzalis, Dimitris. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335107.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41476-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013. Proceedings

2025-12-09T15:04:40Z

Author Sun, Maosong. editor. Zhang, Min. editor. Lin, Dekang. editor. Wang, Haifeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335112.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41491-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

2025-12-09T15:04:40Z

Author Tompits, Hans. editor. Abreu, Salvador. editor. Oetsch, Johannes. editor. Pührer, Jörg. editor. Seipel, Dietmar. editor.
Preferred Shelf Number ONLINE(335118.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41524-1
Format: Electronic Resources
Availability Online Library~1

Distributed Computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings

2025-12-09T15:04:40Z

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

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

2025-12-09T15:04:40Z

Author Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Preferred Shelf Number ONLINE(335120.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41533-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

Modeling Decisions for Artificial Intelligence 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings

2025-12-09T15:04:40Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Navarro-Arribas, Guillermo. editor. Megías, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335122.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41550-0
Format: Electronic Resources
Availability Online Library~1

Evolution of Telecommunication Services The Convergence of Telecom and Internet: Technologies and Ecosystems

2025-12-09T15:04:40Z

Author Bertin, Emmanuel. editor. Crespi, Noel. editor. Magedanz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335123.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41569-2
Format: Electronic Resources
Availability Online Library~1

Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings

2025-12-09T15:04:40Z

Author Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335124.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41575-3
Format: Electronic Resources
Availability Online Library~1

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

2025-12-09T15:04:40Z

Author Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335125.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41578-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Social Media Retrieval and Mining ADMA 2012 Workshops, SNAM 2012 and SMR 2012, Nanjing, China, December 15-18, 2012. Revised Selected Papers

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

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

2025-12-09T15:04:40Z

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

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

2025-12-09T15:04:40Z

Author Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335141.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41707-8
Format: Electronic Resources
Availability Online Library~1

Security Protocols XXI 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers

2025-12-09T15:04:40Z

Author Christianson, Bruce. editor. Malcolm, James. editor. Stajano, Frank. editor. Anderson, Jonathan. editor. Bonneau, Joseph. editor.
Preferred Shelf Number ONLINE(335142.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41717-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XI

2025-12-09T15:04:40Z

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