Search Results for Computer science. - Narrowed by: 2013

Computer science illuminated

2024-10-22T15:33:22Z

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

Computer and Information Science

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Transactions on Computational Science XIX Special Issue on Computer Graphics

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Advances in Intelligent Control Systems and Computer Science

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

A practical guide to gender diversity for computer science faculty

2024-10-22T15:33:22Z

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

Dynamic Cloud Collaboration Platform A Market-Oriented Approach

2024-10-22T15:33:22Z

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

Mobile Authentication Problems and Solutions

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

Health Informatics in the Cloud

2024-10-22T15:33:22Z

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

Routing for Wireless Multi-Hop Networks

2024-10-22T15:33:22Z

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

Physical Layer Approaches for Securing Wireless Communication Systems

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

A General Framework for Reasoning On Inconsistency

2024-10-22T15:33:22Z

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

Semantic Web-based Intelligent Geospatial Web Services

2024-10-22T15:33:22Z

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

Modeling Trust Context in Networks

2024-10-22T15:33:22Z

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

Transportation and Information Trends in Technology and Policy

2024-10-22T15:33:22Z

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

Security for Wireless Implantable Medical Devices

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

Studies on Urban Vehicular Ad-hoc Networks

2024-10-22T15:33:22Z

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

Intrusion Detection for IP-Based Multimedia Communications over Wireless Networks

2024-10-22T15:33:22Z

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

Location Privacy Protection in Mobile Networks

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

Unsupervised Information Extraction by Text Segmentation

2024-10-22T15:33:22Z

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

Bluetooth Security Attacks Comparative Analysis, Attacks, and Countermeasures

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Graph-Based Clustering and Data Visualization Algorithms

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Middleware Solutions for the Internet of Things

2024-10-22T15:33:22Z

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

Formal Languages and Compilation

2024-10-22T15:33:22Z

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

Computational Intelligence A Methodological Introduction

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

Fundamentals of Parameterized Complexity

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Traffic Measurement on the Internet

2024-10-22T15:33:22Z

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

Automatic Malware Analysis An Emulator Based Approach

2024-10-22T15:33:22Z

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

Android Malware

2024-10-22T15:33:22Z

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

Sustainable Web Ecosystem Design

2024-10-22T15:33:22Z

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

Resource Management in Utility and Cloud Computing

2024-10-22T15:33:22Z

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

Security and Privacy in Mobile Social Networks

2024-10-22T15:33:22Z

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

Distributed Hash Table Theory, Platforms and Applications

2024-10-22T15:33:22Z

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

Secure IP Mobility Management for VANET

2024-10-22T15:33:22Z

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

Wireless Virtualization

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Energy-Efficient High Performance Computing Measurement and Tuning

2024-10-22T15:33:22Z

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

Belief Revision in Non-Classical Logics

2024-10-22T15:33:22Z

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

Time-of-Flight Cameras Principles, Methods and Applications

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Data Mining in Large Sets of Complex Data

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

Introduction to Image Processing Using R Learning by Examples

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

Modeling and Simulating Command and Control For Organizations Under Extreme Situations

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

Rapid Serial Visual Presentation Design for Cognition

2024-10-22T15:33:22Z

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

Sentiment Analysis for PTSD Signals

2024-10-22T15:33:22Z

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

Concepts, Ontologies, and Knowledge Representation

2024-10-22T15:33:22Z

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

A Brief History of Cryptology and Cryptographic Algorithms

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

Cyber Security Deterrence and IT Protection for Critical Infrastructures

2024-10-22T15:33:22Z

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

Spatio-Temporal Databases Complex Motion Pattern Queries

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

Network Robustness under Large-Scale Attacks

2024-10-22T15:33:22Z

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

Energy-aware Scheduling on Multiprocessor Platforms

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

4G Femtocells Resource Allocation and Interference Management

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

Fast Compact Algorithms and Software for Spline Smoothing

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

Cognitive Virtual Network Operator Games

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

Advances in Computing, Communication, and Control Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Transactions on Rough Sets XVI

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach

2024-10-22T15:33:22Z

Author Jörges, Sven. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334129.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36127-2
Format: Electronic Resources
Availability Online Library~1

Radio Frequency Identification. Security and Privacy Issues 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers

2024-10-22T15:33:22Z

Author Hoepman, Jaap-Henk. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334132.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36140-1
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

2024-10-22T15:33:22Z

Author Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334136.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36157-9
Format: Electronic Resources
Availability Online Library~1

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

2024-10-22T15:33:22Z

