Search Results for Software - Narrowed by: Computer Modelling.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$0026qf$003dSUBJECT$002509Subject$002509Computer$002bModelling.$002509Computer$002bModelling.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-03-18T07:23:58Z
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-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
ent://SD_ILS/0/SD_ILS:616134
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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-03-18T07:23:58Z
2026-03-18T07:23:58Z
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-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:603145
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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-03-18T07:23:58Z
2026-03-18T07:23:58Z
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-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615906
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62569-0">https://doi.org/10.1007/978-3-319-62569-0</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617920
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56390-9">https://doi.org/10.1007/978-3-319-56390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617931
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Lorenz, Pascal. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30142-6">https://doi.org/10.1007/978-3-319-30142-6</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611832
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49815-7">https://doi.org/10.1007/978-3-319-49815-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model and Data Engineering 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612126
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Bellatreche, Ladjel. editor. Pastor, Óscar. editor. Almendros Jiménez, Jesús M. editor. Aït-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45547-1">https://doi.org/10.1007/978-3-319-45547-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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611616
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Thomas, Nigel. editor. Forshaw, Matthew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61428-1">https://doi.org/10.1007/978-3-319-61428-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617034
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66583-2">https://doi.org/10.1007/978-3-319-66583-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617856
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616231
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46433-6">https://doi.org/10.1007/978-3-319-46433-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:606740
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Peng, Chen. editor. Wang, Yulong. editor. (orcid)0000-0002-6508-0051 Guan, Yanpeng. editor. Sun, Qing. editor. (orcid)0000-0002-9662-2685 Chen, Zhi. editor. (orcid)0000-0002-9307-4871<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0294-0">https://doi.org/10.1007/978-981-96-0294-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Antifragility in Natural Systems From Principles to Applications
ent://SD_ILS/0/SD_ILS:609152
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90391-5">https://doi.org/10.1007/978-3-031-90391-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605299
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73370-3">https://doi.org/10.1007/978-3-031-73370-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Clean Energy Technology and Energy Storage Systems 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:606667
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Li, Kang. editor. Liu, Kailong. editor. Hu, Yukun. editor. (orcid)0000-0002-7480-4250 Tan, Mao. editor. Zhang, Long. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0232-2">https://doi.org/10.1007/978-981-96-0232-2</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Understanding Modelling and Programming
ent://SD_ILS/0/SD_ILS:606763
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:608106
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Mohamed, Zaharuddin. editor. (orcid)0000-0002-2719-4138 Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Tan, Gary. editor. Ahmad, Anita. editor. (orcid)0000-0002-8109-2490 Pei Ling, Leow. editor. (orcid)0000-0001-7930-4717<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4613-5">https://doi.org/10.1007/978-981-96-4613-5</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-18T07:23:58Z
2026-03-18T07:23:58Z
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-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Engineering Mathematics with MATLAB® and Simulink®
ent://SD_ILS/0/SD_ILS:608630
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:608160
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Multivariable Control Engineering Problems and their Solutions with GNU Octave
ent://SD_ILS/0/SD_ILS:609778
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Borutzky, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95408-5">https://doi.org/10.1007/978-3-031-95408-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605028
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Schäfer, Guido. editor. (orcid)0000-0002-1923-4902 Ventre, Carmine. editor. (orcid)0000-0003-1464-1215 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71033-9">https://doi.org/10.1007/978-3-031-71033-9</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-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Optimization of Chemical Processes A Sustainable Perspective
ent://SD_ILS/0/SD_ILS:603450
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis
ent://SD_ILS/0/SD_ILS:604382
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Hybrid Modeling and Simulation Conceptualizations, Methods and Applications
ent://SD_ILS/0/SD_ILS:604816
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Fakhimi, Masoud. editor. (orcid)0000-0002-7144-7868 Mustafee, Navonil. editor. (orcid)0000-0002-2204-8924 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-59999-6">https://doi.org/10.1007/978-3-031-59999-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Engineering of Digital Twins
ent://SD_ILS/0/SD_ILS:604841
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Fitzgerald, John. editor. (orcid)0000-0001-7041-1807 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Larsen, Peter Gorm. editor. (orcid)0000-0002-4589-1500 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66719-0">https://doi.org/10.1007/978-3-031-66719-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Digital Twin Driven Intelligent Systems and Emerging Metaverse
ent://SD_ILS/0/SD_ILS:527700
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
OpenGeoSys Tutorial Computational Hydrology II: Groundwater Quality Modeling
ent://SD_ILS/0/SD_ILS:611231
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Sachse, Agnes. author. Nixdorf, Erik. author. Jang, Eunseon. author. Rink, Karsten. author. (orcid)0000-0001-9826-8221 Fischer, Thomas. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52809-0">https://doi.org/10.1007/978-3-319-52809-0</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-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612072
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6463-0">https://doi.org/10.1007/978-981-10-6463-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Solutions in Today's Transport 17th International Conference on Transport Systems Telematics, TST 2017, Katowice - Ustroń, Poland, April 5-8, 2017, Selected Papers
ent://SD_ILS/0/SD_ILS:613721
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66251-0">https://doi.org/10.1007/978-3-319-66251-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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Guide to Simulation-Based Disciplines Advancing Our Computational Future
ent://SD_ILS/0/SD_ILS:614203
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Mittal, Saurabh. editor. Durak, Umut. editor. Ören, Tuncer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61264-5">https://doi.org/10.1007/978-3-319-61264-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Testing in Cloud Computing
ent://SD_ILS/0/SD_ILS:611844
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4481-6">https://doi.org/10.1007/978-981-10-4481-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612253
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613536
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Bektaş, Tolga. editor. Coniglio, Stefano. editor. Martinez-Sykora, Antonio. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68496-3">https://doi.org/10.1007/978-3-319-68496-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Subdivision Surface Modeling Technology
ent://SD_ILS/0/SD_ILS:613542
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Liao, Wenhe. author. Liu, Hao. author. Li, Tao. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3515-9">https://doi.org/10.1007/978-981-10-3515-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613646
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Nardin, Luis Gustavo. editor. Antunes, Luis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67477-3">https://doi.org/10.1007/978-3-319-67477-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:615614
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6502-6">https://doi.org/10.1007/978-981-10-6502-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615872
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Longo, Luca. editor. Leva, M. Chiara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61061-0">https://doi.org/10.1007/978-3-319-61061-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615938
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61756-5">https://doi.org/10.1007/978-3-319-61756-5</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616611
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65765-3">https://doi.org/10.1007/978-3-319-65765-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Social Simulation 2015
ent://SD_ILS/0/SD_ILS:616936
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
ent://SD_ILS/0/SD_ILS:617461
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617812
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Management of Information, Process and Cooperation Third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617941
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Cao, Jian. editor. Liu, Jianxun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3996-6">https://doi.org/10.1007/978-981-10-3996-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618114
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. Chaki, Rituparna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59105-6">https://doi.org/10.1007/978-3-319-59105-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulating Social Complexity A Handbook
ent://SD_ILS/0/SD_ILS:611258
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Edmonds, Bruce. editor. Meyer, Ruth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66948-9">https://doi.org/10.1007/978-3-319-66948-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-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612618
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Simulating Crowds in Egress Scenarios
ent://SD_ILS/0/SD_ILS:613657
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers
ent://SD_ILS/0/SD_ILS:616099
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51957-9">https://doi.org/10.1007/978-3-319-51957-9</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616233
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62075-6">https://doi.org/10.1007/978-3-319-62075-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616448
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61982-8">https://doi.org/10.1007/978-3-319-61982-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615166
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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-53946-1">https://doi.org/10.1007/978-3-319-53946-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise and Organizational Modeling and Simulation 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers
ent://SD_ILS/0/SD_ILS:617556
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Pergl, Robert. editor. Lock, Russell. editor. Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Molhanec, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68185-6">https://doi.org/10.1007/978-3-319-68185-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Scientific Computing in C++
ent://SD_ILS/0/SD_ILS:617561
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73132-2">https://doi.org/10.1007/978-3-319-73132-2</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617783
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Bajo, Javier. editor. Vale, Zita. editor. Hallenborg, Kasper. editor. Rocha, Ana Paula. editor. Mathieu, Philippe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60285-1">https://doi.org/10.1007/978-3-319-60285-1</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Mental Modeling Approach Risk Management Application Case Studies
ent://SD_ILS/0/SD_ILS:618400
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Distributed Simulation A Model Driven Engineering Approach
ent://SD_ILS/0/SD_ILS:611189
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Anti-fragile ICT Systems
ent://SD_ILS/0/SD_ILS:611190
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Hole, Kjell Jørgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30070-2">https://doi.org/10.1007/978-3-319-30070-2</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection International Workshops of PAAMS 2016, Sevilla, Spain, June 1-3, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:611882
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Bajo, Javier. editor. Escalona, María José. editor. Giroux, Sylvain. editor. Hoffa-Dąbrowska, Patrycja. editor. Julián, Vicente. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39387-2">https://doi.org/10.1007/978-3-319-39387-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611927
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Comyn-Wattiau, Isabelle. editor. Tanaka, Katsumi. editor. Song, Il-Yeol. editor. Yamamoto, Shuichiro. editor. Saeki, Motoshi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46397-1">https://doi.org/10.1007/978-3-319-46397-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Information Systems and Industrial Management 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611947
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45378-1">https://doi.org/10.1007/978-3-319-45378-1</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Serious Games, Interaction, and Simulation 5th International Conference, SGAMES 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612036
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Vaz de Carvalho, Carlos. editor. Escudeiro, Paula. editor. Coelho, António. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29060-7">https://doi.org/10.1007/978-3-319-29060-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 V
ent://SD_ILS/0/SD_ILS:613726
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Behavioural Models From Modelling Finite Automata to Analysing Business Processes
ent://SD_ILS/0/SD_ILS:614579
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Autonomic Road Transport Support Systems
ent://SD_ILS/0/SD_ILS:615542
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25808-9">https://doi.org/10.1007/978-3-319-25808-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615984
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Hodicky, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47605-6">https://doi.org/10.1007/978-3-319-47605-6</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
PRICAI 2016: Trends in Artificial Intelligence 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616007
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Booth, Richard. editor. Zhang, Min-Ling. editor. (orcid)0000-0003-1880-5918 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42911-3">https://doi.org/10.1007/978-3-319-42911-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiagent System Technologies 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:616011
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Klusch, Matthias. editor. Unland, Rainer. editor. Shehory, Onn. editor. Pokahr, Alexander. editor. Ahrndt, Sebastian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45889-2">https://doi.org/10.1007/978-3-319-45889-2</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616168
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Gaudou, Benoit. editor. Sichman, Jaime Simao. editor. (orcid)0000-0001-8924-9643 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31447-1">https://doi.org/10.1007/978-3-319-31447-1</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Context-Enhanced Information Fusion Boosting Real-World Performance with Domain Knowledge
ent://SD_ILS/0/SD_ILS:616662
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Snidaro, Lauro. editor. García, Jesús. editor. (orcid)0000-0003-1768-2688 Llinas, James. editor. Blasch, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28971-7">https://doi.org/10.1007/978-3-319-28971-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Computing Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616678
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Che, Wanxiang. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Jing, Weipeng. editor. Peng, Shaoliang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2098-8">https://doi.org/10.1007/978-981-10-2098-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Foundations for Mastering Change I
ent://SD_ILS/0/SD_ILS:617815
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-1</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-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Social Computing Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:617862
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Che, Wanxiang. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Jing, Weipeng. editor. Peng, Shaoliang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2053-7">https://doi.org/10.1007/978-981-10-2053-7</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:617926
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Tangible Interactive Systems Grasping the Real World with Computers
ent://SD_ILS/0/SD_ILS:618466
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Boy, Guy André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30270-6">https://doi.org/10.1007/978-3-319-30270-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Augmented Reality, Virtual Reality, and Computer Graphics Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:618496
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author De Paolis, Lucio Tommaso. editor. Mongelli, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40621-3">https://doi.org/10.1007/978-3-319-40621-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computer Science
ent://SD_ILS/0/SD_ILS:618498
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Torbert, Shane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30866-1">https://doi.org/10.1007/978-3-319-30866-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Modeling and Simulation in Business System Design
ent://SD_ILS/0/SD_ILS:611168
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Roubtsova, Ella. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15102-1">https://doi.org/10.1007/978-3-319-15102-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomous Agents and Multiagent Systems AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612626
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Osman, Nardine. editor. Sierra, Carles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46882-2">https://doi.org/10.1007/978-3-319-46882-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613083
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45177-0">https://doi.org/10.1007/978-3-319-45177-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Challenge of Transport Telematics 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustroń, Poland, March 16-19, 2016, Selected Papers
ent://SD_ILS/0/SD_ILS:613482
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49646-7">https://doi.org/10.1007/978-3-319-49646-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Opportunistic Mobile Networks Advances and Applications
ent://SD_ILS/0/SD_ILS:615092
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Misra, Sudip. author. Saha, Barun Kumar. author. Pal, Sujata. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29031-7">https://doi.org/10.1007/978-3-319-29031-7</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Big Data Benchmarking 6th International Workshop, WBDB 2015, Toronto, ON, Canada, June 16-17, 2015 and 7th International Workshop, WBDB 2015, New Delhi, India, December 14-15, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616219
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Rabl, Tilmann. editor. Nambiar, Raghunath. editor. Baru, Chaitanya. editor. Bhandarkar, Milind. editor. Poess, Meikel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49748-8">https://doi.org/10.1007/978-3-319-49748-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616357
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51641-7">https://doi.org/10.1007/978-3-319-51641-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616569
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Paias, Ana. editor. Ruthmair, Mario. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44896-1">https://doi.org/10.1007/978-3-319-44896-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bionic Optimization in Structural Design Stochastically Based Methods to Improve the Performance of Parts and Assemblies
ent://SD_ILS/0/SD_ILS:617222
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Steinbuch, Rolf. editor. Gekeler, Simon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46596-7">https://doi.org/10.1007/978-3-662-46596-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Make-Believe
ent://SD_ILS/0/SD_ILS:617286
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Unsteady Turbulent Flow Modelling and Applications
ent://SD_ILS/0/SD_ILS:617502
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Roos Launchbury, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-11912-6">https://doi.org/10.1007/978-3-658-11912-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Infrastructure Protection X 10th IFIP WG 11.10 International Conference, ICCIP 2016, Arlington, VA, USA, March 14-16, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617621
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
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-48737-3">https://doi.org/10.1007/978-3-319-48737-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise and Organizational Modeling and Simulation 12th International Workshop, EOMAS 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13, 2016, Selected Papers
ent://SD_ILS/0/SD_ILS:618096
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Pergl, Robert. editor. Molhanec, Martin. editor. Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Fosso Wamba, Samuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49454-8">https://doi.org/10.1007/978-3-319-49454-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Conceptual Modeling ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618053
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Link, Sebastian. editor. Trujillo, Juan C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47717-6">https://doi.org/10.1007/978-3-319-47717-6</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-18T07:23:58Z
2026-03-18T07:23:58Z
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/>
Augmented Reality, Virtual Reality, and Computer Graphics Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618143
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author De Paolis, Lucio Tommaso. editor. Mongelli, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40651-0">https://doi.org/10.1007/978-3-319-40651-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach
ent://SD_ILS/0/SD_ILS:618450
2026-03-18T07:23:58Z
2026-03-18T07:23:58Z
Author Bessiere, Christian. editor. De Raedt, Luc. editor. Kotthoff, Lars. editor. Nijssen, Siegfried. editor. O'Sullivan, Barry. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50137-6">https://doi.org/10.1007/978-3-319-50137-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>