Limit Search Results
Author
SpringerLink (Online service)
(1721)
Wiley InterScience (Online service)
(80)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(37)
Murgante, Beniamino. editor.
(27)
Language
Publication Date
-
Subject
Computer simulation.
(1175)
Computer science.
(766)
Artificial intelligence.
(366)
Software engineering.
(328)
Engineering.
(296)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
2403 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
901. 
Cover image for Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I
Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I
Author 
Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.
Preferred Shelf Number 
XX(521353.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47969-4
Format: 
Availability 
Online Library~1
Available:
Copies:
902. 
Cover image for Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Author 
Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Preferred Shelf Number 
XX(521363.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49008-8
Format: 
Availability 
Online Library~1
Available:
Copies:
903. 
Cover image for Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI 27th International Workshop, COINE 2023, London, UK, May 29, 2023, Revised Selected Papers
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI 27th International Workshop, COINE 2023, London, UK, May 29, 2023, Revised Selected Papers
Author 
Fornara, Nicoletta. editor. Cheriyan, Jithin. editor. Mertzani, Asimina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521374.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49133-7
Format: 
Availability 
Online Library~1
Available:
Copies:
904. 
Cover image for Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I
Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I
Author 
Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521380.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
905. 
Cover image for Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II
Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II
Author 
Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521381.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49435-2
Format: 
Availability 
Online Library~1
Available:
Copies:
906. 
Cover image for High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
Author 
Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521305.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40843-4
Format: 
Availability 
Online Library~1
Available:
Copies:
907. 
Cover image for Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings
Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings
Author 
García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)
Preferred Shelf Number 
XX(521307.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40725-3
Format: 
Availability 
Online Library~1
Available:
Copies:
908. 
Cover image for Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I
Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number 
XX(521309.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42505-9
Format: 
Availability 
Online Library~1
Available:
Copies:
909. 
Cover image for Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings
Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings
Author 
Bramer, Max. editor. Stahl, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521322.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47994-6
Format: 
Availability 
Online Library~1
Available:
Copies:
910. 
Cover image for Advanced Concepts for Intelligent Vision Systems 21st International Conference, ACIVS 2023 Kumamoto, Japan, August 21-23, 2023 Proceedings
Advanced Concepts for Intelligent Vision Systems 21st International Conference, ACIVS 2023 Kumamoto, Japan, August 21-23, 2023 Proceedings
Author 
Blanc-Talon, Jaques. editor. Delmas, Patrice. editor. Philips, Wilfried. editor. Scheunders, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521326.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45382-3
Format: 
Availability 
Online Library~1
Available:
Copies:
911. 
Cover image for Workplace Wellness: From Resiliency to Suicide Prevention and Grief Management A Practical Guide to Supporting Healthcare Professionals
Workplace Wellness: From Resiliency to Suicide Prevention and Grief Management A Practical Guide to Supporting Healthcare Professionals
Author 
Davidson, Judy E. editor. Richardson, Marcus. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521501.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-16983-0
Format: 
Availability 
Online Library~1
Available:
Copies:
912. 
Cover image for The Airway Manual Practical Approach to Airway Management
The Airway Manual Practical Approach to Airway Management
Author 
Ubaradka, Raveendra Shankaranarayana. editor. Gupta, Nishkarsh. editor. Bidkar, Prasanna Udupi. editor. Tripathy, Debendra Kumar. editor. Gupta, Anju. editor.
Preferred Shelf Number 
XX(521538.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-4747-6
Format: 
Availability 
Online Library~1
Available:
Copies:
913. 
Cover image for Drug Discovery and Design Using Natural Products
Drug Discovery and Design Using Natural Products
Author 
Cruz, Jorddy Neves. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521714.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35205-8
Format: 
Availability 
Online Library~1
Available:
Copies:
914. 
Cover image for Surgically Facilitated Orthodontic Therapy An Interdisciplinary Approach
Surgically Facilitated Orthodontic Therapy An Interdisciplinary Approach
Author 
Mandelaris, George A. editor. Vence, Brian S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521716.1)
Electronic Access 
https://doi.org/10.1007/978-3-030-90099-1
Format: 
Availability 
Online Library~1
Available:
Copies:
915. 
Cover image for Functional Anatomy of the Brain: A View from the Surgeon's Eye
Functional Anatomy of the Brain: A View from the Surgeon's Eye
Author 
Shah, Abhidha. editor. Goel, Atul. editor. Kato, Yoko. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521997.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-3412-6
Format: 
Availability 
Online Library~1
Available:
Copies:
916. 
Cover image for Green Energy and Networking 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings
Green Energy and Networking 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings
Author 
Jin, Jiyu. editor. Li, Peng. editor. Fan, Lei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21730-3
Format: 
Availability 
Online Library~1
Available:
Copies:
917. 
Cover image for Pervasive Computing: A Networking Perspective and Future Directions
Pervasive Computing: A Networking Perspective and Future Directions
Author 
Bhargava, Deepshikha. editor. Vyas, Sonali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3462-7
Format: 
Availability 
Online Library~1
Available:
Copies:
918. 
Cover image for Modeling and Application of Flexible Electronics Packaging
Modeling and Application of Flexible Electronics Packaging
Author 
Huang, YongAn. author. Yin, Zhouping. author. Wan, Xiaodong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3627-0
Format: 
Availability 
Online Library~1
Available:
Copies:
919. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17502-3
Format: 
Availability 
Online Library~1
Available:
Copies:
920. 
Cover image for Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings
Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings
Author 
Fotakis, Dimitris. editor. Markakis, Evangelos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30473-7
Format: 
Availability 
Online Library~1
Available:
Copies:
921. 
Cover image for VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers
VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers
Author 
Duguleană, Mihai. editor. Carrozzino, Marcello. editor. Gams, Matjaž. editor. Tanea, Iulian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05819-7
Format: 
Availability 
Online Library~1
Available:
Copies:
922. 
Cover image for Advances in Manufacturing, Production Management and Process Control Joint proceedings of the AHFE 2018 International Conference on Advanced Production Management and Process Control, the AHFE International Conference on Human Aspects of Advanced Manufacturing, and the AHFE International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA
Advances in Manufacturing, Production Management and Process Control Joint proceedings of the AHFE 2018 International Conference on Advanced Production Management and Process Control, the AHFE International Conference on Human Aspects of Advanced Manufacturing, and the AHFE International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA
Author 
Karwowski, Waldemar. editor. Trzcielinski, Stefan. editor. Mrugalska, Beata. editor. Di Nicolantonio, Massimo. editor. Rossi, Emilio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94196-7
Format: 
Availability 
Online Library~1
Available:
Copies:
923. 
Cover image for Computational modelling of nanoparticles
Computational modelling of nanoparticles
Author 
Bromley, Stefan T., 1971- editor. Woodley, Scott M., editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/bookseries/18762778/12
Format: 
Availability 
Online Library~1
Available:
Copies:
924. 
Cover image for Handbook of research on immersive digital games in educational environments
Handbook of research on immersive digital games in educational environments
Author 
Krassmann, Aliane Loureiro, 1985- editor. Amaral, Erico Marcelo Hoff do, editor. Nunes, Felipe Becker, editor. Voss, Gleizer Bierhalz, editor. Zunguze, Manuel Constantino, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5790-6
Format: 
Availability 
Online Library~1
Available:
Copies:
925. 
Cover image for Exploring the cognitive, social, cultural, and psychological aspects of gaming and simulations
Exploring the cognitive, social, cultural, and psychological aspects of gaming and simulations
Author 
Dubbels, Brock Randall, editor. IGI Global, publisher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7461-3
Format: 
Availability 
Online Library~1
Available:
Copies:
926. 
Cover image for Ray Tracing: A Tool for All
Ray Tracing: A Tool for All
Author 
Peddie, Jon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17490-3
Format: 
Availability 
Online Library~1
Available:
Copies:
927. 
Cover image for Effective Model-Based Systems Engineering
Effective Model-Based Systems Engineering
Author 
Borky, John M. author. Bradley, Thomas H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95669-5
Format: 
Availability 
Online Library~1
Available:
Copies:
928. 
Cover image for Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV
Author 
Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27538-9
Format: 
Availability 
Online Library~1
Available:
Copies:
929. 
Cover image for Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineering
Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineering
Author 
Wang, Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6484-6
Format: 
Availability 
Online Library~1
Available:
Copies:
930. 
Cover image for Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering
Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering
Author 
Vukašinović, Nikola. author. Duhovnik, Jože. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02399-7
Format: 
Availability 
Online Library~1
Available:
Copies:
931. 
Cover image for Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II
Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II
Author 
Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19156-6
Format: 
Availability 
Online Library~1
Available:
Copies:
932. 
Cover image for Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI
Author 
Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27529-7
Format: 
Availability 
Online Library~1
Available:
Copies:
933. 
Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Author 
André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29662-9
Format: 
Availability 
Online Library~1
Available:
Copies:
934. 
Cover image for Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings
Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings
Author 
Zheng, Jun. editor. Li, Cheng. editor. (orcid)0000-0003-3424-2414 Chong, Peter Han Joo. editor. Meng, Weixiao. editor. Yan, Feng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-37262-0
Format: 
Availability 
Online Library~1
Available:
Copies:
935. 
Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Author 
Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27008-7
Format: 
Availability 
Online Library~1
Available:
Copies:
936. 
Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Author 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25540-4
Format: 
Availability 
Online Library~1
Available:
Copies:
937. 
Cover image for Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Author 
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32409-4
Format: 
Availability 
Online Library~1
Available:
Copies:
938. 
Cover image for NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Author 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20652-9
Format: 
Availability 
Online Library~1
Available:
Copies:
939. 
Cover image for Handbook of Model Predictive Control
Handbook of Model Predictive Control
Author 
Raković, Saša V. editor. Levine, William S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77489-3
Format: 
Availability 
Online Library~1
Available:
Copies:
940. 
Cover image for Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Author 
Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13651-2
Format: 
Availability 
Online Library~1
Available:
Copies:
941. 
Cover image for Neural Modeling of Speech Processing and Speech Learning An Introduction
Neural Modeling of Speech Processing and Speech Learning An Introduction
Author 
Kröger, Bernd J. author. Bekolay, Trevor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15853-8
Format: 
Availability 
Online Library~1
Available:
Copies:
942. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Author 
Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18744-6
Format: 
Availability 
Online Library~1
Available:
Copies:
943. 
Cover image for Transient Effects in Simulations of Hybrid Electric Drivetrains
Transient Effects in Simulations of Hybrid Electric Drivetrains
Author 
Winke, Florian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-22554-4
Format: 
Availability 
Online Library~1
Available:
Copies:
944. 
Cover image for Computational methods and algorithms for medicine and optimized clinical practice
Computational methods and algorithms for medicine and optimized clinical practice
Author 
Chui, Kwok Tai, editor. Lytras, Miltiadis D., 1973- editor. IGI Global, publisher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-8244-1
Format: 
Availability 
Online Library~1
Available:
Copies:
945. 
Cover image for Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I
Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I
Author 
Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19153-5
Format: 
Availability 
Online Library~1
Available:
Copies:
946. 
Cover image for Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I
Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I
Author 
Han, Shuai. editor. Ye, Liang. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22968-9
Format: 
Availability 
Online Library~1
Available:
Copies:
947. 
Cover image for Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings
Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings
Author 
Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23597-0
Format: 
Availability 
Online Library~1
Available:
Copies:
948. 
Cover image for Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Author 
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34968-4
Format: 
Availability 
Online Library~1
Available:
Copies:
949. 
Cover image for Practice of Optimisation Theory in Geotechnical Engineering
Practice of Optimisation Theory in Geotechnical Engineering
Author 
Yin, Zhen-Yu. author. Jin, Yin-Fu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3408-5
Format: 
Availability 
Online Library~1
Available:
Copies:
950. 
Cover image for Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
Author 
Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29007-8
Format: 
Availability 
Online Library~1
Available:
Copies:
951. 
Cover image for Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers
Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers
Author 
Shokin, Yuri. editor. (orcid)0000-0002-5178-8294 Shaimardanov, Zhassulan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12203-4
Format: 
Availability 
Online Library~1
Available:
Copies:
952. 
Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Author 
Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30446-1
Format: 
Availability 
Online Library~1
Available:
Copies:
953. 
Cover image for IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings
IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings
Author 
Li, Bo. editor. Yang, Mao. editor. (orcid)0000-0001-6081-1006 Yuan, Hui. editor. (orcid)0000-0001-5212-3393 Yan, Zhongjiang. editor. (orcid)0000-0003-2806-5343 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14657-3
Format: 
Availability 
Online Library~1
Available:
Copies:
954. 
Cover image for The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science
The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science
Author 
Geshi, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-9802-5
Format: 
Availability 
Online Library~1
Available:
Copies:
955. 
Cover image for Recent Trends in Signal and Image Processing ISSIP 2017
Recent Trends in Signal and Image Processing ISSIP 2017
Author 
Bhattacharyya, Siddhartha. editor. Mukherjee, Anirban. editor. Bhaumik, Hrishikesh. editor. Das, Swagatam. editor. Yoshida, Kaori. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8863-6
Format: 
Availability 
Online Library~1
Available:
Copies:
956. 
Cover image for Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II
Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II
Author 
Gui, Guan. editor. (orcid)0000-0003-3888-2881 Yun, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36405-2
Format: 
Availability 
Online Library~1
Available:
Copies:
957. 
Cover image for Recent Trends in Signal and Image Processing Proceedings of ISSIP 2018
Recent Trends in Signal and Image Processing Proceedings of ISSIP 2018
Author 
Bhattacharyya, Siddhartha. editor. Pal, Sankar K. editor. Pan, Indrajit. editor. Das, Abhijit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6783-0
Format: 
Availability 
Online Library~1
Available:
Copies:
958. 
Cover image for Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author 
Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16722-6
Format: 
Availability 
Online Library~1
Available:
Copies:
959. 
Cover image for Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret
Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret
Author 
Warnow, Tandy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10837-3
Format: 
Availability 
Online Library~1
Available:
Copies:
960. 
Cover image for The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes
The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes
Author 
Geshi, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6194-4
Format: 
Availability 
Online Library~1
Available:
Copies:
961. 
Cover image for Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers
Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers
Author 
Longo, Luca. editor. (orcid)0000-0002-2718-5426 Leva, M. Chiara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14273-5
Format: 
Availability 
Online Library~1
Available:
Copies:
962. 
Cover image for BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties
BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties
Author 
Cacuci, Dan Gabriel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58395-1
Format: 
Availability 
Online Library~1
Available:
Copies:
963. 
Cover image for New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM
New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM
Author 
Mula, Josefa. editor. Barbastefano, Rafael. editor. Díaz-Madroñero, Manuel. editor. Poler, Raúl. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93488-4
Format: 
Availability 
Online Library~1
Available:
Copies:
964. 
Cover image for Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers
Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers
Author 
Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23703-5
Format: 
Availability 
Online Library~1
Available:
Copies:
965. 
Cover image for Mathematical Insights into Advanced Computer Graphics Techniques
Mathematical Insights into Advanced Computer Graphics Techniques
Author 
Dobashi, Yoshinori. editor. Kaji, Shizuo. editor. Iwasaki, Kei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2850-3
Format: 
Availability 
Online Library~1
Available:
Copies:
966. 
Cover image for Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Author 
Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30923-7
Format: 
Availability 
Online Library~1
Available:
Copies:
967. 
Cover image for Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V
Author 
Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27541-9
Format: 
Availability 
Online Library~1
Available:
Copies:
968. 
Cover image for New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering
New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering
Author 
Tavares, João Manuel R. S. editor. Fernandes, Paulo Rui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23073-9
Format: 
Availability 
Online Library~1
Available:
Copies:
969. 
Cover image for Simulating Urban Traffic Scenarios 3rd SUMO Conference 2015 Berlin, Germany
Simulating Urban Traffic Scenarios 3rd SUMO Conference 2015 Berlin, Germany
Author 
Behrisch, Michael. editor. Weber, Melanie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33616-9
Format: 
Availability 
Online Library~1
Available:
Copies:
970. 
Cover image for Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings
Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings
Author 
Li, Cheng. editor. Mao, Shiwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90802-1
Format: 
Availability 
Online Library~1
Available:
Copies:
971. 
Cover image for Honeypot Frameworks and Their Applications: A New Framework
Honeypot Frameworks and Their Applications: A New Framework
Author 
NG, Chee Keong. author. Pan, Lei. author. Xiang, Yang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7739-5
Format: 
Availability 
Online Library~1
Available:
Copies:
972. 
Cover image for Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Author 
Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01090-4
Format: 
Availability 
Online Library~1
Available:
Copies:
973. 
Cover image for Computer Simulations of Space Societies
Computer Simulations of Space Societies
Author 
Bainbridge, William Sims. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90560-0
Format: 
Availability 
Online Library~1
Available:
Copies:
974. 
Cover image for Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage
Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage
Author 
Gonzalez-Perez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72652-6
Format: 
Availability 
Online Library~1
Available:
Copies:
975. 
Cover image for Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II
Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II
Author 
Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73447-7
Format: 
Availability 
Online Library~1
Available:
Copies:
976. 
Cover image for Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Author 
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95582-7
Format: 
Availability 
Online Library~1
Available:
Copies:
977. 
Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Author 
Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00151-3
Format: 
Availability 
Online Library~1
Available:
Copies:
978. 
Cover image for VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017
VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017
Author 
Tavares, João Manuel R.S. editor. Natal Jorge, R.M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68195-5
Format: 
Availability 
Online Library~1
Available:
Copies:
979. 
Cover image for Food Dependency in the Middle East and North Africa Region Retrospective Analysis and Projections to 2050
Food Dependency in the Middle East and North Africa Region Retrospective Analysis and Projections to 2050
Author 
Le Mouël, Chantal. editor. Schmitt, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-024-1563-6
Format: 
Availability 
Online Library~1
Available:
Copies:
980. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Availability 
Online Library~1
Available:
Copies:
981. 
Cover image for New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
Author 
Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02852-7
Format: 
Availability 
Online Library~1
Available:
Copies:
982. 
Cover image for Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Author 
McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99154-2
Format: 
Availability 
Online Library~1
Available:
Copies:
983. 
Cover image for Engineering Simulations as Scientific Instruments: A Pattern Language With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield
Engineering Simulations as Scientific Instruments: A Pattern Language With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield
Author 
Stepney, Susan. author. Polack, Fiona A.C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01938-9
Format: 
Availability 
Online Library~1
Available:
Copies:
984. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96142-2
Format: 
Availability 
Online Library~1
Available:
Copies:
985. 
Cover image for Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II
Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II
Author 
Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78139-6
Format: 
Availability 
Online Library~1
Available:
Copies:
986. 
Cover image for 5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
Author 
Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72823-0
Format: 
Availability 
Online Library~1
Available:
Copies:
987. 
Cover image for Advances in Cross-Cultural Decision Making Proceedings of the AHFE 2017 International Conference on Cross-Cultural Decision Making, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Advances in Cross-Cultural Decision Making Proceedings of the AHFE 2017 International Conference on Cross-Cultural Decision Making, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Author 
Hoffman, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60747-4
Format: 
Availability 
Online Library~1
Available:
Copies:
988. 
Cover image for Probability and Statistics for Computer Science
Probability and Statistics for Computer Science
Author 
Forsyth, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64410-3
Format: 
Availability 
Online Library~1
Available:
Copies:
989. 
Cover image for Advanced Hybrid Information Processing First International Conference, ADHIP 2017, Harbin, China, July 17–18, 2017, Proceedings
Advanced Hybrid Information Processing First International Conference, ADHIP 2017, Harbin, China, July 17–18, 2017, Proceedings
Author 
Sun, Guanglu. editor. Liu, Shuai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73317-3
Format: 
Availability 
Online Library~1
Available:
Copies:
990. 
Cover image for Finite Element Applications A Practical Guide to the FEM Process
Finite Element Applications A Practical Guide to the FEM Process
Author 
Okereke, Michael. author. Keates, Simeon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67125-3
Format: 
Availability 
Online Library~1
Available:
Copies:
991. 
Cover image for Bone Adaptation In Silico Approach
Bone Adaptation In Silico Approach
Author 
Kameo, Yoshitaka. author. Tsubota, Ken-ichi. author. Adachi, Taiji. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-56514-7
Format: 
Availability 
Online Library~1
Available:
Copies:
992. 
Cover image for Multi-layer Pavement System under Blast Load
Multi-layer Pavement System under Blast Load
Author 
Wu, Jun. author. Wu, Hao. author. Tan, Hong Wei Andy. author. Chew, Soon Hoe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5001-5
Format: 
Availability 
Online Library~1
Available:
Copies:
993. 
Cover image for Proceedings of the International Conference on Modern Research in Aerospace Engineering MRAE-2016
Proceedings of the International Conference on Modern Research in Aerospace Engineering MRAE-2016
Author 
Singh, Sanjay. editor. Raj, Pushkar. editor. Tambe, Samir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5849-3
Format: 
Availability 
Online Library~1
Available:
Copies:
994. 
Cover image for Reliability Aspect of Cloud Computing Environment
Reliability Aspect of Cloud Computing Environment
Author 
Kumar, Vikas. author. Vidhyalakshmi, R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3023-0
Format: 
Availability 
Online Library~1
Available:
Copies:
995. 
Cover image for Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Author 
Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98938-9
Format: 
Availability 
Online Library~1
Available:
Copies:
996. 
Cover image for Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings
Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings
Author 
Deng, Xiaotie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99660-8
Format: 
Availability 
Online Library~1
Available:
Copies:
997. 
Cover image for Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers
Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers
Author 
Lewis, Peter R. editor. Headleand, Christopher J. editor. Battle, Steve. editor. Ritsos, Panagiotis D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90418-4
Format: 
Availability 
Online Library~1
Available:
Copies:
998. 
Cover image for Applied Scientific Computing With Python
Applied Scientific Computing With Python
Author 
Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
999. 
Cover image for Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Author 
Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94779-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1000. 
Cover image for 3D Kinematics
3D Kinematics
Author 
Haslwanter, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75277-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1001. 
Cover image for Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Author 
Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00244-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1002. 
Cover image for Real-Time Modelling and Processing for Communication Systems Applications and Practices
Real-Time Modelling and Processing for Communication Systems Applications and Practices
Author 
Alam, Muhammad. editor. Dghais, Wael. editor. Chen, Yuanfang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72215-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1003. 
Cover image for Simulations for Design and Manufacturing Select Papers from AIMTDR 2016
Simulations for Design and Manufacturing Select Papers from AIMTDR 2016
Author 
Dixit, Uday S. editor. Kant, Ravi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8518-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1004. 
Cover image for It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Author 
de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90089-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1005. 
Cover image for New Advances in Mechanism and Machine Science Proceedings of The 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017)
New Advances in Mechanism and Machine Science Proceedings of The 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017)
Author 
Doroftei, Ioan. editor. Oprisan, Cezar. editor. Pisla, Doina. editor. Lovasz, Erwin Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-79111-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1006. 
Cover image for Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings
Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings
Author 
Deville, Yannick. editor. (orcid)0000-0002-8769-2446 Gannot, Sharon. editor. (orcid)0000-0002-2885-170X Mason, Russell. editor. (orcid)0000-0002-6030-9603 Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075 Ward, Dominic. editor. (orcid)0000-0002-7819-0145
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93764-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1007. 
Cover image for Innovative Techniques and Applications of Modelling, Identification and Control Selected and Expanded Reports from ICMIC’17
Innovative Techniques and Applications of Modelling, Identification and Control Selected and Expanded Reports from ICMIC’17
Author 
Zhu, Quanmin. editor. Na, Jing. editor. Wu, Xing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7212-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1008. 
Cover image for Nature Inspired Computing Proceedings of CSI 2015
Nature Inspired Computing Proceedings of CSI 2015
Author 
Panigrahi, Bijaya Ketan. editor. Hoda, M. N. editor. Sharma, Vinod. editor. Goel, Shivendra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6747-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1009. 
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-4939-7131-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1010. 
Cover image for Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach
Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach
Author 
Fernández de Cañete, J. author. Galindo, C. author. Barbancho, J. author. Luque, A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75717-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1011. 
Cover image for Computational Models of Rhythm and Meter
Computational Models of Rhythm and Meter
Author 
Boenn, Georg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76285-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1012. 
Cover image for Fuzzy Graph Theory with Applications to Human Trafficking
Fuzzy Graph Theory with Applications to Human Trafficking
Author 
Mordeson, John N. author. Mathew, Sunil. author. Malik, Davender S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76454-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1013. 
Cover image for Exploring Occupant Behavior in Buildings Methods and Challenges
Exploring Occupant Behavior in Buildings Methods and Challenges
Author 
Wagner, Andreas. editor. O’Brien, William. editor. Dong, Bing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61464-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1014. 
Cover image for Stochastic Finite Element Methods An Introduction
Stochastic Finite Element Methods An Introduction
Author 
Papadopoulos, Vissarion. author. Giovanis, Dimitris G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64528-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1015. 
Cover image for Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems
Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems
Author 
Diez, Pedro. editor. Neittaanmäki, Pekka. editor. Periaux, Jacques. editor. Tuovinen, Tero. editor. Bräysy, Olli. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54490-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1016. 
Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74718-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1017. 
Cover image for Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I
Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I
Author 
Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78130-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1018. 
Cover image for Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I
Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I
Author 
Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73564-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1019. 
Cover image for Bioinformatics: Sequences, Structures, Phylogeny
Bioinformatics: Sequences, Structures, Phylogeny
Author 
Shanker, Asheesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1562-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1020. 
Cover image for New Perspectives on Applied Industrial Tools and Techniques
New Perspectives on Applied Industrial Tools and Techniques
Author 
García-Alcaraz, Jorge Luis. editor. (orcid)0000-0002-7092-6963 Alor-Hernández, Giner. editor. Maldonado-Macías, Aidé Aracely. editor. Sánchez-Ramírez, Cuauhtémoc. editor. (orcid)0000-0002-0344-1966 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56871-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1021. 
Cover image for NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Author 
Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77935-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1022. 
Cover image for Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia
Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia
Author 
Kryzhanovsky, Boris. editor. Dunin-Barkowski, Witali. editor. Redko, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66604-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1023. 
Cover image for Modeling Discrete-Event Systems with GPenSIM An Introduction
Modeling Discrete-Event Systems with GPenSIM An Introduction
Author 
Davidrajuh, Reggie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73102-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1024. 
Cover image for Systems Analysis Approach for Complex Global Challenges
Systems Analysis Approach for Complex Global Challenges
Author 
Mensah, Priscilla. editor. Katerere, David. editor. Hachigonta, Sepo. editor. Roodt, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71486-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1025. 
Cover image for Handbook of Dynamic Data Driven Applications Systems
Handbook of Dynamic Data Driven Applications Systems
Author 
Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95504-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1026. 
Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Author 
Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71734-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1027. 
Cover image for The Test and Launch Control Technology for Launch Vehicles
The Test and Launch Control Technology for Launch Vehicles
Author 
Song, Zhengyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8712-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1028. 
Cover image for Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings
Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings
Author 
Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74439-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1029. 
Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74727-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1030. 
Cover image for Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Author 
Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1031. 
Cover image for Automatic Tuning of Compilers Using Machine Learning
Automatic Tuning of Compilers Using Machine Learning
Author 
Ashouri, Amir H. author. Palermo, Gianluca. author. Cavazos, John. author. Silvano, Cristina. author. (orcid)0000-0003-1668-0883 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71489-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1032. 
Cover image for Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II
Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II
Author 
Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66628-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1033. 
Cover image for Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I
Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I
Author 
Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66625-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1034. 
Cover image for Neural Networks for Cooperative Control of Multiple Robot Arms
Neural Networks for Cooperative Control of Multiple Robot Arms
Author 
Li, Shuai. author. Zhang, Yinyan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7037-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1035. 
Cover image for Thermal Effects in Complex Machining Processes Final Report of the DFG Priority Programme 1480
Thermal Effects in Complex Machining Processes Final Report of the DFG Priority Programme 1480
Author 
Biermann, D. editor. Hollmann, F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57120-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1036. 
Cover image for Hybrid electric vehicle system modeling and control
Hybrid electric vehicle system modeling and control
Author 
Liu, Wei, 1960 August 30- author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
1037. 
Cover image for The rewiring brain : a computational approach to structural plasticity in the adult brain
The rewiring brain : a computational approach to structural plasticity in the adult brain
Author 
Van Ooyen, Arjen, editor. Butz-Ostendorf, Markus, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128037843
ScienceDirect https://www.sciencedirect.com/science/book/9780128037843
Format: 
Availability 
Online Library~1
Available:
Copies:
1038. 
Cover image for Computational frameworks : systems, models and applications
Computational frameworks : systems, models and applications
Author 
Traoré, Mamadou K. (Mamadou Kaba), editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781785482564
Format: 
Availability 
Online Library~1
Available:
Copies:
1039. 
Cover image for Essentials of machine olfaction and taste
Essentials of machine olfaction and taste
Author 
Nakamoto, Takamichi, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
1040. 
Cover image for Advanced engineering materials and modeling
Advanced engineering materials and modeling
Author 
Tiwari, Ashutosh, 1978- editor. Murugan, N. Arul, 1976- editor. Ahuja, Rajeev, 1965- editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
1041. 
Cover image for Introduction to EEG- and speech-based emotion recognition
Introduction to EEG- and speech-based emotion recognition
Author 
Abhang, Priyanka A., author. Gawali, Bharti W., author. Mehrotra, Suresh C., author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128044902
Format: 
Availability 
Online Library~1
Available:
Copies:
1042. 
Cover image for Computational systems biology : inference and modelling
Computational systems biology : inference and modelling
Author 
Lecca, Paola, 1973- author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780081000953
Format: 
Availability 
Online Library~1
Available:
Copies:
1043. 
Cover image for Groundwater Modelling in Arid and Semi-Arid Areas
Groundwater Modelling in Arid and Semi-Arid Areas
Author 
Wheater, Howard S.. Mathias, Simon A.. Li, Xin.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
1044. 
Cover image for Groundwater vulnerability : chernobyl nuclear disaster
Groundwater vulnerability : chernobyl nuclear disaster
Author 
Faybishenko, Boris, editor. American Geophysical Union.
Preferred Shelf Number 
ONLINE(342085.1)
Electronic Access 
ebrary http://alltitles.ebrary.com/Doc?id=10951347
John Wiley http://dx.doi.org/10.1002/9781118962220
Format: 
Availability 
Online Library~1
Available:
Copies:
1045. 
Cover image for Handbook of virtual environments : design, implementation, and applications
Handbook of virtual environments : design, implementation, and applications
Author 
Hale, Kelly S. Stanney, Kay M.
Preferred Shelf Number 
ONLINE(356746.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
1046. 
Cover image for Computational modeling of pulverized coal fired boilers
Computational modeling of pulverized coal fired boilers
Author 
Ranade, Vivek V., author. Gupta, Devkumar F., author.
Preferred Shelf Number 
ONLINE(356972.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
1047. 
Cover image for Advanced power electronics converters : PWM converters processing AC voltages
Advanced power electronics converters : PWM converters processing AC voltages
Author 
Santos, Euzeli Cipriano dos. Silva, Edison Roberto Cabral da, 1942-
Preferred Shelf Number 
ONLINE(341950.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118880944.jpg
John Wiley http://dx.doi.org/10.1002/9781118886953
Format: 
Availability 
Online Library~1
Available:
Copies:
1048. 
Cover image for Finance : a quantitative introduction. Volume 1
Finance : a quantitative introduction. Volume 1
Author 
Staszkiewicz, Piotr., author. Staszkiewicz, Lucia, author.
Preferred Shelf Number 
ONLINE(355361.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128015841
Format: 
Availability 
Online Library~1
Available:
Copies:
1049. 
Cover image for A practical guide to SysML : the systems modeling language
A practical guide to SysML : the systems modeling language
Author 
Friedenthal, Sanford, author. Moore, Alan, 1961- author. Steiner, Rick, author.
Preferred Shelf Number 
ONLINE(355422.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128002025
Format: 
Availability 
Online Library~1
Available:
Copies:
1050. 
Cover image for Computational and visualization techniques for structural bioinformatics using chimera
Computational and visualization techniques for structural bioinformatics using chimera
Author 
Burkowski, Forbes J., author.
Preferred Shelf Number 
ONLINE(356730.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
1051. 
Cover image for Simulated patient methodology : theory, evidence, and practice
Simulated patient methodology : theory, evidence, and practice
Author 
Nestel, Debra, editor. Bearman, Margaret, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
1052. 
Cover image for Frontiers in computational chemistry. Volume 1
Frontiers in computational chemistry. Volume 1
Author 
Haq, Zaheer-ul- editor. Madura, J. D., editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781608058655
Format: 
Availability 
Online Library~1
Available:
Copies:
1053. 
Cover image for Multiscale modeling for process safety applications
Multiscale modeling for process safety applications
Author 
Chakrabarty, Arnab, author. Mannan, Sam, author. Cagin, Tahir, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123969750
Format: 
Availability 
Online Library~1
Available:
Copies:
1054. 
Cover image for Information and Knowledge Management in Complex Systems 16th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2015, Toulouse, France, March 19-20, 2015, Proceedings
Information and Knowledge Management in Complex Systems 16th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2015, Toulouse, France, March 19-20, 2015, Proceedings
Author 
Liu, Kecheng. editor. Nakata, Keiichi. editor. Li, Weizi. editor. Galarreta, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518667.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16274-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1055. 
Cover image for Industrial Engineering, Management Science and Applications 2015
Industrial Engineering, Management Science and Applications 2015
Author 
Gen, Mitsuo. editor. Kim, Kuinam J. editor. Huang, Xiaoxia. editor. Hiroshi, Yabe. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518706.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47200-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1056. 
Cover image for Artificial Life and Intelligent Agents First International Symposium, ALIA 2014, Bangor, UK, November 5-6, 2014. Revised Selected Papers
Artificial Life and Intelligent Agents First International Symposium, ALIA 2014, Bangor, UK, November 5-6, 2014. Revised Selected Papers
Author 
Headleand, Christopher J. editor. Teahan, William J. editor. Ap Cenydd, Llyr. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518727.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18084-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1057. 
Cover image for The multibody systems approach to vehicle dynamics
The multibody systems approach to vehicle dynamics
Author 
Blundell, Michael, author. Harty, Damian, author.
Preferred Shelf Number 
ONLINE(355475.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780080994253
Format: 
Availability 
Online Library~1
Available:
Copies:
1058. 
Cover image for The uncanny valley in games and animation
The uncanny valley in games and animation
Author 
Tinwell, Angela, author.
Preferred Shelf Number 
ONLINE(357045.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
1059. 
Cover image for Handbook of Biomedical Imaging Methodologies and Clinical Research
Handbook of Biomedical Imaging Methodologies and Clinical Research
Author 
Paragios, Nikos. editor. Duncan, James. editor. Ayache, Nicholas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518436.1)
Electronic Access 
https://doi.org/10.1007/978-0-387-09749-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1060. 
Cover image for The Impact of Pen and Touch Technology on Education
The Impact of Pen and Touch Technology on Education
Author 
Hammond, Tracy. editor. Valentine, Stephanie. editor. Adler, Aaron. editor. Payton, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518440.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15594-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1061. 
Cover image for Conflict and Multimodal Communication Social Research and Machine Intelligence
Conflict and Multimodal Communication Social Research and Machine Intelligence
Author 
D'Errico, Francesca. editor. Poggi, Isabella. editor. Vinciarelli, Alessandro. editor. Vincze, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518455.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14081-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1062. 
Cover image for Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Author 
Fournier, Fabiana. editor. Mendling, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518625.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15895-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1063. 
Cover image for Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II
Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II
Author 
Núñez, Manuel. editor. Nguyen, Ngoc Thanh. editor. Camacho, David. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518902.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24306-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1064. 
Cover image for Multiagent System Technologies 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers
Multiagent System Technologies 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers
Author 
Müller, Jörg P. editor. Ketter, Wolf. editor. Kaminka, Gal. editor. Wagner, Gerd. editor. Bulling, Nils. editor.
Preferred Shelf Number 
XX(518972.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27343-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1065. 
Cover image for Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part II
Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part II
Author 
Ortuño, Francisco. editor. Rojas, Ignacio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518998.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16480-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1066. 
Cover image for Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I
Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I
Author 
Núñez, Manuel. editor. Nguyen, Ngoc Thanh. editor. Camacho, David. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519000.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24069-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1067. 
Cover image for Information Theoretic Security 8th International Conference, ICITS 2015, Lugano, Switzerland, May 2-5, 2015. Proceedings
Information Theoretic Security 8th International Conference, ICITS 2015, Lugano, Switzerland, May 2-5, 2015. Proceedings
Author 
Lehmann, Anja. editor. Wolf, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519003.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17470-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1068. 
Cover image for Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings
Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings
Author 
Sano, Kentaro. editor. Soudris, Dimitrios. editor. Hübner, Michael. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519004.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16214-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1069. 
Cover image for Public-Key Cryptography -- PKC 2015 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings
Public-Key Cryptography -- PKC 2015 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings
Author 
Katz, Jonathan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519134.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46447-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1070. 
Cover image for Transactions on Computational Collective Intelligence XIX
Transactions on Computational Collective Intelligence XIX
Author 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Xhafa, Fatos. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519152.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-49017-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1071. 
Cover image for Augmented and Virtual Reality Second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015, Proceedings
Augmented and Virtual Reality Second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015, Proceedings
Author 
De Paolis, Lucio Tommaso. editor. Mongelli, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519164.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22888-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1072. 
Cover image for Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II
Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II
Author 
Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Hussain, Abir. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519184.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22186-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1073. 
Cover image for Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Author 
Shallit, Jeffrey. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519199.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19225-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1074. 
Cover image for Artificial Intelligence in Education 17th International Conference, AIED 2015, Madrid, Spain, June 22-26, 2015. Proceedings
Artificial Intelligence in Education 17th International Conference, AIED 2015, Madrid, Spain, June 22-26, 2015. Proceedings
Author 
Conati, Cristina. editor. Heffernan, Neil. editor. Mitrovic, Antonija. editor. Verdejo, M. Felisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519214.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19773-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1075. 
Cover image for Training in Minimal Access Surgery
Training in Minimal Access Surgery
Author 
Francis, Nader. editor. Fingerhut, Abe. editor. Bergamaschi, Roberto. editor. Motson, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519545.1)
Electronic Access 
https://doi.org/10.1007/978-1-4471-6494-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1076. 
Cover image for Principles and Practice of Controlled Ovarian Stimulation in ART
Principles and Practice of Controlled Ovarian Stimulation in ART
Author 
Ghumman, Surveen. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519663.1)
Electronic Access 
https://doi.org/10.1007/978-81-322-1686-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1077. 
Cover image for Computer Vision for X-Ray Testing Imaging, Systems, Image Databases, and Algorithms
Computer Vision for X-Ray Testing Imaging, Systems, Image Databases, and Algorithms
Author 
Mery, Domingo. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518524.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20747-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1078. 
Cover image for Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518525.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27218-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1079. 
Cover image for Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Author 
Drechsler, Rolf. editor. Kühne, Ulrich. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518528.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-09994-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1080. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(518867.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21470-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1081. 
Cover image for Inclusive Smart Cities and e-Health 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015, Proceedings
Inclusive Smart Cities and e-Health 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015, Proceedings
Author 
Geissbühler, Antoine. editor. Demongeot, Jacques. editor. Mokhtari, Mounir. editor. Abdulrazak, Bessam. editor. Aloulou, Hamdi. editor.
Preferred Shelf Number 
XX(518939.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19312-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1082. 
Cover image for Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III
Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Buarque, Fernando. editor. Gelbukh, Alexander. editor. Das, Swagatam. editor.
Preferred Shelf Number 
XX(518945.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20469-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1083. 
Cover image for Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I
Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Buarque, Fernando. editor. Gelbukh, Alexander. editor. Das, Swagatam. editor.
Preferred Shelf Number 
XX(518947.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20466-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1084. 
Cover image for Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Author 
de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Preferred Shelf Number 
XX(518949.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1085. 
Cover image for Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Author 
Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518953.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20860-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1086. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(519260.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21410-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1087. 
Cover image for Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings
Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings
Author 
Calude, Cristian S. editor. Dinneen, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519335.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21819-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1088. 
Cover image for Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Author 
Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
XX(519344.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16501-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1089. 
Cover image for Pediatric and Congenital Cardiac Care Volume 2: Quality Improvement and Patient Safety
Pediatric and Congenital Cardiac Care Volume 2: Quality Improvement and Patient Safety
Author 
Barach, Paul R. editor. Jacobs, Jeffery P. editor. Lipshultz, Steven E. editor. Laussen, Peter C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519396.1)
Electronic Access 
https://doi.org/10.1007/978-1-4471-6566-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1090. 
Cover image for Epidural Labor Analgesia Childbirth Without Pain
Epidural Labor Analgesia Childbirth Without Pain
Author 
Capogna, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519495.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-13890-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1091. 
Cover image for Pediatric Sedation Outside of the Operating Room A Multispecialty International Collaboration
Pediatric Sedation Outside of the Operating Room A Multispecialty International Collaboration
Author 
Mason, Keira P. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519517.1)
Electronic Access 
https://doi.org/10.1007/978-1-4939-1390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1092. 
Cover image for Pelvic Cancer Surgery Modern Breakthroughs and Future Advances
Pelvic Cancer Surgery Modern Breakthroughs and Future Advances
Author 
Patel, Hitendra R.H. editor. Mould, Tim. editor. Joseph, Jean V. editor. Delaney, Conor P. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519650.1)
Electronic Access 
https://doi.org/10.1007/978-1-4471-4258-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1093. 
Cover image for Radiation Therapy for Head and Neck Cancers A Case-Based Review
Radiation Therapy for Head and Neck Cancers A Case-Based Review
Author 
Beyzadeoglu, Murat. editor. Ozyigit, Gokhan. editor. Selek, Ugur. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519945.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-10413-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1094. 
Cover image for Effective Training of Arthroscopic Skills
Effective Training of Arthroscopic Skills
Author 
Karahan, Mustafa. editor. Kerkhoffs, Gino M.M.J. editor. Tuijthof, Gabriëlle J.M. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520109.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-44943-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1095. 
Cover image for Smart Cities, Green Technologies, and Intelligent Transport Systems 4th International Conference, SMARTGREENS 2015, and 1st International Conference VEHITS 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers
Smart Cities, Green Technologies, and Intelligent Transport Systems 4th International Conference, SMARTGREENS 2015, and 1st International Conference VEHITS 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers
Author 
Helfert, Markus. editor. Krempels, Karl-Heinz. editor. Klein, Cornel. editor. Donellan, Brian. editor. Guiskhin, Oleg. editor.
Preferred Shelf Number 
XX(518376.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27753-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1096. 
Cover image for Supercomputing for Molecular Dynamics Simulations Handling Multi-Trillion Particles in Nanofluidics
Supercomputing for Molecular Dynamics Simulations Handling Multi-Trillion Particles in Nanofluidics
Author 
Heinecke, Alexander. author. Eckhardt, Wolfgang. author. Horsch, Martin. author. Bungartz, Hans-Joachim. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518377.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17148-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1097. 
Cover image for Environmental Software Systems. Infrastructures, Services and Applications 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015, Proceedings
Environmental Software Systems. Infrastructures, Services and Applications 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015, Proceedings
Author 
Denzer, Ralf. editor. Argent, Robert M. editor. Schimak, Gerald. editor. Hřebíček, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518405.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15994-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1098. 
Cover image for Handbook on Data Centers
Handbook on Data Centers
Author 
Khan, Samee U. editor. Zomaya, Albert Y. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518461.1)
Electronic Access 
https://doi.org/10.1007/978-1-4939-2092-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1099. 
Cover image for Encyclopedia of Biometrics
Encyclopedia of Biometrics
Author 
Li, Stan Z. editor. Jain, Anil K. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518417.1)
Electronic Access 
https://doi.org/10.1007/978-1-4899-7488-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1100. 
Cover image for Tangible Modeling with Open Source GIS
Tangible Modeling with Open Source GIS
Author 
Petrasova, Anna. author. Harmon, Brendan. author. Petras, Vaclav. author. Mitasova, Helena. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518427.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1101. 
Cover image for Exploring Services Science 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings
Exploring Services Science 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings
Author 
Nóvoa, Henriqueta. editor. Drăgoicea, Monica. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518541.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14980-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1102. 
Cover image for A Multimodal End-2-End Approach to Accessible Computing
A Multimodal End-2-End Approach to Accessible Computing
Author 
Biswas, Pradipta. editor. Duarte, Carlos. editor. Langdon, Patrick. editor. Almeida, Luis. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518554.1)
Electronic Access 
https://doi.org/10.1007/978-1-4471-6708-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1103. 
Cover image for Advances in Enterprise Engineering IX 5th Enterprise Engineering Working Conference, EEWC 2015, Prague, Czech Republic, June 15-19, 2015, Proceedings
Advances in Enterprise Engineering IX 5th Enterprise Engineering Working Conference, EEWC 2015, Prague, Czech Republic, June 15-19, 2015, Proceedings
Author 
Aveiro, David. editor. Pergl, Robert. editor. Valenta, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518564.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19297-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1104. 
Cover image for Technological Innovation for Cloud-Based Engineering Systems 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings
Technological Innovation for Cloud-Based Engineering Systems 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings
Author 
Camarinha-Matos, Luis M. editor. Baldissera, Thais A. editor. Di Orio, Giovanni. editor. Marques, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518571.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16766-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1105. 
Cover image for Wireless and Satellite Systems 7th International Conference, WiSATS 2015, Bradford, UK, July 6-7, 2015. Revised Selected Papers
Wireless and Satellite Systems 7th International Conference, WiSATS 2015, Bradford, UK, July 6-7, 2015. Revised Selected Papers
Author 
Pillai, Prashant. editor. Hu, Yim Fun. editor. Otung, Ifiok. editor. Giambene, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518737.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25479-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1106. 
Cover image for E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
Author 
Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518497.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17957-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1107. 
Cover image for Information Processing in Medical Imaging 24th International Conference, IPMI 2015, Sabhal Mor Ostaig, Isle of Skye, UK, June 28 - July 3, 2015, Proceedings
Information Processing in Medical Imaging 24th International Conference, IPMI 2015, Sabhal Mor Ostaig, Isle of Skye, UK, June 28 - July 3, 2015, Proceedings
Author 
Ourselin, Sebastien. editor. Alexander, Daniel C. editor. Westin, Carl-Fredrik. editor. Cardoso, M. Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518756.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19992-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1108. 
Cover image for Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I
Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I
Author 
Ortuño, Francisco. editor. Rojas, Ignacio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518762.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16483-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1109. 
Cover image for Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
Author 
Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518763.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23485-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1110. 
Cover image for DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings
DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings
Author 
Phillips, Andrew. editor. Yin, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518778.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21999-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1111. 
Cover image for Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II
Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Buarque, Fernando. editor. Gelbukh, Alexander. editor. Das, Swagatam. editor.
Preferred Shelf Number 
XX(518780.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20472-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1112. 
Cover image for Social Computing and Social Media 7th International Conference, SCSM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings
Social Computing and Social Media 7th International Conference, SCSM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings
Author 
Meiselwitz, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518781.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20367-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1113. 
Cover image for Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers
Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers
Author 
Pop, Florin. editor. Potop-Butucaru, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518782.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28448-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1114. 
Cover image for Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings
Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings
Author 
Lauter, Kristin. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518790.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22174-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1115. 
Cover image for Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers
Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers
Author 
Zu, Qiaohong. editor. Hu, Bo. editor. Gu, Ning. editor. Seng, Sopheap. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518792.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15554-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1116. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(518794.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21407-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1117. 
Cover image for Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers
Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers
Author 
Bulling, Nils. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518814.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17130-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1118. 
Cover image for Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
Author 
Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518917.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20239-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1119. 
Cover image for Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519031.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15705-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1120. 
Cover image for Numerical Methods and Applications 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers
Numerical Methods and Applications 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers
Author 
Dimov, Ivan. editor. Fidanova, Stefka. editor. Lirkov, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519037.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15585-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1121. 
Cover image for Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings
Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings
Author 
Chalup, Stephan. editor. Blair, Alan D. editor. Randall, Marcus. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519044.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14803-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1122. 
Cover image for Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Author 
Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519046.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24644-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1123. 
Cover image for Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings
Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings
Author 
Träff, Jesper Larsson. editor. Hunold, Sascha. editor. Versaci, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519051.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48096-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1124. 
Cover image for Agents and Data Mining Interaction 10th International Workshop, ADMI 2014, Paris, France, May 5-9, 2014, Revised Selected Papers
Agents and Data Mining Interaction 10th International Workshop, ADMI 2014, Paris, France, May 5-9, 2014, Revised Selected Papers
Author 
Cao, Longbing. editor. Zeng, Yifeng. editor. An, Bo. editor. Symeonidis, Andreas L. editor. Gorodetsky, Vladimir. editor.
Preferred Shelf Number 
XX(519063.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20230-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1125. 
Cover image for High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings
High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings
Author 
Kunkel, Julian M. editor. Ludwig, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519086.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20119-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1126. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(519112.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21404-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1127. 
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:
1128. 
Cover image for Artificial Computation in Biology and Medicine International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I
Artificial Computation in Biology and Medicine International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I
Author 
Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo-Moreo, Fco. Javier. editor. Adeli, Hojjat. editor.
Preferred Shelf Number 
XX(519255.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18914-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1129. 
Cover image for Intelligent Data Engineering and Automated Learning - IDEAL 2015 16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedings
Intelligent Data Engineering and Automated Learning - IDEAL 2015 16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedings
Author 
Jackowski, Konrad. editor. Burduk, Robert. editor. Walkowiak, Krzysztof. editor. Wozniak, Michal. editor. Yin, Hujun. editor. (orcid)
Preferred Shelf Number 
XX(519329.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24834-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1130. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(519341.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21413-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1131. 
Cover image for Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings
Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings
Author 
Demazeau, Yves. editor. Decker, Keith S. editor. Bajo Pérez, Javier. editor. de la Prieta, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519342.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18944-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1132. 
Cover image for Transactions on Computational Collective Intelligence XX
Transactions on Computational Collective Intelligence XX
Author 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor.
Preferred Shelf Number 
XX(519296.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27543-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1133. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
XX(519299.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19369-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1134. 
Cover image for Operative Techniques for Severe Liver Injury
Operative Techniques for Severe Liver Injury
Author 
Ivatury, Rao R. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519848.1)
Electronic Access 
https://doi.org/10.1007/978-1-4939-1200-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1135. 
Cover image for Wireless ad hoc and sensor networks : management, performance, and applications
Wireless ad hoc and sensor networks : management, performance, and applications
Author 
He, Jing Selena, author. Ji, Shouling, author. Pan, Yi, 1960- author. Li, Yingshu, author.
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:
1136. 
Cover image for Spintronics in nanoscale devices
Spintronics in nanoscale devices
Author 
Hedin, Eric R., editor. Joe, Yong S., 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:
1137. 
Cover image for Differential equation analysis in biomedical science and engineering : ordinary differential equation applications with R
Differential equation analysis in biomedical science and engineering : ordinary differential equation applications with R
Author 
Schiesser, W. E., author.
Preferred Shelf Number 
ONLINE(341690.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1637703
John Wiley http://dx.doi.org/10.1002/9781118705070
MyiLibrary http://www.myilibrary.com?id=578552
Format: 
Availability 
Online Library~1
Available:
Copies:
1138. 
Cover image for Current interruption transients calculation
Current interruption transients calculation
Author 
Peelo, David F., author.
Preferred Shelf Number 
ONLINE(341696.1)
Electronic Access 
CLICK HERE for online access
http://dx.doi.org/10.1002/9781118707227
Books24x7 http://www.books24x7.com/marc.asp?bookid=63509
Format: 
Availability 
Online Library~1
Available:
Copies:
1139. 
Cover image for Theory of nonlinear structural analysis : the force analogy method for earthquake engineering
Theory of nonlinear structural analysis : the force analogy method for earthquake engineering
Author 
Li, Gang (Structural engineer), author. Wong, Kevin Kai Fai, 1969- author.
Preferred Shelf Number 
ONLINE(341705.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118718063.jpg
http://onlinelibrary.wiley.com/book/10.1002/9781118718070
John Wiley http://dx.doi.org/10.1002/9781118718070
Format: 
Availability 
Online Library~1
Available:
Copies:
1140. 
Cover image for Kinetics in nanoscale materials
Kinetics in nanoscale materials
Author 
Tu, K. N. (King-Ning), 1937- author. Gusak, Andriy M., author.
Preferred Shelf Number 
ONLINE(341716.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1690920
John Wiley http://dx.doi.org/10.1002/9781118743140
MyiLibrary http://www.myilibrary.com?id=611506
Format: 
Availability 
Online Library~1
Available:
Copies:
1141. 
Cover image for HSPA+ Evolution to release 12 : performance and optimization
HSPA+ Evolution to release 12 : performance and optimization
Author 
Holma, Harri, 1970- Toskala, Antti. Tapia, Pablo.
Preferred Shelf Number 
ONLINE(341670.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Available by subscription from Safari Books Online
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118503218.jpg
John Wiley http://dx.doi.org/10.1002/9781118693728
Volltext http://proquest.tech.safaribooksonline.de/9781118693711
Format: 
Availability 
Online Library~1
Available:
Copies:
1142. 
Cover image for Logical modeling of biological systems
Logical modeling of biological systems
Author 
Inoue, Katsumi, editor. Fariñas del Cerro, Luis, editor.
Preferred Shelf Number 
ONLINE(342139.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1765112
ebrary http://site.ebrary.com/id/10907565
John Wiley http://dx.doi.org/10.1002/9781119005223
MyiLibrary http://www.myilibrary.com?id=637336
Format: 
Availability 
Online Library~1
Available:
Copies:
1143. 
Cover image for Oil spill risk management : modeling Gulf of Mexico circulation and oil dispersal
Oil spill risk management : modeling Gulf of Mexico circulation and oil dispersal
Author 
Dietrich, D. (David), 1945- author. Bowman, Malcolm J., author. Korotenko, Konstantin A., author. Bowman, M. Hamish E., author.
Preferred Shelf Number 
ONLINE(342160.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1784147
ebrary http://site.ebrary.com/id/10931971
John Wiley http://dx.doi.org/10.1002/9781119027928
Image http://images.contentreserve.com/ImageType-100/0128-1/{162D491B-0185-4D40-8C61-A89B9C74F571}Img100.jpg
Format: 
Availability 
Online Library~1
Available:
Copies:
1144. 
Cover image for Ecological modelling and engineering of lakes and wetlands
Ecological modelling and engineering of lakes and wetlands
Author 
Jørgensen, Sven Erik. Chang, Ni-Bin. Xu, Fu-Liu.
Preferred Shelf Number 
ONLINE(355860.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444632494
Format: 
Availability 
Online Library~1
Available:
Copies:
1145. 
Cover image for Process modeling style
Process modeling style
Author 
Long, John O., author.
Preferred Shelf Number 
ONLINE(355910.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128009598
Format: 
Availability 
Online Library~1
Available:
Copies:
1146. 
Cover image for Virtual world design : creating immersive virtual environments
Virtual world design : creating immersive virtual environments
Author 
Cudworth, Ann Latham, 1955- author.
Preferred Shelf Number 
ONLINE(356384.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
1147. 
Cover image for Optimal modified continuous Galerkin CFD
Optimal modified continuous Galerkin CFD
Author 
Baker, A. J., 1936- author.
Preferred Shelf Number 
ONLINE(341530.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781119940494.jpg
John Wiley http://dx.doi.org/10.1002/9781118402719
Format: 
Availability 
Online Library~1
Available:
Copies:
1148. 
Cover image for Modeling and control of engines and drivelines
Modeling and control of engines and drivelines
Author 
Eriksson, Lars, 1970- Nielsen, Lars, 1955-
Preferred Shelf Number 
ONLINE(341579.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118536186
Books24x7 http://www.books24x7.com/marc.asp?bookid=63651
Format: 
Availability 
Online Library~1
Available:
Copies:
1149. 
Cover image for Computational approaches to studying the co-evolution of networks and behavior in social dilemmas
Computational approaches to studying the co-evolution of networks and behavior in social dilemmas
Author 
Corten, Rense, author.
Preferred Shelf Number 
ONLINE(341743.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118636879.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1603264
John Wiley http://dx.doi.org/10.1002/9781118762912
MyiLibrary http://www.myilibrary.com?id=571625
Format: 
Availability 
Online Library~1
Available:
Copies:
1150. 
Cover image for The multilevel fast multipole algorithm (MLFMA) for solving large-scale computational electromagnetics problems
The multilevel fast multipole algorithm (MLFMA) for solving large-scale computational electromagnetics problems
Author 
Ergül, Özgür, author. Gurel, Levent, author. IEEE Antennas and Propagation Society, sponsor.
Preferred Shelf Number 
ONLINE(341875.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781119977414.jpg
http://onlinelibrary.wiley.com/book/10.1002/9781118844977
John Wiley http://dx.doi.org/10.1002/9781118844977
Format: 
Availability 
Online Library~1
Available:
Copies:
1151. 
Cover image for Advanced electric drives : analysis, control, and modeling using MATLAB/Simulink
Advanced electric drives : analysis, control, and modeling using MATLAB/Simulink
Author 
Mohan, Ned, author.
Preferred Shelf Number 
ONLINE(342003.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118485484.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1744264
ebrary http://site.ebrary.com/id/10896038
John Wiley http://dx.doi.org/10.1002/9781118910962
MyiLibrary http://www.myilibrary.com?id=629217
Format: 
Availability 
Online Library~1
Available:
Copies:
1152. 
Cover image for Understanding large temporal networks and spatial networks : exploration, pattern searching, visualization and network evolution
Understanding large temporal networks and spatial networks : exploration, pattern searching, visualization and network evolution
Author 
Batagelj, Vladimir, 1948-
Preferred Shelf Number 
ONLINE(342025.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9780470714522.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1780727
John Wiley http://dx.doi.org/10.1002/9781118915370
MyiLibrary http://www.myilibrary.com?id=642293
http://swb.eblib.com/patron/FullRecord.aspx?p=1780727
Format: 
Availability 
Online Library~1
Available:
Copies:
1153. 
Cover image for Crude oil fouling deposit characterization, measurements, and modeling
Crude oil fouling deposit characterization, measurements, and modeling
Author 
Coletti, Francesco. Hewitt, G. F. (Geoffrey Frederick)
Preferred Shelf Number 
ONLINE(355383.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128012567
Format: 
Availability 
Online Library~1
Available:
Copies:
1154. 
Cover image for Modeling enterprise architecture with TOGAF : a practical guide using UML and BPMN
Modeling enterprise architecture with TOGAF : a practical guide using UML and BPMN
Author 
Desfray, Philippe, author. Raymond, Gilbert, author.
Preferred Shelf Number 
ONLINE(355810.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124199842
Format: 
Availability 
Online Library~1
Available:
Copies:
1155. 
Cover image for Integrating 3D Modeling, Photogrammetry and Design
Integrating 3D Modeling, Photogrammetry and Design
Author 
Foster, Shaun. author. Halbstein, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6329-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1156. 
Cover image for Introduction to Computational Social Science Principles and Applications
Introduction to Computational Social Science Principles and Applications
Author 
Cioffi-Revilla, Claudio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-5661-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1157. 
Cover image for Artificial Intelligence: Methodology, Systems, and Applications 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, Proceedings
Artificial Intelligence: Methodology, Systems, and Applications 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, Proceedings
Author 
Agre, Gennady. editor. (orcid)0000-0003-4610-7973 Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Krisnadhi, Adila A. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10554-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1158. 
Cover image for Conceptual Modeling 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29,2014. Proceedings
Conceptual Modeling 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29,2014. Proceedings
Author 
Yu, Eric. editor. Dobbie, Gillian. editor. (orcid)0000-0001-7245-0367 Jarke, Matthias. editor. Purao, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12206-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1159. 
Cover image for Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings
Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings
Author 
González-Ramírez, Rosa G. editor. Schulte, Frederik. editor. Voß, Stefan. editor. Ceroni Díaz, Jose A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11421-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1160. 
Cover image for Introduction to Computational Mass Transfer With Applications to Chemical Engineering
Introduction to Computational Mass Transfer With Applications to Chemical Engineering
Author 
Yu, Kuo-Tsong. author. Yuan, Xigang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-53911-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1161. 
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:
1162. 
Cover image for Assessment of Total Evacuation Systems for Tall Buildings
Assessment of Total Evacuation Systems for Tall Buildings
Author 
Ronchi, Enrico. author. Nilsson, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-1074-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1163. 
Cover image for Foundations of the Complex Variable Boundary Element Method
Foundations of the Complex Variable Boundary Element Method
Author 
Hromadka, Theodore. author. Whitley, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05954-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1164. 
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:
1165. 
Cover image for Synthetic Biology From iGEM to the Artificial Cell
Synthetic Biology From iGEM to the Artificial Cell
Author 
Porcar, Manuel. author. Peretó, Juli. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9382-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1166. 
Cover image for Accelerated Lattice Boltzmann Model for Colloidal Suspensions Rheology and Interface Morphology
Accelerated Lattice Boltzmann Model for Colloidal Suspensions Rheology and Interface Morphology
Author 
Farhat, Hassan. author. Lee, Joon Sang. author. Kondaraju, Sasidhar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4899-7402-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1167. 
Cover image for Spatial Cognition IX International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings
Spatial Cognition IX International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings
Author 
Freksa, Christian. editor. Nebel, Bernhard. editor. Hegarty, Mary. editor. Barkowsky, Thomas. editor. (orcid)0000-0002-3961-2595 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11215-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1168. 
Cover image for Advances in Conceptual Modeling ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers
Advances in Conceptual Modeling ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers
Author 
Parsons, Jeffrey. editor. Chiu, Dickson. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14139-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1169. 
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:
1170. 
Cover image for Large-Scale Scientific Computing 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers
Large-Scale Scientific Computing 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43880-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1171. 
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:
1172. 
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:
1173. 
Cover image for Telematics - Support for Transport 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Krakow/Ustron, Poland, October 22-25, 2014. Proceedings
Telematics - Support for Transport 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Krakow/Ustron, Poland, October 22-25, 2014. Proceedings
Author 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45317-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1174. 
Cover image for Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers
Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers
Author 
Klingert, Sonja. editor. Hesselbach-Serra, Xavier. editor. Perez Ortega, Maria. editor. Giuliani, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55149-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1175. 
Cover image for Computational Finance An Introductory Course with R
Computational Finance An Introductory Course with R
Author 
Arratia, Argimiro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.2991/978-94-6239-070-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1176. 
Cover image for Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
Author 
Horváth, András. editor. Wolter, Katinka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10885-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1177. 
Cover image for Models@run.time Foundations, Applications, and Roadmaps
Models@run.time Foundations, Applications, and Roadmaps
Author 
Bencomo, Nelly. editor. France, Robert B. editor. Cheng, Betty H.C. editor. Aßmann, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08915-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1178. 
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:
1179. 
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:
1180. 
Cover image for Information Systems for Crisis Response and Management in Mediterranean Countries First International Conference, ISCRAM-med 2014, Toulouse, France, October 15-17, 2014, Proceedings
Information Systems for Crisis Response and Management in Mediterranean Countries First International Conference, ISCRAM-med 2014, Toulouse, France, October 15-17, 2014, Proceedings
Author 
Hanachi, Chihab. editor. Bénaben, Frédérick. editor. Charoy, François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11818-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1181. 
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:
1182. 
Cover image for Bio-inspired Computing: Theories and Applications 9th International Conference, BIC-TA 2014, Wuhan, China, October 16-19, 2014, Proceedings
Bio-inspired Computing: Theories and Applications 9th International Conference, BIC-TA 2014, Wuhan, China, October 16-19, 2014, Proceedings
Author 
Pan, Linqiang. editor. Paun, Gheorghe. editor. Pérez-Jiménez, Mario J. editor. Song, Tao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45049-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1183. 
Cover image for Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Author 
Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11245-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1184. 
Cover image for Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
Author 
Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13835-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1185. 
Cover image for Digital Fabrication in Architecture, Engineering and Construction
Digital Fabrication in Architecture, Engineering and Construction
Author 
Caneparo, Luca. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-007-7137-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1186. 
Cover image for Tactile Score A Knowledge Media for Tactile Sense
Tactile Score A Knowledge Media for Tactile Sense
Author 
Suzuki, Yasuhiro. author. Suzuki, Rieko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-54547-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1187. 
Cover image for Morphological Modeling of Terrains and Volume Data
Morphological Modeling of Terrains and Volume Data
Author 
Čomić, Lidija. author. De Floriani, Leila. author. Magillo, Paola. author. Iuricich, Federico. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-2149-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1188. 
Cover image for Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings
Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings
Author 
Demazeau, Yves. editor. Zambonelli, Franco. editor. (orcid)0000-0002-6837-8806 Corchado Rodríguez, Juan M. editor. Bajo Pérez, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07551-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1189. 
Cover image for Context in Computing A Cross-Disciplinary Approach for Modeling the Real World
Context in Computing A Cross-Disciplinary Approach for Modeling the Real World
Author 
Brézillon, Patrick. editor. Gonzalez, Avelino J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-1887-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1190. 
Cover image for Apprendre et maîtriser LabVIEW par ses applications
Apprendre et maîtriser LabVIEW par ses applications
Author 
Martaj, Nadia. author. Mokhtari, Mohand. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-45335-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1191. 
Cover image for Development of Innovative Drugs via Modeling with MATLAB A Practical Guide
Development of Innovative Drugs via Modeling with MATLAB A Practical Guide
Author 
Gieschke, Ronald. author. Serafin, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-39765-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1192. 
Cover image for Field Free Line Magnetic Particle Imaging
Field Free Line Magnetic Particle Imaging
Author 
Erbe, Marlitt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-05337-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1193. 
Cover image for The Impact of Applications on Mathematics Proceedings of the Forum of Mathematics for Industry 2013
The Impact of Applications on Mathematics Proceedings of the Forum of Mathematics for Industry 2013
Author 
Wakayama, Masato. editor. Anderssen, Robert S. editor. Cheng, Jin. editor. Fukumoto, Yasuhide. editor. McKibbin, Robert. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-54907-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1194. 
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:
1195. 
Cover image for Improving Disaster Resilience and Mitigation - IT Means and Tools
Improving Disaster Resilience and Mitigation - IT Means and Tools
Author 
Teodorescu, Horia-Nicolai. editor. Kirschenbaum, Alan. editor. Cojocaru, Svetlana. editor. Bruderlein, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9136-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1196. 
Cover image for Pattern Recognition 36th German Conference, GCPR 2014, Münster, Germany, September 2-5, 2014, Proceedings
Pattern Recognition 36th German Conference, GCPR 2014, Münster, Germany, September 2-5, 2014, Proceedings
Author 
Jiang, Xiaoyi. editor. Hornegger, Joachim. editor. Koch, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11752-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1197. 
Cover image for Differential Equation Analysis in Biomedical Science and Engineering Partial Differential Equation Applications with R.
Differential Equation Analysis in Biomedical Science and Engineering Partial Differential Equation Applications with R.
Author 
Schiesser, William E.
Preferred Shelf Number 
R857 .M34 .S345 2013
Electronic Access 
http://onlinelibrary.wiley.com/book/10.1002/9781118705292
Format: 
Availability 
Online Library~1
Available:
Copies:
1198. 
Cover image for Coverbal synchrony in human-machine interaction
Coverbal synchrony in human-machine interaction
Author 
Rojc, Matej, editor of compilation. Campbell, Nick, editor of compilation.
Preferred Shelf Number 
ONLINE(342565.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
1199. 
Cover image for Process engineering and design using Visual Basic℗ʼ
Process engineering and design using Visual Basic℗ʼ
Author 
Datta, Arun, author.
Preferred Shelf Number 
ONLINE(342719.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
1200. 
Cover image for Computational modeling of polymer composites : a study of creep and environmental effects
Computational modeling of polymer composites : a study of creep and environmental effects
Author 
Roy, Samit, author. Reddy, J. N., author.
Preferred Shelf Number 
ONLINE(342870.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action