Search Results for Tools. - Narrowed by: Computer simulation.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTools.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-04-08T22:14:33Z
Zentropy : Tools, Modelling, and Applications
ent://SD_ILS/0/SD_ILS:584279
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Liu, Zi-Kui, editor.<br/>Preferred Shelf Number QA76.9 .C65<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003514466">https://www.taylorfrancis.com/books/9781003514466</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling and Tools for Network Simulation
ent://SD_ILS/0/SD_ILS:191960
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Wehrle, Klaus. editor. Güneş, Mesut. editor. Gross, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12331-3">http://dx.doi.org/10.1007/978-3-642-12331-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems Biology Integrative Biology and Simulation Tools
ent://SD_ILS/0/SD_ILS:336324
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Prokop, Aleš. editor. Csukás, Béla. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336324.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-6803-1">http://dx.doi.org/10.1007/978-94-007-6803-1</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-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
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-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
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-04-08T22:14:33Z
2026-04-08T22:14:33Z
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-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 III
ent://SD_ILS/0/SD_ILS:608297
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
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-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:606524
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Guisado-Lizar, José-Luis. editor. Riscos-Núñez, Agustín. editor. (orcid)0000-0002-5409-3578 Morón-Fernández, María-José. editor. Wainer, Gabriel. editor. (orcid)0000-0003-3366-9184 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57523-5">https://doi.org/10.1007/978-3-031-57523-5</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 I
ent://SD_ILS/0/SD_ILS:603145
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
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-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 II
ent://SD_ILS/0/SD_ILS:603151
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
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-04-08T22:14:33Z
2026-04-08T22:14:33Z
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-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)
ent://SD_ILS/0/SD_ILS:527799
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Ihlenfeldt, Steffen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34486-2">https://doi.org/10.1007/978-3-031-34486-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:485282
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486688
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Song, Houbing. editor. Jiang, Dingde. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32216-8">https://doi.org/10.1007/978-3-030-32216-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400459
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Perspectives on Applied Industrial Tools and Techniques
ent://SD_ILS/0/SD_ILS:398981
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author García-Alcaraz, Jorge Luis. editor. (orcid)0000-0002-7092-6963 Alor-Hernández, Giner. editor. Maldonado-Macías, Aidé Aracely. editor. Sánchez-Ramírez, Cuauhtémoc. editor. (orcid)0000-0002-0344-1966 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56871-3">https://doi.org/10.1007/978-3-319-56871-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612356
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69483-2">https://doi.org/10.1007/978-3-319-69483-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies
ent://SD_ILS/0/SD_ILS:612569
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Micheloni, Rino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51735-3">https://doi.org/10.1007/978-3-319-51735-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613342
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72308-2">https://doi.org/10.1007/978-3-319-72308-2</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 Birthday
ent://SD_ILS/0/SD_ILS:617812
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author 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/>
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-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author 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/>
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-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author 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/>
Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616994
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47677-3">https://doi.org/10.1007/978-3-319-47677-3</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 III
ent://SD_ILS/0/SD_ILS:617909
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author 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 IV
ent://SD_ILS/0/SD_ILS:617926
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author 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/>
Improving Disaster Resilience and Mitigation - IT Means and Tools
ent://SD_ILS/0/SD_ILS:483680
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Teodorescu, Horia-Nicolai. editor. Kirschenbaum, Alan. editor. Cojocaru, Svetlana. editor. Bruderlein, Claude. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-94-017-9136-6">https://doi.org/10.1007/978-94-017-9136-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Assessment and Simulation Tools for Sustainable Energy Systems Theory and Applications
ent://SD_ILS/0/SD_ILS:331156
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Cavallaro, Fausto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331156.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5143-2">http://dx.doi.org/10.1007/978-1-4471-5143-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Earth System Modelling - Volume 5 Tools for Configuring, Building and Running Models
ent://SD_ILS/0/SD_ILS:195491
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Ford, Rupert. author. Riley, Graham. author. Budich, Reinhard. author. Redler, René. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23932-8">http://dx.doi.org/10.1007/978-3-642-23932-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196427
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Choy, Oliver C. S. editor. Cheung, Ray C. C. editor. Athanas, Peter. editor. Sano, Kentaro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28365-9">http://dx.doi.org/10.1007/978-3-642-28365-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Modelling in Assisted Transportation Models, Tools and Risk Methods
ent://SD_ILS/0/SD_ILS:204522
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Cacciabue, P. Carlo. editor. Hjälmdahl, Magnus. editor. Luedtke, Andreas. editor. Riccioli, Costanza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-1821-1">http://dx.doi.org/10.1007/978-88-470-1821-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reconfigurable Computing: Architectures, Tools and Applications 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194056
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Koch, Andreas. editor. Krishnamurthy, Ram. editor. McAllister, John. editor. Woods, Roger. editor. El-Ghazawi, Tarek. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19475-7">http://dx.doi.org/10.1007/978-3-642-19475-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195117
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Hübner, Jomi. editor. Leite, João. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22723-3">http://dx.doi.org/10.1007/978-3-642-22723-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191898
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Sirisuk, Phaophak. editor. Morgan, Fearghal. editor. El-Ghazawi, Tarek. editor. Amano, Hideharu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12133-3">http://dx.doi.org/10.1007/978-3-642-12133-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages, Methodologies, and Development Tools for Multi-Agent Systems Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192303
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Dastani, Mehdi. editor. El Fallah Segrouchni, Amal. editor. Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13338-1">http://dx.doi.org/10.1007/978-3-642-13338-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rapid Modelling for Increasing Competitiveness Tools and Mindset
ent://SD_ILS/0/SD_ILS:176057
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Reiner, Gerald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-748-6">http://dx.doi.org/10.1007/978-1-84882-748-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188572
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85058-8">http://dx.doi.org/10.1007/978-3-540-85058-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools
ent://SD_ILS/0/SD_ILS:175609
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Hrúz, Branislav. author. Zhou, MengChu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-877-7">http://dx.doi.org/10.1007/978-1-84628-877-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical modeling and optimization : An essay for the design of computer-based modeling tools
ent://SD_ILS/0/SD_ILS:76912
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Hürlimann, Tony.<br/>Preferred Shelf Number QA 401 H88 1999<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Applications of Machine Learning in Hydroclimatology
ent://SD_ILS/0/SD_ILS:605893
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Srivastav, Roshan. author. (orcid)0000-0002-8175-8969 Nayak, Purna C. author. (orcid)0000-0002-0711-5295 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64403-0">https://doi.org/10.1007/978-3-031-64403-0</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 I
ent://SD_ILS/0/SD_ILS:608160
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
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-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 II
ent://SD_ILS/0/SD_ILS:608161
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
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-04-08T22:14:33Z
2026-04-08T22:14:33Z
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-83885-9">https://doi.org/10.1007/978-3-031-83885-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Control Systems Benchmarks
ent://SD_ILS/0/SD_ILS:608684
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author 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/>
Expanding Senses using Neurotechnology Volume 1 ‒ Foundation of Brain-Computer Interface Technology
ent://SD_ILS/0/SD_ILS:607303
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Chaudhary, Ujwal. author. (orcid)0000-0002-7887-1012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-76081-5">https://doi.org/10.1007/978-3-031-76081-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Mathematics with MATLAB® and Simulink®
ent://SD_ILS/0/SD_ILS:608630
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Asadi, Farzin. author. (orcid)0000-0002-5928-0807 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85244-2">https://doi.org/10.1007/978-3-031-85244-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Robotics
ent://SD_ILS/0/SD_ILS:609960
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Siciliano, Bruno. author. (orcid)0000-0002-1037-0588 Villani, Luigi. author. (orcid)0000-0002-4431-6846 Oriolo, Giuseppe. author. (orcid)0000-0001-6153-9278 De Luca, Alessandro. author. (orcid)0000-0002-0713-5608 SpringerLink (Online service)<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/>
Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis
ent://SD_ILS/0/SD_ILS:604382
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56862-6">https://doi.org/10.1007/978-3-031-56862-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization of Chemical Processes A Sustainable Perspective
ent://SD_ILS/0/SD_ILS:603450
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Ponce-Ortega, José María. author. Ochoa-Barragán, Rogelio. author. (orcid)0000-0002-2187-5813 Ramírez-Márquez, César. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57270-8">https://doi.org/10.1007/978-3-031-57270-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Mechanics Selected Contributions to the 15th International Moroccan Congress of Mechanics, May 24-27, 2022, CMM 2022, Casablanca, Morocco
ent://SD_ILS/0/SD_ILS:602054
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Aniss, Said. editor. (orcid)0000-0002-8700-974X Rahmoune, Miloud. editor. (orcid)0000-0002-1156-689X Mordane, Somia. editor. Ait Ali, Mohamed Elamine. editor. (orcid)0000-0002-5597-7885 Khatyr, Rabha. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46973-2">https://doi.org/10.1007/978-3-031-46973-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence for Healthy Longevity
ent://SD_ILS/0/SD_ILS:528344
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author 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/>
Systems engineering neural networks
ent://SD_ILS/0/SD_ILS:598111
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Migliaccio, Alessandro, author. Iannone, Giovanni, author.<br/>Preferred Shelf Number QA76.87 .M537 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-based system architecture
ent://SD_ILS/0/SD_ILS:597501
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Weilkiens, Tim, author. Lamm, Jesko G., 1976- author. Roth, Stephan, 1968- author. Walker, Markus, 1965- author. John Wiley & Sons.<br/>Preferred Shelf Number TA168 .W45 2022<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119746683">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119746683</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An introduction to cyber modeling and simulation
ent://SD_ILS/0/SD_ILS:594699
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Couretas, Jerry M., 1966- author.<br/>Preferred Shelf Number QA76.9 .C65<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420842">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420842</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual World Design.
ent://SD_ILS/0/SD_ILS:545175
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Cudworth, Ann Latham, author. CRC Press LLC.<br/>Preferred Shelf Number QA76.9 .C65 C83 2017<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429187384">https://www.taylorfrancis.com/books/9780429187384</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics
ent://SD_ILS/0/SD_ILS:593640
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Tolk, Andreas, editor. Ören, Tuncer I., editor.<br/>Preferred Shelf Number QA10.5<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Advances Towards Sustainable Environmental Systems
ent://SD_ILS/0/SD_ILS:612433
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Furze, James N. editor. Swing, Kelly. editor. Gupta, Anil K. editor. McClatchey, Richard H. editor. Reynolds, Darren M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43901-3">https://doi.org/10.1007/978-3-319-43901-3</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-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615970
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
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-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
Mental Modeling Approach Risk Management Application Case Studies
ent://SD_ILS/0/SD_ILS:618400
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Wood, Matthew D. author. Thorne, Sarah. author. Kovacs, Daniel. author. Butte, Gordon. author. Linkov, Igor. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-6616-5">https://doi.org/10.1007/978-1-4939-6616-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Social Simulation 2015
ent://SD_ILS/0/SD_ILS:616936
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author 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/>
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613250
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71255-0">https://doi.org/10.1007/978-3-319-71255-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulating Crowds in Egress Scenarios
ent://SD_ILS/0/SD_ILS:613657
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Cassol, Vinícius J. author. Musse, Soraia R. author. Jung, Cláudio R. author. Badler, Norman I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65202-3">https://doi.org/10.1007/978-3-319-65202-3</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-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
Guide to Distributed Simulation with HLA
ent://SD_ILS/0/SD_ILS:611689
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61267-6">https://doi.org/10.1007/978-3-319-61267-6</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-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
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-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author 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/>
Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis
ent://SD_ILS/0/SD_ILS:612675
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Cao, Zijun. author. Wang, Yu. author. Li, Dianqing. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-52914-0">https://doi.org/10.1007/978-3-662-52914-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612856
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67035-5">https://doi.org/10.1007/978-3-319-67035-5</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-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
ent://SD_ILS/0/SD_ILS:617778
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
Product-Focused Software Process Improvement 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611648
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Abrahamsson, Pekka. editor. Jedlitschka, Andreas. editor. Nguyen Duc, Anh. editor. (orcid)0000-0002-7063-9200 Felderer, Michael. editor. Amasaki, Sousuke. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49094-6">https://doi.org/10.1007/978-3-319-49094-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verifying Calculations - Forty Years On An Overview of Classical Verification Techniques for FEM Simulations
ent://SD_ILS/0/SD_ILS:614647
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Chamoin, Ludovic. editor. Díez, Pedro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20553-3">https://doi.org/10.1007/978-3-319-20553-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovative Simulation Systems
ent://SD_ILS/0/SD_ILS:614938
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Nawrat, Aleksander. editor. Jędrasiak, Karol. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21118-3">https://doi.org/10.1007/978-3-319-21118-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Vienna LTE-Advanced Simulators Up and Downlink, Link and System Level Simulation
ent://SD_ILS/0/SD_ILS:616967
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Rupp, Markus. author. Schwarz, Stefan. author. Taranetz, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0617-3">https://doi.org/10.1007/978-981-10-0617-3</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-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613033
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Bac, Alexandra. editor. Mari, Jean-Luc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39441-1">https://doi.org/10.1007/978-3-319-39441-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evacuation Modeling Trends
ent://SD_ILS/0/SD_ILS:614754
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Cuesta, Arturo. editor. Abreu, Orlando. editor. Alvear, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20708-7">https://doi.org/10.1007/978-3-319-20708-7</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-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
Fundamentals of Neuromechanics
ent://SD_ILS/0/SD_ILS:616879
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Valero-Cuevas, Francisco J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6747-1">https://doi.org/10.1007/978-1-4471-6747-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Simulation A Model Driven Engineering Approach
ent://SD_ILS/0/SD_ILS:611189
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03050-0">https://doi.org/10.1007/978-3-319-03050-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking Benchmarking Initiatives
ent://SD_ILS/0/SD_ILS:611690
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Kolditz, Olaf. editor. (orcid)0000-0002-8098-4905 Görke, Uwe-Jens. editor. Shao, Hua. editor. Wang, Wenqing. editor. Bauer, Sebastian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29224-3">https://doi.org/10.1007/978-3-319-29224-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High-Performance Computing for Structural Mechanics and Earthquake/Tsunami Engineering
ent://SD_ILS/0/SD_ILS:611902
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Yoshimura, Shinobu. editor. Hori, Muneo. editor. Ohsaki, Makoto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21048-3">https://doi.org/10.1007/978-3-319-21048-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection 14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612503
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Demazeau, Yves. editor. Ito, Takayuki. editor. Bajo, Javier. editor. Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39324-7">https://doi.org/10.1007/978-3-319-39324-7</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 Lectures
ent://SD_ILS/0/SD_ILS:616134
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author 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/>
Wireless Sensor Networks Concepts, Applications, Experimentation and Analysis
ent://SD_ILS/0/SD_ILS:616344
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
Digital Make-Believe
ent://SD_ILS/0/SD_ILS:617286
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
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-04-08T22:14:33Z
2026-04-08T22:14:33Z
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/>
Transactions on Modularity and Composition I
ent://SD_ILS/0/SD_ILS:617818
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46969-0">https://doi.org/10.1007/978-3-319-46969-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation technologies in networking and communications : selecting the best tool for the test
ent://SD_ILS/0/SD_ILS:538668
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Pathan, Al-Sakib Khan, editor. Monowar, Muhammad Mostafa, editor. Khan, Shafiullah, editor.<br/>Preferred Shelf Number QA76.9 .C65 S56 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482225501">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Real-time simulation technologies : principles, methodologies, and applications
ent://SD_ILS/0/SD_ILS:542466
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Popovici, Katalin. Mosterman, Pieter J.<br/>Preferred Shelf Number QA76.9 .C65 R385 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315217505">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Multi-agent systems : simulation and applications
ent://SD_ILS/0/SD_ILS:547477
2026-04-08T22:14:33Z
2026-04-08T22:14:33Z
Author Uhrmacher, Adelinde. Weyns, Danny.<br/>Preferred Shelf Number QA76.76 .I58 M864 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420070248">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>