Search Results for Systems Theory. - Narrowed by: Computer Modelling. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bTheory.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bModelling.$002509Computer$002bModelling.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-21T02:27:06Z 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 ent://SD_ILS/0/SD_ILS:608160 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Moreno-D&iacute;az, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 II ent://SD_ILS/0/SD_ILS:608161 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Moreno-D&iacute;az, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 III ent://SD_ILS/0/SD_ILS:608165 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Moreno-D&iacute;az, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 I ent://SD_ILS/0/SD_ILS:608296 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792&#160;Heule, Marijn. editor. (orcid)0000-0002-5587-8801&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 III ent://SD_ILS/0/SD_ILS:608297 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792&#160;Heule, Marijn. editor. (orcid)0000-0002-5587-8801&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 II ent://SD_ILS/0/SD_ILS:608320 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792&#160;Heule, Marijn. editor. (orcid)0000-0002-5587-8801&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 I ent://SD_ILS/0/SD_ILS:603145 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Finkbeiner, Bernd. editor.&#160;Kov&aacute;cs, Laura. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 II ent://SD_ILS/0/SD_ILS:603151 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Finkbeiner, Bernd. editor.&#160;Kov&aacute;cs, Laura. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 III ent://SD_ILS/0/SD_ILS:603152 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Finkbeiner, Bernd. editor.&#160;Kov&aacute;cs, Laura. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 I ent://SD_ILS/0/SD_ILS:614682 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Zhang, Lin. editor. (orcid)0000-0003-1989-6102&#160;Song, Xiao. editor. (orcid)0000-0003-4279-426X&#160;Wu, Yunjie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multicomponent and Multiscale Systems Theory, Methods, and Applications in Engineering ent://SD_ILS/0/SD_ILS:612813 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Geiser, Juergen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 II ent://SD_ILS/0/SD_ILS:614717 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Zhang, Lin. editor. (orcid)0000-0003-1989-6102&#160;Song, Xiao. editor. (orcid)0000-0003-4279-426X&#160;Wu, Yunjie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 III ent://SD_ILS/0/SD_ILS:617909 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Zhang, Lin. editor. (orcid)0000-0003-1989-6102&#160;Song, Xiao. editor. (orcid)0000-0003-4279-426X&#160;Wu, Yunjie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 IV ent://SD_ILS/0/SD_ILS:617926 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Zhang, Lin. editor. (orcid)0000-0003-1989-6102&#160;Song, Xiao. editor. (orcid)0000-0003-4279-426X&#160;Wu, Yunjie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Robotics ent://SD_ILS/0/SD_ILS:609960 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Siciliano, Bruno. author. (orcid)0000-0002-1037-0588&#160;Villani, Luigi. author. (orcid)0000-0002-4431-6846&#160;Oriolo, Giuseppe. author. (orcid)0000-0001-6153-9278&#160;De Luca, Alessandro. author. (orcid)0000-0002-0713-5608&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Control Systems Benchmarks ent://SD_ILS/0/SD_ILS:608684 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Maestre, Jos&eacute; M. editor. (orcid)0000-0002-4968-6811&#160;Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multivariable Control Engineering Problems and their Solutions with GNU Octave ent://SD_ILS/0/SD_ILS:609778 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Borutzky, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling, Simulation and Optimization Proceedings of CoMSO 2022 ent://SD_ILS/0/SD_ILS:602616 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Das, Biplab. editor. (orcid)0000-0003-3752-6308&#160;Patgiri, Ripon. editor. (orcid)0000-0002-9899-9152&#160;Bandyopadhyay, Sivaji. editor. (orcid)0000-0003-2607-1774&#160;Balas, Valentina Emilia. editor.&#160;Roy, Sukanta. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deep Generative Modeling ent://SD_ILS/0/SD_ILS:605103 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Tomczak, Jakub M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence for Healthy Longevity ent://SD_ILS/0/SD_ILS:528344 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Moskalev, Alexey. editor. (orcid)0000-0002-3248-1633&#160;Stambler, Ilia. editor.&#160;Zhavoronkov, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods for Biological Models ent://SD_ILS/0/SD_ILS:528550 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Singh, Harendra. editor.&#160;Dutta, Hemen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Computational Social Science Principles and Applications ent://SD_ILS/0/SD_ILS:611540 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Cioffi-Revilla, Claudio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 II ent://SD_ILS/0/SD_ILS:611790 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Yue, Dong. editor.&#160;Peng, Chen. editor. (orcid)0000-0003-3652-2233&#160;Du, Dajun. editor.&#160;Zhang, Tengfei. editor.&#160;Zheng, Min. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616233 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Geuvers, Herman. editor.&#160;England, Matthew. editor.&#160;Hasan, Osman. editor.&#160;Rabe, Florian. editor.&#160;Teschke, Olaf. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611217 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847&#160;Samouylov, Konstantin E. editor.&#160;Kozyrev, Dmitry V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real-time Monitoring and Operational Control of Drinking-Water Systems ent://SD_ILS/0/SD_ILS:611883 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Puig, Vicen&ccedil;. editor.&#160;Ocampo-Mart&iacute;nez, Carlos. editor.&#160;P&eacute;rez, Ramon. editor.&#160;Cembrano, Gabriela. editor.&#160;Quevedo, Joseba. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:612618 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Majumdar, Rupak. editor.&#160;Kun&#269;ak, Viktor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXVII ent://SD_ILS/0/SD_ILS:613757 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Mercik, Jacek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Social Simulation 2015 ent://SD_ILS/0/SD_ILS:616936 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Jager, Wander. editor.&#160;Verbrugge, Rineke. editor.&#160;Flache, Andreas. editor.&#160;de Roo, Gert. editor.&#160;Hoogduin, Lex. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Variational Methods in Molecular Modeling ent://SD_ILS/0/SD_ILS:617056 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Wu, Jianzhong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:617812 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Aceto, Luca. editor.&#160;Bacci, Giorgio. editor.&#160;Bacci, Giovanni. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.&#160;Legay, Axel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 III ent://SD_ILS/0/SD_ILS:617913 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Li, Kang. editor.&#160;Xue, Yusheng. editor.&#160;Cui, Shumei. editor.&#160;Niu, Qun. editor.&#160;Yang, Zhile. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication Technologies for Vehicles 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings ent://SD_ILS/0/SD_ILS:618303 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Pirovano, Alain. editor.&#160;Berbineau, Marion. editor.&#160;Vinel, Alexey. editor.&#160;Guerber, Christophe. editor.&#160;Roque, Damien. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude ent://SD_ILS/0/SD_ILS:617461 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;&Ouml;lveczky, Peter Csaba. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 I ent://SD_ILS/0/SD_ILS:618264 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Fei, Minrui. editor.&#160;Ma, Shiwei. editor.&#160;Li, Xin. editor.&#160;Sun, Xin. editor.&#160;Jia, Li. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXII ent://SD_ILS/0/SD_ILS:611645 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Lasso-MPC - Predictive Control with &#8467;1-Regularised Least Squares ent://SD_ILS/0/SD_ILS:615281 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Gallieri, Marco. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real Time Modeling, Simulation and Control of Dynamical Systems ent://SD_ILS/0/SD_ILS:616345 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Mughal, Asif Mahmood. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXI Special Issue on Keyword Search and Big Data ent://SD_ILS/0/SD_ILS:616905 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. editor.&#160;Rupino da Cunha, Paulo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:618165 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847&#160;Samouylov, Konstantin E. editor.&#160;Kozyrev, Dmitry V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques ent://SD_ILS/0/SD_ILS:611395 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Pop, Florin. editor.&#160;Ko&#322;odziej, Joanna. editor.&#160;Di Martino, Beniamino. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Variable-Structure Approaches Analysis, Simulation, Robust Control and Estimation of Uncertain Dynamic Processes ent://SD_ILS/0/SD_ILS:613888 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Rauh, Andreas. editor.&#160;Senkel, Luise. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures ent://SD_ILS/0/SD_ILS:616134 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Urban Resilience A Transformative Approach ent://SD_ILS/0/SD_ILS:614498 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Yamagata, Yoshiki. editor.&#160;Maruyama, Hiroshi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617070 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Li, Kangshun. editor.&#160;Li, Jin. editor.&#160;Liu, Yong. editor. (orcid)0000-0002-4663-6739&#160;Castiglione, Aniello. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bionic Optimization in Structural Design Stochastically Based Methods to Improve the Performance of Parts and Assemblies ent://SD_ILS/0/SD_ILS:617222 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Steinbuch, Rolf. editor.&#160;Gekeler, Simon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613702 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847&#160;Kozyrev, Dmitry. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXIV ent://SD_ILS/0/SD_ILS:617810 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948&#160;Kowalczyk, Ryszard. editor.&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXIII ent://SD_ILS/0/SD_ILS:617811 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. editor.&#160;Mercik, Jacek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hierarchical Sliding Mode Control for Under-actuated Cranes Design, Analysis and Simulation ent://SD_ILS/0/SD_ILS:529943 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Qian, Dianwei. author.&#160;Yi, Jianqiang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bond Graph Model-based Fault Diagnosis of Hybrid Systems ent://SD_ILS/0/SD_ILS:530141 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Borutzky, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fractional Order Differentiation and Robust Control Design CRONE, H-infinity and Motion Control ent://SD_ILS/0/SD_ILS:530193 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Sabatier, Jocelyn. author.&#160;Lanusse, Patrick. author.&#160;Melchior, Pierre. author.&#160;Oustaloup, Alain. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Natural Computing Selected Results from the IWNC 7 Symposium ent://SD_ILS/0/SD_ILS:530355 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Suzuki, Yasuhiro. editor.&#160;Hagiya, Masami. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling and Control for a Blended Wing Body Aircraft A Case Study ent://SD_ILS/0/SD_ILS:529957 2026-03-21T02:27:06Z 2026-03-21T02:27:06Z Author&#160;Kozek, Martin. editor.&#160;Schirrer, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>