Limit Search Results
Author
SpringerLink (Online service)
(1137)
Gervasi, Osvaldo. editor.
(34)
Taniar, David. editor.
(31)
Murgante, Beniamino. editor.
(22)
Apduhan, Bernady O. editor.
(18)
Language
Publication Date
-
Subject
Computer science.
(712)
Artificial intelligence.
(332)
Software engineering.
(318)
Engineering.
(176)
Computer vision.
(163)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
1192 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Computer Simulation of Thermal Plant Operations
Computer Simulation of Thermal Plant Operations
Author 
O'Kelly, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331461.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4256-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Systems modeling and computer simulation
Systems modeling and computer simulation
Author 
Kheir, Naim A., 1933- ed.
Preferred Shelf Number 
QA 76.9.C65 S975 1996
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Co-designers cultures of computer simulation in architecture
Co-designers cultures of computer simulation in architecture
Author 
Loukissas, Yanni A. (Yanni Alexander)
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Modeling and simulation : the computer science of illusion
Modeling and simulation : the computer science of illusion
Author 
Raczynski, Stanislaw.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Summer of Simulation 50 Years of Seminal Computer Simulation Research
Summer of Simulation 50 Years of Seminal Computer Simulation Research
Author 
Sokolowski, John. editor. Durak, Umut. editor. Mustafee, Navonil. editor. Tolk, Andreas. editor. (orcid)0000-0002-4201-8757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17164-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives
Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives
Author 
Beisbart, Claus. editor. Saam, Nicole J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70766-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35248-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I
Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I
Author 
Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21783-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II
Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II
Author 
Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21802-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation
Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation
Author 
Kogan, Boris Ja. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76686-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Recent Advances in Network Simulation The OMNeT++ Environment and its Ecosystem
Recent Advances in Network Simulation The OMNeT++ Environment and its Ecosystem
Author 
Virdis, Antonio. editor. Kirsche, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12842-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
13. 
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:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
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:
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 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:
22. 
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:
23. 
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:
24. 
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:
25. 
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:
26. 
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:
27. 
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:
28. 
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:
29. 
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:
30. 
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:
31. 
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:
32. 
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:
33. 
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:
34. 
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:
35. 
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:
36. 
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:
37. 
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:
38. 
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:
39. 
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:
40. 
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:
41. 
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:
42. 
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:
43. 
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:
44. 
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:
45. 
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:
46. 
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:
47. 
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:
48. 
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:
49. 
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:
50. 
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:
51. 
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:
52. 
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:
53. 
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:
54. 
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:
55. 
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:
56. 
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:
57. 
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:
58. 
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:
59. 
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:
60. 
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:
61. 
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:
62. 
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:
63. 
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:
64. 
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:
65. 
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:
66. 
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:
67. 
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:
68. 
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:
69. 
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:
70. 
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:
71. 
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:
72. 
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:
73. 
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:
74. 
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:
75. 
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:
76. 
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:
77. 
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:
78. 
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:
79. 
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:
80. 
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:
81. 
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:
82. 
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:
83. 
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:
84. 
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:
85. 
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:
86. 
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:
87. 
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:
88. 
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:
89. 
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:
90. 
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:
91. 
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:
92. 
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:
93. 
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:
94. 
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:
95. 
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:
96. 
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:
97. 
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:
98. 
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:
99. 
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:
100. 
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:
101. 
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:
102. 
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:
103. 
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:
104. 
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:
105. 
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:
106. 
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:
107. 
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:
108. 
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:
109. 
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:
110. 
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:
111. 
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:
112. 
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:
113. 
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:
114. 
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:
115. 
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:
116. 
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:
117. 
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:
118. 
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:
119. 
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:
120. 
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:
121. 
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:
122. 
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:
123. 
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:
124. 
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:
125. 
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:
126. 
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:
127. 
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:
128. 
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:
129. 
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:
130. 
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:
131. 
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:
132. 
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:
133. 
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:
134. 
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:
135. 
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:
136. 
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:
137. 
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:
138. 
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:
139. 
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:
140. 
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:
141. 
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:
142. 
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:
143. 
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:
144. 
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:
145. 
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:
146. 
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:
147. 
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:
148. 
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:
149. 
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:
150. 
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:
151. 
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:
152. 
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 
ONLINE(357100.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
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:
154. 
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:
155. 
Cover image for Bayesian programming
Bayesian programming
Author 
Bessiere, Pierre.
Preferred Shelf Number 
QA76.6 B4764 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
156. 
Cover image for System simulation techniques with MATLAB and Simulink
System simulation techniques with MATLAB and Simulink
Author 
Xue, Dingyü. Chen, YangQuan, 1966-
Preferred Shelf Number 
T57.62 X84 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
157. 
Cover image for Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
Author 
Horváth, András. editor. Wolter, Katinka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10885-8
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
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:
159. 
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:
160. 
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:
161. 
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:
162. 
Cover image for Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings
Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings
Author 
Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12982-2
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Decision Support Systems III - Impact of Decision Support Systems for Global Environments Euro Working Group Workshops, EWG-DSS 2013, Thessaloniki, Greece, May 29-31, 2013, and Rome, Italy, July 1-4, 2013, Revised Selected and Extended Papers
Decision Support Systems III - Impact of Decision Support Systems for Global Environments Euro Working Group Workshops, EWG-DSS 2013, Thessaloniki, Greece, May 29-31, 2013, and Rome, Italy, July 1-4, 2013, Revised Selected and Extended Papers
Author 
Dargam, Fátima. editor. Hernández, Jorge E. editor. Zaraté, Pascale. editor. Liu, Shaofeng. editor. Ribeiro, Rita. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11364-7
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
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:
165. 
Cover image for Morphological Modeling of Terrains and Volume Data
Morphological Modeling of Terrains and Volume Data
Author 
Čomić, Lidija. author. De Floriani, Leila. author. Magillo, Paola. author. Iuricich, Federico. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-2149-2
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings
Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings
Author 
Demazeau, Yves. editor. Zambonelli, Franco. editor. (orcid)0000-0002-6837-8806 Corchado Rodríguez, Juan M. editor. Bajo Pérez, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07551-8
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
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:
168. 
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:
169. 
Cover image for Distributed Model Predictive Control Made Easy
Distributed Model Predictive Control Made Easy
Author 
Maestre, José M. editor. Negenborn, Rudy R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-007-7006-5
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Precision Assembly Technologies and Systems 7th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2014, Chamonix, France, February 16-18, 2014, Revised Selected Papers
Precision Assembly Technologies and Systems 7th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2014, Chamonix, France, February 16-18, 2014, Revised Selected Papers
Author 
Ratchev, Svetan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45586-9
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
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:
172. 
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:
173. 
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:
174. 
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:
175. 
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:
176. 
Cover image for Synthetic Biology From iGEM to the Artificial Cell
Synthetic Biology From iGEM to the Artificial Cell
Author 
Porcar, Manuel. author. Peretó, Juli. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9382-7
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
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:
178. 
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:
179. 
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:
180. 
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:
181. 
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:
182. 
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:
183. 
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:
184. 
Cover image for Telematics - Support for Transport 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Krakow/Ustron, Poland, October 22-25, 2014. Proceedings
Telematics - Support for Transport 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Krakow/Ustron, Poland, October 22-25, 2014. Proceedings
Author 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45317-9
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
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:
186. 
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:
187. 
Cover image for Discrete and continuous simulation : theory and practice
Discrete and continuous simulation : theory and practice
Author 
Bandyopadhyay, Susmita, author. Bhattacharya, Ranjan, author.
Preferred Shelf Number 
ONLINE(356664.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Elements of stochastic modelling
Elements of stochastic modelling
Author 
Borovkov, K.
Preferred Shelf Number 
QA274 B655 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
189. 
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:
190. 
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:
191. 
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:
192. 
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:
193. 
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:
194. 
Cover image for Handbook of Parallel and distributed simulation systems : Analysis and applications
Handbook of Parallel and distributed simulation systems : Analysis and applications
Author 
Takahashi N. W.
Preferred Shelf Number 
QA76.9.C65 F84 2014 V.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
195. 
Cover image for Virtual world design : creating immersive virtual environments
Virtual world design : creating immersive virtual environments
Author 
Cudworth, Ann Latham, 1955- author.
Preferred Shelf Number 
ONLINE(356384.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
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:
197. 
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:
198. 
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:
199. 
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:
200. 
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:
201. 
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:
202. 
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:
203. 
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:
204. 
Cover image for Bio-inspired Computing: Theories and Applications 9th International Conference, BIC-TA 2014, Wuhan, China, October 16-19, 2014, Proceedings
Bio-inspired Computing: Theories and Applications 9th International Conference, BIC-TA 2014, Wuhan, China, October 16-19, 2014, Proceedings
Author 
Pan, Linqiang. editor. Paun, Gheorghe. editor. Pérez-Jiménez, Mario J. editor. Song, Tao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45049-9
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
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:
206. 
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:
207. 
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:
208. 
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:
209. 
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:
210. 
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:
211. 
Cover image for Mathematical Methods in Engineering
Mathematical Methods in Engineering
Author 
Fonseca Ferreira, Nuno Miguel. editor. Tenreiro Machado, José António. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-007-7183-3
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
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:
213. 
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:
214. 
Cover image for Context in Computing A Cross-Disciplinary Approach for Modeling the Real World
Context in Computing A Cross-Disciplinary Approach for Modeling the Real World
Author 
Brézillon, Patrick. editor. Gonzalez, Avelino J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-1887-4
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
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:
216. 
Cover image for Development of Innovative Drugs via Modeling with MATLAB A Practical Guide
Development of Innovative Drugs via Modeling with MATLAB A Practical Guide
Author 
Gieschke, Ronald. author. Serafin, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-39765-3
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
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:
218. 
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:
219. 
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:
220. 
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:
221. 
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:
222. 
Cover image for Variational Regularization of 3D Data Experiments with MATLAB®
Variational Regularization of 3D Data Experiments with MATLAB®
Author 
Montegranario, Hebert. author. Espinosa, Jairo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-0533-1
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Process Design for Natural Scientists An Agile Model-Driven Approach
Process Design for Natural Scientists An Agile Model-Driven Approach
Author 
Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45006-2
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Algorithmic Game Theory 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 -- October 2, 2014, Proceedings
Algorithmic Game Theory 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 -- October 2, 2014, Proceedings
Author 
Lavi, Ron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44803-8
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Simulation of Urban Mobility First International Conference, SUMO 2013, Berlin, Germany, May 15-17, 2013. Revised Selected Papers
Simulation of Urban Mobility First International Conference, SUMO 2013, Berlin, Germany, May 15-17, 2013. Revised Selected Papers
Author 
Behrisch, Michael. editor. Krajzewicz, Daniel. editor. Weber, Melanie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45079-6
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Mathematical Methods for Curves and Surfaces 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers
Mathematical Methods for Curves and Surfaces 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers
Author 
Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Morken, Knut. editor. Schumaker, Larry L. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54382-1
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
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:
228. 
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:
229. 
Cover image for Advanced Field-Solver Techniques for RC Extraction of Integrated Circuits
Advanced Field-Solver Techniques for RC Extraction of Integrated Circuits
Author 
Yu, Wenjian. author. Wang, Xiren. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54298-5
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers
High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers
Author 
Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10214-6
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Intelligent Control A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms
Intelligent Control A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms
Author 
Siddique, Nazmul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-02135-5
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Multiagent System Technologies 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014, Proceedings
Multiagent System Technologies 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014, Proceedings
Author 
Müller, Jörg P. editor. Weyrich, Michael. editor. Bazzan, Ana L.C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11584-9
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers
Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers
Author 
Klingert, Sonja. editor. Hesselbach-Serra, Xavier. editor. Perez Ortega, Maria. editor. Giuliani, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55149-9
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
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:
235. 
Cover image for Advances in Conceptual Modeling ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings
Advances in Conceptual Modeling ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings
Author 
Indulska, Marta. editor. Purao, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12256-4
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Accelerated Lattice Boltzmann Model for Colloidal Suspensions Rheology and Interface Morphology
Accelerated Lattice Boltzmann Model for Colloidal Suspensions Rheology and Interface Morphology
Author 
Farhat, Hassan. author. Lee, Joon Sang. author. Kondaraju, Sasidhar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4899-7402-0
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
Author 
Alam, Shah Jamal. editor. Parunak, H. Van Dyke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54783-6
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
Author 
Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43779-7
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
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:
240. 
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:
241. 
Cover image for Advances in Conceptual Modeling ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers
Advances in Conceptual Modeling ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers
Author 
Parsons, Jeffrey. editor. Chiu, Dickson. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14139-8
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
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:
243. 
Cover image for Computational Finance An Introductory Course with R
Computational Finance An Introductory Course with R
Author 
Arratia, Argimiro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.2991/978-94-6239-070-6
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Simulation
Simulation
Author 
Ross, Sheldon M.
Preferred Shelf Number 
ONLINE(312914.1)
Electronic Access 
Knovel http://app.knovel.com/web/toc.v/cid:kpSE000016
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Multidimensional Data Visualization Methods and Applications
Multidimensional Data Visualization Methods and Applications
Author 
Dzemyda, Gintautas. author. Kurasova, Olga. author. Žilinskas, Julius. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330795.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0236-8
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Crowd Simulation
Crowd Simulation
Author 
Thalmann, Daniel. author. Musse, Soraia Raupp. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330982.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4450-2
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Quality Management in Reverse Logistics A Broad Look on Quality Issues and Their Interaction with Closed-Loop Supply Chains
Quality Management in Reverse Logistics A Broad Look on Quality Issues and Their Interaction with Closed-Loop Supply Chains
Author 
Nikolaidis, Yiannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331003.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4537-0
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Guide to Modeling and Simulation of Systems of Systems User’s Reference
Guide to Modeling and Simulation of Systems of Systems User’s Reference
Author 
Zeigler, Bernard P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331013.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4570-7
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control Method, Software and Industrial Application
Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control Method, Software and Industrial Application
Author 
Kang, Shu Gang. author. Choi, Shiu Hong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331015.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4576-9
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Multi-finger Haptic Interaction
Multi-finger Haptic Interaction
Author 
Galiana, Ignacio. editor. Ferre, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331173.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5204-0
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture
Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture
Author 
Rockcastle, Siobhan. author. Andersen, Marilyne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331178.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5233-0
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Using Event-B for Critical Device Software Systems
Using Event-B for Critical Device Software Systems
Author 
Singh, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331181.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Probability Models
Probability Models
Author 
Haigh, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331195.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5343-6
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Advances in Applied Self-Organizing Systems
Advances in Applied Self-Organizing Systems
Author 
Prokopenko, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331148.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5113-5
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Assessment and Simulation Tools for Sustainable Energy Systems Theory and Applications
Assessment and Simulation Tools for Sustainable Energy Systems Theory and Applications
Author 
Cavallaro, Fausto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331156.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5143-2
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Simulation and Learning A Model-Centered Approach
Simulation and Learning A Model-Centered Approach
Author 
Landriscina, Franco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331291.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1954-9
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Foundations and Methods of Stochastic Simulation A First Course
Foundations and Methods of Stochastic Simulation A First Course
Author 
Nelson, Barry L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331960.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6160-9
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Understanding Statistics Using R
Understanding Statistics Using R
Author 
Schumacker, Randall. author. Tomek, Sara. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331978.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6227-9
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Process Simulation and Parametric Modeling for Strategic Project Management
Process Simulation and Parametric Modeling for Strategic Project Management
Author 
Morales, Peter J. author. Anderson, Dennis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332177.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6989-6
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Modeling Trust Context in Networks
Modeling Trust Context in Networks
Author 
Adali, Sibel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332190.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7031-1
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Computational Medicine in Data Mining and Modeling
Computational Medicine in Data Mining and Modeling
Author 
Rakocevic, Goran. editor. Djukic, Tijana. editor. Filipovic, Nenad. editor. Milutinović, Veljko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332448.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8785-2
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Towards Advanced Data Analysis by Combining Soft Computing and Statistics
Towards Advanced Data Analysis by Combining Soft Computing and Statistics
Author 
Borgelt, Christian. editor. Gil, María Ángeles. editor. Sousa, João M.C. editor. Verleysen, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333309.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30278-7
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Consensus and Synchronization in Complex Networks
Consensus and Synchronization in Complex Networks
Author 
Kocarev, Ljupco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333698.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33359-0
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Pro-active Dynamic Vehicle Routing Real-Time Control and Request-Forecasting Approaches to Improve Customer Service
Pro-active Dynamic Vehicle Routing Real-Time Control and Request-Forecasting Approaches to Improve Customer Service
Author 
Ferrucci, Francesco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333715.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33472-6
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Proceedings of the 21st International Meshing Roundtable
Proceedings of the 21st International Meshing Roundtable
Author 
Jiao, Xiangmin. editor. Weill, Jean-Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333723.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33573-0
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Author 
Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334055.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35813-5
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Earth System Modelling - Volume 1 Recent Developments and Projects
Earth System Modelling - Volume 1 Recent Developments and Projects
Author 
Puri, Kamal. author. Redler, René. author. Budich, Reinhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334243.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36597-3
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Domain Engineering Product Lines, Languages, and Conceptual Models
Domain Engineering Product Lines, Languages, and Conceptual Models
Author 
Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.
Preferred Shelf Number 
ONLINE(334257.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36654-3
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
Author 
Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334290.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36781-6
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Transactions on Computational Collective Intelligence IX
Transactions on Computational Collective Intelligence IX
Author 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334300.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36815-8
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Repetitive Motion Planning and Control of Redundant Robot Manipulators
Repetitive Motion Planning and Control of Redundant Robot Manipulators
Author 
Zhang, Yunong. author. Zhang, Zhijun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334446.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37518-7
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Author 
Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Preferred Shelf Number 
ONLINE(334508.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37974-1
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
Author 
Demazeau, Yves. editor. Ishida, Toru. editor. Corchado, Juan M. editor. Bajo, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334528.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38073-0
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Clinical Image-Based Procedures. From Planning to Intervention International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
Clinical Image-Based Procedures. From Planning to Intervention International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
Author 
Drechsler, Klaus. editor. Erdt, Marius. editor. Linguraru, Marius George. editor. Oyarzun Laura, Cristina. editor. Sharma, Karun. editor.
Preferred Shelf Number 
ONLINE(334530.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38079-2
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings
Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings
Author 
Fernández-Izquierdo, María Ángeles. editor. Muñoz-Torres, María Jesús. editor. León, Raúl. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334573.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38279-6
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Advanced Computing
Advanced Computing
Author 
Bader, Michael. editor. Bungartz, Hans-Joachim. editor. Weinzierl, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334664.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38762-3
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings
Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings
Author 
Barratt, Dean. editor. Cotin, Stéphane. editor. Fichtinger, Gabor. editor. Jannin, Pierre. editor. Navab, Nassir. editor.
Preferred Shelf Number 
ONLINE(334624.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38568-1
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Functional Imaging and Modeling of the Heart 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings
Functional Imaging and Modeling of the Heart 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings
Author 
Ourselin, Sébastien. editor. Rueckert, Daniel. editor. Smith, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334694.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38899-6
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Author 
Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334698.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38916-0
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for A Journey from Robot to Digital Human Mathematical Principles and Applications with MATLAB Programming
A Journey from Robot to Digital Human Mathematical Principles and Applications with MATLAB Programming
Author 
Gu, Edward Y L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334717.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39047-0
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
Author 
Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334725.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39074-6
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334826.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39637-3
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334827.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39640-3
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334828.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39643-4
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334829.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39646-5
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334830.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39649-6
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334837.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Intelligent Mechatronic Systems Modeling, Control and Diagnosis
Intelligent Mechatronic Systems Modeling, Control and Diagnosis
Author 
Merzouki, Rochdi. author. Samantaray, Arun Kumar. author. Pathak, Pushparaj Mani. author. Ould Bouamama, Belkacem. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331028.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4628-5
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Grasping in Robotics
Grasping in Robotics
Author 
Carbone, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331037.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4664-3
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation
Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation
Author 
ElAarag, Hala. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331089.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4893-7
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Intelligent Energy Demand Forecasting
Intelligent Energy Demand Forecasting
Author 
Hong, Wei-Chiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331108.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4968-2
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Modeling and Simulating Command and Control For Organizations Under Extreme Situations
Modeling and Simulating Command and Control For Organizations Under Extreme Situations
Author 
Moon, Il-Chul. author. Carley, Kathleen M. author. Kim, Tag Gon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331124.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5037-4
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Semantic Modeling and Interoperability in Product and Process Engineering A Technology for Engineering Informatics
Semantic Modeling and Interoperability in Product and Process Engineering A Technology for Engineering Informatics
Author 
Ma, Yongsheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331135.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5073-2
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for New Trends in Interaction, Virtual Reality and Modeling
New Trends in Interaction, Virtual Reality and Modeling
Author 
Penichet, Victor M.R. editor. Peñalver, Antonio. editor. Gallud, José A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331204.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5445-7
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Visual Heritage in the Digital Age
Visual Heritage in the Digital Age
Author 
Ch'ng, Eugene. editor. Gaffney, Vincent. editor. Chapman, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331214.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5535-5
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Extremal Fuzzy Dynamic Systems Theory and Applications
Extremal Fuzzy Dynamic Systems Theory and Applications
Author 
Sirbiladze, Gia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331460.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4250-9
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Predicting the Future Completing Models of Observed Complex Systems
Predicting the Future Completing Models of Observed Complex Systems
Author 
Abarbanel, Henry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332234.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7218-6
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Modeling, Simulation and Visual Analysis of Crowds A Multidisciplinary Perspective
Modeling, Simulation and Visual Analysis of Crowds A Multidisciplinary Perspective
Author 
Ali, Saad. editor. Nishino, Ko. editor. Manocha, Dinesh. editor. Shah, Mubarak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332421.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8483-7
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for New Geometric Data Structures for Collision Detection and Haptics
New Geometric Data Structures for Collision Detection and Haptics
Author 
Weller, René. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332832.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01020-5
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013
Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013
Author 
Resch, Michael M. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor. Kovalenko, Yevgeniya. editor.
Preferred Shelf Number 
ONLINE(332866.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01439-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets