Limit Search Results
Author
SpringerLink (Online service)
(1702)
Wiley InterScience (Online service)
(22)
Shenoi, Sujeet. editor.
(13)
Stephanidis, Constantine. editor.
(13)
Yung, Moti. editor.
(13)
Language
Publication Date
-
Subject
Computer science.
(788)
Operating systems (Computers).
(578)
Computers.
(506)
Software engineering.
(499)
Artificial intelligence.
(388)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2523 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
901. 
Cover image for Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II
Author 
Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518783.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15892-1
Format: 
Availability 
Online Library~1
Available:
Copies:
902. 
Cover image for Innovative Security Solutions for Information Technology and Communications 8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015. Revised Selected Papers
Innovative Security Solutions for Information Technology and Communications 8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015. Revised Selected Papers
Author 
Bica, Ion. editor. Naccache, David. editor. Simion, Emil. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518911.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27179-8
Format: 
Availability 
Online Library~1
Available:
Copies:
903. 
Cover image for Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Author 
Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519060.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20028-6
Format: 
Availability 
Online Library~1
Available:
Copies:
904. 
Cover image for Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
Author 
Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519119.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27947-3
Format: 
Availability 
Online Library~1
Available:
Copies:
905. 
Cover image for History of Nordic Computing 4 4th IFIP WG 9.7 Conference, HiNC 4, Copenhagen, Denmark, August 13-15, 2014, Revised Selected Papers
History of Nordic Computing 4 4th IFIP WG 9.7 Conference, HiNC 4, Copenhagen, Denmark, August 13-15, 2014, Revised Selected Papers
Author 
Gram, Christian. editor. Rasmussen, Per. editor. Østergaard, Søren Duus. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518726.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17145-6
Format: 
Availability 
Online Library~1
Available:
Copies:
906. 
Cover image for Review of Medical Dosimetry A Study Guide
Review of Medical Dosimetry A Study Guide
Author 
Amestoy, William. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(519853.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-13626-4
Format: 
Availability 
Online Library~1
Available:
Copies:
907. 
Cover image for Smart Health Open Problems and Future Challenges
Smart Health Open Problems and Future Challenges
Author 
Holzinger, Andreas. editor. Röcker, Carsten. editor. Ziefle, Martina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519294.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16226-3
Format: 
Availability 
Online Library~1
Available:
Copies:
908. 
Cover image for Unauthorized access the crisis in online privacy and security
Unauthorized access the crisis in online privacy and security
Author 
Sloan, Robert H. Warner, Richard, 1946-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
909. 
Cover image for Novel advances in microsystems technologies and their applications
Novel advances in microsystems technologies and their applications
Author 
Francis, Laurent A., editor. Iniewski, Krzysztof, 1960- editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
910. 
Cover image for HTML5 game engines : app development and distribution
HTML5 game engines : app development and distribution
Author 
Nagle, Dan.
Preferred Shelf Number 
QA76.76.C672 N34 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
911. 
Cover image for Handbook of Parallel and distributed simulation systems : Analysis and applications
Handbook of Parallel and distributed simulation systems : Analysis and applications
Author 
Takahashi N. W.
Preferred Shelf Number 
QA76.9.C65 F84 2014 V.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
912. 
Cover image for Wearable sensors fundamentals, implementation and applications
Wearable sensors fundamentals, implementation and applications
Author 
Sazonov, Edward. Neuman, Michael R.
Preferred Shelf Number 
ONLINE(355589.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124186620
Format: 
Availability 
Online Library~1
Available:
Copies:
913. 
Cover image for Relevance ranking for vertical search engines
Relevance ranking for vertical search engines
Author 
Long, Bo, editor. Chang, Yi (Computer expert), editor.
Preferred Shelf Number 
ONLINE(356033.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124071711
Format: 
Availability 
Online Library~1
Available:
Copies:
914. 
Cover image for Parallel science and engineering applications : the Charm++ approach
Parallel science and engineering applications : the Charm++ approach
Author 
Kale, Laxmikant V., editor. Bhatele, Abhinav, editor.
Preferred Shelf Number 
TA345.5 P37 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
915. 
Cover image for Principles of operating systems
Principles of operating systems
Author 
Chauhan, Naresh.
Preferred Shelf Number 
QA76.77 C43 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
916. 
Cover image for Operating system concepts
Operating system concepts
Author 
Silberschatz, Abraham. Galvin, Peter B. Gagne, Greg.
Preferred Shelf Number 
QA76.76.O63 S5583 2014
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
917. 
Cover image for Computer systems : a programmer's perspective
Computer systems : a programmer's perspective
Author 
Bryant, Randal. O'Hallaron, David.
Preferred Shelf Number 
QA76.5 B79 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
918. 
Cover image for The art of Linux kernel design : illustrating the operating system design principle and implementation
The art of Linux kernel design : illustrating the operating system design principle and implementation
Author 
Yang, Lixiang, author. Wenfeng, Liang, author. Dazhao, Chen, author. Liu, Tianhou, 1941- author. Ruobing, Wu, author.
Preferred Shelf Number 
ONLINE(356414.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
919. 
Cover image for Introduction to programming languages
Introduction to programming languages
Author 
Bansal, Arvind Kumar.
Preferred Shelf Number 
QA76.5 B36 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
920. 
Cover image for Protean supply chains : ten dynamics of supply and demand alignment
Protean supply chains : ten dynamics of supply and demand alignment
Author 
Cooke, James A., author.
Preferred Shelf Number 
ONLINE(341728.1)
Electronic Access 
Available by subscription from Safari Books Online
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118759660.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1695069
John Wiley http://dx.doi.org/10.1002/9781118759721
MyiLibrary http://www.myilibrary.com?id=613409
Format: 
Availability 
Online Library~1
Available:
Copies:
921. 
Cover image for Non-volatile memories
Non-volatile memories
Author 
Lacaze, Pierre-Camille, author. Lacroix, Jean-Christophe, author.
Preferred Shelf Number 
ONLINE(341785.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781118789988
Format: 
Availability 
Online Library~1
Available:
Copies:
922. 
Cover image for Mobile clouds : exploiting distributed resources in wireless, mobile and social networks
Mobile clouds : exploiting distributed resources in wireless, mobile and social networks
Author 
Fitzek, Frank H. P., author. Katz, Marcos D., author.
Preferred Shelf Number 
ONLINE(341803.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9780470973899.jpg
John Wiley http://dx.doi.org/10.1002/9781118801338
Format: 
Availability 
Online Library~1
Available:
Copies:
923. 
Cover image for The art of Linux kernel design : illustrating the operating system design principle and implementation
The art of Linux kernel design : illustrating the operating system design principle and implementation
Author 
Yang, Lixiang, author.
Preferred Shelf Number 
QA76.76.O63 Y36 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
924. 
Cover image for Modern operating systems
Modern operating systems
Author 
Tanenbaum, Andrew S.
Preferred Shelf Number 
QA76.76.O63 T359 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
925. 
Cover image for The basics of digital privacy simple tools to protect your personal information and your identity online
The basics of digital privacy simple tools to protect your personal information and your identity online
Author 
Cherry, Denny. LaRock, Thomas.
Preferred Shelf Number 
ONLINE(356123.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128000113
Format: 
Availability 
Online Library~1
Available:
Copies:
926. 
Cover image for Computer, intelligent computing and education technology : selected peer reviewed papers from 2014 International Conference on Computer, Intelligent Computing and Education Technology, CICET 2014, Hong Kong, 27-28 March 2014
Computer, intelligent computing and education technology : selected peer reviewed papers from 2014 International Conference on Computer, Intelligent Computing and Education Technology, CICET 2014, Hong Kong, 27-28 March 2014
Author 
International Conference on Computer, Intelligent Computing and Education Technology, CICET (2014 : Hong Kong). author. Liu, Hsiang-Chuan, editor. Sung, Wen-Pei, editor. Yao, Wenli, editor.
Preferred Shelf Number 
ONLINE(356338.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
927. 
Cover image for The state of the art in intrusion prevention and detection
The state of the art in intrusion prevention and detection
Author 
Pathan, Al-Sakib Khan, editor.
Preferred Shelf Number 
ONLINE(356396.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
928. 
Cover image for Using advanced MPI : modern features of the Message-Passing-Interface
Using advanced MPI : modern features of the Message-Passing-Interface
Author 
Gropp, William, author. Hoefler, Torsten. Thakur, Rajeev. Lusk, Ewing. IEEE Xplore (Online Service), distributor.
Preferred Shelf Number 
ONLINE(364986.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981848
Format: 
Availability 
Online Library~1
Available:
Copies:
929. 
Cover image for Quantum algorithms via linear algebra : a primer
Quantum algorithms via linear algebra : a primer
Author 
Lipton, Richard J, author. Regan, Kenneth W, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number 
ONLINE(364988.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7008157
Format: 
Availability 
Online Library~1
Available:
Copies:
930. 
Cover image for Positive computing : technology for wellbeing and human potential
Positive computing : technology for wellbeing and human potential
Author 
Calvo, Rafael A., author. Peters, Dorian, 1977- IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number 
ONLINE(364984.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981846
Format: 
Availability 
Online Library~1
Available:
Copies:
931. 
Cover image for Using MPI : portable parallel programming with the Message-Passing-Interface
Using MPI : portable parallel programming with the Message-Passing-Interface
Author 
Gropp, William, author. Lusk, Ewing, author. Skjellum, Anthony, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number 
ONLINE(364985.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981847
Format: 
Availability 
Online Library~1
Available:
Copies:
932. 
Cover image for Computer systems experiences of users with and without disabilities : an evaluation guide for professionals
Computer systems experiences of users with and without disabilities : an evaluation guide for professionals
Author 
Borsci, Simone, author. Kurosu, Masaaki, author. Federici, Stefano, author. Mele, Maria Laura, author.
Preferred Shelf Number 
ONLINE(342594.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
933. 
Cover image for Quantum information processing with diamond principles and applications
Quantum information processing with diamond principles and applications
Author 
Prawer, Steven. Aharonovich, Igor.
Preferred Shelf Number 
ONLINE(355783.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780857096562
Format: 
Availability 
Online Library~1
Available:
Copies:
934. 
Cover image for Roadmap to greener computing
Roadmap to greener computing
Author 
Nguemaleu, Raoul-Abelin Choumin, author. Montheu, Lionel, author.
Preferred Shelf Number 
ONLINE(356985.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
935. 
Cover image for Small-Scale Robotics From Nano-to-Millimeter-Sized Robotic Systems and Applications First International Workshop, microICRA 2013, Karlsruhe, Germany, May 6-10, 2013, Revised and Extended Papers
Small-Scale Robotics From Nano-to-Millimeter-Sized Robotic Systems and Applications First International Workshop, microICRA 2013, Karlsruhe, Germany, May 6-10, 2013, Revised and Extended Papers
Author 
Paprotny, Igor. editor. Bergbreiter, Sarah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55134-5
Format: 
Availability 
Online Library~1
Available:
Copies:
936. 
Cover image for Future Information Technology FutureTech 2013
Future Information Technology FutureTech 2013
Author 
Park, James J. (Jong Hyuk). editor. Stojmenovic, Ivan. editor. Choi, Min. editor. Xhafa, Fatos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-40861-8
Format: 
Availability 
Online Library~1
Available:
Copies:
937. 
Cover image for Information System Development Improving Enterprise Communication
Information System Development Improving Enterprise Communication
Author 
José Escalona, María. editor. Aragón, Gustavo. editor. Linger, Henry. editor. Lang, Michael. editor. (orcid)0000-0001-7961-2285 Barry, Chris. editor. (orcid)0000-0002-3664-8429
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07215-9
Format: 
Availability 
Online Library~1
Available:
Copies:
938. 
Cover image for Foundations of Augmented Cognition. Advancing Human Performance and Decision-Making through Adaptive Systems 8th International Conference, AC 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings
Foundations of Augmented Cognition. Advancing Human Performance and Decision-Making through Adaptive Systems 8th International Conference, AC 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings
Author 
Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07527-3
Format: 
Availability 
Online Library~1
Available:
Copies:
939. 
Cover image for Virtual, Augmented and Mixed Reality: Applications of Virtual and Augmented Reality 6th International Conference, VAMR 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II
Virtual, Augmented and Mixed Reality: Applications of Virtual and Augmented Reality 6th International Conference, VAMR 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II
Author 
Shumaker, Randall. editor. Stephanie, Lackey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07464-1
Format: 
Availability 
Online Library~1
Available:
Copies:
940. 
Cover image for Games and Learning Alliance Second International Conference, GALA 2013, Paris, France, October 23-25, 2013, Revised Selected Papers
Games and Learning Alliance Second International Conference, GALA 2013, Paris, France, October 23-25, 2013, Revised Selected Papers
Author 
De Gloria, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12157-4
Format: 
Availability 
Online Library~1
Available:
Copies:
941. 
Cover image for The Proceedings of the Second International Conference on Communications, Signal Processing, and Systems
The Proceedings of the Second International Conference on Communications, Signal Processing, and Systems
Author 
Zhang, Baoju. editor. Mu, Jiasong. editor. Wang, Wei. editor. Liang, Qilian. editor. Pi, Yiming. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-00536-2
Format: 
Availability 
Online Library~1
Available:
Copies:
942. 
Cover image for ICTs and the Millennium Development Goals A United Nations Perspective
ICTs and the Millennium Development Goals A United Nations Perspective
Author 
Kaur, Harleen. editor. Tao, Xiaohui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4899-7439-6
Format: 
Availability 
Online Library~1
Available:
Copies:
943. 
Cover image for Physiological Computing Systems First International Conference, PhyCS 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers
Physiological Computing Systems First International Conference, PhyCS 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers
Author 
da Silva, Hugo Plácido. editor. Holzinger, Andreas. editor. Fairclough, Stephen. editor. Majoe, Dennis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45686-6
Format: 
Availability 
Online Library~1
Available:
Copies:
944. 
Cover image for Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
Author 
Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Rocha, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08909-6
Format: 
Availability 
Online Library~1
Available:
Copies:
945. 
Cover image for Beyond Databases, Architectures, and Structures 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings
Beyond Databases, Architectures, and Structures 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings
Author 
Kozielski, Stanislaw. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Pawel. editor. Małysiak-Mrozek, Bożena. editor. Kostrzewa, Daniel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06932-6
Format: 
Availability 
Online Library~1
Available:
Copies:
946. 
Cover image for Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions
Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions
Author 
Kerren, Andreas. editor. Purchase, Helen. editor. Ward, Matthew O. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06793-3
Format: 
Availability 
Online Library~1
Available:
Copies:
947. 
Cover image for Information Visualization An Introduction
Information Visualization An Introduction
Author 
Spence, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07341-5
Format: 
Availability 
Online Library~1
Available:
Copies:
948. 
Cover image for Persuasive Technology - Persuasive, Motivating, Empowering Videogames 9th International Conference, PERSUASIVE 2014, Padua, Italy, May 21-23, 2014. Proceedings
Persuasive Technology - Persuasive, Motivating, Empowering Videogames 9th International Conference, PERSUASIVE 2014, Padua, Italy, May 21-23, 2014. Proceedings
Author 
Spagnolli, Anna. editor. Chittaro, Luca. editor. Gamberini, Luciano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07127-5
Format: 
Availability 
Online Library~1
Available:
Copies:
949. 
Cover image for Architecture of Computing Systems -- ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings
Architecture of Computing Systems -- ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings
Author 
Maehle, Erik. editor. Römer, Kay. editor. Karl, Wolfgang. editor. Tovar, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04891-8
Format: 
Availability 
Online Library~1
Available:
Copies:
950. 
Cover image for Ad Hoc Networks 5th International ICST Conference, ADHOCNETS 2013, Barcelona, Spain, October 2013, Revised Selected Papers
Ad Hoc Networks 5th International ICST Conference, ADHOCNETS 2013, Barcelona, Spain, October 2013, Revised Selected Papers
Author 
Sherif, Mostafa Hashem. editor. Mellouk, Abdelhamid. editor. Li, Jun. editor. Bellavista, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04105-6
Format: 
Availability 
Online Library~1
Available:
Copies:
951. 
Cover image for Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 13th China National Conference, CCL 2014, and First International Symposium, NLP-NABD 2014, Wuhan, China, October 18-19, 2014. Proceedings
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 13th China National Conference, CCL 2014, and First International Symposium, NLP-NABD 2014, Wuhan, China, October 18-19, 2014. Proceedings
Author 
Sun, Maosong. editor. Liu, Yang. editor. Zhao, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12277-9
Format: 
Availability 
Online Library~1
Available:
Copies:
952. 
Cover image for Frontier and Innovation in Future Computing and Communications
Frontier and Innovation in Future Computing and Communications
Author 
Park, James J. (Jong Hyuk). editor. Zomaya, Albert. editor. Jeong, Hwa-Young. editor. Obaidat, Mohammad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-8798-7
Format: 
Availability 
Online Library~1
Available:
Copies:
953. 
Cover image for Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings
Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings
Author 
Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12982-2
Format: 
Availability 
Online Library~1
Available:
Copies:
954. 
Cover image for Privacy vs. Security
Privacy vs. Security
Author 
Stalla-Bourdillon, Sophie. author. Phillips, Joshua. author. Ryan, Mark D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6530-9
Format: 
Availability 
Online Library~1
Available:
Copies:
955. 
Cover image for Modeling Dynamic Biological Systems
Modeling Dynamic Biological Systems
Author 
Hannon, Bruce. author. Ruth, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05615-9
Format: 
Availability 
Online Library~1
Available:
Copies:
956. 
Cover image for Cognitive Radio Networks Dynamic Resource Allocation Schemes
Cognitive Radio Networks Dynamic Resource Allocation Schemes
Author 
Wang, Shaowei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08936-2
Format: 
Availability 
Online Library~1
Available:
Copies:
957. 
Cover image for Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Author 
McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54013-4
Format: 
Availability 
Online Library~1
Available:
Copies:
958. 
Cover image for Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Author 
Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54108-7
Format: 
Availability 
Online Library~1
Available:
Copies:
959. 
Cover image for Numerical Computations with GPUs
Numerical Computations with GPUs
Author 
Kindratenko, Volodymyr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06548-9
Format: 
Availability 
Online Library~1
Available:
Copies:
960. 
Cover image for Python Programming Fundamentals
Python Programming Fundamentals
Author 
Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6642-9
Format: 
Availability 
Online Library~1
Available:
Copies:
961. 
Cover image for Intelligent Robotics and Applications 7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings, Part I
Intelligent Robotics and Applications 7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings, Part I
Author 
Zhang, Xianmin. editor. Liu, Honghai. editor. Chen, Zhong. editor. Wang, Nianfeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13966-1
Format: 
Availability 
Online Library~1
Available:
Copies:
962. 
Cover image for Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers
Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers
Author 
Siarry, Patrick. editor. Idoumghar, Lhassane. editor. Lepagnot, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12970-9
Format: 
Availability 
Online Library~1
Available:
Copies:
963. 
Cover image for Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05416-2
Format: 
Availability 
Online Library~1
Available:
Copies:
964. 
Cover image for Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I
Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07173-2
Format: 
Availability 
Online Library~1
Available:
Copies:
965. 
Cover image for Networks and Communications (NetCom2013) Proceedings of the Fifth International Conference on Networks & Communications
Networks and Communications (NetCom2013) Proceedings of the Fifth International Conference on Networks & Communications
Author 
Meghanathan, Natarajan. editor. Nagamalai, Dhinaharan. editor. Rajasekaran, Sanguthevar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-03692-2
Format: 
Availability 
Online Library~1
Available:
Copies:
966. 
Cover image for Socio-technical Design of Ubiquitous Computing Systems
Socio-technical Design of Ubiquitous Computing Systems
Author 
David, Klaus. editor. Geihs, Kurt. editor. Leimeister, Jan Marco. editor. Roßnagel, Alexander. editor. Schmidt, Ludger. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05044-7
Format: 
Availability 
Online Library~1
Available:
Copies:
967. 
Cover image for Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Author 
Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05032-4
Format: 
Availability 
Online Library~1
Available:
Copies:
968. 
Cover image for Universal Access in Human-Computer Interaction: Design for All and Accessibility Practice 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part IV
Universal Access in Human-Computer Interaction: Design for All and Accessibility Practice 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part IV
Author 
Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07509-9
Format: 
Availability 
Online Library~1
Available:
Copies:
969. 
Cover image for Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers
Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers
Author 
Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Iida, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05428-5
Format: 
Availability 
Online Library~1
Available:
Copies:
970. 
Cover image for Computer Engineering and Networking Proceedings of the 2013 International Conference on Computer Engineering and Network (CENet2013)
Computer Engineering and Networking Proceedings of the 2013 International Conference on Computer Engineering and Network (CENet2013)
Author 
Wong, W. Eric. editor. Zhu, Tingshao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-01766-2
Format: 
Availability 
Online Library~1
Available:
Copies:
971. 
Cover image for Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers
Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers
Author 
Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Björnsson, Yngvi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14923-3
Format: 
Availability 
Online Library~1
Available:
Copies:
972. 
Cover image for Multiple Access Communications 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014, Proceedings
Multiple Access Communications 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014, Proceedings
Author 
Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Belyaev, Evgeny. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10262-7
Format: 
Availability 
Online Library~1
Available:
Copies:
973. 
Cover image for Social Robotics 6th International Conference, ICSR 2014, Sydney, NSW, Australia, October 27-29, 2014. Proceedings
Social Robotics 6th International Conference, ICSR 2014, Sydney, NSW, Australia, October 27-29, 2014. Proceedings
Author 
Beetz, Michael. editor. Johnston, Benjamin. editor. Williams, Mary-Anne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11973-1
Format: 
Availability 
Online Library~1
Available:
Copies:
974. 
Cover image for Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings
Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings
Author 
Bazzan, Ana L.C. editor. Pichara, Karim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12027-0
Format: 
Availability 
Online Library~1
Available:
Copies:
975. 
Cover image for Services in Wireless Sensor Networks Modelling and Optimisation for the Efficient Discovery of Services
Services in Wireless Sensor Networks Modelling and Optimisation for the Efficient Discovery of Services
Author 
Becker, Markus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-05402-1
Format: 
Availability 
Online Library~1
Available:
Copies:
976. 
Cover image for Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Author 
Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12154-3
Format: 
Availability 
Online Library~1
Available:
Copies:
977. 
Cover image for Electronic Participation 6th IFIP WG 8.5 International Conference, ePart 2014, Dublin, Ireland, September 2-3, 2014, Proceedings
Electronic Participation 6th IFIP WG 8.5 International Conference, ePart 2014, Dublin, Ireland, September 2-3, 2014, Proceedings
Author 
Tambouris, Efthimios. editor. Macintosh, Ann. editor. Bannister, Frank Edward. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44914-1
Format: 
Availability 
Online Library~1
Available:
Copies:
978. 
Cover image for Programming Languages and Operational Semantics A Concise Overview
Programming Languages and Operational Semantics A Concise Overview
Author 
Fernández, Maribel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6368-8
Format: 
Availability 
Online Library~1
Available:
Copies:
979. 
Cover image for REST: Advanced Research Topics and Practical Applications
REST: Advanced Research Topics and Practical Applications
Author 
Pautasso, Cesare. editor. (orcid)0000-0002-2748-9665 Wilde, Erik. editor. Alarcon, Rosa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-9299-3
Format: 
Availability 
Online Library~1
Available:
Copies:
980. 
Cover image for Medical Informatics, e-Health Fundamentals and Applications
Medical Informatics, e-Health Fundamentals and Applications
Author 
Venot, Alain. editor. Burgun, Anita. editor. Quantin, Catherine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-2-8178-0478-1
Format: 
Availability 
Online Library~1
Available:
Copies:
981. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013
Author 
Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Thoai, Nam. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45947-8
Format: 
Availability 
Online Library~1
Available:
Copies:
982. 
Cover image for Intelligent Strategies for Pathway Mining Model and Pattern Identification
Intelligent Strategies for Pathway Mining Model and Pattern Identification
Author 
Chen, Qingfeng. author. Chen, Baoshan. author. Zhang, Chengqi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04172-8
Format: 
Availability 
Online Library~1
Available:
Copies:
983. 
Cover image for Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
Author 
Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04132-2
Format: 
Availability 
Online Library~1
Available:
Copies:
984. 
Cover image for FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Author 
Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06410-9
Format: 
Availability 
Online Library~1
Available:
Copies:
985. 
Cover image for Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings
Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings
Author 
Krishnamachari, Bhaskar. editor. (orcid)0000-0002-9994-9931 Murphy, Amy L. editor. Trigoni, Niki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04651-8
Format: 
Availability 
Online Library~1
Available:
Copies:
986. 
Cover image for Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04921-2
Format: 
Availability 
Online Library~1
Available:
Copies:
987. 
Cover image for Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings
Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings
Author 
Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04897-0
Format: 
Availability 
Online Library~1
Available:
Copies:
988. 
Cover image for Maritime Wideband Communication Networks Video Transmission Scheduling
Maritime Wideband Communication Networks Video Transmission Scheduling
Author 
Yang, Tingting. author. Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07362-0
Format: 
Availability 
Online Library~1
Available:
Copies:
989. 
Cover image for Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Author 
Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09284-3
Format: 
Availability 
Online Library~1
Available:
Copies:
990. 
Cover image for Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Author 
Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09099-3
Format: 
Availability 
Online Library~1
Available:
Copies:
991. 
Cover image for Intelligent Computing in Bioinformatics 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings
Intelligent Computing in Bioinformatics 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings
Author 
Huang, De-Shuang. editor. Han, Kyungsook. editor. Gromiha, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09330-7
Format: 
Availability 
Online Library~1
Available:
Copies:
992. 
Cover image for Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Author 
Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10512-3
Format: 
Availability 
Online Library~1
Available:
Copies:
993. 
Cover image for Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Author 
Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09704-6
Format: 
Availability 
Online Library~1
Available:
Copies:
994. 
Cover image for Autonomy Requirements Engineering for Space Missions
Autonomy Requirements Engineering for Space Missions
Author 
Vassev, Emil. author. Hinchey, Mike. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09816-6
Format: 
Availability 
Online Library~1
Available:
Copies:
995. 
Cover image for Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Author 
Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09940-8
Format: 
Availability 
Online Library~1
Available:
Copies:
996. 
Cover image for Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Author 
Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09970-5
Format: 
Availability 
Online Library~1
Available:
Copies:
997. 
Cover image for Linked Open Data -- Creating Knowledge Out of Interlinked Data Results of the LOD2 Project
Linked Open Data -- Creating Knowledge Out of Interlinked Data Results of the LOD2 Project
Author 
Auer, Sören. editor. Bryl, Volha. editor. Tramp, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09846-3
Format: 
Availability 
Online Library~1
Available:
Copies:
998. 
Cover image for Safe and Secure Cities 5th International Conference on Well-Being in the Information Society, WIS 2014, Turku, Finland, August 18-20, 2014. Proceedings
Safe and Secure Cities 5th International Conference on Well-Being in the Information Society, WIS 2014, Turku, Finland, August 18-20, 2014. Proceedings
Author 
Saranto, Kaija. editor. Castrén, Maaret. editor. Kuusela, Tiina. editor. Hyrynsalmi, Sami. editor. Ojala, Stina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10211-5
Format: 
Availability 
Online Library~1
Available:
Copies:
999. 
Cover image for Mobile Web Information Systems 11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014. Proceedings
Mobile Web Information Systems 11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014. Proceedings
Author 
Awan, Irfan. editor. Younas, Muhammad. editor. Franch, Xavier. editor. Quer, Carme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10359-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1000. 
Cover image for Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Author 
DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11454-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1001. 
Cover image for Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Author 
Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10936-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1002. 
Cover image for Artificial Neural Networks and Machine Learning -- ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings
Artificial Neural Networks and Machine Learning -- ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings
Author 
Wermter, Stefan. editor. Weber, Cornelius. editor. Duch, Wlodzislaw. editor. Honkela, Timo. editor. Koprinkova-Hristova, Petia. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11179-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1003. 
Cover image for DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
Author 
Murata, Satoshi. editor. Kobayashi, Satoshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11295-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1004. 
Cover image for Adaptive and Intelligent Systems Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-9, 2014. Proceedings
Adaptive and Intelligent Systems Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-9, 2014. Proceedings
Author 
Bouchachia, Abdelhamid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11298-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1005. 
Cover image for Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings
Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings
Author 
Was, Jaroslaw. editor. Sirakoulis, Georgios. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11520-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1006. 
Cover image for Serious Games Development and Applications 5th International Conference, SGDA 2014, Berlin, Germany, October 9-10, 2014. Proceedings
Serious Games Development and Applications 5th International Conference, SGDA 2014, Berlin, Germany, October 9-10, 2014. Proceedings
Author 
Ma, Minhua. editor. Oliveira, Manuel Fradinho. editor. Baalsrud Hauge, Jannicke. editor. (orcid)0000-0002-3747-0845 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11623-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1007. 
Cover image for Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
Author 
Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11653-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1008. 
Cover image for Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Author 
Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11737-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1009. 
Cover image for System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
Author 
Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11743-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1010. 
Cover image for Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
Author 
Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11854-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1011. 
Cover image for Social Group Utility Maximization
Social Group Utility Maximization
Author 
Gong, Xiaowen. author. Chen, Xu. author. Yang, Lei. author. Zhang, Junshan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12322-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1012. 
Cover image for Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers
Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers
Author 
Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12084-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1013. 
Cover image for Broadcast Design in Cognitive Radio Ad Hoc Networks
Broadcast Design in Cognitive Radio Ad Hoc Networks
Author 
Song, Yi. author. Xie, Jiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12622-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1014. 
Cover image for Wireless Communications Networks for the Smart Grid
Wireless Communications Networks for the Smart Grid
Author 
Ho, Quang-Dung. author. Gao, Yue. author. Rajalingham, Gowdemy. author. Le-Ngoc, Tho. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10347-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1015. 
Cover image for Big Data Related Technologies, Challenges and Future Prospects
Big Data Related Technologies, Challenges and Future Prospects
Author 
Chen, Min. author. Mao, Shiwen. author. Zhang, Yin. author. Leung, Victor C.M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06245-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1016. 
Cover image for E-Democracy, Security, Privacy and Trust in a Digital World 5th International Conference, E-Democracy 2013, Athens, Greece, December 5-6, 2013, Revised Selected Papers
E-Democracy, Security, Privacy and Trust in a Digital World 5th International Conference, E-Democracy 2013, Athens, Greece, December 5-6, 2013, Revised Selected Papers
Author 
Sideridis, Alexander B. editor. Kardasiadou, Zoe. editor. Yialouris, Constantine P. editor. Zorkadis, Vasilios. editor. (orcid)0000-0003-4399-2495 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11710-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1017. 
Cover image for Driving Demand for Broadband Networks and Services
Driving Demand for Broadband Networks and Services
Author 
Katz, Raul L. author. Berry, Taylor A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07197-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1018. 
Cover image for Network Hardening An Automated Approach to Improving Network Security
Network Hardening An Automated Approach to Improving Network Security
Author 
Wang, Lingyu. author. Albanese, Massimiliano. author. Jajodia, Sushil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04612-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1019. 
Cover image for Pairing-Based Cryptography -- Pairing 2013 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers
Pairing-Based Cryptography -- Pairing 2013 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers
Author 
Cao, Zhenfu. editor. Zhang, Fangguo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04873-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1020. 
Cover image for Guide to OSI and TCP/IP Models
Guide to OSI and TCP/IP Models
Author 
Alani, Mohammed M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05152-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1021. 
Cover image for Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers
Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers
Author 
Legrand, Pierrick. editor. Corsini, Marc-Michel. editor. Hao, Jin-Kao. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11683-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1022. 
Cover image for JRuby Rails Web Application Development
JRuby Rails Web Application Development
Author 
Vohra, Deepak. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-03934-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1023. 
Cover image for Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings
Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings
Author 
Ibarra, Oscar H. editor. Kari, Lila. editor. Kopecki, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08123-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1024. 
Cover image for Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers
Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers
Author 
Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X Resende, Mauricio G.C. editor. Vogiatzis, Chrysafis. editor. Walteros, Jose L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09584-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1025. 
Cover image for Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
Author 
Alhazov, Artiom. editor. Cojocaru, Svetlana. editor. Gheorghe, Marian. editor. Rogozhin, Yurii. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54239-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1026. 
Cover image for Advances in Web-Based Learning -- ICWL 2014 13th International Conference, Tallinn, Estonia, August 14-17, 2014. Proceedings
Advances in Web-Based Learning -- ICWL 2014 13th International Conference, Tallinn, Estonia, August 14-17, 2014. Proceedings
Author 
Popescu, Elvira. editor. Lau, Rynson W. H. editor. Pata, Kai. editor. Leung, Howard. editor. Laanpere, Mart. editor. (orcid)0000-0002-9853-9965
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09635-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1027. 
Cover image for Informatics in SchoolsTeaching and Learning Perspectives 7th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2014, Istanbul, Turkey, September 22-25, 2014. Proceedings
Informatics in SchoolsTeaching and Learning Perspectives 7th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2014, Istanbul, Turkey, September 22-25, 2014. Proceedings
Author 
Gülbahar, Yasemin. editor. Karataş, Erinç. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09958-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1028. 
Cover image for Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings
Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings
Author 
Tan, Tieniu. editor. Ruan, Qiuqi. editor. Wang, Shengjin. editor. Ma, Huimin. editor. Huang, Kaiqi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45498-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1029. 
Cover image for Handbook of Document Image Processing and Recognition
Handbook of Document Image Processing and Recognition
Author 
Doermann, David. editor. Tombre, Karl. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-0-85729-859-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1030. 
Cover image for Design Science Methodology for Information Systems and Software Engineering
Design Science Methodology for Information Systems and Software Engineering
Author 
Wieringa, Roel J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43839-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1031. 
Cover image for A Beginner's Guide to Scala, Object Orientation and Functional Programming
A Beginner's Guide to Scala, Object Orientation and Functional Programming
Author 
Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06776-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1032. 
Cover image for Challenges of Information Management Beyond the Cloud 4th International Symposium on Information Management in a Changing World, IMCW 2013, Limerick, Ireland, September 4-6, 2013. Revised Selected Papers
Challenges of Information Management Beyond the Cloud 4th International Symposium on Information Management in a Changing World, IMCW 2013, Limerick, Ireland, September 4-6, 2013. Revised Selected Papers
Author 
Gathegi, John N. editor. Tonta, Yasar. editor. Kurbanoglu, Serap. editor. Al, Umut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44412-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1033. 
Cover image for Cyber Security and Privacy Third Cyber Security and Privacy EU Forum, CSP Forum 2014, Athens, Greece, May 21-22, 2014, Revised Selected Papers
Cyber Security and Privacy Third Cyber Security and Privacy EU Forum, CSP Forum 2014, Athens, Greece, May 21-22, 2014, Revised Selected Papers
Author 
Cleary, Frances. editor. Felici, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12574-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1034. 
Cover image for Large-Scale Data Analytics
Large-Scale Data Analytics
Author 
Gkoulalas-Divanis, Aris. editor. Labbi, Abderrahim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-9242-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1035. 
Cover image for Solving the Dynamic Complexity Dilemma Predictive and Prescriptive Business Management: Answering the Need for a New Paradigm
Solving the Dynamic Complexity Dilemma Predictive and Prescriptive Business Management: Answering the Need for a New Paradigm
Author 
Abu el Ata, Nabil. author. Perks, Maurice J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54310-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1036. 
Cover image for Opening Science The Evolving Guide on How the Internet is Changing Research, Collaboration and Scholarly Publishing
Opening Science The Evolving Guide on How the Internet is Changing Research, Collaboration and Scholarly Publishing
Author 
Bartling, Sönke. editor. Friesike, Sascha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-00026-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1037. 
Cover image for E-Commerce Strategy
E-Commerce Strategy
Author 
Qin, Zheng. author. Chang, Yang. author. Li, Shundong. author. Li, Fengxiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-39414-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1038. 
Cover image for Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2013
Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2013
Author 
Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9115-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1039. 
Cover image for Biometrics in the New World The Cloud, Mobile Technology and Pervasive Identity
Biometrics in the New World The Cloud, Mobile Technology and Pervasive Identity
Author 
Ashbourn, Julian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04159-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1040. 
Cover image for Uncertainty Modeling for Data Mining A Label Semantics Approach
Uncertainty Modeling for Data Mining A Label Semantics Approach
Author 
Qin, Zengchang. author. Tang, Yongchuan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-41251-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1041. 
Cover image for Code Breaking in the Pacific
Code Breaking in the Pacific
Author 
Donovan, Peter. author. Mack, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08278-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1042. 
Cover image for Cyberterrorism Understanding, Assessment, and Response
Cyberterrorism Understanding, Assessment, and Response
Author 
Chen, Thomas M. editor. Jarvis, Lee. editor. Macdonald, Stuart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-0962-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1043. 
Cover image for Foundations of Programming Languages
Foundations of Programming Languages
Author 
Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13314-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1044. 
Cover image for Nordic Contributions in IS Research 5th Scandinavian Conference on Information Systems, SCIS 2014, Ringsted, Denmark, August 10-13, 2014, Proceedings
Nordic Contributions in IS Research 5th Scandinavian Conference on Information Systems, SCIS 2014, Ringsted, Denmark, August 10-13, 2014, Proceedings
Author 
Commisso, Trine Hald. editor. Nørbjerg, Jacob. editor. Pries-Heje, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09546-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1045. 
Cover image for Process Design for Natural Scientists An Agile Model-Driven Approach
Process Design for Natural Scientists An Agile Model-Driven Approach
Author 
Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45006-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1046. 
Cover image for Electrical Design of Through Silicon Via
Electrical Design of Through Silicon Via
Author 
Lee, Manho. editor. Pak, Jun So. editor. Kim, Joungho. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9038-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1047. 
Cover image for Guided Self-Organization: Inception
Guided Self-Organization: Inception
Author 
Prokopenko, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-53734-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1048. 
Cover image for Entertainment Computing - ICEC 2014 13th International Conference, ICEC 2014, Sydney, Australia, October 1-3, 2014, Proceedings
Entertainment Computing - ICEC 2014 13th International Conference, ICEC 2014, Sydney, Australia, October 1-3, 2014, Proceedings
Author 
Pisan, Yusuf. editor. Sgouros, Nikitas Marinos. editor. Marsh, Tim. editor. (orcid)0000-0003-1829-8370 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45212-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1049. 
Cover image for Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Muscholl, Anca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54830-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1050. 
Cover image for Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54804-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1051. 
Cover image for Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I
Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I
Author 
Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45611-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1052. 
Cover image for Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Author 
Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45489-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1053. 
Cover image for Intelligent Computing Theory 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings
Intelligent Computing Theory 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings
Author 
Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09333-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1054. 
Cover image for Social Informatics SocInfo 2013 International Workshops, QMC and HISTOINFORMATICS, Kyoto, Japan, November 25, 2013, Revised Selected Papers
Social Informatics SocInfo 2013 International Workshops, QMC and HISTOINFORMATICS, Kyoto, Japan, November 25, 2013, Revised Selected Papers
Author 
Nadamoto, Akiyo. editor. Jatowt, Adam. editor. (orcid)0000-0001-7235-0665 Wierzbicki, Adam. editor. Leidner, Jochen L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55285-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1055. 
Cover image for Privacy in Statistical Databases UNESCO Chair in Data Privacy, International Conference, PSD 2014, Ibiza, Spain, September 17-19, 2014. Proceedings
Privacy in Statistical Databases UNESCO Chair in Data Privacy, International Conference, PSD 2014, Ibiza, Spain, September 17-19, 2014. Proceedings
Author 
Domingo-Ferrer, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11257-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1056. 
Cover image for Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Author 
Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11164-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1057. 
Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Author 
Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07317-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1058. 
Cover image for Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers
Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers
Author 
Cuellar, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10329-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1059. 
Cover image for Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04915-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1060. 
Cover image for Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings
Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings
Author 
Beckmann, Arnold. editor. Csuhaj-Varjú, Ersébet. editor. Meer, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08019-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1061. 
Cover image for Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management 5th International Conference, DHM 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings
Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management 5th International Conference, DHM 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07725-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1062. 
Cover image for Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part I
Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part I
Author 
Auvray, Malika. editor. Duriez, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44193-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1063. 
Cover image for Cryptographic Hardware and Embedded Systems -- CHES 2014 16th International Workshop, Busan, South Korea, September 23-26, 2014, Proceedings
Cryptographic Hardware and Embedded Systems -- CHES 2014 16th International Workshop, Busan, South Korea, September 23-26, 2014, Proceedings
Author 
Batina, Lejla. editor. (orcid)0000-0003-0727-3573 Robshaw, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44709-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1064. 
Cover image for Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
Author 
Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43951-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1065. 
Cover image for Learning and Collaboration Technologies: Designing and Developing Novel Learning Experiences First International Conference, LCT 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I
Learning and Collaboration Technologies: Designing and Developing Novel Learning Experiences First International Conference, LCT 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I
Author 
Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. (orcid)0000-0002-3570-6578 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07482-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1066. 
Cover image for From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
Author 
Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54848-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1067. 
Cover image for Universal Access in Human-Computer Interaction: Universal Access to Information and Knowledge 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II
Universal Access in Human-Computer Interaction: Universal Access to Information and Knowledge 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II
Author 
Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07440-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1068. 
Cover image for Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Author 
Esparcia-Alcázar, Anna I. editor. Mora, Antonio M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45523-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1069. 
Cover image for Public Key Infrastructures, Services and Applications 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers
Public Key Infrastructures, Services and Applications 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers
Author 
Katsikas, Sokratis. editor. Agudo, Isaac. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-53997-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1070. 
Cover image for Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
Author 
Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sosík, Petr. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14370-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1071. 
Cover image for Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings
Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings
Author 
Shi, Xiaodong. editor. Chen, Yidong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45701-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1072. 
Cover image for ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
Author 
Jones, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44202-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1073. 
Cover image for Key Competencies in ICT and Informatics: Implications and Issues for Educational Professionals and Management IFIP WG 3.4/3.7 International Conferences, KCICTP and ITEM 2014, Potsdam, Germany, July 1-4, 2014, Revised Selected Papers
Key Competencies in ICT and Informatics: Implications and Issues for Educational Professionals and Management IFIP WG 3.4/3.7 International Conferences, KCICTP and ITEM 2014, Potsdam, Germany, July 1-4, 2014, Revised Selected Papers
Author 
Passey, Don. editor. (orcid)0000-0002-9205-502X Tatnall, Arthur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45770-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1074. 
Cover image for LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
Author 
Pardo, Alberto. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54423-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1075. 
Cover image for Cloud Computing for Data-Intensive Applications
Cloud Computing for Data-Intensive Applications
Author 
Li, Xiaolin. editor. Qiu, Judy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-1905-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1076. 
Cover image for Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part II
Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part II
Author 
Auvray, Malika. editor. Duriez, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44196-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1077. 
Cover image for Information Theoretic Security 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings
Information Theoretic Security 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings
Author 
Padró, Carles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04268-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1078. 
Cover image for Transactions on Computational Science XXIII Special Issue on Cyberworlds
Transactions on Computational Science XXIII Special Issue on Cyberworlds
Author 
Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Mao, Xiaoyang. editor. Hong, Lichan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43790-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1079. 
Cover image for Proceedings of the 2013 International Conference on Electrical and Information Technologies for Rail Transportation (EITRT2013)-Volume II
Proceedings of the 2013 International Conference on Electrical and Information Technologies for Rail Transportation (EITRT2013)-Volume II
Author 
Jia, Limin. editor. Liu, Zhigang. editor. Qin, Yong. editor. Zhao, Minghua. editor. Diao, Lijun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-53751-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1080. 
Cover image for Sociomaterial-Design Bounding Technologies in Practice
Sociomaterial-Design Bounding Technologies in Practice
Author 
Bjørn, Pernille. author. Østerlund, Carsten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12607-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1081. 
Cover image for Algorithm & SoC Design for Automotive Vision Systems For Smart Safe Driving System
Algorithm & SoC Design for Automotive Vision Systems For Smart Safe Driving System
Author 
Kim, Jaeseok. editor. Shin, Hyunchul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9075-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1082. 
Cover image for AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings
AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings
Author 
Tanaka, Satoshi. editor. Hasegawa, Kyoko. editor. Xu, Rui. editor. Sakamoto, Naohisa. editor. Turner, Stephen John. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45289-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1083. 
Cover image for Interactive Storytelling 7th International Conference on Interactive Digital Storytelling, ICIDS 2014, Singapore, Singapore, November 3-6, 2014, Proceedings
Interactive Storytelling 7th International Conference on Interactive Digital Storytelling, ICIDS 2014, Singapore, Singapore, November 3-6, 2014, Proceedings
Author 
Mitchell, Alex. editor. Fernández-Vara, Clara. editor. Thue, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12337-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1084. 
Cover image for Theory and Applications of Formal Argumentation Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers
Theory and Applications of Formal Argumentation Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers
Author 
Black, Elizabeth. editor. Modgil, Sanjay. editor. Oren, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54373-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1085. 
Cover image for Critical Infrastructure Protection VIII 8th IFIP WG 11.10 International Conference, ICCIP 2014, Arlington, VA, USA, March 17-19, 2014, Revised Selected Papers
Critical Infrastructure Protection VIII 8th IFIP WG 11.10 International Conference, ICCIP 2014, Arlington, VA, USA, March 17-19, 2014, Revised Selected Papers
Author 
Butts, Jonathan. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45355-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1086. 
Cover image for Universal Access in Human-Computer Interaction: Aging and Assistive Environments 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part III
Universal Access in Human-Computer Interaction: Aging and Assistive Environments 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part III
Author 
Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07446-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1087. 
Cover image for Discrete and Topological Models in Molecular Biology
Discrete and Topological Models in Molecular Biology
Author 
Jonoska, Nataša. editor. Saito, Masahico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-40193-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1088. 
Cover image for From Animals to Animats 13 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014, Proceedings
From Animals to Animats 13 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014, Proceedings
Author 
del Pobil, Angel P. editor. Chinellato, Eris. editor. Martínez-Martín, Ester. editor. Hallam, John. editor. Cervera, Enric. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08864-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1089. 
Cover image for Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Author 
Yahav, Eran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13338-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1090. 
Cover image for Channel Estimation for Physical Layer Network Coding Systems
Channel Estimation for Physical Layer Network Coding Systems
Author 
Gao, Feifei. author. Xing, Chengwen. author. Wang, Gongpu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11668-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1091. 
Cover image for Digital Communication Communication, Multimedia, Security
Digital Communication Communication, Multimedia, Security
Author 
Meinel, Christoph. author. Sack, Harald. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54331-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1092. 
Cover image for Cybersecurity in Switzerland
Cybersecurity in Switzerland
Author 
Dunn Cavelty, Myriam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10620-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1093. 
Cover image for Open Problems in Mathematics and Computational Science
Open Problems in Mathematics and Computational Science
Author 
Koç, Çetin Kaya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10683-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1094. 
Cover image for Economics of Grids, Clouds, Systems, and Services 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers.
Economics of Grids, Clouds, Systems, and Services 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers.
Author 
Altmann, Jörn. editor. Vanmechelen, Kurt. editor. Rana, Omer F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14609-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1095. 
Cover image for Post-Quantum Cryptography 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings
Post-Quantum Cryptography 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings
Author 
Mosca, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11659-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1096. 
Cover image for Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Author 
Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44124-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1097. 
Cover image for Social Media Fundamentals, Models, and Ranking of User-Generated Content
Social Media Fundamentals, Models, and Ranking of User-Generated Content
Author 
Wyrwoll, Claudia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-06984-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1098. 
Cover image for Biomimetic and Biohybrid Systems Third International Conference, Living Machines 2014, Milan, Italy, July 30--August 1, 2014, Proceedings
Biomimetic and Biohybrid Systems Third International Conference, Living Machines 2014, Milan, Italy, July 30--August 1, 2014, Proceedings
Author 
Duff, Armin. editor. Lepora, Nathan F. editor. Mura, Anna. editor. Prescott, Tony J. editor. Verschure, Paul F.M.J. editor. (orcid)0000-0003-3643-9544
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09435-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1099. 
Cover image for Distributed, Ambient, and Pervasive Interactions Second International Conference, DAPI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings
Distributed, Ambient, and Pervasive Interactions Second International Conference, DAPI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings
Author 
Streitz, Norbert. editor. (orcid)0000-0002-0244-0945 Markopoulos, Panos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07788-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1100. 
Cover image for Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Author 
Nicolau, Miguel. editor. Krawiec, Krzysztof. editor. Heywood, Malcolm I. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44303-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1101. 
Cover image for Social Computing, Behavioral-Cultural Modeling and Prediction 7th International Conference, SBP 2014, Washington, DC, USA, April 1-4, 2014. Proceedings
Social Computing, Behavioral-Cultural Modeling and Prediction 7th International Conference, SBP 2014, Washington, DC, USA, April 1-4, 2014. Proceedings
Author 
Kennedy, William G. editor. Agarwal, Nitin. editor. Yang, Shanchieh Jay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05579-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1102. 
Cover image for High-Performance Computing on the Intel® Xeon Phi™ How to Fully Exploit MIC Architectures
High-Performance Computing on the Intel® Xeon Phi™ How to Fully Exploit MIC Architectures
Author 
Wang, Endong. author. Zhang, Qing. author. Shen, Bo. author. Zhang, Guangyong. author. Lu, Xiaowei. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06486-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1103. 
Cover image for Mobile Computing, Applications, and Services 5th International Conference, MobiCase 2013, Paris, France, November 7-8, 2013, Revised Selected Papers
Mobile Computing, Applications, and Services 5th International Conference, MobiCase 2013, Paris, France, November 7-8, 2013, Revised Selected Papers
Author 
Memmi, Gerard. editor. Blanke, Ulf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05452-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1104. 
Cover image for ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
Author 
Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07512-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1105. 
Cover image for HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part I
HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part I
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07857-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1106. 
Cover image for Collaborative Design for Embedded Systems Co-modelling and Co-simulation
Collaborative Design for Embedded Systems Co-modelling and Co-simulation
Author 
Fitzgerald, John. editor. Larsen, Peter Gorm. editor. Verhoef, Marcel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54118-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1107. 
Cover image for HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part II
HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part II
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07854-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1108. 
Cover image for Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers
Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers
Author 
Li, Kenli. editor. Xiao, Zheng. editor. Wang, Yan. editor. Du, Jiayi. editor. Li, Keqin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-53962-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1109. 
Cover image for Serialization and Persistent Objects Turning Data Structures into Efficient Databases
Serialization and Persistent Objects Turning Data Structures into Efficient Databases
Author 
Soukup, Jiri. author. Macháček, Petr. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-39323-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1110. 
Cover image for Computer Networks 21st International Conference, CN 2014, Brunów, Poland, June 23-27, 2014. Proceedings
Computer Networks 21st International Conference, CN 2014, Brunów, Poland, June 23-27, 2014. Proceedings
Author 
Kwiecien, Andrzej. editor. Gaj, Piotr. editor. (orcid)0000-0002-2291-7341 Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07941-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1111. 
Cover image for Multimedia Communications, Services and Security 7th International Conference, MCSS 2014, Krakow, Poland, June 11-12, 2014. Proceedings
Multimedia Communications, Services and Security 7th International Conference, MCSS 2014, Krakow, Poland, June 11-12, 2014. Proceedings
Author 
Dziech, Andrzej. editor. Czyzewski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07569-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1112. 
Cover image for Authentication in Insecure Environments Using Visual Cryptography and Non-Transferable Credentials in Practise
Authentication in Insecure Environments Using Visual Cryptography and Non-Transferable Credentials in Practise
Author 
Pape, Sebastian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-07116-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1113. 
Cover image for Citation-based Plagiarism Detection Detecting Disguised and Cross-language Plagiarism using Citation Pattern Analysis
Citation-based Plagiarism Detection Detecting Disguised and Cross-language Plagiarism using Citation Pattern Analysis
Author 
Gipp, Bela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-06394-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1114. 
Cover image for Advances in Digital Forensics X 10th IFIP WG 11.9 International Conference, Vienna, Austria, January 8-10, 2014, Revised Selected Papers
Advances in Digital Forensics X 10th IFIP WG 11.9 International Conference, Vienna, Austria, January 8-10, 2014, Revised Selected Papers
Author 
Peterson, Gilbert. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44952-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1115. 
Cover image for Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems
Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems
Author 
Wagner, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-05270-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1116. 
Cover image for Mastering Data-Intensive Collaboration and Decision Making Research and practical applications in the Dicode project
Mastering Data-Intensive Collaboration and Decision Making Research and practical applications in the Dicode project
Author 
Karacapilidis, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-02612-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1117. 
Cover image for Memristor Networks
Memristor Networks
Author 
Adamatzky, Andrew. editor. Chua, Leon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-02630-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1118. 
Cover image for Symmetric Cryptographic Protocols
Symmetric Cryptographic Protocols
Author 
Ramkumar, Mahalingam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07584-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1119. 
Cover image for Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
Author 
Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44920-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1120. 
Cover image for Pervasive Wireless Environments: Detecting and Localizing User Spoofing
Pervasive Wireless Environments: Detecting and Localizing User Spoofing
Author 
Yang, Jie. author. Chen, Yingying. author. Trappe, Wade. author. Cheng, Jerry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07356-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1121. 
Cover image for Socioinformatics - The Social Impact of Interactions between Humans and IT
Socioinformatics - The Social Impact of Interactions between Humans and IT
Author 
Zweig, Katharina. editor. Neuser, Wolfgang. editor. Pipek, Volkmar. editor. Rohde, Markus. editor. Scholtes, Ingo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09378-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1122. 
Cover image for Creating Value for All Through IT IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2014, Aalborg, Denmark, June 2-4, 2014, Proceedings
Creating Value for All Through IT IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2014, Aalborg, Denmark, June 2-4, 2014, Proceedings
Author 
Bergvall-Kåreborn, Birgitta. editor. Nielsen, Peter Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43459-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1123. 
Cover image for Natural and Artificial Reasoning An Exploration of Modelling Human Thinking
Natural and Artificial Reasoning An Exploration of Modelling Human Thinking
Author 
Addis, Tom. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11286-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1124. 
Cover image for Augmented Reality Art From an Emerging Technology to a Novel Creative Medium
Augmented Reality Art From an Emerging Technology to a Novel Creative Medium
Author 
Geroimenko, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06203-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1125. 
Cover image for Serviceology for Services Selected papers of the 1st International Conference of Serviceology
Serviceology for Services Selected papers of the 1st International Conference of Serviceology
Author 
Mochimaru, Masaaki. editor. Ueda, Kanji. editor. Takenaka, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-54816-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1126. 
Cover image for Digital Forensics and Cyber Crime Fifth International Conference, ICDF2C 2013, Moscow, Russia, September 26-27, 2013, Revised Selected Papers
Digital Forensics and Cyber Crime Fifth International Conference, ICDF2C 2013, Moscow, Russia, September 26-27, 2013, Revised Selected Papers
Author 
Gladyshev, Pavel. editor. Marrington, Andrew. editor. Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14289-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1127. 
Cover image for Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineering
Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineering
Author 
Heinrich, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-06518-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1128. 
Cover image for Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings
Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings
Author 
Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55128-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1129. 
Cover image for Design, User Experience, and Usability: User Experience Design Practice Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part IV
Design, User Experience, and Usability: User Experience Design Practice Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part IV
Author 
Marcus, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07638-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1130. 
Cover image for Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54807-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1131. 
Cover image for Applied Cryptography and Network Security 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings
Applied Cryptography and Network Security 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings
Author 
Boureanu, Ioana. editor. Owesarski, Philippe. editor. Vaudenay, Serge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07536-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1132. 
Cover image for Provable Security 8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014. Proceedings
Provable Security 8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014. Proceedings
Author 
Chow, Sherman S.M. editor. Liu, Joseph K. editor. Hui, Lucas C.K. editor. Yiu, Siu Ming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12475-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1133. 
Cover image for A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
Author 
Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13906-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1134. 
Cover image for Constructive Side-Channel Analysis and Secure Design 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers
Constructive Side-Channel Analysis and Secure Design 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers
Author 
Prouff, Emmanuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10175-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1135. 
Cover image for Learning and Collaboration Technologies: Technology-Rich Environments for Learning and Collaboration. First International Conference, LCT 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II
Learning and Collaboration Technologies: Technology-Rich Environments for Learning and Collaboration. First International Conference, LCT 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II
Author 
Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. (orcid)0000-0002-3570-6578 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07485-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1136. 
Cover image for Transactions on Computational Collective Intelligence XVI
Transactions on Computational Collective Intelligence XVI
Author 
Kowalczyk, Ryszard. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44871-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1137. 
Cover image for Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
Author 
Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43779-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1138. 
Cover image for Design, User Experience, and Usability: User Experience Design for Diverse Interaction Platforms and Environments Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II
Design, User Experience, and Usability: User Experience Design for Diverse Interaction Platforms and Environments Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II
Author 
Marcus, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07626-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1139. 
Cover image for Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedings
Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedings
Author 
Auer, Peter. editor. Clark, Alexander. editor. Zeugmann, Thomas. editor. Zilles, Sandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11662-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1140. 
Cover image for Human Aspects of Information Security, Privacy, and Trust Second International Conference, HAS 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings
Human Aspects of Information Security, Privacy, and Trust Second International Conference, HAS 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings
Author 
Tryfonas, Theo. editor. Askoxylakis, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07620-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1141. 
Cover image for Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
Author 
Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44923-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1142. 
Cover image for Information and Communication Technology Second IFIP TC 5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014, Proceedings
Information and Communication Technology Second IFIP TC 5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014, Proceedings
Author 
Linawati. editor. Mahendra, Made Sudiana. editor. Neuhold, Erich J. editor. Tjoa, A Min. editor. You, Ilsun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55032-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1143. 
Cover image for Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
Author 
Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10702-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1144. 
Cover image for Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings
Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings
Author 
Aguilera, Marcos K. editor. Querzoni, Leonardo. editor. Shapiro, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14472-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1145. 
Cover image for Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
Author 
Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08494-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1146. 
Cover image for Universal Access in Human-Computer Interaction: Design and Development Methods for Universal Access 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I
Universal Access in Human-Computer Interaction: Design and Development Methods for Universal Access 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I
Author 
Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07437-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1147. 
Cover image for Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
Author 
Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44199-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1148. 
Cover image for Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Author 
Garrigue, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12736-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1149. 
Cover image for Transactions on Aspect-Oriented Software Development XI
Transactions on Aspect-Oriented Software Development XI
Author 
Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55099-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1150. 
Cover image for Engineering Psychology and Cognitive Ergonomics 11th International Conference, EPCE 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings
Engineering Psychology and Cognitive Ergonomics 11th International Conference, EPCE 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings
Author 
Harris, Don. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07515-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1151. 
Cover image for Abdominal Imaging. Computational and Clinical Applications 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014.
Abdominal Imaging. Computational and Clinical Applications 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014.
Author 
Yoshida, Hiroyuki. editor. Näppi, Janne J. editor. Saini, Sanjay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13692-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1152. 
Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Author 
Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07151-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1153. 
Cover image for Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
Author 
Anderson, Neal G. editor. Bhanja, Sanjukta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43722-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1154. 
Cover image for Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Author 
Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09873-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1155. 
Cover image for Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
Author 
Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09698-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1156. 
Cover image for Artificial Neural Networks in Pattern Recognition 6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014, Proceedings
Artificial Neural Networks in Pattern Recognition 6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014, Proceedings
Author 
El Gayar, Neamat. editor. Schwenker, Friedhelm. editor. Suen, Cheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11656-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1157. 
Cover image for Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers
Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers
Author 
Hodicky, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13823-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1158. 
Cover image for Technologies and Applications of Artificial Intelligence 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014, Proceedings
Technologies and Applications of Artificial Intelligence 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014, Proceedings
Author 
Cheng, Shin-Ming. editor. Day, Min-Yuh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13987-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1159. 
Cover image for Image and Signal Processing 6th International Conference, ICISP 2014, Cherbourg, France, June 20 -- July 2, 2014, Proceedings
Image and Signal Processing 6th International Conference, ICISP 2014, Cherbourg, France, June 20 -- July 2, 2014, Proceedings
Author 
Elmoataz, Abderrahim. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Mammass, Driss. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07998-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1160. 
Cover image for Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II
Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07176-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1161. 
Cover image for Theory and Principled Methods for the Design of Metaheuristics
Theory and Principled Methods for the Design of Metaheuristics
Author 
Borenstein, Yossi. editor. Moraglio, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-33206-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1162. 
Cover image for Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Author 
Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08260-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1163. 
Cover image for Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Author 
Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44857-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1164. 
Cover image for Design, User Experience, and Usability: User Experience Design for Everyday Life Applications and Services Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part III
Design, User Experience, and Usability: User Experience Design for Everyday Life Applications and Services Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part III
Author 
Marcus, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07635-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1165. 
Cover image for Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Author 
Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44471-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1166. 
Cover image for Information Literacy: Lifelong Learning and Digital Citizenship in the 21st Century Second European Conference, ECIL 2014, Dubrovnik, Croatia, October 20-23, 2014. Proceedings
Information Literacy: Lifelong Learning and Digital Citizenship in the 21st Century Second European Conference, ECIL 2014, Dubrovnik, Croatia, October 20-23, 2014. Proceedings
Author 
Kurbanoglu, Serap. editor. Spiranec, Sonja. editor. Grassian, Esther. editor. Mizrachi, Diane. editor. Catts, Ralph. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14136-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1167. 
Cover image for Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
Author 
Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09195-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1168. 
Cover image for Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54833-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1169. 
Cover image for Ubiquitous Computing and Ambient Intelligence: Personalisation and User Adapted Services 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014, Proceedings
Ubiquitous Computing and Ambient Intelligence: Personalisation and User Adapted Services 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014, Proceedings
Author 
Hervás, Ramón. editor. Lee, Sungyoung. editor. Nugent, Chris. editor. Bravo, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13102-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1170. 
Cover image for Transactions on Computational Collective Intelligence XIII
Transactions on Computational Collective Intelligence XIII
Author 
Nguyen, Ngoc Thanh. editor. Le Thi, Hoai An. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54455-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1171. 
Cover image for Intelligent Robotics and Applications 7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings, Part II
Intelligent Robotics and Applications 7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings, Part II
Author 
Zhang, Xianmin. editor. Liu, Honghai. editor. Chen, Zhong. editor. Wang, Nianfeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13963-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1172. 
Cover image for Advanced Technologies in Ad Hoc and Sensor Networks Proceedings of the 7th China Conference on Wireless Sensor Networks
Advanced Technologies in Ad Hoc and Sensor Networks Proceedings of the 7th China Conference on Wireless Sensor Networks
Author 
Wang, Xue. editor. Cui, Li. editor. Guo, Zhongwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54174-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1173. 
Cover image for Hacking Europe From Computer Cultures to Demoscenes
Hacking Europe From Computer Cultures to Demoscenes
Author 
Alberts, Gerard. editor. Oldenziel, Ruth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-5493-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1174. 
Cover image for Guide to Java A Concise Introduction to Programming
Guide to Java A Concise Introduction to Programming
Author 
Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6317-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1175. 
Cover image for Electronic Identity
Electronic Identity
Author 
de Andrade, Norberto Nuno Gomes. author. Chen-Wilson, Lisha. author. Argles, David. author. Wills, Gary. author. Schiano di Zenise, Michele. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6449-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1176. 
Cover image for Entertaining the Whole World
Entertaining the Whole World
Author 
Cheok, Adrian David. editor. Nijholt, Anton. editor. Romão, Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6446-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1177. 
Cover image for Pervasive Health State-of-the-art and Beyond
Pervasive Health State-of-the-art and Beyond
Author 
Holzinger, Andreas. editor. Ziefle, Martina. editor. Röcker, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6413-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1178. 
Cover image for Body Sensor Networks
Body Sensor Networks
Author 
Yang, Guang-Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6374-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1179. 
Cover image for Embedded Operating Systems A Practical Approach
Embedded Operating Systems A Practical Approach
Author 
Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6603-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1180. 
Cover image for Encyclopedia of Social Network Analysis and Mining
Encyclopedia of Social Network Analysis and Mining
Author 
Alhajj, Reda. editor. Rokne, Jon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-6170-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1181. 
Cover image for Applied Cyber-Physical Systems
Applied Cyber-Physical Systems
Author 
Suh, Sang C. editor. Tanik, U. John. editor. Carbone, John N. editor. Eroglu, Abdullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-7336-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1182. 
Cover image for Handbook of Human Centric Visualization
Handbook of Human Centric Visualization
Author 
Huang, Weidong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-7485-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1183. 
Cover image for Distributed Embedded Smart Cameras Architectures, Design and Applications
Distributed Embedded Smart Cameras Architectures, Design and Applications
Author 
Bobda, Christophe. editor. Velipasalar, Senem. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-7705-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1184. 
Cover image for Feedback Strategies for Wireless Communication
Feedback Strategies for Wireless Communication
Author 
Özbek, Berna. author. Le Ruyet, Didier. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-7741-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1185. 
Cover image for Resource Allocation and MIMO for 4G and Beyond
Resource Allocation and MIMO for 4G and Beyond
Author 
Cavalcanti, Francisco Rodrigo Porto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-8057-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1186. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1187. 
Cover image for NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Author 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06200-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1188. 
Cover image for Artificial Intelligence: Methods and Applications 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May, 15-17, 2014, Proceedings
Artificial Intelligence: Methods and Applications 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May, 15-17, 2014, Proceedings
Author 
Likas, Aristidis. editor. Blekas, Konstantinos. editor. Kalles, Dimitris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07064-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1189. 
Cover image for Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
Author 
Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06089-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1190. 
Cover image for Cognitive Resource Management for Heterogeneous Cellular Networks
Cognitive Resource Management for Heterogeneous Cellular Networks
Author 
Liu, Yongkang. author. Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06284-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1191. 
Cover image for Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Author 
Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06686-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1192. 
Cover image for Augmented Marked Graphs
Augmented Marked Graphs
Author 
Cheung, King Sing. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06428-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1193. 
Cover image for Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2014, Tainan, Taiwan, May 13, 2014, Proceedings
Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2014, Tainan, Taiwan, May 13, 2014, Proceedings
Author 
Chau, Michael. editor. Chen, Hsinchun. editor. Wang, G. Alan. editor. Wang, Jau-Hwang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06677-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1194. 
Cover image for Communication Technologies for Vehicles 6th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2014, Offenburg, Germany, May 6-7, 2014, Proceedings
Communication Technologies for Vehicles 6th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2014, Offenburg, Germany, May 6-7, 2014, Proceedings
Author 
Sikora, Axel. editor. Berbineau, Marion. editor. (orcid)0000-0003-3807-9669 Vinel, Alexey. editor. Jonsson, Magnus. editor. Pirovano, Alain. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06644-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1195. 
Cover image for Trust and Trustworthy Computing 7th International Conference, TRUST 2014, Heraklion, Crete, Greece, June 30 -- July 2, 2014, Proceedings
Trust and Trustworthy Computing 7th International Conference, TRUST 2014, Heraklion, Crete, Greece, June 30 -- July 2, 2014, Proceedings
Author 
Holz, Thorsten. editor. (orcid)0000-0002-2783-1264 Ioannidis, Sotiris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08593-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1196. 
Cover image for Secure Data Management 10th VLDB Workshop, SDM 2013, Trento, Italy, August 30, 2013, Proceedings
Secure Data Management 10th VLDB Workshop, SDM 2013, Trento, Italy, August 30, 2013, Proceedings
Author 
Jonker, Willem. editor. Petković, Milan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06811-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1197. 
Cover image for Progress in Cryptology – AFRICACRYPT 2014 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings
Progress in Cryptology – AFRICACRYPT 2014 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings
Author 
Pointcheval, David. editor. Vergnaud, Damien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06734-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1198. 
Cover image for Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Author 
George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08311-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1199. 
Cover image for Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Author 
Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08789-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1200. 
Cover image for Hybrid Learning Theory and Practice 7th International Conference, ICHL 2014, Shanghai, China, August 8-10, 2014. Proceedings
Hybrid Learning Theory and Practice 7th International Conference, ICHL 2014, Shanghai, China, August 8-10, 2014. Proceedings
Author 
Cheung, Simon K.S. editor. Fong, Joseph. editor. Zhang, Jiping. editor. Kwan, Reggie. editor. Kwok, Lam For. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08961-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action