Limit Search Results
Author
SpringerLink (Online service)
(1258)
Wiley InterScience (Online service)
(51)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(36)
Murgante, Beniamino. editor.
(27)
Language
Publication Date
-
Subject
Computer simulation.
(1255)
Computer science.
(720)
Artificial intelligence.
(358)
Software engineering.
(318)
Engineering.
(177)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
1982 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Modelling and Simulation Exploring Dynamic System Behaviour
Modelling and Simulation Exploring Dynamic System Behaviour
Author 
Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18869-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
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:
12. 
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:
13. 
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:
14. 
Cover image for Global algorithmic capital markets : high frequency trading, dark pools, and regulatory challenges
Global algorithmic capital markets : high frequency trading, dark pools, and regulatory challenges
Author 
Mattli, Walter.
Preferred Shelf Number 
HG4523 G555 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
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:
20. 
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:
21. 
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:
22. 
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:
23. 
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:
24. 
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:
25. 
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:
26. 
Cover image for OPNET IoT Simulation
OPNET IoT Simulation
Author 
Chen, Min. author. Miao, Yiming. author. Humar, Iztok. author. (orcid)0000-0002-4940-3500 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-32-9170-6
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings
Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings
Author 
Tan, Gary. editor. Lehmann, Axel. editor. Teo, Yong Meng. editor. Cai, Wentong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-1078-6
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings
Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings
Author 
Song, Houbing. editor. Jiang, Dingde. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32216-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings
Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings
Author 
Naweed, Anjum. editor. (orcid)0000-0002-5534-4295 Bowditch, Lorelle. editor. Sprick, Cyle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-32-9582-7
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
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:
31. 
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:
32. 
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:
33. 
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:
34. 
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:
35. 
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:
36. 
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:
37. 
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:
38. 
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:
39. 
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:
40. 
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:
41. 
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:
42. 
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:
43. 
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:
44. 
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:
45. 
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:
46. 
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:
47. 
Cover image for Simulation for Industry 4.0 Past, Present, and Future
Simulation for Industry 4.0 Past, Present, and Future
Author 
Gunal, Murat M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04137-3
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
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:
49. 
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:
50. 
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:
51. 
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:
52. 
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:
53. 
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:
54. 
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:
55. 
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:
56. 
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:
57. 
Cover image for Modelling and Simulation in Science, Technology and Engineering Mathematics Proceedings of the International Conference on Modelling and Simulation (MS-17)
Modelling and Simulation in Science, Technology and Engineering Mathematics Proceedings of the International Conference on Modelling and Simulation (MS-17)
Author 
Chattopadhyay, Surajit. editor. Roy, Tamal. editor. Sengupta, Samarjit. editor. Berger-Vachon, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74808-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers
Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers
Author 
Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14984-0
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
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:
60. 
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:
61. 
Cover image for Comprehensive Healthcare Simulation: Operations, Technology, and Innovative Practice
Comprehensive Healthcare Simulation: Operations, Technology, and Innovative Practice
Author 
Crawford, Scott B. editor. Baily, Lance W. editor. Monks, Stormy M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15378-6
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
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:
63. 
Cover image for MATLAB-based finite element programming in electromagnetic modeling
MATLAB-based finite element programming in electromagnetic modeling
Author 
Özgün, Özlem. Kuzuoğlu, Mustafa.
Preferred Shelf Number 
QC760 O94 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
64. 
Cover image for 3D shape analysis : fundamentals, theory, and applications
3D shape analysis : fundamentals, theory, and applications
Author 
Laga, Hamid, author. Guo, Yulan, author. Tabia, Hedi, author. Fisher, R. B., author. Bennamoun, M. (Mohammed), author.
Preferred Shelf Number 
TA1560 .L34 2019
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119405207
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Biomolecular and bioanalytical techniques : theory, methodology and applications
Biomolecular and bioanalytical techniques : theory, methodology and applications
Author 
Ramesh, Vasudevan, editor.
Preferred Shelf Number 
QH506 .B5534 2019
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119483977
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Junctionless Field-Effect Transistors : Design, Modeling, and Simulation
Junctionless Field-Effect Transistors : Design, Modeling, and Simulation
Author 
Sahay, Shubham, author. Kumar, Mamidala Jagadesh, author.
Preferred Shelf Number 
TK7871.95 .S24 2019
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119523543
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Network modeling, simulation and analysis in Matlab : theory and practices
Network modeling, simulation and analysis in Matlab : theory and practices
Author 
Le, Dac-Nhuong, 1983- author. Pandey, Abhishek, 1984- author. Tadepalli, Sairam, author. Rāṭhauṛa, Pradīpa Siṃha, 1978- author. Chatterjee, Jyotirmoy, author.
Preferred Shelf Number 
TK5103.2
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119631477
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Molecular kinetics in condensed phases : theory, simulation, and analysis
Molecular kinetics in condensed phases : theory, simulation, and analysis
Author 
Elber, Ron, author. Makarov, Dmitrii E., author. Orland, Henri, author.
Preferred Shelf Number 
QD502
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119176800
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Chemical process design and simulation : Aspen Plus and Aspen HYSYS applications
Chemical process design and simulation : Aspen Plus and Aspen HYSYS applications
Author 
Haydary, Juma, author.
Preferred Shelf Number 
TP155.7
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119311478
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Magnetic sensors for biomedical applications
Magnetic sensors for biomedical applications
Author 
Heidari, Hadi, author. Nabaei, Vahid, author.
Preferred Shelf Number 
R857 .B54
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119552215
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Diatom morphogenesis
Diatom morphogenesis
Author 
Annenkov, Vadim, editor.
Preferred Shelf Number 
QK569 .D54 D53 2019
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119488170
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Kinematic control of redundant robot arms using neural networks
Kinematic control of redundant robot arms using neural networks
Author 
Li, Shuai, 1983- author, editor. Jin, Long, 1988- author, editor. Mirza, Mohammed Aquil, 1986- author, editor.
Preferred Shelf Number 
TJ211.412 .K56 2019
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119557005
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
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:
74. 
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:
75. 
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:
76. 
Cover image for Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
Author 
Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91587-6
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
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:
78. 
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:
79. 
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:
80. 
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:
81. 
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:
82. 
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:
83. 
Cover image for Modeling and Simulation in Industrial Engineering
Modeling and Simulation in Industrial Engineering
Author 
Ram, Mangey. editor. Davim, J. Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60432-9
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers
Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers
Author 
Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76072-8
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
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:
86. 
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:
87. 
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:
88. 
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:
89. 
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:
90. 
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:
91. 
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:
92. 
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:
93. 
Cover image for Modeling, Simulation, and Optimization
Modeling, Simulation, and Optimization
Author 
Vasant, Pandian. editor. Litvinchev, Igor. editor. Marmolejo-Saucedo, José Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70542-2
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Intelligent Control Design and MATLAB Simulation
Intelligent Control Design and MATLAB Simulation
Author 
Liu, Jinkun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5263-7
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
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:
96. 
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:
97. 
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:
98. 
Cover image for Modelling and simulation in the science of micro- and meso-porous materials
Modelling and simulation in the science of micro- and meso-porous materials
Author 
Catlow, C. R. A. (Charles Richard Arthur), 1947- Van Speybroeck, Veronique. Santen, R. A. van (Rutger A.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128050576
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
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:
100. 
Cover image for Comprehensive Healthcare Simulation: Neurosurgery
Comprehensive Healthcare Simulation: Neurosurgery
Author 
Alaraj, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75583-0
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
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:
102. 
Cover image for From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings
From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings
Author 
Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576 Larsen, Jørgen Christian. editor. (orcid)0000-0002-4741-8290 Xiong, Xiaofeng. editor. Hallam, John. editor. Triesch, Jochen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97628-0
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
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:
104. 
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:
105. 
Cover image for Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers
Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers
Author 
Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00787-4
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
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:
107. 
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:
108. 
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:
109. 
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:
110. 
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:
111. 
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:
112. 
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:
113. 
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:
114. 
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:
115. 
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:
116. 
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:
117. 
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:
118. 
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:
119. 
Cover image for Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings
Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings
Author 
Li, Liang. editor. Hasegawa, Kyoko. editor. Tanaka, Satoshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2853-4
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
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:
121. 
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:
122. 
Cover image for Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers
Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers
Author 
Baum, Marcus. editor. Brenner, Gunther. editor. Grabowski, Jens. editor. Hanschke, Thomas. editor. Hartmann, Stefan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96271-9
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
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:
124. 
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:
125. 
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:
126. 
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:
127. 
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:
128. 
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:
129. 
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:
130. 
Cover image for Numerical Simulation of the Aerodynamics of High-Lift Configurations
Numerical Simulation of the Aerodynamics of High-Lift Configurations
Author 
López Mejia, Omar Darío. editor. (orcid)0000-0001-6795-9396 Escobar Gomez, Jaime A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62136-4
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
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:
132. 
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:
133. 
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:
134. 
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:
135. 
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:
136. 
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:
137. 
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:
138. 
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:
139. 
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:
140. 
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:
141. 
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:
142. 
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:
143. 
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:
144. 
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:
145. 
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:
146. 
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:
147. 
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:
148. 
Cover image for Advances in Human Factors in Simulation and Modeling Proceedings of the AHFE 2017 International Conference on Human Factors in Simulation and Modeling, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Advances in Human Factors in Simulation and Modeling Proceedings of the AHFE 2017 International Conference on Human Factors in Simulation and Modeling, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Author 
Cassenti, Daniel N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60591-3
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
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:
150. 
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:
151. 
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:
152. 
Cover image for BIM handbook : a guide to building information modeling for owners, designers, engineers, contractors, and facility managers
BIM handbook : a guide to building information modeling for owners, designers, engineers, contractors, and facility managers
Author 
Eastman, Charles M., author. Sacks, Rafael, author. Lee, Ghang, 1970- author. Teicholz, Paul M., author.
Preferred Shelf Number 
TH437
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119287568
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Integrated computational materials engineering (ICME) for metals : concept and case studies
Integrated computational materials engineering (ICME) for metals : concept and case studies
Author 
Horstemeyer, Mark F. (Mark Fredrick), 1962- editor.
Preferred Shelf Number 
TA459
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119018377
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Complex biological systems : adaptation and tolerance to extreme environments
Complex biological systems : adaptation and tolerance to extreme environments
Author 
Biel, Karl Y., editor Soukhovolsky, Vladislav G., editor Fomina, Irina R., editor
Preferred Shelf Number 
QK912 .C66 2018 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119510390
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Decision analytics and optimization in disease prevention and treatment
Decision analytics and optimization in disease prevention and treatment
Author 
Kong, Nan, editor. Zhang, Shengfan, 1981- editor.
Preferred Shelf Number 
RA643
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118960158
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Computational continuum mechanics
Computational continuum mechanics
Author 
Shabana, Ahmed A., 1951- author.
Preferred Shelf Number 
QA808.2 .S46 2018
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119293248
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Applied chemoinformatics : achievements and future opportunities
Applied chemoinformatics : achievements and future opportunities
Author 
Engel, Thomas, Dr., editor. Gasteiger, J. (Johann), editor.
Preferred Shelf Number 
QD39.3 .E46 A66 2018 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527806539
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Electron Beam-Specimen Interactions and Simulation Methods in Microscopy
Electron Beam-Specimen Interactions and Simulation Methods in Microscopy
Author 
Mendis, Budhika G., author.
Preferred Shelf Number 
QC793.5 .E622
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118696545
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Life sciences, information sciences
Life sciences, information sciences
Author 
Colloque de Cerisy (2016 September 17-24 : Cerisy-la-Salle, France), author. Gaudin, Thierry, editor. Lacroix, Dominique, editor. Maurel, Marie-Christine, editor. Pomerol, Jean-Charles, editor.
Preferred Shelf Number 
QH301
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452713
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Analog automation and digital feedback control techniques
Analog automation and digital feedback control techniques
Author 
Mbihi, Jean.
Preferred Shelf Number 
TJ213
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Statistical analysis of ecotoxicity studies
Statistical analysis of ecotoxicity studies
Author 
Green, John William, 1943- author. Springer, Timothy A., 1948 March 3- author. Holbech, Henrik, 1969- author.
Preferred Shelf Number 
QH541.15 .T68
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119488798
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for An introduction to cyber modeling and simulation
An introduction to cyber modeling and simulation
Author 
Couretas, Jerry M., 1966- author.
Preferred Shelf Number 
QA76.9 .C65
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420842
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Virtual World Design.
Virtual World Design.
Author 
Cudworth, Ann Latham, author. CRC Press LLC.
Preferred Shelf Number 
QA76.9 .C65 C83 2017
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429187384
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Banking systems simulation : theory, practice, and application of modeling shocks, losses, and contagion
Banking systems simulation : theory, practice, and application of modeling shocks, losses, and contagion
Author 
Zedda, Stefano, author.
Preferred Shelf Number 
HG1615 .Z43 2018 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119195924
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Computational acoustics : theory and implementation
Computational acoustics : theory and implementation
Author 
Bergman, David R., author.
Preferred Shelf Number 
QC243 .B38 2018
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119277323
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Computational toxicology : risk assessment for chemicals
Computational toxicology : risk assessment for chemicals
Author 
Ekins, Sean, editor.
Preferred Shelf Number 
RA1199.4 .M37
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119282594
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Emergent behavior in complex systems engineering : a modeling and simulation approach
Emergent behavior in complex systems engineering : a modeling and simulation approach
Author 
Mittal, Saurabh, editor. Diallo, Saikou Y., editor. Tolk, Andreas, editor.
Preferred Shelf Number 
TA168 .E53 2018
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119378952
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Petroleum refinery process modeling : integrated optimization tools and applications
Petroleum refinery process modeling : integrated optimization tools and applications
Author 
Liu, Y. A. (Yih An), author. Chang, Ai-Fu, author. Pashikanti, Kiran, author.
Preferred Shelf Number 
TP690
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527813391
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Communication systems principles using MATLAB
Communication systems principles using MATLAB
Author 
Leis, John, 1966- author.
Preferred Shelf Number 
TK5105 .L45 2018
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119470663
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Advanced techniques and technology of computer-aided feedback control
Advanced techniques and technology of computer-aided feedback control
Author 
Mbihi, Jean, author.
Preferred Shelf Number 
TJ216
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
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:
172. 
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:
173. 
Cover image for Modeling and simulation of logistics flows. 3, Discrete and continuous flows in 2D/3D
Modeling and simulation of logistics flows. 3, Discrete and continuous flows in 2D/3D
Author 
Reveillac, Jean-Michel, author.
Preferred Shelf Number 
HD38.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119368588
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Illuminating statistical analysis using scenarios and simulations
Illuminating statistical analysis using scenarios and simulations
Author 
Kottemann, Jeffrey E.
Preferred Shelf Number 
QA276 .K676 2017 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119296386
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Comprehensive quality by design for pharmaceutical product development and manufacture
Comprehensive quality by design for pharmaceutical product development and manufacture
Author 
Reklaitis, G. V., 1942- editor. García-Munoz, Salvador, 1971- editor. Seymour, Christine, 1967- editor.
Preferred Shelf Number 
RS420
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119356189
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Radio wave propagation and parabolic equation modeling
Radio wave propagation and parabolic equation modeling
Author 
Apaydin, Gökhan, author. Sevgi, Levent, author.
Preferred Shelf Number 
TK6553
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119432166
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Emerging areas in bioengineering
Emerging areas in bioengineering
Author 
Chang, Ho-nam, editor.
Preferred Shelf Number 
TA164
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527803293
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Process systems and materials for CO₂ capture : modelling, design, control and integration
Process systems and materials for CO₂ capture : modelling, design, control and integration
Author 
Papadopoulos, Athanasios I., 1977- editor. Seferlis, Panagiotis, 1967- editor.
Preferred Shelf Number 
TD885.5 .C3
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119106418
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics
The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics
Author 
Tolk, Andreas, editor. Ören, Tuncer I., editor.
Preferred Shelf Number 
QA10.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Very Soft Organic Clay Applied for Road Embankment : Modelling and Optimisation Approach, UNESCO-IHE PhD, Delft, the Netherlands.
Very Soft Organic Clay Applied for Road Embankment : Modelling and Optimisation Approach, UNESCO-IHE PhD, Delft, the Netherlands.
Author 
Limsiri, C., author. CRC Press LLC.
Preferred Shelf Number 
TE210.8
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429094125
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Process modeling and simulation for chemical engineers : theory and practice
Process modeling and simulation for chemical engineers : theory and practice
Author 
Upreti, Simant Ranjan, author.
Preferred Shelf Number 
TP155.7 .U67 2017 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118914670
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Markov chains : from theory to implementation and experimentation
Markov chains : from theory to implementation and experimentation
Author 
Gagniuc, Paul A., author.
Preferred Shelf Number 
QA274.7 .G34 2017
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119387596
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Networking simulation for intelligent transportation systems : high mobile wireless nodes
Networking simulation for intelligent transportation systems : high mobile wireless nodes
Author 
Hilt, Benoit, editor. Berbineau, Marion, editor. Vinel, Alexey, editor. Pirovano, Alain, editor.
Preferred Shelf Number 
TE228.3
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119407447
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Neurobiology of motor control : fundamental concepts and new directions
Neurobiology of motor control : fundamental concepts and new directions
Author 
Hooper, Scott L., editor. Büschges, Ansgar, editor.
Preferred Shelf Number 
QP301
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118873397
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
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:
186. 
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:
187. 
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:
188. 
Cover image for Discrete simulation and animation for mining engineers
Discrete simulation and animation for mining engineers
Author 
Sturgul, John R., author.
Preferred Shelf Number 
TN275 S87 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
189. 
Cover image for Optimization methods in metabolic networks
Optimization methods in metabolic networks
Author 
Maranas, Costas D., 1967- , author. Zomorrodi, Ali R., author.
Preferred Shelf Number 
QP171 M37 2016
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
190. 
Cover image for An introduction to thermodynamic cycle simulations for internal combustion engines
An introduction to thermodynamic cycle simulations for internal combustion engines
Author 
Caton, J. A. (Jerald A.)
Preferred Shelf Number 
TJ756 C38 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
191. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21407-8
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21404-7
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21413-9
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Simulation with Arena
Simulation with Arena
Author 
Kelton, W. David. Sadowski, Randall P. Zupick, Nancy B.
Preferred Shelf Number 
QA76.9.C65 K45 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
195. 
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:
196. 
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:
197. 
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:
198. 
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:
199. 
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:
200. 
Cover image for Principles of object oriented modeling and simulation with Modelica 3.3 : a cyber-physical approach
Principles of object oriented modeling and simulation with Modelica 3.3 : a cyber-physical approach
Author 
Fritzson, Peter A., 1952-
Preferred Shelf Number 
ONLINE(342108.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781118989166
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Simulation modeling and analysis
Simulation modeling and analysis
Author 
Law, Averill M.
Preferred Shelf Number 
QA76.9.C65 L38 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
202. 
Cover image for Computational physics : Problem solving with computers
Computational physics : Problem solving with computers
Author 
Landau, Rubin H. Paez, Manuel J. Bordeianu, Cristian C.
Preferred Shelf Number 
QC20.82 L36 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
203. 
Cover image for Handbook of Manufacturing Engineering and Technology
Handbook of Manufacturing Engineering and Technology
Author 
Nee, Andrew Y. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-4670-4
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Protein Modifications in Pathogenic Dysregulation of Signaling
Protein Modifications in Pathogenic Dysregulation of Signaling
Author 
Inoue, Jun-ichiro. editor. Takekawa, Mutsuhiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-55561-2
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for CAD, 3D Modeling, Engineering Analysis, and Prototype Experimentation Industrial and Research Applications
CAD, 3D Modeling, Engineering Analysis, and Prototype Experimentation Industrial and Research Applications
Author 
Zheng Li, Jeremy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05921-1
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for INS/CNS/GNSS Integrated Navigation Technology
INS/CNS/GNSS Integrated Navigation Technology
Author 
Quan, Wei. author. Li, Jianli. author. Gong, Xiaolin. author. Fang, Jiancheng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45159-5
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Modeling Mobility with Open Data 2nd SUMO Conference 2014 Berlin, Germany, May 15-16, 2014
Modeling Mobility with Open Data 2nd SUMO Conference 2014 Berlin, Germany, May 15-16, 2014
Author 
Behrisch, Michael. editor. Weber, Melanie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15024-6
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Computational Biomechanics for Medicine New Approaches and New Applications
Computational Biomechanics for Medicine New Approaches and New Applications
Author 
Doyle, Barry. editor. Miller, Karol. editor. Wittek, Adam. editor. Nielsen, Poul M.F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15503-6
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Fractional Order Differentiation and Robust Control Design CRONE, H-infinity and Motion Control
Fractional Order Differentiation and Robust Control Design CRONE, H-infinity and Motion Control
Author 
Sabatier, Jocelyn. author. Lanusse, Patrick. author. Melchior, Pierre. author. Oustaloup, Alain. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9807-5
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Noise and Vibration Mitigation for Rail Transportation Systems Proceedings of the 11th International Workshop on Railway Noise, Uddevalla, Sweden, 9-13 September 2013
Noise and Vibration Mitigation for Rail Transportation Systems Proceedings of the 11th International Workshop on Railway Noise, Uddevalla, Sweden, 9-13 September 2013
Author 
Nielsen, Jens C.O. editor. Anderson, David. editor. Gautier, Pierre-Etienne. editor. Iida, Masanobu. editor. Nelson, James T. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44832-8
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Mathematical Modeling of Disperse Two-Phase Flows
Mathematical Modeling of Disperse Two-Phase Flows
Author 
Morel, Christophe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20104-7
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Advanced Multimedia and Ubiquitous Engineering Future Information Technology
Advanced Multimedia and Ubiquitous Engineering Future Information Technology
Author 
Park, James J. (Jong Hyuk). editor. Chao, Han-Chieh. editor. Arabnia, Hamid. editor. Yen, Neil Y. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-47487-7
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Modeling and simulation-based systems engineering handbook
Modeling and simulation-based systems engineering handbook
Author 
D'Ambrogio, Andrea, editor. Gianni, Daniele, editor. Tolk, Andreas, editor.
Preferred Shelf Number 
T57.62 .M588 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Control engineering and information systems
Control engineering and information systems
Author 
Liu, Zhijing, editor. International Conference on Control Engineering and Information System (2014 : Yueyang, Hunan, China)
Preferred Shelf Number 
TJ213 .C66 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
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 
TP325 .R25 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Process modelling and simulation in chemical, biochemical and environmental engineering
Process modelling and simulation in chemical, biochemical and environmental engineering
Author 
Verma, Ashok Kumar, author.
Preferred Shelf Number 
TP155.7 .V47 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21470-2
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49017-4
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22186-1
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Mathematical Progress in Expressive Image Synthesis II Extended and Selected Results from the Symposium MEIS2014
Mathematical Progress in Expressive Image Synthesis II Extended and Selected Results from the Symposium MEIS2014
Author 
Ochiai, Hiroyuki. editor. Anjyo, Ken. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-55483-7
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for The Finite Element Method and Applications in Engineering Using ANSYS®
The Finite Element Method and Applications in Engineering Using ANSYS®
Author 
Madenci, Erdogan. author. Guven, Ibrahim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4899-7550-8
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Computational and Experimental Biomedical Sciences: Methods and Applications ICCEBS 2013 -- International Conference on Computational and Experimental Biomedical Sciences
Computational and Experimental Biomedical Sciences: Methods and Applications ICCEBS 2013 -- International Conference on Computational and Experimental Biomedical Sciences
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-15799-3
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Decision Models in Engineering and Management
Decision Models in Engineering and Management
Author 
Guarnieri, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11949-6
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Hierarchical Sliding Mode Control for Under-actuated Cranes Design, Analysis and Simulation
Hierarchical Sliding Mode Control for Under-actuated Cranes Design, Analysis and Simulation
Author 
Qian, Dianwei. author. Yi, Jianqiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48417-3
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Modeling and Control for a Blended Wing Body Aircraft A Case Study
Modeling and Control for a Blended Wing Body Aircraft A Case Study
Author 
Kozek, Martin. editor. Schirrer, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10792-9
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 2
Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 2
Author 
Mandal, J. K. editor. Satapathy, Suresh Chandra. editor. Kumar Sanyal, Manas. editor. Sarkar, Partha Pratim. editor. Mukhopadhyay, Anirban. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2247-7
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Heat Transfer Modeling An Inductive Approach
Heat Transfer Modeling An Inductive Approach
Author 
Sidebotham, George. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14514-3
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Railway Infrastructure Security
Railway Infrastructure Security
Author 
Setola, Roberto. editor. Sforza, Antonio. editor. Vittorini, Valeria. editor. Pragliola, Concetta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04426-2
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Bond Graph Model-based Fault Diagnosis of Hybrid Systems
Bond Graph Model-based Fault Diagnosis of Hybrid Systems
Author 
Borutzky, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11860-4
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Advancements of Medical Electronics Proceedings of the First International Conference, ICAME 2015
Advancements of Medical Electronics Proceedings of the First International Conference, ICAME 2015
Author 
Gupta, Somsubhra. editor. Bag, Sandip. editor. Ganguly, Karabi. editor. Sarkar, Indranath. editor. Biswas, Papun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2256-9
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for VI Latin American Congress on Biomedical Engineering CLAIB 2014, Paraná, Argentina 29, 30 & 31 October 2014
VI Latin American Congress on Biomedical Engineering CLAIB 2014, Paraná, Argentina 29, 30 & 31 October 2014
Author 
Braidot, Ariel. editor. Hadad, Alejandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13117-7
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Recent Advances in Natural Computing Selected Results from the IWNC 7 Symposium
Recent Advances in Natural Computing Selected Results from the IWNC 7 Symposium
Author 
Suzuki, Yasuhiro. editor. Hagiya, Masami. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-55105-8
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21410-8
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Turbulence
Turbulence
Author 
Bailly, Christophe. author. Comte-Bellot, Geneviève. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16160-0
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Recent Progress in Brain and Cognitive Engineering
Recent Progress in Brain and Cognitive Engineering
Author 
Lee, Seong-Whan. editor. Bülthoff, Heinrich H. editor. Müller, Klaus-Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-7239-6
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for The Science of Golf Putting A Complete Guide for Researchers, Players and Coaches
The Science of Golf Putting A Complete Guide for Researchers, Players and Coaches
Author 
Dias, Gonçalo. author. Couceiro, Micael S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14880-9
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers
Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers
Author 
Obaidat, Mohammad S. editor. Koziel, Slawomir. editor. Kacprzyk, Janusz. editor. Leifsson, Leifur. editor. Ören, Tuncer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11457-6
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Thermal Sensors Principles and Applications for Semiconductor Industries
Thermal Sensors Principles and Applications for Semiconductor Industries
Author 
Jha, Chandra Mohan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-2581-0
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering
Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering
Author 
Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06773-5
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Future Information Technology - II
Future Information Technology - II
Author 
Park, James J. (Jong Hyuk). editor. Pan, Yi. editor. Kim, Cheonshik. editor. Yang, Yun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9558-6
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Simulation technologies in networking and communications : selecting the best tool for the test
Simulation technologies in networking and communications : selecting the best tool for the test
Author 
Pathan, Al-Sakib Khan, editor. Monowar, Muhammad Mostafa, editor. Khan, Shafiullah, editor.
Preferred Shelf Number 
QA76.9 .C65 S56 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Rock fall engineering
Rock fall engineering
Author 
Wyllie, Duncan C., author.
Preferred Shelf Number 
TA749 .W95 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for The uncanny valley in games and animation
The uncanny valley in games and animation
Author 
Tinwell, Angela, author.
Preferred Shelf Number 
TR897.7 .T597 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
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 
QA76.9 .C65 H349 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Digital communications with emphasis on data modems : theory, analysis, design, simulation, testing, and applications
Digital communications with emphasis on data modems : theory, analysis, design, simulation, testing, and applications
Author 
Middlestead, Richard W.
Preferred Shelf Number 
TK5103.7
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119011866
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Quasi-Dimensional Simulation of Spark Ignition Engines From Thermodynamic Optimization to Cyclic Variability
Quasi-Dimensional Simulation of Spark Ignition Engines From Thermodynamic Optimization to Cyclic Variability
Author 
Medina, Alejandro. author. Curto-Risso, Pedro Luis. author. Hernández, Antonio Calvo. author. Guzmán-Vargas, Lev. author. Angulo-Brown, Fernando. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-5289-7
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Multiphysics Simulation Electromechanical System Applications and Optimization
Multiphysics Simulation Electromechanical System Applications and Optimization
Author 
Dede, Ercan M. author. Lee, Jaewook. author. Nomura, Tsuyoshi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-5640-6
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
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:
249. 
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:
250. 
Cover image for Introduction to Transportation Analysis, Modeling and Simulation Computational Foundations and Multimodal Applications
Introduction to Transportation Analysis, Modeling and Simulation Computational Foundations and Multimodal Applications
Author 
Möller, Dietmar P.F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-5637-6
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
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:
252. 
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:
253. 
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:
254. 
Cover image for Augmented Environments for Computer-Assisted Interventions 9th International Workshop, AE-CAI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014, Proceedings
Augmented Environments for Computer-Assisted Interventions 9th International Workshop, AE-CAI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014, Proceedings
Author 
Linte, Cristian A. editor. Yaniv, Ziv. editor. Fallavollita, Pascal. editor. Abolmaesumi, Purang. editor. Holmes III, David. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10437-9
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
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:
256. 
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:
257. 
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:
258. 
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:
259. 
Cover image for Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings
Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings
Author 
Brugali, Davide. editor. Broenink, Jan. editor. Kroeger, Torsten. editor. MacDonald, Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11900-7
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers
Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers
Author 
Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12084-3
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2014, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part I
Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2014, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part I
Author 
Ma, Shiwei. editor. Jia, Li. editor. Li, Xin. editor. Wang, Ling. editor. Zhou, Huiyu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45283-7
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Computational Methods in Power System Analysis
Computational Methods in Power System Analysis
Author 
Idema, Reijer. author. Lahaye, Domenico J.P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.2991/978-94-6239-064-5
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
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:
264. 
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:
265. 
Cover image for Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings
Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings
Author 
Bello, Fernando. editor. Cotin, Stéphane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12057-7
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
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:
267. 
Cover image for Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings
Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings
Author 
Tan, Tieniu. editor. Ruan, Qiuqi. editor. Wang, Shengjin. editor. Ma, Huimin. editor. Huang, Kaiqi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45498-5
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
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:
269. 
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:
270. 
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:
271. 
Cover image for Multisensory Softness Perceived Compliance from Multiple Sources of Information
Multisensory Softness Perceived Compliance from Multiple Sources of Information
Author 
Di Luca, Massimiliano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6533-0
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
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:
273. 
Cover image for Intelligent Computing in Smart Grid and Electrical Vehicles International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅲ
Intelligent Computing in Smart Grid and Electrical Vehicles International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅲ
Author 
Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Qun, Niu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45286-8
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Cultural Diversity for Virtual Characters Investigating Behavioral Aspects across Cultures
Cultural Diversity for Virtual Characters Investigating Behavioral Aspects across Cultures
Author 
Endrass, Birgit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-04910-2
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
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:
276. 
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:
277. 
Cover image for Haptic Rendering for Simulation of Fine Manipulation
Haptic Rendering for Simulation of Fine Manipulation
Author 
Wang, Dangxiao. author. Xiao, Jing. author. Zhang, Yuru. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44949-3
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
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:
279. 
Cover image for KI 2014: Advances in Artificial Intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings
KI 2014: Advances in Artificial Intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings
Author 
Lutz, Carsten. editor. Thielscher, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11206-0
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers
Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers
Author 
Hodicky, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13823-7
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
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:
282. 
Cover image for Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
Author 
Anderson, Neal G. editor. Bhanja, Sanjukta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43722-3
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Emotion Modeling Towards Pragmatic Computational Models of Affective Processes
Emotion Modeling Towards Pragmatic Computational Models of Affective Processes
Author 
Bosse, Tibor. editor. Broekens, Joost. editor. Dias, João. editor. (orcid)0000-0002-1653-1821 van der Zwaan, Janneke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12973-0
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Transactions on Computational Collective Intelligence XV
Transactions on Computational Collective Intelligence XV
Author 
Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Kowalczyk, Ryszard. editor. Corchado, Juan Manuel. editor. Bajo, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44750-5
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
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:
286. 
Cover image for Medical Computer Vision: Algorithms for Big Data International Workshop, MCV 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers
Medical Computer Vision: Algorithms for Big Data International Workshop, MCV 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers
Author 
Menze, Bjoern. editor. Langs, Georg. editor. Montillo, Albert. editor. Kelm, Michael. editor. Müller, Henning. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13972-2
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings
Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings
Author 
Bazzan, Ana L.C. editor. Pichara, Karim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12027-0
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
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:
289. 
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:
290. 
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:
291. 
Cover image for AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings
AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings
Author 
Tanaka, Satoshi. editor. Hasegawa, Kyoko. editor. Xu, Rui. editor. Sakamoto, Naohisa. editor. Turner, Stephen John. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45289-9
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
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:
293. 
Cover image for The Cambridge handbook of multimedia learning
The Cambridge handbook of multimedia learning
Author 
Mayer, Richard E., 1947- editor.
Preferred Shelf Number 
LB1028.5 .C283 2014
Electronic Access 
https://doi.org/10.1017/CBO9781139547369
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
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:
295. 
Cover image for Modelling and Simulation of Diffusive Processes Methods and Applications
Modelling and Simulation of Diffusive Processes Methods and Applications
Author 
Basu, S.K. editor. Kumar, Naveen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05657-9
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
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:
297. 
Cover image for Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers
Author 
Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54338-8
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
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:
299. 
Cover image for Simulation of ODE/PDE Models with MATLAB®, OCTAVE and SCILAB Scientific and Engineering Applications
Simulation of ODE/PDE Models with MATLAB®, OCTAVE and SCILAB Scientific and Engineering Applications
Author 
Vande Wouwer, Alain. author. Saucez, Philippe. author. Vilas, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06790-2
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets