Search Results for Computer Simulation - Narrowed by: 1:SPRINGER

Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-19T21:35:06Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85884-0
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I

2026-03-19T21:35:06Z

Author Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78377-7
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II

2026-03-19T21:35:06Z

Author Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78380-7
Format: Electronic Resources
Availability Online Library~1

Computer Science in Sport Modeling, Simulation, Data Analysis and Visualization of Sports-Related Data

2026-03-19T21:35:06Z

Author Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-68313-2
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-19T21:35:06Z

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-19T21:35:06Z

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

Advances in Information Technology in Civil and Building Engineering Proceedings of ICCCBE 2024, Volume 2, Simulation and Automation

2026-03-19T21:35:06Z

Author Francis, Adel. editor. Miresco, Edmond. editor. Melhado, Silvio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-87364-5
Format: Electronic Resources
Availability Online Library~1

Distributed Coordination Control System Application Scenarios and Countermeasures

2026-03-19T21:35:06Z

Author Jia, Yongnan. author. (orcid)0000-0002-6297-9061 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0365-7
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-19T21:35:06Z

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-19T21:35:06Z

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

Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part III

2026-03-19T21:35:06Z

Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733 Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81596-6
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part I

2026-03-19T21:35:06Z

Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733 Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84353-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part II

2026-03-19T21:35:06Z

Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733 Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84356-3
Format: Electronic Resources
Availability Online Library~1

Agents and Multi-agent Systems: Technologies and Applications 2024 Proceedings of 18th KES International Conference, KES-AMSTA 2024, June 2024

2026-03-19T21:35:06Z

Author Jezic, Gordan. editor. Chen-Burger, Y.-H. editor. Kušek, Mario. editor. Šperka, Roman. editor. Howlett, Robert J. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-6469-3
Format: Electronic Resources
Availability Online Library~1

Advances in Information Technology in Civil and Building Engineering Proceedings of ICCCBE 2024 - Volume 3: Construction Management

2026-03-19T21:35:06Z

Author Francis, Adel. editor. Miresco, Edmond. editor. Melhado, Silvio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84224-5
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Sports Engineering Select Proceedings of ICSE 2023

2026-03-19T21:35:06Z

Author Bhattacharyya, Suvanjan. editor. (orcid)0000-0002-3619-0518 James, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8297-0
Format: Electronic Resources
Availability Online Library~1

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

2026-03-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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

Information-Measuring Systems Theory and Application

2026-03-19T21:35:06Z

Author Babak, Vitalii. author. Babak, Serhii. author. Eremenko, Volodymyr. author. Kuts, Yurii. author. Zaporozhets, Artur. author. (orcid)0000-0002-0704-4116
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-89406-0
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-19T21:35:06Z

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-19T21:35:06Z

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 Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

2026-03-19T21:35:06Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97573-8
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-03-19T21:35:06Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97567-7
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

2026-03-19T21:35:06Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97570-7
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

2026-03-19T21:35:06Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97554-7
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

2026-03-19T21:35:06Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97557-8
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

2026-03-19T21:35:06Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97564-6
Format: Electronic Resources
Availability Online Library~1

Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 2

2026-03-19T21:35:06Z

Author Lytvynov, Oleksii. editor. Pavlikov, Volodymyr. editor. (orcid)0000-0002-6370-1758 Krytskyi, Dmytro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94852-7
Format: Electronic Resources
Availability Online Library~1

Computational Modeling and Sustainable Energy Proceedings of ICCMSE 2023

2026-03-19T21:35:06Z

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-19T21:35:06Z

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

Proceedings of the 22nd Congress of the International Ergonomics Association, Volume 3 Better Life Ergonomics for Future Humans (IEA 2024)

2026-03-19T21:35:06Z

Author Jin, Sangeun. editor. Kim, Jeong Ho. editor. Kong, Yong-Ku. editor. (orcid)0000-0003-3208-6817 Park, Jaehyun. editor. Yun, Myung Hwan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-9330-6
Format: Electronic Resources
Availability Online Library~1

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

2026-03-19T21:35:06Z

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

Simulation and Synthesis in Medical Imaging 9th International Workshop, SASHIMI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings

2026-03-19T21:35:06Z

Author Fernandez, Virginia. editor. (orcid)0000-0001-5984-197X Wolterink, Jelmer M. editor. (orcid)0000-0001-5505-475X Wiesner, David. editor. (orcid)0000-0002-6720-6287 Remedios, Samuel. editor. (orcid)0000-0001-8634-8128 Zuo, Lianrui. editor. (orcid)0000-0002-5923-9097
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73281-2
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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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

Computer Animation and Social Agents 37th International Conference, CASA 2024, Wuhan, China, June 5-7, 2024, Revised Selected Papers, Part I

2026-03-19T21:35:06Z

Author Magnenat Thalmann, Nadia. editor. Hu, Xinrong. editor. Sheng, Bin. editor. Thalmann, Daniel. editor. Peng, Tao. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2681-6
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-19T21:35:06Z

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

Advances in Information Technology in Civil and Building Engineering Proceedings of ICCCBE 2024 - Volume 1: Modeling and Scheduling

2026-03-19T21:35:06Z

Author Francis, Adel. editor. Miresco, Edmond. editor. Melhado, Silvio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84208-5
Format: Electronic Resources
Availability Online Library~1

Quantum Computing Architecture and Hardware for Engineers Step by Step

2026-03-19T21:35:06Z

Author Wong, Hiu Yung. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78219-0
Format: Electronic Resources
Availability Online Library~1

