Search Results for Computer Simulation - Narrowed by: Computer simulation.

Computer Simulation of Thermal Plant Operations

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Systems modeling and computer simulation

2026-03-19T19:50:47Z

Author Kheir, Naim A., 1933- ed.
Preferred Shelf Number QA 76.9.C65 S975 1996
Format: Books
Availability Beytepe Library~1

Co-designers cultures of computer simulation in architecture

2026-03-19T19:50:47Z

Author Loukissas, Yanni A. (Yanni Alexander)
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Modeling and simulation : the computer science of illusion

2026-03-19T19:50:47Z

Author Raczynski, Stanislaw.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Summer of Simulation 50 Years of Seminal Computer Simulation Research

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Analysis and Simulation of Electrical and Computer Systems

2026-03-19T19:50:47Z

Author Gołębiowski, Lesław. editor. Mazur, Damian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11248-0
Format: Electronic Resources
Availability Online Library~1

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

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Modeling and simulation of everyday things

2026-03-19T19:50:47Z

Author Roth, Michael W., PhD, author.
Preferred Shelf Number QA76.9 .C65
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003604518 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

2026-03-19T19:50:47Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82949-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

2026-03-19T19:50:47Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82957-4
Format: Electronic Resources
Availability Online Library~1

Model-based enterprise : achieving lasting value with MBD and MBE

2026-03-19T19:50:47Z

Author Fischer, Bryan R., 1960- author.
Preferred Shelf Number QA76.9 .C65
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003203797 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

2026-03-19T19:50:47Z

Author Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73370-3
Format: Electronic Resources
Availability Online Library~1

Expanding Senses using Neurotechnology Volume 1 ‒ Foundation of Brain-Computer Interface Technology

2026-03-19T19:50:47Z

Author Chaudhary, Ujwal. author. (orcid)0000-0002-7887-1012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76081-5
Format: Electronic Resources
Availability Online Library~1

Expanding Senses using Neurotechnology Volume 2 ‒ Brain Computer Interfaces and their Applications

2026-03-19T19:50:47Z

Author Chaudhary, Ujwal. author. (orcid)0000-0002-7887-1012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78991-5
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

2026-03-19T19:50:47Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-83885-9
Format: Electronic Resources
Availability Online Library~1

Control Systems Benchmarks

2026-03-19T19:50:47Z

Author Maestre, José M. editor. (orcid)0000-0002-4968-6811 Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76312-0
Format: Electronic Resources
Availability Online Library~1

Dynamic Models of Energy, Robotic, and Biological Systems Systems, Design, and Validation

2026-03-19T19:50:47Z

Author Rubio, Jose de Jesus. author. (orcid)0000-0002-2005-5979 Zacarias, Alejandro. author. (orcid)0000-0002-6427-4911 Pacheco, Jaime. author. (orcid)0000-0002-2377-1639 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85438-5
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

2026-03-19T19:50:47Z

Author Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93706-4
Format: Electronic Resources
Availability Online Library~1

Towards Effective Flow Control and Mitigation of Shock Effects in Aeronautical Applications

2026-03-19T19:50:47Z

Author Flaszynski, Pawel. editor. Babinsky, Holger. editor. (orcid)0000-0002-7647-7126 Doerffer, Piotr. editor. (orcid)0000-0002-2464-2054 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86605-0
Format: Electronic Resources
Availability Online Library~1

Computational Modeling and Sustainable Energy Proceedings of ICCMSE 2023

2026-03-19T19:50:47Z

Author Jha, Brajesh Kumar. editor. (orcid)0000-0001-9370-2949 Jha, Navnit. editor. (orcid)0000-0001-7884-8640 Brahma, Jwngsar. editor. Yavuz, Mehmet. editor. (orcid)0000-0002-3966-6518 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-6794-6
Format: Electronic Resources
Availability Online Library~1

Multivariable Control Engineering Problems and their Solutions with GNU Octave

2026-03-19T19:50:47Z

Author Borutzky, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95408-5
Format: Electronic Resources
Availability Online Library~1

Biomechanics of Dental Implants 3-Dimensional Bone Assessment Using CBCT from Laboratory to Clinics

2026-03-19T19:50:47Z

Author Genisa, Maya. author. Shuib, Solehuddin. author. (orcid)0000-0003-4012-6188 Rajion, Zainul Ahmad. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6023-0
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems 10th International Conference, MESAS 2023, Palermo, Italy, October 17-19, 2023, Revised Selected Papers

2026-03-19T19:50:47Z

Author Mazal, Jan. editor. (orcid)0000-0001-5741-558X Fagiolini, Adriano. editor. (orcid)0000-0001-9943-1975 Vasik, Petr. editor. (orcid)0000-0001-6725-7378 Pacillo, Francesco. editor. Bruzzone, Agostino. editor. (orcid)0000-0002-0155-5310
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71397-2
Format: Electronic Resources
Availability Online Library~1

Clean Energy Technology and Energy Storage Systems 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part III

2026-03-19T19:50:47Z

Author Li, Kang. editor. Liu, Kailong. editor. Hu, Yukun. editor. (orcid)0000-0002-7480-4250 Tan, Mao. editor. Zhang, Long. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0232-2
Format: Electronic Resources
Availability Online Library~1

