Search Results for Systems Theory. - Narrowed by: Computer Modelling.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bTheory.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bModelling.$002509Computer$002bModelling.$0026ps$003d300$0026isd$003dtrue?2026-05-16T13:36:41ZComputer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part IIIent://SD_ILS/0/SD_ILS:6081652026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83885-9">https://doi.org/10.1007/978-3-031-83885-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Ient://SD_ILS/0/SD_ILS:6082962026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIIent://SD_ILS/0/SD_ILS:6082972026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIent://SD_ILS/0/SD_ILS:6083202026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6081602026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82949-9">https://doi.org/10.1007/978-3-031-82949-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6081612026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82957-4">https://doi.org/10.1007/978-3-031-82957-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Ient://SD_ILS/0/SD_ILS:6031452026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIent://SD_ILS/0/SD_ILS:6031512026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIIent://SD_ILS/0/SD_ILS:6031522026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multicomponent and Multiscale Systems Theory, Methods, and Applications in Engineeringent://SD_ILS/0/SD_ILS:6128132026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Geiser, Juergen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15117-5">https://doi.org/10.1007/978-3-319-15117-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6147172026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2666-9">https://doi.org/10.1007/978-981-10-2666-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6179092026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2669-0">https://doi.org/10.1007/978-981-10-2669-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6179262026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2672-0">https://doi.org/10.1007/978-981-10-2672-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6146822026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2663-8">https://doi.org/10.1007/978-981-10-2663-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Control Systems Benchmarksent://SD_ILS/0/SD_ILS:6086842026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Maestre, José M. editor. (orcid)0000-0002-4968-6811 Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-76312-0">https://doi.org/10.1007/978-3-031-76312-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multivariable Control Engineering Problems and their Solutions with GNU Octaveent://SD_ILS/0/SD_ILS:6097782026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Borutzky, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95408-5">https://doi.org/10.1007/978-3-031-95408-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Roboticsent://SD_ILS/0/SD_ILS:6099602026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85523-8">https://doi.org/10.1007/978-3-031-85523-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling, Simulation and Optimization Proceedings of CoMSO 2022ent://SD_ILS/0/SD_ILS:6026162026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor 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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-6866-4">https://doi.org/10.1007/978-981-99-6866-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Deep Generative Modelingent://SD_ILS/0/SD_ILS:6051032026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Tomczak, Jakub M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64087-2">https://doi.org/10.1007/978-3-031-64087-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods for Biological Modelsent://SD_ILS/0/SD_ILS:5285502026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Singh, Harendra. editor. Dutta, Hemen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5001-0">https://doi.org/10.1007/978-981-99-5001-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence for Healthy Longevityent://SD_ILS/0/SD_ILS:5283442026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Moskalev, Alexey. editor. (orcid)0000-0002-3248-1633 Stambler, Ilia. editor. Zhavoronkov, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35176-1">https://doi.org/10.1007/978-3-031-35176-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6112172026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66836-9">https://doi.org/10.1007/978-3-319-66836-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Computational Social Science Principles and Applicationsent://SD_ILS/0/SD_ILS:6115402026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Cioffi-Revilla, Claudio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50131-4">https://doi.org/10.1007/978-3-319-50131-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Collective Intelligence XXVIIent://SD_ILS/0/SD_ILS:6137572026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Mercik, Jacek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70647-4">https://doi.org/10.1007/978-3-319-70647-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIent://SD_ILS/0/SD_ILS:6117902026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Yue, Dong. editor. Peng, Chen. editor. (orcid)0000-0003-3652-2233 Du, Dajun. editor. Zhang, Tengfei. editor. Zheng, Min. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6373-2">https://doi.org/10.1007/978-981-10-6373-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6126182026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Variational Methods in Molecular Modelingent://SD_ILS/0/SD_ILS:6170562026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Wu, Jianzhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2502-0">https://doi.org/10.1007/978-981-10-2502-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIIent://SD_ILS/0/SD_ILS:6179132026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Niu, Qun. editor. Yang, Zhile. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6364-0">https://doi.org/10.1007/978-981-10-6364-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real-time Monitoring and Operational Control of Drinking-Water Systemsent://SD_ILS/0/SD_ILS:6118832026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Puig, Vicenç. editor. Ocampo-Martínez, Carlos. editor. Pérez, Ramon. editor. Cembrano, Gabriela. editor. Quevedo, Joseba. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50751-4">https://doi.org/10.1007/978-3-319-50751-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162332026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62075-6">https://doi.org/10.1007/978-3-319-62075-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Social Simulation 2015ent://SD_ILS/0/SD_ILS:6169362026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Jager, Wander. editor. Verbrugge, Rineke. editor. Flache, Andreas. editor. de Roo, Gert. editor. Hoogduin, Lex. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47253-9">https://doi.org/10.1007/978-3-319-47253-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maudeent://SD_ILS/0/SD_ILS:6174612026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178122026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communication Technologies for Vehicles 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6183032026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Pirovano, Alain. editor. Berbineau, Marion. editor. Vinel, Alexey. editor. Guerber, Christophe. editor. Roque, Damien. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56880-5">https://doi.org/10.1007/978-3-319-56880-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Ient://SD_ILS/0/SD_ILS:6182642026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Fei, Minrui. editor. Ma, Shiwei. editor. Li, Xin. editor. Sun, Xin. editor. Jia, Li. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6370-1">https://doi.org/10.1007/978-981-10-6370-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6137022026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847 Kozyrev, Dmitry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30843-2">https://doi.org/10.1007/978-3-319-30843-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Urban Resilience A Transformative Approachent://SD_ILS/0/SD_ILS:6144982026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Yamagata, Yoshiki. editor. Maruyama, Hiroshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39812-9">https://doi.org/10.1007/978-3-319-39812-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Lasso-MPC - Predictive Control with ℓ1-Regularised Least Squaresent://SD_ILS/0/SD_ILS:6152812026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Gallieri, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27963-3">https://doi.org/10.1007/978-3-319-27963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniquesent://SD_ILS/0/SD_ILS:6113952026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Pop, Florin. editor. Kołodziej, Joanna. editor. Di Martino, Beniamino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44881-7">https://doi.org/10.1007/978-3-319-44881-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6181652026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51917-3">https://doi.org/10.1007/978-3-319-51917-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Collective Intelligence XXIIent://SD_ILS/0/SD_ILS:6116452026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49619-0">https://doi.org/10.1007/978-3-662-49619-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Variable-Structure Approaches Analysis, Simulation, Robust Control and Estimation of Uncertain Dynamic Processesent://SD_ILS/0/SD_ILS:6138882026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Rauh, Andreas. editor. Senkel, Luise. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31539-3">https://doi.org/10.1007/978-3-319-31539-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Collective Intelligence XXI Special Issue on Keyword Search and Big Dataent://SD_ILS/0/SD_ILS:6169052026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Rupino da Cunha, Paulo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49521-6">https://doi.org/10.1007/978-3-662-49521-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6170702026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Li, Kangshun. editor. Li, Jin. editor. Liu, Yong. editor. (orcid)0000-0002-4663-6739 Castiglione, Aniello. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0356-1">https://doi.org/10.1007/978-981-10-0356-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bionic Optimization in Structural Design Stochastically Based Methods to Improve the Performance of Parts and Assembliesent://SD_ILS/0/SD_ILS:6172222026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Steinbuch, Rolf. editor. Gekeler, Simon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46596-7">https://doi.org/10.1007/978-3-662-46596-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Collective Intelligence XXIVent://SD_ILS/0/SD_ILS:6178102026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Kowalczyk, Ryszard. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53525-7">https://doi.org/10.1007/978-3-662-53525-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Collective Intelligence XXIIIent://SD_ILS/0/SD_ILS:6178112026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Mercik, Jacek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-52886-0">https://doi.org/10.1007/978-3-662-52886-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lecturesent://SD_ILS/0/SD_ILS:6161342026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real Time Modeling, Simulation and Control of Dynamical Systemsent://SD_ILS/0/SD_ILS:6163452026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Mughal, Asif Mahmood. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33906-1">https://doi.org/10.1007/978-3-319-33906-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fractional Order Differentiation and Robust Control Design CRONE, H-infinity and Motion Controlent://SD_ILS/0/SD_ILS:5301932026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Sabatier, Jocelyn. author. Lanusse, Patrick. author. Melchior, Pierre. author. Oustaloup, Alain. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-94-017-9807-5">https://doi.org/10.1007/978-94-017-9807-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Advances in Natural Computing Selected Results from the IWNC 7 Symposiument://SD_ILS/0/SD_ILS:5303552026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Suzuki, Yasuhiro. editor. Hagiya, Masami. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-4-431-55105-8">https://doi.org/10.1007/978-4-431-55105-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hierarchical Sliding Mode Control for Under-actuated Cranes Design, Analysis and Simulationent://SD_ILS/0/SD_ILS:5299432026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Qian, Dianwei. author. Yi, Jianqiang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48417-3">https://doi.org/10.1007/978-3-662-48417-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling and Control for a Blended Wing Body Aircraft A Case Studyent://SD_ILS/0/SD_ILS:5299572026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Kozek, Martin. editor. Schirrer, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10792-9">https://doi.org/10.1007/978-3-319-10792-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bond Graph Model-based Fault Diagnosis of Hybrid Systemsent://SD_ILS/0/SD_ILS:5301412026-05-16T13:36:41Z2026-05-16T13:36:41ZAuthor Borutzky, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11860-4">https://doi.org/10.1007/978-3-319-11860-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>