Computer Animation and Social Agents 37th International Conference, CASA 2024, Wuhan, China, June 5-7, 2024, Revised Selected Papers, Part II

2026-03-19T21:35:06Z

Author Magnenat Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Hu, Xinrong. editor. Sheng, Bin. editor. Thalmann, Daniel. editor. Peng, Tao. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2684-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-19T21:35:06Z

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

Plant Model Greenlab for Botany and Agronomy

2026-03-19T21:35:06Z

Author Reffye, Philippe De. editor. Kang, Mengzhen. editor. Jaeger, Marc. editor. (orcid)0000-0003-1742-6748 Zhang, Baogui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7541-5
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Ubiquitous Computing Proceedings of CSA 2024

2026-03-19T21:35:06Z

Author Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Camacho, David. editor. (orcid)0000-0002-5051-3475 Gritzalis, Stefanos. editor. (orcid)0000-0002-8037-2191 Park, James J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-5693-6
Format: Electronic Resources
Availability Online Library~1

Engineering Mathematics with MATLAB® and Simulink®

2026-03-19T21:35:06Z

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

Applications of Computational Tools in Drug Design and Development

2026-03-19T21:35:06Z

Author Rao G., S.N. Koteswara. editor. Alavala, Rajasekhar Reddy. editor. (orcid)0000-0002-2610-8111 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4154-3
Format: Electronic Resources
Availability Online Library~1

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

2026-03-19T21:35:06Z

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

Quantum Machine Learning in Industrial Automation

2026-03-19T21:35:06Z

Author Ghosh, Anupam. editor. Dutta, Soumi. editor. Das, Asit Kumar. editor. (orcid)0000-0002-9886-1735 Shukla, Vinod Kumar. editor. Moreira, Fernando. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-99786-0
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-19T21:35:06Z

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-19T21:35:06Z

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

UV Light Self Organizing Network Theory

2026-03-19T21:35:06Z

Author Ke, Xizheng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7854-6
Format: Electronic Resources
Availability Online Library~1

Developments and Advances in Defense and Security Proceedings of MICRADS 2024

2026-03-19T21:35:06Z

Author Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Vaseashta, Ashok. editor. (orcid)0000-0002-5649-0067 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0235-3
Format: Electronic Resources
Availability Online Library~1

Fundamentals of the Theory of Mechanical Vibrations

2026-03-19T21:35:06Z

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

Scientific Computing and Bioinformatics and Computational Biology 22nd International Conference, CSC 2024, and 25th International Conference, BIOCOMP 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-19T21:35:06Z

Author Hodson, Douglas D. editor. Grimaila, Michael R. editor. (orcid)0000-0002-8355-7992 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Wagner, Torrey J. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85902-1
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-19T21:35:06Z

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-19T21:35:06Z

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

Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 1

2026-03-19T21:35:06Z

Author Lytvynov, Oleksii. editor. Pavlikov, Volodymyr. editor. (orcid)0000-0002-6370-1758 Krytskyi, Dmytro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94845-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Robotics

2026-03-19T21:35:06Z

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

Kinematics and Dynamics of Machines Modeling and Design with MATLAB®, Simulink® and Simscape™ Multibody™

2026-03-19T21:35:06Z

Author Omran, Ashraf. author. (orcid)0000-0002-4071-9381 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72701-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 22nd Congress of the International Ergonomics Association, Volume 4 Better Life Ergonomics for Future Humans (IEA 2024)

2026-03-19T21:35:06Z

Author Jin, Sangeun. editor. Kim, Jeong Ho. editor. Kong, Yong-Ku. editor. (orcid)0000-0003-3208-6817 Park, Jaehyun. editor. Yun, Myung Hwan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-95-0289-9
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-19T21:35:06Z

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-19T21:35:06Z

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

Mathematical Modeling and Simulation of Systems Selected Papers of 19th International Conference, MODS, November 11-13, 2024, Chernihiv, Ukraine

2026-03-19T21:35:06Z

Author Kazymyr, Volodymyr. editor. Morozov, Anatoliy. editor. Palagin, Alexander. editor. Shkarlet, Serhiy. editor. Stoianov, Nikolai. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90735-7
Format: Electronic Resources
Availability Online Library~1

Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life

2026-03-19T21:35:06Z

Author Klüver, Christina. author. Klüver, Jürgen. author. Schmidt, Jörn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-46510-0
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-19T21:35:06Z

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

Performance Engineering Learning Through Applications Using JMT

2026-03-19T21:35:06Z

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

Advances in Information Technology in Civil and Building Engineering Proceedings of ICCCBE 2022 - Volume 1

2026-03-19T21:35:06Z

Author Skatulla, Sebastian. editor. Beushausen, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35399-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 I

2026-03-19T21:35:06Z

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

Response Feature Technology for High-Frequency Electronics. Optimization, Modeling, and Design Automation

2026-03-19T21:35:06Z

Author Pietrenko-Dabrowska, Anna. author. Koziel, Slawomir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43845-5
Format: Electronic Resources
Availability Online Library~1

Advanced Manufacturing Processes V Selected Papers from the 5th Grabchenko's International Conference on Advanced Manufacturing Processes (InterPartner-2023), September 5-8, 2023, Odessa, Ukraine

2026-03-19T21:35:06Z

Author Tonkonogyi, Volodymyr. editor. (orcid)0000-0003-1459-9870 Ivanov, Vitalii. editor. (orcid)0000-0003-0595-2660 Trojanowska, Justyna. editor. (orcid)0000-0001-5598-3807 Oborskyi, Gennadii. editor. (orcid)0000-0002-5682-4768 Pavlenko, Ivan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42778-7
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-19T21:35:06Z

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

Advances in Design Engineering IV Proceedings of the XXXII INGEGRAF International Conference 21-23 June, Cádiz, Spain

2026-03-19T21:35:06Z

Author Manchado del Val, Cristina. editor. (orcid)0000-0002-3979-5117 Suffo Pino, Miguel. editor. Miralbes Buil, Ramón. editor. Moreno Sánchez, Daniel. editor. Moreno Nieto, Daniel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51623-8
Format: Electronic Resources
Availability Online Library~1

Computer Supported Education 15th International Conference, CSEDU 2023, Prague, Czech Republic, April 21-23, 2023, Revised Selected Papers

2026-03-19T21:35:06Z

Author McLaren, Bruce M. editor. Uhomoibhi, James. editor. Jovanovic, Jelena. editor. Chounta, Irene-Angelica. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53656-4
Format: Electronic Resources
Availability Online Library~1

Modeling, Simulation and Optimization Proceedings of CoMSO 2022

2026-03-19T21:35:06Z

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

Robust and Adaptive Control With Aerospace Applications

2026-03-19T21:35:06Z

Author Lavretsky, Eugene. author. Wise, Kevin A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38314-4
Format: Electronic Resources
Availability Online Library~1

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

2026-03-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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

Biosystems, Biomedical & Drug Delivery Systems Characterization, Restoration and Optimization

2026-03-19T21:35:06Z

Author Kulkarni, Shrikaant. editor. Haghi, A. K. editor. Manwatkar, Sonali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2596-0
Format: Electronic Resources
Availability Online Library~1

Distributed Computer and Communication Networks 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papers

2026-03-19T21:35:06Z

Author Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61835-2
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

2026-03-19T21:35:06Z

Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63751-3
Format: Electronic Resources
Availability Online Library~1

Simulation on Hydration of Tricalcium Silicate in Cement Clinker

2026-03-19T21:35:06Z

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

Advanced System Development Technologies I

2026-03-19T21:35:06Z

Author Bezuglyi, Mykhailo. editor. Bouraou, Nadiia. editor. Mykytenko, Volodymyr. editor. Tymchyk, Grygoriy. editor. Zaporozhets, Artur. editor. (orcid)0000-0002-0704-4116
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44347-3
Format: Electronic Resources
Availability Online Library~1

Computational and Experimental Simulations in Engineering Proceedings of ICCES 2023-Volume 2

2026-03-19T21:35:06Z

Author Li, Shaofan. editor. (orcid)0000-0002-6950-1474 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42987-3
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-19T21:35:06Z

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-19T21:35:06Z

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

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

2026-03-19T21:35:06Z

Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63772-8
Format: Electronic Resources
Availability Online Library~1

IT Crisisology Models Object-Based Optimization for Sustainable Development

2026-03-19T21:35:06Z

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

Artificial intelligence in application Legal aspects, application potentials and use scenarios

2026-03-19T21:35:06Z

Author Barton, Thomas. editor. (orcid)0000-0001-6736-7040 Müller, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-43843-2
Format: Electronic Resources
Availability Online Library~1

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

2026-03-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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

Science, Engineering Management and Information Technology Second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023, Proceedings, Part-II

2026-03-19T21:35:06Z

Author Mirzazadeh, A. editor. (orcid)0000-0003-0546-849X Molamohamadi, Zohreh. editor. (orcid)0000-0002-0054-2884 Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903 Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210 Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72287-5
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

2026-03-19T21:35:06Z

Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63775-9
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

2026-03-19T21:35:06Z

Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63749-0
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

2026-03-19T21:35:06Z

Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63759-9
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

2026-03-19T21:35:06Z

Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63783-4
Format: Electronic Resources
Availability Online Library~1

Computer Assisted Eye Motility Diagnostics

2026-03-19T21:35:06Z

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

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

2026-03-19T21:35:06Z

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

Advances in Computer Science and Ubiquitous Computing Proceedings of CUTE/CSA 2023

2026-03-19T21:35:06Z

Author Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Yang, Laurence T. editor. Pan, Yi. editor. (orcid)0000-0002-2766-3096 Park, James J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2447-5
Format: Electronic Resources
Availability Online Library~1

Computational and Experimental Simulations in Engineering Proceedings of ICCES 2023-Volume 1

2026-03-19T21:35:06Z

Author Li, Shaofan. editor. (orcid)0000-0002-6950-1474 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42515-8
Format: Electronic Resources
Availability Online Library~1

Performance Evaluation Methodologies and Tools 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6-7, 2023, Proceedings

2026-03-19T21:35:06Z

Author Kalyvianaki, Evangelia. editor. Paolieri, Marco. editor. (orcid)0000-0001-5110-203X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48885-6
Format: Electronic Resources
Availability Online Library~1

Electromagnetic Sources and Electromagnetic Fields

2026-03-19T21:35:06Z

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

Computational and Experimental Simulations in Engineering Proceedings of ICCES 2023-Volume 3

2026-03-19T21:35:06Z

Author Li, Shaofan. editor. (orcid)0000-0002-6950-1474 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44947-5
Format: Electronic Resources
Availability Online Library~1

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers

2026-03-19T21:35:06Z