Understanding Modelling and Programming

2026-03-19T19:50:47Z

Author Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71280-7
Format: Electronic Resources
Availability Online Library~1

Smart Grid and Cyber Security Technologies 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part II

2026-03-19T19:50:47Z

Author Du, Dajun. editor. Jia, Xinchun. editor. Zhao, Wanqing. editor. Li, Xue. editor. Sun, Xin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0225-4
Format: Electronic Resources
Availability Online Library~1

Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV

2026-03-19T19:50:47Z

Author Peng, Chen. editor. Wang, Yulong. editor. (orcid)0000-0002-6508-0051 Guan, Yanpeng. editor. Sun, Qing. editor. (orcid)0000-0002-9662-2685 Chen, Zhi. editor. (orcid)0000-0002-9307-4871
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0294-0
Format: Electronic Resources
Availability Online Library~1

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I

2026-03-19T19:50:47Z

Author Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2882-7
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

2026-03-19T19:50:47Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90643-5
Format: Electronic Resources
Availability Online Library~1

Engineering Mathematics with MATLAB® and Simulink®

2026-03-19T19:50:47Z

Author Asadi, Farzin. author. (orcid)0000-0002-5928-0807 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85244-2
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 9th International Conference on Civil Engineering ICOCE 2025, 22-24 March, Singapore

2026-03-19T19:50:47Z

Author Strauss, Eric J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-8990-3
Format: Electronic Resources
Availability Online Library~1

Digital Twin Adoption and BIM-GIS Implementation

2026-03-19T19:50:47Z

Author Sepasgozar, Samad M. E., editor. Shirowzhan, Sara, editor.
Preferred Shelf Number QA76.9 .C65
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003507000 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

From Animals to Animats 17 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings

2026-03-19T19:50:47Z

Author Brock, Oliver. editor. (orcid)0000-0002-3719-7754 Krichmar, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71533-4
Format: Electronic Resources
Availability Online Library~1

Applications of Machine Learning in Hydroclimatology

2026-03-19T19:50:47Z

Author Srivastav, Roshan. author. (orcid)0000-0002-8175-8969 Nayak, Purna C. author. (orcid)0000-0002-0711-5295 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64403-0
Format: Electronic Resources
Availability Online Library~1

Fundamentals of the Theory of Mechanical Vibrations

2026-03-19T19:50:47Z

Author Gonçalves Salsa Junior, Rubens. author. (orcid)0000-0003-3067-1705 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-83995-5
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

2026-03-19T19:50:47Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90653-4
Format: Electronic Resources
Availability Online Library~1

Applied Antifragility in Natural Systems From Principles to Applications

2026-03-19T19:50:47Z

Author Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90391-5
Format: Electronic Resources
Availability Online Library~1

Foundations of Robotics

2026-03-19T19:50:47Z

Author Siciliano, Bruno. author. (orcid)0000-0002-1037-0588 Villani, Luigi. author. (orcid)0000-0002-4431-6846 Oriolo, Giuseppe. author. (orcid)0000-0001-6153-9278 De Luca, Alessandro. author. (orcid)0000-0002-0713-5608 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85523-8
Format: Electronic Resources
Availability Online Library~1

Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedings

2026-03-19T19:50:47Z

Author Mohamed, Zaharuddin. editor. (orcid)0000-0002-2719-4138 Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Tan, Gary. editor. Ahmad, Anita. editor. (orcid)0000-0002-8109-2490 Pei Ling, Leow. editor. (orcid)0000-0001-7930-4717
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4613-5
Format: Electronic Resources
Availability Online Library~1

Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings

2026-03-19T19:50:47Z

Author Juan, Angel A. editor. (orcid)0000-0003-1392-1776 Guisado-Lizar, José-Luis. editor. (orcid)0000-0001-5480-7617 Morón-Fernández, María-José. editor. (orcid)0000-0003-3291-7297 Perez-Bernabeu, Elena. editor. (orcid)0000-0002-9221-7623 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-87345-4
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

2026-03-19T19:50:47Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90660-2
Format: Electronic Resources
Availability Online Library~1

Introduction to mathematical modeling and computer simulations

2026-03-19T19:50:47Z

Author Mityushev, Vladimir V., author.
Preferred Shelf Number QA76.9 .C65
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032684284 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Understanding power electronics via simulations

2026-03-19T19:50:47Z

Author Naidu, S. Raghuram, author.
Preferred Shelf Number QA76.9 .C65
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9788770046787 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part I

2026-03-19T19:50:47Z

Author Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Sunar, Noorhazirah. editor. Mohd Basri, Mohd Ariffanan. editor. Mahmud, Mohd Saiful Azimi. editor. Ishak, Mohamad Hafis Izran. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7240-1
Format: Electronic Resources
Availability Online Library~1

Advances in Mechanics Selected Contributions to the 15th International Moroccan Congress of Mechanics, May 24-27, 2022, CMM 2022, Casablanca, Morocco

2026-03-19T19:50:47Z