Author Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334142.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36177-7
Format: Electronic Resources
Availability Online Library~1

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Programming Logics Essays in Memory of Harald Ganzinger

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2024-10-22T15:33:22Z

Author Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334494.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37890-4
Format: Electronic Resources
Availability Online Library~1

Health Information Science Second International Conference, HIS 2013, London, UK, March 25-27, 2013. Proceedings

2024-10-22T15:33:22Z

Author Huang, Guangyan. editor. Liu, Xiaohui. editor. He, Jing. editor. Klawonn, Frank. editor. Yao, Guiqing. editor.
Preferred Shelf Number ONLINE(334496.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37899-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Edutainment X

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Security and Trust Management 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers

2024-10-22T15:33:22Z

Author Jøsang, Audun. editor. Samarati, Pierangela. editor. Petrocchi, Marinella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334514.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38004-4
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers

2024-10-22T15:33:22Z

Author Erlebach, Thomas. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334516.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38016-7
Format: Electronic Resources
Availability Online Library~1

Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings

2024-10-22T15:33:22Z

Author Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.
Preferred Shelf Number ONLINE(334517.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38027-3
Format: Electronic Resources
Availability Online Library~1

Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers

2024-10-22T15:33:22Z

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

Information Security Practice and Experience 9th International Conference, ISPEC 2013, Lanzhou, China, May 12-14, 2013. Proceedings

2024-10-22T15:33:22Z

Author Deng, Robert H. editor. Feng, Tao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334519.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38033-4
Format: Electronic Resources
Availability Online Library~1

Bioinformatics Research and Applications 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013. Proceedings

2024-10-22T15:33:22Z

Author Cai, Zhipeng. editor. Eulenstein, Oliver. editor. Janies, Daniel. editor. Schwartz, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334520.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38036-5
Format: Electronic Resources
Availability Online Library~1

Highlights on Practical Applications of Agents and Multi-Agent Systems International Workshops of PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings

2024-10-22T15:33:22Z

Author Corchado, Juan M. editor. Bajo, Javier. editor. Kozlak, Jaroslaw. editor. Pawlewski, Pawel. editor. Molina, Jose M. editor.
Preferred Shelf Number ONLINE(334525.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38061-7
Format: Electronic Resources
Availability Online Library~1

Multiple Classifier Systems 11th International Workshop, MCS 2013, Nanjing, China, May 15-17, 2013. Proceedings

2024-10-22T15:33:22Z

Author Zhou, Zhi-Hua. editor. Roli, Fabio. editor. Kittler, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334527.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38067-9
Format: Electronic Resources
Availability Online Library~1

Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings

2024-10-22T15:33:22Z

Author Demazeau, Yves. editor. Ishida, Toru. editor. Corchado, Juan M. editor. Bajo, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334528.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38073-0
Format: Electronic Resources
Availability Online Library~1

Clinical Image-Based Procedures. From Planning to Intervention International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers

2024-10-22T15:33:22Z

Author Drechsler, Klaus. editor. Erdt, Marius. editor. Linguraru, Marius George. editor. Oyarzun Laura, Cristina. editor. Sharma, Karun. editor.
Preferred Shelf Number ONLINE(334530.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38079-2
Format: Electronic Resources
Availability Online Library~1

The Future Internet Future Internet Assembly 2013: Validated Results and New Horizons

2024-10-22T15:33:22Z

Author Galis, Alex. editor. Gavras, Anastasius. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334531.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38082-2
Format: Electronic Resources
Availability Online Library~1

Augmented Environments for Computer-Assisted Interventions 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers

2024-10-22T15:33:22Z

Author Linte, Cristian A. editor. Chen, Elvis C. S. editor. Berger, Marie-Odile. editor. Moore, John T. editor. Holmes, David R. editor.
Preferred Shelf Number ONLINE(334532.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38085-3
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2024-10-22T15:33:22Z

Author Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334533.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38088-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency VII

2024-10-22T15:33:22Z

Author Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.
Preferred Shelf Number ONLINE(334545.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38143-0
Format: Electronic Resources
Availability Online Library~1

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Natural Language Processing and Information Systems 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings

2024-10-22T15:33:22Z

Author Métais, Elisabeth. editor. Meziane, Farid. editor. Saraee, Mohamad. editor. Sugumaran, Vijayan. editor. Vadera, Sunil. editor.
Preferred Shelf Number ONLINE(334674.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38824-8
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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

2024-10-22T15:33:22Z

Author Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334683.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38856-9
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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

2024-10-22T15:33:22Z

Author Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334688.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38874-3
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

2024-10-22T15:33:22Z

Author Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334691.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38883-5
Format: Electronic Resources
Availability Online Library~1

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

2024-10-22T15:33:22Z

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

Functional Imaging and Modeling of the Heart 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings

2024-10-22T15:33:22Z

Author Ourselin, Sébastien. editor. Rueckert, Daniel. editor. Smith, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334694.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38899-6
Format: Electronic Resources
Availability Online Library~1

Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings

2024-10-22T15:33:22Z

Author Fischer, Johannes. editor. Sanders, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334695.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38905-4
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

2024-10-22T15:33:22Z

Author Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334698.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38916-0
Format: Electronic Resources
Availability Online Library~1

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

RoboCup 2012: Robot Soccer World Cup XVI

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Big Data 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings

2024-10-22T15:33:22Z

Author Gottlob, Georg. editor. Grasso, Giovanni. editor. Olteanu, Dan. editor. Schallhart, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334803.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39467-6
Format: Electronic Resources
Availability Online Library~1

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

HCI International 2013 - Posters’ Extended Abstracts International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

2024-10-22T15:33:22Z

Author Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334651.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38697-8
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I

2024-10-22T15:33:22Z

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

End-User Development 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings

2024-10-22T15:33:22Z

Author Dittrich, Yvonne. editor. Burnett, Margaret. editor. Mørch, Anders. editor. Redmiles, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334654.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38706-7
Format: Electronic Resources
Availability Online Library~1

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

VLSI Design and Test 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Revised Selected Papers

2024-10-22T15:33:22Z

Author Gaur, Manoj Singh. editor. Zwolinski, Mark. editor. Laxmi, Vijay. editor. Boolchandani, Dharmendra. editor. Sing, Virendra. editor.
Preferred Shelf Number ONLINE(335156.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42024-5
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

2024-10-22T15:33:22Z

Author Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335157.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42033-7
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II

2024-10-22T15:33:22Z

Author Lee, Minho. editor. Hirose, Akira. editor. Hou, Zeng-Guang. editor. Kil, Rhee Man. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335159.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42042-9
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II

2024-10-22T15:33:22Z

Author Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335160.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42045-0
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part III

2024-10-22T15:33:22Z

Author Lee, Minho. editor. Hirose, Akira. editor. Hou, Zeng-Guang. editor. Kil, Rhee Man. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335162.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42051-1
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part I

2024-10-22T15:33:22Z

Author Lee, Minho. editor. Hirose, Akira. editor. Hou, Zeng-Guang. editor. Kil, Rhee Man. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335163.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42054-2
Format: Electronic Resources
Availability Online Library~1

Intelligence Science and Big Data Engineering 4th International Conference, IScIDE 2013, Beijing, China, July 31 – August 2, 2013, Revised Selected Papers

2024-10-22T15:33:22Z

Author Sun, Changyin. editor. Fang, Fang. editor. Zhou, Zhi-Hua. editor. Yang, Wankou. editor. Liu, Zhi-Yong. editor.
Preferred Shelf Number ONLINE(335164.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42057-3
Format: Electronic Resources
Availability Online Library~1

PRIMA 2013: Principles and Practice of Multi-Agent Systems 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

2024-10-22T15:33:22Z

Author Boella, Guido. editor. Elkind, Edith. editor. Savarimuthu, Bastin Tony Roy. editor. Dignum, Frank. editor. Purvis, Martin K. editor.
Preferred Shelf Number ONLINE(335169.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-44927-7
Format: Electronic Resources
Availability Online Library~1

Multi-disciplinary Trends in Artificial Intelligence 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013. Proceedings

2024-10-22T15:33:22Z

Author Ramanna, Sheela. editor. Lingras, Pawan. editor. Sombattheera, Chattrakul. editor. Krishna, Aneesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335172.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-44949-9
Format: Electronic Resources
Availability Online Library~1

Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 – December 2, 2011

2024-10-22T15:33:22Z

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

Time-of-Flight and Depth Imaging. Sensors, Algorithms, and Applications Dagstuhl 2012 Seminar on Time-of-Flight Imaging and GCPR 2013 Workshop on Imaging New Modalities

2024-10-22T15:33:22Z

Author Grzegorzek, Marcin. editor. Theobalt, Christian. editor. Koch, Reinhard. editor. Kolb, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335174.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-44964-2
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

2024-10-22T15:33:22Z

Author Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335176.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-44973-4
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings

2024-10-22T15:33:22Z

Author Basu, Samik. editor. Pautasso, Cesare. editor. Zhang, Liang. editor. Fu, Xiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335177.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45005-1
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

2024-10-22T15:33:22Z

Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335178.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45008-2
Format: Electronic Resources
Availability Online Library~1

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I

2024-10-22T15:33:22Z

Author Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335179.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45025-9
Format: Electronic Resources
Availability Online Library~1

Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings

2024-10-22T15:33:22Z

Author Cai, Leizhen. editor. Cheng, Siu-Wing. editor. Lam, Tak-Wah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335180.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45030-3
Format: Electronic Resources
Availability Online Library~1

AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings

2024-10-22T15:33:22Z

Author Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335181.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45037-2
Format: Electronic Resources
Availability Online Library~1

Web and Internet Economics 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings

2024-10-22T15:33:22Z

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

Pattern Recognition and Machine Intelligence 5th International Conference, PReMI 2013, Kolkata, India, December 10-14, 2013. Proceedings

2024-10-22T15:33:22Z

Author Maji, Pradipta. editor. Ghosh, Ashish. editor. Murty, M. Narasimha. editor. Ghosh, Kuntal. editor. Pal, Sankar K. editor.
Preferred Shelf Number ONLINE(335185.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45062-4
Format: Electronic Resources
Availability Online Library~1

Middleware 2013 ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings

2024-10-22T15:33:22Z

Author Eyers, David. editor. Schwan, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335186.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45065-5
Format: Electronic Resources
Availability Online Library~1

Information Retrieval Technology 9th Asia Information Retrieval Societies Conference, AIRS 2013, Singapore, December 9-11, 2013. Proceedings

2024-10-22T15:33:22Z

Author Banchs, Rafael E. editor. Silvestri, Fabrizio. editor. Liu, Tie-Yan. editor. Zhang, Min. editor. Gao, Sheng. editor.
Preferred Shelf Number ONLINE(335187.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45068-6
Format: Electronic Resources
Availability Online Library~1

Advances in Soft Computing and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II

2024-10-22T15:33:22Z

Author Castro, Félix. editor. Gelbukh, Alexander. editor. González, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335189.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45111-9
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I

2024-10-22T15:33:22Z

Author Castro, Félix. editor. Gelbukh, Alexander. editor. González, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335190.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45114-0
Format: Electronic Resources
Availability Online Library~1

Chinese Lexical Semantics 14th Workshop, CLSW 2013, Zhengzhou, China, May 10-12, 2013. Revised Selected Papers

2024-10-22T15:33:22Z

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

Information Systems Security 9th International Conference, ICISS 2013, Kolkata, India, December 16-20, 2013. Proceedings

2024-10-22T15:33:22Z

Author Bagchi, Aditya. editor. Ray, Indrakshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335194.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45204-8
Format: Electronic Resources
Availability Online Library~1

Ada 2012 Rationale The Language, The Standard Libraries

2024-10-22T15:33:22Z

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

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2024-10-22T15:33:22Z

Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335196.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Electronic Resources
Availability Online Library~1

Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings

2024-10-22T15:33:22Z

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

Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

2024-10-22T15:33:22Z

Author Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335198.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45260-4
Format: Electronic Resources
Availability Online Library~1

Resource Discovery 5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012, Revised Selected Papers

2024-10-22T15:33:22Z

Author Lacroix, Zoé. editor. Ruckhaus, Edna. editor. Vidal, Maria-Esther. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335199.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45263-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XI Special Issue on Advanced Data Stream Management and Continuous Query Processing

2024-10-22T15:33:22Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Amann, Bernd. editor. Lamarre, Philippe. editor.
Preferred Shelf Number ONLINE(335200.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45269-7
Format: Electronic Resources
Availability Online Library~1

Knowledge Sharing through Technology 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, Hong Kong, China, July 10-11, 2013, Revised Selected Papers

2024-10-22T15:33:22Z

Author Lam, Jeanne. editor. Li, Kam Cheong. editor. Cheung, Simon K. S. editor. Wang, Fu Lee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335201.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45272-7
Format: Electronic Resources
Availability Online Library~1

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

2024-10-22T15:33:22Z

Author Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335202.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45278-9
Format: Electronic Resources
Availability Online Library~1

Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers

2024-10-22T15:33:22Z

Author Akiyama, Jin. editor. Kano, Mikio. editor. Sakai, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335203.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45281-9
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

2024-10-22T15:33:22Z

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

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

2024-10-22T15:33:22Z

Author Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335206.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45293-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XII

2024-10-22T15:33:22Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335207.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45315-1
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications

2024-10-22T15:33:22Z

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

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

2024-10-22T15:33:22Z

Author Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335210.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45343-4
Format: Electronic Resources
Availability Online Library~1

Molecular Biology Not Only for Bioinformaticians

2024-10-22T15:33:22Z

Author Widłak, Wiesława. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335211.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45361-8
Format: Electronic Resources
Availability Online Library~1

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers

2024-10-22T15:33:22Z

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

User-Level Workflow Design A Bioinformatics Perspective

2024-10-22T15:33:22Z

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

Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers

2024-10-22T15:33:22Z

Author Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335214.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45392-2
Format: Electronic Resources
Availability Online Library~1

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

2024-10-22T15:33:22Z

Author Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335215.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45404-2
Format: Electronic Resources
Availability Online Library~1

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

2024-10-22T15:33:22Z

Author Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Preferred Shelf Number ONLINE(335216.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45419-6
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

2024-10-22T15:33:22Z

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

Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II

2024-10-22T15:33:22Z

Author Yang, Yuhang. editor. Ma, Maode. editor. Liu, Baoxiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335218.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-53703-5
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

2024-10-22T15:33:22Z

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

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

2024-10-22T15:33:22Z

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

Transactions on Computational Collective Intelligence XII

2024-10-22T15:33:22Z

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

Advanced Data Mining and Applications 9th International Conference, ADMA 2013, Hangzhou, China, December 14-16, 2013, Proceedings, Part I

2024-10-22T15:33:22Z

Author Motoda, Hiroshi. editor. Wu, Zhaohui. editor. Cao, Longbing. editor. Zaiane, Osmar. editor. Yao, Min. editor.
Preferred Shelf Number ONLINE(335222.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-53914-5
Format: Electronic Resources
Availability Online Library~1

Advanced Data Mining and Applications 9th International Conference, ADMA 2013, Hangzhou, China, December 14-16, 2013, Proceedings, Part II

2024-10-22T15:33:22Z

Author Motoda, Hiroshi. editor. Wu, Zhaohui. editor. Cao, Longbing. editor. Zaiane, Osmar. editor. Yao, Min. editor.
Preferred Shelf Number ONLINE(335223.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-53917-6
Format: Electronic Resources
Availability Online Library~1

Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I

2024-10-22T15:33:22Z

Author Yang, Yuhang. editor. Ma, Maode. editor. Liu, Baoxiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335224.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-53932-9
Format: Electronic Resources
Availability Online Library~1

Frontiers in Internet Technologies Second CCF Internet Conference of China, ICoC 2013, Zhangjiajie, China, July 10, 2013, Revised Selected Papers

2024-10-22T15:33:22Z

Author Su, Jinshu. editor. Zhao, Baokang. editor. Sun, Zhigang. editor. Wang, Xiaofeng. editor. Wang, Fei. editor.
Preferred Shelf Number ONLINE(335225.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-53959-6
Format: Electronic Resources
Availability Online Library~1

Linked Data and Knowledge Graph 7th Chinese Semantic Web Symposium and 2nd Chinese Web Science Conference, CSWS 2013, Shanghai, China, August 12-16, 2013. Revised Selected Papers

2024-10-22T15:33:22Z

Author Qi, Guilin. editor. Tang, Jie. editor. Du, Jianfeng. editor. Pan, Jeff Z. editor. Yu, Yong. editor.
Preferred Shelf Number ONLINE(335226.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-54025-7
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

2024-10-22T15:33:22Z

Author Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335227.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-54092-9
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery, Knowledge Engineering and Knowledge Management 4th International Joint Conference, IC3K 2012, Barcelona, Spain, October 4-7, 2012, Revised Selected Papers

2024-10-22T15:33:22Z

Author Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335228.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-54105-6
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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

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

2024-10-22T15:33:22Z

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

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2024-10-22T15:33:22Z

Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Electronic Resources
Availability Online Library~1

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

2024-10-22T15:33:22Z

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

Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

2024-10-22T15:33:22Z

Author Nugent, Christopher. editor. Coronato, Antonio. editor. Bravo, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332965.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03092-0
Format: Electronic Resources
Availability Online Library~1

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

2024-10-22T15:33:22Z

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

Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

2024-10-22T15:33:22Z

Author Urzaiz, Gabriel. editor. Ochoa, Sergio F. editor. Bravo, José. editor. Chen, Liming Luke. editor. Oliveira, Jonice. editor.
Preferred Shelf Number ONLINE(332969.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03176-7
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

2024-10-22T15:33:22Z

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

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2024-10-22T15:33:22Z

Author Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332934.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Electronic Resources
Availability Online Library~1