Author Jordan, Vladimir. editor. Tarasov, Ilya. editor. Shurina, Ella. editor. Filimonov, Nikolay. editor. Faerman, Vladimir A. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51057-1
Format: Electronic Resources
Availability Online Library~1

Structural Decision Diagrams in Digital Test Theory and Applications

2026-03-19T21:35:06Z

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

12th Asian-Pacific Conference on Medical and Biological Engineering Proceedings of APCMBE 2023, May 18-21, 2023, Suzhou, China-Volume 2: Computer-Aided Surgery, Biomechanics, Health Informatics, and Computational Biology

2026-03-19T21:35:06Z

Author Wang, Guangzhi. editor. Yao, Dezhong. editor. Gu, Zhongze. editor. (orcid)0000-0001-8926-7710 Peng, Yi. editor. Tong, Shanbao. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51485-2
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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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

Climate Change and Safety in High-Risk Industries

2026-03-19T21:35:06Z

Author Bieder, Corinne. editor. (orcid)0000-0002-2253-6899 Grote, Gudela. editor. (orcid)0000-0002-5581-0452 Weyer, Johannes. editor. (orcid)0000-0002-0181-8723 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56995-1
Format: Electronic Resources
Availability Online Library~1

Multibody Systems An Introduction to the Kinematics and Dynamics of Systems of Rigid Bodies

2026-03-19T21:35:06Z

Author Woernle, Christoph. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-67262-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of World Conference on Artificial Intelligence: Advances and Applications WCAIAA 2024

2026-03-19T21:35:06Z

Author Tripathi, Ashish Kumar. editor. Anand, Darpan. editor. (orcid)0000-0002-7067-0320 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-4496-1
Format: Electronic Resources
Availability Online Library~1

Introduction to Digital Control An Integrated Approach

2026-03-19T21:35:06Z

Author Samanta, Biswanath. author. (orcid)0000-0002-0518-6751 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66830-2
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

2026-03-19T21:35:06Z

Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63778-0
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-19T21:35:06Z

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-19T21:35:06Z

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

Advanced Computational Approaches for Drying in Food Processing

2026-03-19T21:35:06Z

Author Gangawane, Krunal M. editor. (orcid)0000-0002-1241-7546 Dwivedi, Madhuresh. editor. (orcid)0000-0002-5454-1369 Chandra Pradhan, Ram. editor. (orcid)0000-0002-6872-6057 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62550-3
Format: Electronic Resources
Availability Online Library~1

International Conference on Reliable Systems Engineering (ICoRSE) - 2024

2026-03-19T21:35:06Z

Author Cioboată, Daniela Doina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70670-7
Format: Electronic Resources
Availability Online Library~1

Computational and Experimental Simulations in Engineering Proceedings of ICCES 2024-Volume 1

2026-03-19T21:35:06Z

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

Hybrid Modeling and Simulation Conceptualizations, Methods and Applications

2026-03-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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

Science, Engineering Management and Information Technology Second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023, Proceedings, Part-I

2026-03-19T21:35:06Z

Author Mirzazadeh, A. editor. (orcid)0000-0003-0546-849X Molamohamadi, Zohreh. editor. (orcid)0000-0002-0054-2884 Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903 Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210 Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72284-4
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-19T21:35:06Z

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

Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II

2026-03-19T21:35:06Z

Author Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63312-1
Format: Electronic Resources
Availability Online Library~1

Social, Cultural, and Behavioral Modeling 10th International Conference, SBP-BRiMS 2017, Washington, DC, USA, July 5-8, 2017, Proceedings

2026-03-19T21:35:06Z

Author Lee, Dongwon. editor. Lin, Yu-Ru. editor. Osgood, Nathaniel. editor. Thomson, Robert. editor. (orcid)0000-0001-9298-2870 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60240-0
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part I

2026-03-19T21:35:06Z

Author Descoteaux, Maxime. editor. Maier-Hein, Lena. editor. Franz, Alfred. editor. Jannin, Pierre. editor. Collins, D. Louis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66182-7
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Ubiquitous Computing CSA-CUTE2016

2026-03-19T21:35:06Z

Author Park, James J. (Jong Hyuk). editor. Pan, Yi. editor. Yi, Gangman. editor. Loia, Vincenzo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3023-9
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System

2026-03-19T21:35:06Z

Author Ahmed, Jameel. author. Siyal, Mohammed Yakoob. author. Najam, Shaheryar. author. Najam, Zohaib. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3120-5
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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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

Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III

2026-03-19T21:35:06Z

Author Descoteaux, Maxime. editor. Maier-Hein, Lena. editor. Franz, Alfred. editor. Jannin, Pierre. editor. Collins, D. Louis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66179-7
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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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

Material Parameter Identification and Inverse Problems in Soft Tissue Biomechanics

2026-03-19T21:35:06Z

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

Optical Character Recognition Systems for Different Languages with Soft Computing

2026-03-19T21:35:06Z

Author Chaudhuri, Arindam. author. Mandaviya, Krupa. author. Badelia, Pratixa. author. K Ghosh, Soumya. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50252-6
Format: Electronic Resources
Availability Online Library~1

Computer-Assisted and Robotic Endoscopy Third International Workshop, CARE 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers

2026-03-19T21:35:06Z

Author Peters, Terry. editor. (orcid)0000-0003-1440-7488 Yang, Guang-Zhong. editor. Navab, Nassir. editor. Mori, Kensaku. editor. Luo, Xiongbiao. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54057-3
Format: Electronic Resources
Availability Online Library~1

Introduction to Computational Social Science Principles and Applications