Author Aniss, Said. editor. (orcid)0000-0002-8700-974X Rahmoune, Miloud. editor. (orcid)0000-0002-1156-689X Mordane, Somia. editor. Ait Ali, Mohamed Elamine. editor. (orcid)0000-0002-5597-7885 Khatyr, Rabha. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46973-2
Format: Electronic Resources
Availability Online Library~1

Modeling, Simulation and Optimization Proceedings of CoMSO 2022

2026-03-19T19:50:47Z

Author Das, Biplab. editor. (orcid)0000-0003-3752-6308 Patgiri, Ripon. editor. (orcid)0000-0002-9899-9152 Bandyopadhyay, Sivaji. editor. (orcid)0000-0003-2607-1774 Balas, Valentina Emilia. editor. Roy, Sukanta. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6866-4
Format: Electronic Resources
Availability Online Library~1

Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II LEAP-ASIA-2019

2026-03-19T19:50:47Z

Author Tobita, Tetsuo. editor. (orcid)0000-0002-1765-2721 Ichii, Koji. editor. Ueda, Kyohei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48821-4
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part II

2026-03-19T19:50:47Z

Author Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Sunar, Noorhazirah. editor. Mohd Basri, Mohd Ariffanan. editor. Mahmud, Mohd Saiful Azimi. editor. Ishak, Mohamad Hafis Izran. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7243-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-03-19T19:50:47Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57246-3
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-03-19T19:50:47Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57249-4
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

2026-03-19T19:50:47Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57256-2
Format: Electronic Resources
Availability Online Library~1

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

2026-03-19T19:50:47Z

Author Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1176-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems and Computing

2026-03-19T19:50:47Z

Author Cao, Bing-Yuan. editor. Wang, Shu-Feng. editor. Nasseri, Hadi. editor. Zhong, Yu-Bin. editor. (orcid)0000-0002-0473-0372 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2891-6
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

2026-03-19T19:50:47Z

Author Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60698-4
Format: Electronic Resources
Availability Online Library~1

ADVANCES ON MATHEMATICAL MODELLING AND OPTIMIZATION WITH APPLICATIONS

2026-03-19T19:50:47Z

Author Mukherjee, Gunjan, 1976- Basu Mallik, Biswadip. Kar, Rahul. Chaudhary, Aryan.
Preferred Shelf Number QA76.9 .C65
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003387459 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Zentropy : Tools, Modelling, and Applications

2026-03-19T19:50:47Z

Author Liu, Zi-Kui, editor.
Preferred Shelf Number QA76.9 .C65
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003514466 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Discrete-event simulation : concepts and production in arena

2026-03-19T19:50:47Z

Author Jerbi, Abdessalem, author.
Preferred Shelf Number T57.62 .J47 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394332236
Format: Electronic Resources
Availability Online Library~1

Simulation on Hydration of Tricalcium Silicate in Cement Clinker

2026-03-19T19:50:47Z

Author Shen, Dejian. author. Wang, Xin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4598-6
Format: Electronic Resources
Availability Online Library~1

Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings

2026-03-19T19:50:47Z

Author Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-1417-9
Format: Electronic Resources
Availability Online Library~1

Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization

2026-03-19T19:50:47Z

Author Blum, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60103-3
Format: Electronic Resources
Availability Online Library~1

IT Crisisology Models Object-Based Optimization for Sustainable Development

2026-03-19T19:50:47Z

Author Zykov, Sergey V. author. (orcid)0000-0002-2115-5461 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8649-1
Format: Electronic Resources
Availability Online Library~1

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

2026-03-19T19:50:47Z

Author Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56862-6
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings

2026-03-19T19:50:47Z

Author Saito, Seiki. editor. Tanaka, Satoshi. editor. Li, Liang. editor. Takatori, Satoshi. editor. Tamura, Yuichi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7225-4
Format: Electronic Resources
Availability Online Library~1

The Engineering of Digital Twins

2026-03-19T19:50:47Z

Author Fitzgerald, John. editor. (orcid)0000-0001-7041-1807 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Larsen, Peter Gorm. editor. (orcid)0000-0002-4589-1500 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66719-0
Format: Electronic Resources
Availability Online Library~1

Computer-Aided and Machine Learning-Driven Drug Design From Theory to Applications

2026-03-19T19:50:47Z

Author Maltarollo, Vinícius Gonçalves. editor. (orcid)0000-0001-9675-5907 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76718-0
Format: Electronic Resources
Availability Online Library~1

Electromagnetic Sources and Electromagnetic Fields

2026-03-19T19:50:47Z

Author Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9449-6
Format: Electronic Resources
Availability Online Library~1

Structural Decision Diagrams in Digital Test Theory and Applications

2026-03-19T19:50:47Z

Author Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44734-1
Format: Electronic Resources
Availability Online Library~1

Dynamic Data Driven Applications Systems 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings

2026-03-19T19:50:47Z

Author Blasch, Erik. editor. Darema, Frederica. editor. Aved, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52670-1
Format: Electronic Resources
Availability Online Library~1

Optimization of Chemical Processes A Sustainable Perspective

2026-03-19T19:50:47Z

Author Ponce-Ortega, José María. author. Ochoa-Barragán, Rogelio. author. (orcid)0000-0002-2187-5813 Ramírez-Márquez, César. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57270-8
Format: Electronic Resources
Availability Online Library~1

