Search Results for 4. - Narrowed by: Computer Modelling.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d4.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bModelling.$002509Computer$002bModelling.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-03-17T12:18:38Z
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603672
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60698-4">https://doi.org/10.1007/978-3-031-60698-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamic Data Driven Applications Systems 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:602690
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Blasch, Erik. editor. Darema, Frederica. editor. Aved, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52670-1">https://doi.org/10.1007/978-3-031-52670-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exscalate4CoV High-Performance Computing for COVID Drug Discovery
ent://SD_ILS/0/SD_ILS:526863
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Coletti, Silvano. editor. Bernardi, Gabriella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30691-4">https://doi.org/10.1007/978-3-031-30691-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:611966
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3966-9">https://doi.org/10.1007/978-981-10-3966-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617939
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Mas, Antonia. editor. Mesquida, Antoni. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67383-7">https://doi.org/10.1007/978-3-319-67383-7</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, Proceedings
ent://SD_ILS/0/SD_ILS:618303
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author 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/>
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
ent://SD_ILS/0/SD_ILS:617886
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3969-0">https://doi.org/10.1007/978-981-10-3969-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:617716
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59294-7">https://doi.org/10.1007/978-3-319-59294-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616323
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62932-2">https://doi.org/10.1007/978-3-319-62932-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:614757
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66302-9">https://doi.org/10.1007/978-3-319-66302-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:615971
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Huhn, Michaela. editor. Williams, Laurie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63194-3">https://doi.org/10.1007/978-3-319-63194-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:611984
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42108-7">https://doi.org/10.1007/978-3-319-42108-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611808
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42085-1">https://doi.org/10.1007/978-3-319-42085-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611725
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31559-1">https://doi.org/10.1007/978-3-319-31559-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616250
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46559-3">https://doi.org/10.1007/978-3-319-46559-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616050
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42324-1">https://doi.org/10.1007/978-3-319-42324-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617935
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29510-7">https://doi.org/10.1007/978-3-319-29510-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods and Clinical Applications for Spine Imaging 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618302
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Yao, Jianhua. editor. Vrtovec, Tomaž. editor. Zheng, Guoyan. editor. Frangi, Alejandro. editor. (orcid)0000-0002-2675-528X Glocker, Ben. editor. (orcid)0000-0002-4897-9356<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55050-3">https://doi.org/10.1007/978-3-319-55050-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:618138
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42111-7">https://doi.org/10.1007/978-3-319-42111-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communication Technologies for Vehicles 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611330
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Mendizabal, Jaizki. editor. Berbineau, Marion. editor. Vinel, Alexey. editor. Pfletschinger, Stephan. editor. Bonneville, Hervé. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-38921-9">https://doi.org/10.1007/978-3-319-38921-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:613726
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42092-9">https://doi.org/10.1007/978-3-319-42092-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:612085
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42089-9">https://doi.org/10.1007/978-3-319-42089-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:615941
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42321-0">https://doi.org/10.1007/978-3-319-42321-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Design and Simulation Analysis 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:614556
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Ohn, Syng Yup. editor. Chi, Sung Do. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2158-9">https://doi.org/10.1007/978-981-10-2158-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 II
ent://SD_ILS/0/SD_ILS:608320
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author 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 II
ent://SD_ILS/0/SD_ILS:608161
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
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)<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/>
Understanding Modelling and Programming
ent://SD_ILS/0/SD_ILS:606763
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71280-7">https://doi.org/10.1007/978-3-031-71280-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Animals to Animats 17 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605055
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Brock, Oliver. editor. (orcid)0000-0002-3719-7754 Krichmar, Jeffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71533-4">https://doi.org/10.1007/978-3-031-71533-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:608263
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87345-4">https://doi.org/10.1007/978-3-031-87345-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:606727
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Du, Dajun. editor. Jia, Xinchun. editor. Zhao, Wanqing. editor. Li, Xue. editor. Sun, Xin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0225-4">https://doi.org/10.1007/978-981-96-0225-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608842
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93706-4">https://doi.org/10.1007/978-3-031-93706-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling and Simulation for Autonomous Systems 10th International Conference, MESAS 2023, Palermo, Italy, October 17-19, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:605709
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71397-2">https://doi.org/10.1007/978-3-031-71397-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604826
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Saito, Seiki. editor. Tanaka, Satoshi. editor. Li, Liang. editor. Takatori, Satoshi. editor. Tamura, Yuichi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7225-4">https://doi.org/10.1007/978-981-97-7225-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 II
ent://SD_ILS/0/SD_ILS:603151
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author 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/>
Modeling, Simulation and Optimization Proceedings of CoMSO 2022
ent://SD_ILS/0/SD_ILS:602616
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
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.<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/>
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
ent://SD_ILS/0/SD_ILS:601843
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7240-1">https://doi.org/10.1007/978-981-99-7240-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:602824
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7243-2">https://doi.org/10.1007/978-981-99-7243-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II LEAP-ASIA-2019
ent://SD_ILS/0/SD_ILS:602725
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Tobita, Tetsuo. editor. (orcid)0000-0002-1765-2721 Ichii, Koji. editor. Ueda, Kyohei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48821-4">https://doi.org/10.1007/978-3-031-48821-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concepts, Applications, Experimentation and Analysis of Wireless Sensor Networks
ent://SD_ILS/0/SD_ILS:528082
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Fahmy, Hossam Mahmoud Ahmad. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-20709-9">https://doi.org/10.1007/978-3-031-20709-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application of Gray System Theory in Fishery Science
ent://SD_ILS/0/SD_ILS:527991
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Chen, Xinjun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-0635-2">https://doi.org/10.1007/978-981-99-0635-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023
ent://SD_ILS/0/SD_ILS:529124
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Peng, Sheng-Lung. editor. Jhanjhi, Noor Zaman. editor. Pal, Souvik. editor. Amsaad, Fathi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-3611-3">https://doi.org/10.1007/978-981-99-3611-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods for Biological Models
ent://SD_ILS/0/SD_ILS:528550
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author 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/>
Digital Twin Driven Intelligent Systems and Emerging Metaverse
ent://SD_ILS/0/SD_ILS:527700
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Karaarslan, Enis. editor. Aydin, Ömer. editor. Cali, Ümit. editor. Challenger, Moharram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-0252-1">https://doi.org/10.1007/978-981-99-0252-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Forecast Error Correction using Dynamic Data Assimilation
ent://SD_ILS/0/SD_ILS:611946
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Lakshmivarahan, Sivaramakrishnan. author. Lewis, John M. author. Jabrzemski, Rafal. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39997-3">https://doi.org/10.1007/978-3-319-39997-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-time Monitoring and Operational Control of Drinking-Water Systems
ent://SD_ILS/0/SD_ILS:611883
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author 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/>
Ad Hoc Networks 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611809
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51204-4">https://doi.org/10.1007/978-3-319-51204-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Planning Support Science for Smarter Urban Futures
ent://SD_ILS/0/SD_ILS:612787
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Geertman, Stan. editor. Allan, Andrew. editor. Pettit, Chris. editor. Stillwell, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57819-4">https://doi.org/10.1007/978-3-319-57819-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616190
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67471-1">https://doi.org/10.1007/978-3-319-67471-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616183
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63501-9">https://doi.org/10.1007/978-3-319-63501-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nature-Inspired Computing and Optimization Theory and Applications
ent://SD_ILS/0/SD_ILS:618162
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Patnaik, Srikanta. editor. Yang, Xin-She. editor. Nakamatsu, Kazumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50920-4">https://doi.org/10.1007/978-3-319-50920-4</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, Proceedings
ent://SD_ILS/0/SD_ILS:611217
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author 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/>
Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:610956
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7299-4">https://doi.org/10.1007/978-981-10-7299-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Computational Social Science Principles and Applications
ent://SD_ILS/0/SD_ILS:611540
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author 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/>
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616217
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54069-5">https://doi.org/10.1007/978-3-662-54069-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Measuring, Modeling and Simulating the Re-adaptation Process of the Human Visual System after Short-Time Glares in Traffic Scenarios
ent://SD_ILS/0/SD_ILS:618470
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Meyer, Benjamin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-14704-4">https://doi.org/10.1007/978-3-658-14704-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research Challenges in Modeling and Simulation for Engineering Complex Systems
ent://SD_ILS/0/SD_ILS:618204
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Fujimoto, Richard. editor. Bock, Conrad. editor. Chen, Wei. editor. Page, Ernest. editor. Panchal, Jitesh H. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58544-4">https://doi.org/10.1007/978-3-319-58544-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Air Quality Integrated Assessment A European Perspective
ent://SD_ILS/0/SD_ILS:616775
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Guariso, Giorgio. editor. Volta, Marialuisa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33349-6">https://doi.org/10.1007/978-3-319-33349-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
ent://SD_ILS/0/SD_ILS:617778
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55417-4">https://doi.org/10.1007/978-3-319-55417-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616316
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57861-3">https://doi.org/10.1007/978-3-319-57861-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Infrastructure Protection XI 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617656
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Rice, Mason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70395-4">https://doi.org/10.1007/978-3-319-70395-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Modeling and Simulation of Systems of Systems
ent://SD_ILS/0/SD_ILS:613527
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64134-8">https://doi.org/10.1007/978-3-319-64134-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612150
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70848-5">https://doi.org/10.1007/978-3-319-70848-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612061
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89935-0">https://doi.org/10.1007/978-3-319-89935-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Collective Intelligence XXVII
ent://SD_ILS/0/SD_ILS:613757
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author 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/>
Group Processes Data-Driven Computational Approaches
ent://SD_ILS/0/SD_ILS:614773
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Pilny, Andrew. editor. Poole, Marshall Scott. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48941-4">https://doi.org/10.1007/978-3-319-48941-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:613330
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Barkowsky, Thomas. editor. Burte, Heather. editor. Hölscher, Christoph. editor. Schultheis, Holger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68189-4">https://doi.org/10.1007/978-3-319-68189-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615970
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66335-7">https://doi.org/10.1007/978-3-319-66335-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:610744
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Gortsev, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44615-8">https://doi.org/10.1007/978-3-319-44615-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Toward Robotic Socially Believable Behaving Systems - Volume II Modeling Social Signals
ent://SD_ILS/0/SD_ILS:612883
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Esposito, Anna. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31053-4">https://doi.org/10.1007/978-3-319-31053-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611436
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41135-4">https://doi.org/10.1007/978-3-319-41135-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616257
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47151-8">https://doi.org/10.1007/978-3-319-47151-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616053
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43425-4">https://doi.org/10.1007/978-3-319-43425-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Make-Believe
ent://SD_ILS/0/SD_ILS:617286
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Turner, Phil. editor. Harviainen, J. Tuomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29553-4">https://doi.org/10.1007/978-3-319-29553-4</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 Papers
ent://SD_ILS/0/SD_ILS:618165
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author 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/>
KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611703
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Friedrich, Gerhard. editor. Helmert, Malte. editor. Wotawa, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46073-4">https://doi.org/10.1007/978-3-319-46073-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612972
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Rovatsos, Michael. editor. Vouros, George. editor. Julian, Vicente. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33509-4">https://doi.org/10.1007/978-3-319-33509-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Isochronous Wireless Network for Real-time Communication in Industrial Automation
ent://SD_ILS/0/SD_ILS:612935
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Trsek, Henning. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49158-4">https://doi.org/10.1007/978-3-662-49158-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616218
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43144-4">https://doi.org/10.1007/978-3-319-43144-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616028
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42547-4">https://doi.org/10.1007/978-3-319-42547-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618449
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-35122-3">https://doi.org/10.1007/978-3-319-35122-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managing the Complexity of Critical Infrastructures A Modelling and Simulation Approach
ent://SD_ILS/0/SD_ILS:618185
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Setola, Roberto. editor. Rosato, Vittorio. editor. Kyriakides, Elias. editor. Rome, Erich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51043-9">https://doi.org/10.1007/978-3-319-51043-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Natural Computing Selected Results from the IWNC 8 Symposium
ent://SD_ILS/0/SD_ILS:616966
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author 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-55429-5">https://doi.org/10.1007/978-4-431-55429-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Process-Aware Systems Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617904
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Cao, Jian. editor. Liu, Xiao. editor. (orcid)0000-0001-8400-5754 Ren, Kaijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-1019-4">https://doi.org/10.1007/978-981-10-1019-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Sensor Networks Concepts, Applications, Experimentation and Analysis
ent://SD_ILS/0/SD_ILS:616344
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Fahmy, Hossam Mahmoud Ahmad. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0412-4">https://doi.org/10.1007/978-981-10-0412-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:615987
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author El Yacoubi, Samira. editor. Wąs, Jarosław. editor. Bandini, Stefania. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44365-2">https://doi.org/10.1007/978-3-319-44365-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Modeling of Disperse Two-Phase Flows
ent://SD_ILS/0/SD_ILS:530576
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Morel, Christophe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20104-7">https://doi.org/10.1007/978-3-319-20104-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bond Graph Model-based Fault Diagnosis of Hybrid Systems
ent://SD_ILS/0/SD_ILS:530141
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author 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/>
Fractional Order Differentiation and Robust Control Design CRONE, H-infinity and Motion Control
ent://SD_ILS/0/SD_ILS:530193
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author 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 Symposium
ent://SD_ILS/0/SD_ILS:530355
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author 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/>
Modeling of Magnetoelectric Effects in Composites
ent://SD_ILS/0/SD_ILS:530939
2026-03-17T12:18:38Z
2026-03-17T12:18:38Z
Author Bichurin, Mirza. author. Petrov, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-94-017-9156-4">https://doi.org/10.1007/978-94-017-9156-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>