2026-03-19T21:35:06Z

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

Knowledge Representation for Health Care HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Munich, Germany, September 2, 2016, Revised Selected Papers

2026-03-19T21:35:06Z

Author Riaño, David. editor. Lenz, Richard. editor. Reichert, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55014-5
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-19T21:35:06Z

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-19T21:35:06Z

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

Whither Turbulence and Big Data in the 21st Century?

2026-03-19T21:35:06Z

Author Pollard, Andrew. editor. Castillo, Luciano. editor. Danaila, Luminita. editor. Glauser, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41217-7
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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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

Advances in Applied Digital Human Modeling and Simulation Proceedings of the AHFE 2016 International Conference on Digital Human Modeling and Simulation, July 27-31, 2016, Walt Disney World®, Florida, USA

2026-03-19T21:35:06Z

Author Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41627-4
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-19T21:35:06Z

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

Next Generation Computer Animation Techniques Third International Workshop, AniNex 2017, Bournemouth, UK, June 22-23, 2017, Revised Selected Papers

2026-03-19T21:35:06Z

Author Chang, Jian. editor. Zhang, Jian Jun. editor. Magnenat Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Hu, Shi-Min. editor. Tong, Ruofeng. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69487-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXVII

2026-03-19T21:35:06Z

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

Performance Evaluation for Network Services, Systems and Protocols

2026-03-19T21:35:06Z

Author Fernandes, Stênio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54521-9
Format: Electronic Resources
Availability Online Library~1

Biomechanics of the Human Stomach

2026-03-19T21:35:06Z

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

Group Processes Data-Driven Computational Approaches

2026-03-19T21:35:06Z

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

Advances in Automation and Robotics Research in Latin America Proceedings of the 1st Latin American Congress on Automation and Robotics, Panama City, Panama 2017

2026-03-19T21:35:06Z

Author Chang, Ignacio. editor. Baca, José. editor. Moreno, Héctor A. editor. Carrera, Isela G. editor. Cardona, Manuel N. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54377-2
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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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

Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II

2026-03-19T21:35:06Z

Author Descoteaux, Maxime. editor. Maier-Hein, Lena. editor. Franz, Alfred. editor. Jannin, Pierre. editor. Collins, D. Louis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66185-8
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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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-19T21:35:06Z

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

Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part I

2026-03-19T21:35:06Z

Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6463-0
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

2026-03-19T21:35:06Z

Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63387-9
Format: Electronic Resources
Availability Online Library~1

Serious Games and Edutainment Applications Volume II

2026-03-19T21:35:06Z

Author Ma, Minhua. editor. Oikonomou, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51645-5
Format: Electronic Resources
Availability Online Library~1

Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis

2026-03-19T21:35:06Z

Author Cao, Zijun. author. Wang, Yu. author. Li, Dianqing. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-52914-0
Format: Electronic Resources
Availability Online Library~1

Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets

2026-03-19T21:35:06Z

Author De La Mota, Idalia Flores. author. Guasch, Antoni. author. Mujica Mota, Miguel. author. (orcid)0000-0002-0160-6827 Angel Piera, Miquel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53321-6
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

2026-03-19T21:35:06Z

Author Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69404-7
Format: Electronic Resources
Availability Online Library~1

Bankruptcy Prediction through Soft Computing based Deep Learning Technique

2026-03-19T21:35:06Z

Author Chaudhuri, Arindam. author. Ghosh, Soumya K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6683-2
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

2026-03-19T21:35:06Z

Author James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72044-9
Format: Electronic Resources
Availability Online Library~1

Microdomains in the Cardiovascular System

2026-03-19T21:35:06Z

Author Nikolaev, Viacheslav. editor. Zaccolo, Manuela. editor. (orcid)0000-0002-0934-3662 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54579-0
Format: Electronic Resources
Availability Online Library~1

Simulation Algorithms for Computational Systems Biology

2026-03-19T21:35:06Z

Author Marchetti, Luca. author. Priami, Corrado. author. Thanh, Vo Hong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63113-4
Format: Electronic Resources
Availability Online Library~1

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

2026-03-19T21:35:06Z

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

Guide to Simulation-Based Disciplines Advancing Our Computational Future

2026-03-19T21:35:06Z

Author Mittal, Saurabh. editor. Durak, Umut. editor. Ören, Tuncer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61264-5
Format: Electronic Resources
Availability Online Library~1

Smart Solutions in Today's Transport 17th International Conference on Transport Systems Telematics, TST 2017, Katowice - Ustroń, Poland, April 5-8, 2017, Selected Papers

2026-03-19T21:35:06Z

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

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

2026-03-19T21:35:06Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53946-1
Format: Electronic Resources
Availability Online Library~1

Urban Dynamics and Simulation Models

2026-03-19T21:35:06Z

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

Advances in Human Aspects of Transportation Proceedings of the AHFE 2016 International Conference on Human Factors in Transportation, July 27-31, 2016, Walt Disney World®, Florida, USA

2026-03-19T21:35:06Z

Author Stanton, Neville A. editor. Landry, Steven. editor. Di Bucchianico, Giuseppe. editor. Vallicelli, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41682-3
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers

2026-03-19T21:35:06Z

Author Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61756-5
Format: Electronic Resources
Availability Online Library~1

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

2026-03-19T21:35:06Z

Author Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51957-9
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

2026-03-19T21:35:06Z

Author Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58631-1
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings

2026-03-19T21:35:06Z

Author van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57861-3
Format: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

2026-03-19T21:35:06Z

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

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