Fundamental Mathematical Concepts for Machine Learning in Science

2026-03-19T19:50:47Z

Author Michelucci, Umberto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56431-4
Format: Electronic Resources
Availability Online Library~1

Advancement in Computational Methods for Life Systems Modelling and Simulation 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part I

2026-03-19T19:50:47Z

Author Fei, Minrui. editor. Wu, Hongjie. editor. Niu, Qun. editor. Li, Xin. editor. Zhang, Jingjing. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0188-2
Format: Electronic Resources
Availability Online Library~1

Robotics and Autonomous Systems and Engineering Applications of Computational Intelligence 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part V

2026-03-19T19:50:47Z

Author Gu, Juping. editor. Hu, Fuyuan. editor. Zhou, Huiyu. editor. (orcid)0000-0003-1634-9840 Fei, Zixiang. editor. Yang, Erfu. editor. (orcid)0000-0003-1813-5950
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0313-8
Format: Electronic Resources
Availability Online Library~1

Hybrid Modeling and Simulation Conceptualizations, Methods and Applications

2026-03-19T19:50:47Z

Author Fakhimi, Masoud. editor. (orcid)0000-0002-7144-7868 Mustafee, Navonil. editor. (orcid)0000-0002-2204-8924 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59999-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 4th International Conference on Advances in Computational Science and Engineering ICACSE 2023, 16-17 December, Manila, Philippines

2026-03-19T19:50:47Z

Author Thiruchelvam, Vinesh. editor. Alfred, Rayner. editor. (orcid)0000-0002-3080-3264 Ismail, Zamhar Iswandono Bin Awang. editor. Haviluddin, Haviluddin. editor. Baharum, Aslina. editor. (orcid)0000-0003-3910-5646
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2977-7
Format: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings

2026-03-19T19:50:47Z

Author Schäfer, Guido. editor. (orcid)0000-0002-1923-4902 Ventre, Carmine. editor. (orcid)0000-0003-1464-1215 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71033-9
Format: Electronic Resources
Availability Online Library~1

Deep Generative Modeling

2026-03-19T19:50:47Z

Author Tomczak, Jakub M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64087-2
Format: Electronic Resources
Availability Online Library~1

Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings

2026-03-19T19:50:47Z

Author Guisado-Lizar, José-Luis. editor. Riscos-Núñez, Agustín. editor. (orcid)0000-0002-5409-3578 Morón-Fernández, María-José. editor. Wainer, Gabriel. editor. (orcid)0000-0003-3366-9184 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57523-5
Format: Electronic Resources
Availability Online Library~1

Computational and Experimental Simulations in Engineering Proceedings of ICCES 2022

2026-03-19T19:50:47Z

Author Dai, Honghua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-02097-1
Format: Electronic Resources
Availability Online Library~1

Attachment Ventilation Theory

2026-03-19T19:50:47Z

Author Li, Angui. author. (orcid)0000-0002-9461-3793 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9259-9
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 5th International Conference on Numerical Modelling in Engineering Volume 1: Numerical Modelling in Civil Engineering, NME 2022, 23-24 August, Ghent University, Belgium

2026-03-19T19:50:47Z

Author Abdel Wahab, Magd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-8429-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Mechatronics An Integrated Approach

2026-03-19T19:50:47Z

Author Samanta, Biswanath. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29320-7
Format: Electronic Resources
Availability Online Library~1

Understanding Behaviour of Distributed Systems Using mCRL2

2026-03-19T19:50:47Z

Author Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-23008-0
Format: Electronic Resources
Availability Online Library~1

Innovative Product Development by Additive Manufacturing 2022

2026-03-19T19:50:47Z

Author Lachmayer, Roland. editor. (orcid)0000-0002-3181-6323 Bode, Behrend. editor. (orcid)0000-0002-3718-9420 Kaierle, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27261-5
Format: Electronic Resources
Availability Online Library~1

Advances in Acoustics and Vibration IV Proceedings of the Fourth International Conference on Acoustics and Vibration (ICAV2022), December 19-21, 2022, Sousse, Tunisia

2026-03-19T19:50:47Z

Author Akrout, Ali. editor. Abdennadher, Moez. editor. Feki, Nabih. editor. Abbes, Mohamed Slim. editor. Chaari, Fakher. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34190-8
Format: Electronic Resources
Availability Online Library~1

Concepts, Applications, Experimentation and Analysis of Wireless Sensor Networks

2026-03-19T19:50:47Z

Author Fahmy, Hossam Mahmoud Ahmad. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-20709-9
Format: Electronic Resources
Availability Online Library~1

Computational Methods for Biological Models

2026-03-19T19:50:47Z

Author Singh, Harendra. editor. Dutta, Hemen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5001-0
Format: Electronic Resources
Availability Online Library~1

Digital Twin Driven Intelligent Systems and Emerging Metaverse

2026-03-19T19:50:47Z

Author Karaarslan, Enis. editor. Aydin, Ömer. editor. Cali, Ümit. editor. Challenger, Moharram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0252-1
Format: Electronic Resources
Availability Online Library~1

3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)

2026-03-19T19:50:47Z

Author Ihlenfeldt, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34486-2
Format: Electronic Resources
Availability Online Library~1

Computational Modeling of Multilevel Organisational Learning and Its Control Using Self-modeling Network Models

2026-03-19T19:50:47Z

Author Canbaloğlu, Gülay. editor. Treur, Jan. editor. Wiewiora, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28735-0
Format: Electronic Resources
Availability Online Library~1

Application of Gray System Theory in Fishery Science

2026-03-19T19:50:47Z

Author Chen, Xinjun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0635-2
Format: Electronic Resources
Availability Online Library~1

Space-Time Conservation Element and Solution Element Method Advances and Applications in Engineering Sciences

2026-03-19T19:50:47Z

Author Wen, Chih-Yung. author. Jiang, Yazhong. author. Shi, Lisong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0876-9
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for Healthy Longevity

2026-03-19T19:50:47Z

Author Moskalev, Alexey. editor. (orcid)0000-0002-3248-1633 Stambler, Ilia. editor. Zhavoronkov, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35176-1
Format: Electronic Resources
Availability Online Library~1

Power-Based Study of Boundary Layer Ingestion for Aircraft Application

2026-03-19T19:50:47Z

Author Lv, Peijian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-5497-9
Format: Electronic Resources
Availability Online Library~1

Exscalate4CoV High-Performance Computing for COVID Drug Discovery

2026-03-19T19:50:47Z

Author Coletti, Silvano. editor. Bernardi, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30691-4
Format: Electronic Resources
Availability Online Library~1

Innovative Product Development by Additive Manufacturing 2021

2026-03-19T19:50:47Z

Author Lachmayer, Roland. editor. (orcid)0000-0002-3181-6323 Bode, Behrend. editor. (orcid)0000-0002-3718-9420 Kaierle, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-05918-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy Proceedings of the Third International Conference, MMCITRE 2022

2026-03-19T19:50:47Z

Author Sahni, Manoj. editor. Merigó, José M. editor. Hussain, Walayat. editor. León-Castro, Ernesto. editor. Verma, Raj Kumar. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9906-2
Format: Electronic Resources
Availability Online Library~1

Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023

2026-03-19T19:50:47Z

Author Peng, Sheng-Lung. editor. Jhanjhi, Noor Zaman. editor. Pal, Souvik. editor. Amsaad, Fathi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3611-3
Format: Electronic Resources
Availability Online Library~1

Hybrid computational intelligent systems : modeling, simulation and optimization

2026-03-19T19:50:47Z

Author Bhattacharyya, Siddhartha, 1975- editor.
Preferred Shelf Number Q342
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003381167 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

SMART PROXY MODELING artificial intelligence and machine learning in numerical simulation.

2026-03-19T19:50:47Z

Author Mohaghegh, Shahab D., author.
Preferred Shelf Number TA342
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003242581 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computer models of process dynamics : from Newton to energy fields

2026-03-19T19:50:47Z

Author Rubin, Olis, author.
Preferred Shelf Number QC52 .R83 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885689
Format: Electronic Resources
Availability Online Library~1

Systems engineering neural networks

2026-03-19T19:50:47Z

Author Migliaccio, Alessandro, author. Iannone, Giovanni, author.
Preferred Shelf Number QA76.87 .M537 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027
Format: Electronic Resources
Availability Online Library~1

Computational modeling and simulation examples in bioengineering

2026-03-19T19:50:47Z

Author Filipovic, Nenad, 1970- editor.
Preferred Shelf Number R856 .C66 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119563983
Format: Electronic Resources
Availability Online Library~1

Model-based system architecture

2026-03-19T19:50:47Z

Author Weilkiens, Tim, author. Lamm, Jesko G., 1976- author. Roth, Stephan, 1968- author. Walker, Markus, 1965- author. John Wiley & Sons.
Preferred Shelf Number TA168 .W45 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119746683
Format: Electronic Resources
Availability Online Library~1

Spatial Predictive Modelling with R.

2026-03-19T19:50:47Z

Author Li, Jin.
Preferred Shelf Number QA76.9 .C65
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003091776 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computational modelling and imaging for SARS-CoV-2 and COVID-19

2026-03-19T19:50:47Z

Author Prabha, S., editor. Karthikeyan, P., Dr., editor. Kamalanand, K., 1988- editor. Selvaganesan, N., editor.
Preferred Shelf Number RA644 .C67
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003142584 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Modeling and simulation in Python

2026-03-19T19:50:47Z

Author Kinser, Jason M., 1962- author.
Preferred Shelf Number QA76.9 .C65
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/e/9781003226581 Taylor & Francis https://www.taylorfrancis.com/books/9781003226581 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Modeling and use of context in action

2026-03-19T19:50:47Z

Author Brézillon, Patrick, editor. Turner, Roy M., editor.
Preferred Shelf Number Q180.55 .M4 M63 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163960
Format: Electronic Resources
Availability Online Library~1

Computing and simulation for engineers

2026-03-19T19:50:47Z

Author Uddin, Ziya, editor.
Preferred Shelf Number TA345
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003222255 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Short sims : a game changer