2026-03-19T21:35:06Z

Author Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61982-8
Format: Electronic Resources
Availability Online Library~1

Earthquake Disaster Simulation of Civil Infrastructures From Tall Buildings to Urban Areas

2026-03-19T21:35:06Z

Author Lu, Xinzheng. author. Guan, Hong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3087-1
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-03-19T21:35:06Z

Author Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65765-3
Format: Electronic Resources
Availability Online Library~1

Computational Neurology and Psychiatry

2026-03-19T21:35:06Z

Author Érdi, Péter. editor. Sen Bhattacharya, Basabdatta. editor. Cochran, Amy L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49959-8
Format: Electronic Resources
Availability Online Library~1

Air Quality Integrated Assessment A European Perspective

2026-03-19T21:35:06Z

Author Guariso, Giorgio. editor. Volta, Marialuisa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33349-6
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

2026-03-19T21:35:06Z

Author Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66583-2
Format: Electronic Resources
Availability Online Library~1

Guide to Scientific Computing in C++

2026-03-19T21:35:06Z

Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73132-2
Format: Electronic Resources
Availability Online Library~1

Critical Infrastructure Protection XI 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, Revised Selected Papers

2026-03-19T21:35:06Z

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

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

2026-03-19T21:35:06Z

Author Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59294-7
Format: Electronic Resources
Availability Online Library~1

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings

2026-03-19T21:35:06Z

Author Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68759-9
Format: Electronic Resources
Availability Online Library~1

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 7th International Workshop, STACOM 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers

2026-03-19T21:35:06Z

Author Mansi, Tommaso. editor. McLeod, Kristin. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52718-5
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings

2026-03-19T21:35:06Z

Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. Chaki, Rituparna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59105-6
Format: Electronic Resources
Availability Online Library~1

Research Challenges in Modeling and Simulation for Engineering Complex Systems

2026-03-19T21:35:06Z

Author Fujimoto, Richard. editor. Bock, Conrad. editor. Chen, Wei. editor. Page, Ernest. editor. Panchal, Jitesh H. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58544-4
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Intelligent Communications First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers

2026-03-19T21:35:06Z

Author Xin-lin, Huang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52730-7
Format: Electronic Resources
Availability Online Library~1

Communication Technologies for Vehicles 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings

2026-03-19T21:35:06Z

Author Pirovano, Alain. editor. Berbineau, Marion. editor. Vinel, Alexey. editor. Guerber, Christophe. editor. Roque, Damien. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56880-5
Format: Electronic Resources
Availability Online Library~1

Seismic Wave Propagation in Non-Homogeneous Elastic Media by Boundary Elements

2026-03-19T21:35:06Z

Author Manolis, George D. author. Dineva, Petia S. author. Rangelov, Tsviatko V. author. Wuttke, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45206-7
Format: Electronic Resources
Availability Online Library~1

Measuring, Modeling and Simulating the Re-adaptation Process of the Human Visual System after Short-Time Glares in Traffic Scenarios

2026-03-19T21:35:06Z

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

Mental Modeling Approach Risk Management Application Case Studies

2026-03-19T21:35:06Z

Author Wood, Matthew D. author. Thorne, Sarah. author. Kovacs, Daniel. author. Butte, Gordon. author. Linkov, Igor. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-6616-5
Format: Electronic Resources
Availability Online Library~1

Analytical and Computational Methods in Probability Theory First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings

2026-03-19T21:35:06Z

Author Rykov, Vladimir V. editor. Singpurwalla, Nozer D. editor. Zubkov, Andrey M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71504-9
Format: Electronic Resources
Availability Online Library~1

Simulating Crowds in Egress Scenarios

2026-03-19T21:35:06Z

Author Cassol, Vinícius J. author. Musse, Soraia R. author. Jung, Cláudio R. author. Badler, Norman I. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65202-3
Format: Electronic Resources
Availability Online Library~1

Bioinformatics for Evolutionary Biologists A Problems Approach

2026-03-19T21:35:06Z

Author Haubold, Bernhard. author. Börsch-Haubold, Angelika. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67395-0
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers

2026-03-19T21:35:06Z

Author Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66302-9
Format: Electronic Resources
Availability Online Library~1

Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part II

2026-03-19T21:35:06Z

Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6502-6
Format: Electronic Resources
Availability Online Library~1

Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers

2026-03-19T21:35:06Z

Author Longo, Luca. editor. Leva, M. Chiara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61061-0
Format: Electronic Resources
Availability Online Library~1

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

2026-03-19T21:35:06Z

Author Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62569-0
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-03-19T21:35:06Z

Author Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66335-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers

2026-03-19T21:35:06Z

Author Huhn, Michaela. editor. Williams, Laurie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63194-3
Format: Electronic Resources
Availability Online Library~1

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2026-03-19T21:35:06Z

Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63501-9
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings

2026-03-19T21:35:06Z

Author Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67471-1
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2026-03-19T21:35:06Z

Author Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54069-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

2026-03-19T21:35:06Z

Author Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62075-6
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 I

2026-03-19T21:35:06Z

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

Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings

2026-03-19T21:35:06Z

Author Tichavský, Petr. editor. Babaie-Zadeh, Massoud. editor. Michel, Olivier J.J. editor. Thirion-Moreau, Nadège. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53547-0
Format: Electronic Resources
Availability Online Library~1

Advances in Social Simulation 2015

2026-03-19T21:35:06Z