2026-03-19T19:50:47Z

Author Aldrich, Clark, 1967- author.
Preferred Shelf Number QA76.9 .C65 A42 2020 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003018643 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Surrogates : Gaussian process modeling, design, and optimization for the applied sciences

2026-03-19T19:50:47Z

Author Gramacy, Robert B., author.
Preferred Shelf Number QA274.4 .G73 2020
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780367815493 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Ray Tracing: A Tool for All

2026-03-19T19:50:47Z

Author Peddie, Jon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17490-3
Format: Electronic Resources
Availability Online Library~1

Effective Model-Based Systems Engineering

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Recent Advances in Network Simulation The OMNeT++ Environment and its Ecosystem

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Simulation for Industry 4.0 Past, Present, and Future

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Modelling and Simulation Exploring Dynamic System Behaviour

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Modeling and Application of Flexible Electronics Packaging

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Handbook of Model Predictive Control

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Modelling and Simulation in Science, Technology and Engineering Mathematics Proceedings of the International Conference on Modelling and Simulation (MS-17)

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Neural Modeling of Speech Processing and Speech Learning An Introduction

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Transient Effects in Simulations of Hybrid Electric Drivetrains

2026-03-19T19:50:47Z

Author Winke, Florian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-22554-4
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Simulating Urban Traffic Scenarios 3rd SUMO Conference 2015 Berlin, Germany

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Recent Trends in Signal and Image Processing Proceedings of ISSIP 2018

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret

2026-03-19T19:50:47Z

Author Warnow, Tandy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10837-3
Format: Electronic Resources
Availability Online Library~1

The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes

2026-03-19T19:50:47Z

Author Geshi, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6194-4
Format: Electronic Resources
Availability Online Library~1

Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

OPNET IoT Simulation

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Comprehensive Healthcare Simulation: Operations, Technology, and Innovative Practice

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Pervasive Computing: A Networking Perspective and Future Directions

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Mathematical Insights into Advanced Computer Graphics Techniques

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineering

2026-03-19T19:50:47Z

Author Wang, Yu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6484-6
Format: Electronic Resources
Availability Online Library~1

Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Practice of Optimisation Theory in Geotechnical Engineering

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science

2026-03-19T19:50:47Z

Author Geshi, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-9802-5
Format: Electronic Resources
Availability Online Library~1

IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Green Energy and Networking 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Recent Trends in Signal and Image Processing ISSIP 2017

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Comprehensive Healthcare Simulation: Neurosurgery

2026-03-19T19:50:47Z

Author Alaraj, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75583-0
Format: Electronic Resources
Availability Online Library~1

Bioinformatics: Sequences, Structures, Phylogeny

2026-03-19T19:50:47Z

Author Shanker, Asheesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1562-6
Format: Electronic Resources
Availability Online Library~1

Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Reliability Aspect of Cloud Computing Environment

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Computer Simulations of Space Societies

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Modeling Discrete-Event Systems with GPenSIM An Introduction

2026-03-19T19:50:47Z

Author Davidrajuh, Reggie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73102-5
Format: Electronic Resources
Availability Online Library~1

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

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

The Test and Launch Control Technology for Launch Vehicles

2026-03-19T19:50:47Z

Author Song, Zhengyu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8712-7
Format: Electronic Resources
Availability Online Library~1

Simulations for Design and Manufacturing Select Papers from AIMTDR 2016

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Modeling and Simulation in Industrial Engineering

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Encyclopedia of Social Network Analysis and Mining

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Fuzzy Graph Theory with Applications to Human Trafficking

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Automatic Tuning of Compilers Using Machine Learning

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Probability and Statistics for Computer Science

2026-03-19T19:50:47Z

Author Forsyth, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64410-3
Format: Electronic Resources
Availability Online Library~1

Advanced Hybrid Information Processing First International Conference, ADHIP 2017, Harbin, China, July 17–18, 2017, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Modeling, Simulation, and Optimization

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Intelligent Control Design and MATLAB Simulation

2026-03-19T19:50:47Z

Author Liu, Jinkun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5263-7
Format: Electronic Resources
Availability Online Library~1

Finite Element Applications A Practical Guide to the FEM Process

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Neural Networks for Cooperative Control of Multiple Robot Arms

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Multi-layer Pavement System under Blast Load

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Proceedings of the International Conference on Modern Research in Aerospace Engineering MRAE-2016

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

New Perspectives on Applied Industrial Tools and Techniques

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Honeypot Frameworks and Their Applications: A New Framework

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Numerical Simulation of the Aerodynamics of High-Lift Configurations

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings

2026-03-19T19:50:47Z

Author Deng, Xiaotie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99660-8
Format: Electronic Resources
Availability Online Library~1

An introduction to cyber modeling and simulation

2026-03-19T19:50:47Z

Author Couretas, Jerry M., 1966- author.
Preferred Shelf Number QA76.9 .C65
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420842
Format: Electronic Resources
Availability Online Library~1

Virtual World Design.

2026-03-19T19:50:47Z

Author Cudworth, Ann Latham, author. CRC Press LLC.
Preferred Shelf Number QA76.9 .C65 C83 2017
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429187384 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Food Dependency in the Middle East and North Africa Region Retrospective Analysis and Projections to 2050

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Systems Analysis Approach for Complex Global Challenges

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Applied Scientific Computing With Python

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

3D Kinematics

2026-03-19T19:50:47Z

Author Haslwanter, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75277-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Handbook of Dynamic Data Driven Applications Systems

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Real-Time Modelling and Processing for Communication Systems Applications and Practices

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-19T19:50:47Z

Author Hoffman, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60747-4
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

New Advances in Mechanism and Machine Science Proceedings of The 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017)

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Innovative Techniques and Applications of Modelling, Identification and Control Selected and Expanded Reports from ICMIC’17

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Nature Inspired Computing Proceedings of CSI 2015

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Computational Models of Rhythm and Meter

2026-03-19T19:50:47Z

Author Boenn, Georg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76285-2
Format: Electronic Resources
Availability Online Library~1

Exploring Occupant Behavior in Buildings Methods and Challenges

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Stochastic Finite Element Methods An Introduction

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Bone Adaptation In Silico Approach

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Thermal Effects in Complex Machining Processes Final Report of the DFG Priority Programme 1480

2026-03-19T19:50:47Z

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: Electronic Resources
Availability Online Library~1

Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part II

2026-03-19T19:50:47Z

Author Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7302-1
Format: Electronic Resources
Availability Online Library~1

Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part I

2026-03-19T19:50:47Z

Author Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7299-4
Format: Electronic Resources
Availability Online Library~1

Simulating Social Complexity A Handbook

2026-03-19T19:50:47Z

Author Edmonds, Bruce. editor. Meyer, Ruth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66948-9
Format: Electronic Resources
Availability Online Library~1

Advances in Modeling and Simulation Seminal Research from 50 Years of Winter Simulation Conferences

2026-03-19T19:50:47Z

Author Tolk, Andreas. editor. Fowler, John. editor. Shao, Guodong. editor. Yücesan, Enver. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64182-9
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings

2026-03-19T19:50:47Z

Author Thomas, Nigel. editor. Forshaw, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61428-1
Format: Electronic Resources
Availability Online Library~1

Guide to Distributed Simulation with HLA

2026-03-19T19:50:47Z

Author Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61267-6
Format: Electronic Resources
Availability Online Library~1

Electromagnetic Linear Machines with Dual Halbach Array Design and Analysis

2026-03-19T19:50:47Z

Author Yan, Liang. author. Zhang, Lu. author. Peng, Juanjuan. author. Zhang, Lei. author. Jiao, Zongxia. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2309-5
Format: Electronic Resources
Availability Online Library~1

Mathematical Advances Towards Sustainable Environmental Systems

2026-03-19T19:50:47Z

Author Furze, James N. editor. Swing, Kelly. editor. Gupta, Anil K. editor. McClatchey, Richard H. editor. Reynolds, Darren M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43901-3
Format: Electronic Resources
Availability Online Library~1

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

2026-03-19T19:50:47Z

Author Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69483-2
Format: Electronic Resources
Availability Online Library~1

Introduction to Computational Mass Transfer With Applications to Chemical Engineering

2026-03-19T19:50:47Z

Author Yu, Kuo-Tsung. author. Yuan, Xigang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2498-6
Format: Electronic Resources
Availability Online Library~1

Quality, Reliability, Security and Robustness in Heterogeneous Networks 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016, Proceedings

2026-03-19T19:50:47Z

Author Lee, Jong-Hyouk. editor. Pack, Sangheon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60717-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers

2026-03-19T19:50:47Z

Author Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Mørken, Knut. editor. Schumaker, Larry L. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67885-6
Format: Electronic Resources
Availability Online Library~1

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers

2026-03-19T19:50:47Z

Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71255-0
Format: Electronic Resources
Availability Online Library~1

Computational frameworks : systems, models and applications

2026-03-19T19:50:47Z

Author Traoré, Mamadou K. (Mamadou Kaba), editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781785482564
Format: Electronic Resources
Availability Online Library~1

Material Parameter Identification and Inverse Problems in Soft Tissue Biomechanics

2026-03-19T19:50:47Z

Author Avril, Stéphane. editor. Evans, Sam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45071-1
Format: Electronic Resources
Availability Online Library~1

Introduction to Computational Social Science Principles and Applications

2026-03-19T19:50:47Z

Author Cioffi-Revilla, Claudio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50131-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing, Networked Control, and Their Engineering Applications International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part II

2026-03-19T19:50:47Z

Author Yue, Dong. editor. Peng, Chen. editor. (orcid)0000-0003-3652-2233 Du, Dajun. editor. Zhang, Tengfei. editor. Zheng, Min. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6373-2
Format: Electronic Resources
Availability Online Library~1

Ad Hoc Networks 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016, Revised Selected Papers

2026-03-19T19:50:47Z

Author Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51204-4
Format: Electronic Resources
Availability Online Library~1

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I

2026-03-19T19:50:47Z

Author Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3966-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

2026-03-19T19:50:47Z

Author Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70848-5
Format: Electronic Resources
Availability Online Library~1

Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies

2026-03-19T19:50:47Z