Author Jager, Wander. editor. Verbrugge, Rineke. editor. Flache, Andreas. editor. de Roo, Gert. editor. Hoogduin, Lex. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47253-9
Format: Electronic Resources
Availability Online Library~1

Tunnel Fire Testing and Modeling The Morgex North Tunnel Experiment

2026-03-19T21:35:06Z

Author Borghetti, Fabio. author. Derudi, Marco. author. Gandini, Paolo. author. Frassoldati, Alessio. author. Tavelli, Silvia. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49517-0
Format: Electronic Resources
Availability Online Library~1

Variational Methods in Molecular Modeling

2026-03-19T21:35:06Z

Author Wu, Jianzhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2502-0
Format: Electronic Resources
Availability Online Library~1

Advances on Mechanics, Design Engineering and Manufacturing Proceedings of the International Joint Conference on Mechanics, Design Engineering & Advanced Manufacturing (JCM 2016), 14-16 September, 2016, Catania, Italy

2026-03-19T21:35:06Z

Author Eynard, Benoit. editor. Nigrelli, Vincenzo. editor. Oliveri, Salvatore Massimo. editor. Peris-Fajarnes, Guillermo. editor. Rizzuti, Sergio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45781-9
Format: Electronic Resources
Availability Online Library~1

Natural Interaction in Medical Training Tools and Applications

2026-03-19T21:35:06Z

Author Del Bimbo, Alberto. author. Ferracani, Andrea. author. Pezzatini, Daniele. author. Seidenari, Lorenzo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61036-8
Format: Electronic Resources
Availability Online Library~1

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

2026-03-19T21:35:06Z

Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6687-0
Format: Electronic Resources
Availability Online Library~1

Enterprise and Organizational Modeling and Simulation 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers

2026-03-19T21:35:06Z

Author Pergl, Robert. editor. Lock, Russell. editor. Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Molhanec, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68185-6
Format: Electronic Resources
Availability Online Library~1

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

2026-03-19T21:35:06Z

Author Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55417-4
Format: Electronic Resources
Availability Online Library~1

Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings

2026-03-19T21:35:06Z

Author Bajo, Javier. editor. Vale, Zita. editor. Hallenborg, Kasper. editor. Rocha, Ana Paula. editor. Mathieu, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60285-1
Format: Electronic Resources
Availability Online Library~1

Mobile Ad Hoc Network Protocols Based on Dissimilarity Metrics

2026-03-19T21:35:06Z

Author Günes, M. author. Reina, D. G. author. Garcia Campos, J. M. author. Toral, S. L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62740-3
Format: Electronic Resources
Availability Online Library~1

Automated Workflow Scheduling in Self-Adaptive Clouds Concepts, Algorithms and Methods

2026-03-19T21:35:06Z

Author Kousalya, G. author. Balakrishnan, P. author. Pethuru Raj, C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56982-6
Format: Electronic Resources
Availability Online Library~1

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2026-03-19T21:35:06Z

Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63121-9
Format: Electronic Resources
Availability Online Library~1

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2026-03-19T21:35:06Z

Author Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68270-9
Format: Electronic Resources
Availability Online Library~1

Analyzing Emotion in Spontaneous Speech

2026-03-19T21:35:06Z

Author Chakraborty, Rupayan. author. Pandharipande, Meghna. author. Kopparapu, Sunil Kumar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7674-9
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 II

2026-03-19T21:35:06Z

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

Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings

2026-03-19T21:35:06Z

Author Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. Villa-Ramírez, José Luis. editor. Ferro-Escobar, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66963-2
Format: Electronic Resources
Availability Online Library~1

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration 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 III

2026-03-19T21:35:06Z

Author Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Niu, Qun. editor. Yang, Zhile. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6364-0
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings

2026-03-19T21:35:06Z

Author Mas, Antonia. editor. Mesquida, Antoni. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67383-7
Format: Electronic Resources
Availability Online Library~1

Management of Information, Process and Cooperation Third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised Selected Papers

2026-03-19T21:35:06Z

Author Cao, Jian. editor. Liu, Jianxun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3996-6
Format: Electronic Resources
Availability Online Library~1

Nature-Inspired Computing and Optimization Theory and Applications

2026-03-19T21:35:06Z

Author Patnaik, Srikanta. editor. Yang, Xin-She. editor. Nakamatsu, Kazumi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50920-4
Format: Electronic Resources
Availability Online Library~1

Advanced Computational Methods in Life System Modeling and Simulation 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 I

2026-03-19T21:35:06Z

Author Fei, Minrui. editor. Ma, Shiwei. editor. Li, Xin. editor. Sun, Xin. editor. Jia, Li. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6370-1
Format: Electronic Resources
Availability Online Library~1

Transparent Data Mining for Big and Small Data

2026-03-19T21:35:06Z

Author Cerquitelli, Tania. editor. (orcid)0000-0002-9039-6226 Quercia, Daniele. editor. Pasquale, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54024-5
Format: Electronic Resources
Availability Online Library~1

High Performance Computer Applications 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015, Revised Selected Papers

2026-03-19T21:35:06Z

Author Gitler, Isidoro. editor. (orcid)0000-0003-1241-5943 Klapp, Jaime. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32243-8
Format: Electronic Resources
Availability Online Library~1

Computational Methods and Clinical Applications for Spine Imaging Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings

2026-03-19T21:35:06Z

Author Vrtovec, Tomaž. editor. Yao, Jianhua. editor. Glocker, Ben. editor. (orcid)0000-0002-4897-9356 Klinder, Tobias. editor. Frangi, Alejandro. editor. (orcid)0000-0002-2675-528X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41827-8
Format: Electronic Resources
Availability Online Library~1

Patch-Based Techniques in Medical Imaging Second International Workshop, Patch-MI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings

2026-03-19T21:35:06Z

Author Wu, Guorong. editor. Coupé, Pierrick. editor. Zhan, Yiqiang. editor. Munsell, Brent C. editor. Rueckert, Daniel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47118-1
Format: Electronic Resources
Availability Online Library~1

Structure-preserving Integrators in Nonlinear Structural Dynamics and Flexible Multibody Dynamics

2026-03-19T21:35:06Z

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

Social, Cultural, and Behavioral Modeling 9th International Conference, SBP-BRiMS 2016, Washington, DC, USA, June 28 - July 1, 2016, Proceedings

2026-03-19T21:35:06Z

Author Xu, Kevin S. editor. Reitter, David. editor. Lee, Dongwon. editor. Osgood, Nathaniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39931-7
Format: Electronic Resources
Availability Online Library~1

Numerical Approximation of the Magnetoquasistatic Model with Uncertainties Applications in Magnet Design

2026-03-19T21:35:06Z

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

Interactive Modeling and Simulation in Business System Design

2026-03-19T21:35:06Z

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

Mathematical Modeling and Optimization of Complex Structures

2026-03-19T21:35:06Z

Author Neittaanmäki, Pekka. editor. Repin, Sergey. editor. Tuovinen, Tero. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23564-6
Format: Electronic Resources
Availability Online Library~1

Communication Technologies for Vehicles 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings

2026-03-19T21:35:06Z

Author Mendizabal, Jaizki. editor. Berbineau, Marion. editor. Vinel, Alexey. editor. Pfletschinger, Stephan. editor. Bonneville, Hervé. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-38921-9
Format: Electronic Resources
Availability Online Library~1

Advances in Reconfigurable Mechanisms and Robots II

2026-03-19T21:35:06Z

Author Ding, Xilun. editor. Kong, Xianwen. editor. Dai, Jian S. editor. (orcid)0000-0002-9729-1662 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23327-7
Format: Electronic Resources
Availability Online Library~1

Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking Benchmarking Initiatives

2026-03-19T21:35:06Z

Author Kolditz, Olaf. editor. (orcid)0000-0002-8098-4905 Görke, Uwe-Jens. editor. Shao, Hua. editor. Wang, Wenqing. editor. Bauer, Sebastian. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29224-3
Format: Electronic Resources
Availability Online Library~1

KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

2026-03-19T21:35:06Z

Author Friedrich, Gerhard. editor. Helmert, Malte. editor. Wotawa, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46073-4
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I

2026-03-19T21:35:06Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A. C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42085-1
Format: Electronic Resources
Availability Online Library~1

Applications of Soft Computing in Time Series Forecasting Simulation and Modeling Techniques

2026-03-19T21:35:06Z

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

Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation

2026-03-19T21:35:06Z

Author Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33786-9
Format: Electronic Resources
Availability Online Library~1

Spatial Modeling Principles in Earth Sciences

2026-03-19T21:35:06Z

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

Multicomponent and Multiscale Systems Theory, Methods, and Applications in Engineering

2026-03-19T21:35:06Z

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

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

2026-03-19T21:35:06Z

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

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

2026-03-19T21:35:06Z

Author Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45177-0
Format: Electronic Resources
Availability Online Library~1

Study on the Optimal Allocation of Water Resources Systems and the Comprehensive Utilization of Water Resources in Arid-Semiarid Multiple Mining Areas

2026-03-19T21:35:06Z

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

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers

2026-03-19T21:35:06Z

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

Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques

2026-03-19T21:35:06Z

Author Pop, Florin. editor. Kołodziej, Joanna. editor. Di Martino, Beniamino. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44881-7
Format: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture IX 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part II

2026-03-19T21:35:06Z

Author Li, Daoliang. editor. Li, Zhenbo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48354-2
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2026-03-19T21:35:06Z

Author Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41135-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXII

2026-03-19T21:35:06Z

Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49619-0
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

2026-03-19T21:35:06Z

Author Abrahamsson, Pekka. editor. Jedlitschka, Andreas. editor. Nguyen Duc, Anh. editor. (orcid)0000-0002-7063-9200 Felderer, Michael. editor. Amasaki, Sousuke. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49094-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems for Computer Modelling Proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015

2026-03-19T21:35:06Z

Author Styskala, Vitezslav. editor. Kolosov, Dmitrii. editor. Snasel, Vaclav. editor. Karakeyev, Taalaybek. editor. Abraham, Ajith. editor. (orcid)0000-0002-0169-6738
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27644-1
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Information and Production Systems Modelling and Analysis Incentive Mechanisms, Competence Management, Knowledge-based Production

2026-03-19T21:35:06Z

Author Różewski, Przemysław. editor. Novikov, Dmitry. editor. Bakhtadze, Natalia. editor. Zaikin, Oleg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23338-3
Format: Electronic Resources
Availability Online Library~1

Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection International Workshops of PAAMS 2016, Sevilla, Spain, June 1-3, 2016. Proceedings

2026-03-19T21:35:06Z

Author Bajo, Javier. editor. Escalona, María José. editor. Giroux, Sylvain. editor. Hoffa-Dąbrowska, Patrycja. editor. Julián, Vicente. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39387-2
Format: Electronic Resources
Availability Online Library~1