Author Micheloni, Rino. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51735-3
Format: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings

2026-03-19T19:50:47Z

Author Bilò, Vittorio. editor. Flammini, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66700-3
Format: Electronic Resources
Availability Online Library~1

Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III)

2026-03-19T19:50:47Z

Author Park, Seon Ki. editor. Xu, Liang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43415-5
Format: Electronic Resources
Availability Online Library~1

Planning Support Science for Smarter Urban Futures

2026-03-19T19:50:47Z

Author Geertman, Stan. editor. Allan, Andrew. editor. Pettit, Chris. editor. Stillwell, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57819-4
Format: Electronic Resources
Availability Online Library~1

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

2026-03-19T19:50:47Z

Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67035-5
Format: Electronic Resources
Availability Online Library~1

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings

2026-03-19T19:50:47Z

Author Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Kirpichnikov, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68069-9
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II

2026-03-19T19:50:47Z

Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61833-3
Format: Electronic Resources
Availability Online Library~1

Fire Safety of Historical Buildings Traditional Versus Innovative "Behavioural Design" Solutions by Using Wayfinding Systems

2026-03-19T19:50:47Z

Author Bernardini, Gabriele. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55744-1
Format: Electronic Resources
Availability Online Library~1

Modeling with Digital Ocean and Digital Coast

2026-03-19T19:50:47Z

Author Zhang, Xin. editor. Wang, Lei. editor. Jiang, Xiaoyi. editor. Zhu, Changming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42710-2
Format: Electronic Resources
Availability Online Library~1

Spatial Cognition X 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised Selected Papers

2026-03-19T19:50:47Z

Author Barkowsky, Thomas. editor. Burte, Heather. editor. Hölscher, Christoph. editor. Schultheis, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68189-4
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

2026-03-19T19:50:47Z

Author Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72308-2
Format: Electronic Resources
Availability Online Library~1

Guide to Modeling and Simulation of Systems of Systems

2026-03-19T19:50:47Z

Author P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64134-8
Format: Electronic Resources
Availability Online Library~1

Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings

2026-03-19T19:50:47Z

Author Bektaş, Tolga. editor. Coniglio, Stefano. editor. Martinez-Sykora, Antonio. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68496-3
Format: Electronic Resources
Availability Online Library~1

Subdivision Surface Modeling Technology

2026-03-19T19:50:47Z

Author Liao, Wenhe. author. Liu, Hao. author. Li, Tao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3515-9
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers

2026-03-19T19:50:47Z

Author Nardin, Luis Gustavo. editor. Antunes, Luis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67477-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXVII

2026-03-19T19:50:47Z

Author Mercik, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70647-4
Format: Electronic Resources
Availability Online Library~1

Group Processes Data-Driven Computational Approaches

2026-03-19T19:50:47Z

Author Pilny, Andrew. editor. Poole, Marshall Scott. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48941-4
Format: Electronic Resources
Availability Online Library~1

The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics

2026-03-19T19:50:47Z

Author Tolk, Andreas, editor. Ören, Tuncer I., editor.
Preferred Shelf Number QA10.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091
Format: Electronic Resources
Availability Online Library~1

Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings

2026-03-19T19:50:47Z

Author Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66836-9
Format: Electronic Resources
Availability Online Library~1

OpenGeoSys Tutorial Computational Hydrology II: Groundwater Quality Modeling

2026-03-19T19:50:47Z

Author Sachse, Agnes. author. Nixdorf, Erik. author. Jang, Eunseon. author. Rink, Karsten. author. (orcid)0000-0001-9826-8221 Fischer, Thomas. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52809-0
Format: Electronic Resources
Availability Online Library~1

Real-time Monitoring and Operational Control of Drinking-Water Systems

2026-03-19T19:50:47Z

Author Puig, Vicenç. editor. Ocampo-Martínez, Carlos. editor. Pérez, Ramon. editor. Cembrano, Gabriela. editor. Quevedo, Joseba. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50751-4
Format: Electronic Resources
Availability Online Library~1

Simulation and Synthesis in Medical Imaging Second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings

2026-03-19T19:50:47Z

Author Tsaftaris, Sotirios A. editor. Gooya, Ali. editor. Frangi, Alejandro F. editor. Prince, Jerry L. editor. (orcid)0000-0002-6553-0876 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68127-6
Format: Electronic Resources
Availability Online Library~1

Combinatorial Testing in Cloud Computing

2026-03-19T19:50:47Z

Author Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4481-6
Format: Electronic Resources
Availability Online Library~1

Forecast Error Correction using Dynamic Data Assimilation

2026-03-19T19:50:47Z

Author Lakshmivarahan, Sivaramakrishnan. author. Lewis, John M. author. Jabrzemski, Rafal. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39997-3
Format: Electronic Resources
Availability Online Library~1

Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings

2026-03-19T19:50:47Z

Author He, Cheng. editor. Mo, Hongwei. editor. Pan, Linqiang. editor. Zhao, Yuxin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7179-9
Format: Electronic Resources
Availability Online Library~1

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

2026-03-19T19:50:47Z

Author Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89935-0
Format: Electronic Resources
Availability Online Library~1