Search Results for Intelligence. - Narrowed by: Machine theory.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dIntelligence.$0026qf$003dSUBJECT$002509Subject$002509Machine$002btheory.$002509Machine$002btheory.$0026ps$003d300?dt=list
2026-03-20T23:09:49Z
Artificial General Intelligence 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611622
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Everitt, Tom. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63703-7">https://doi.org/10.1007/978-3-319-63703-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613058
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70169-1">https://doi.org/10.1007/978-3-319-70169-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616000
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author ten Teije, Annette. editor. Popow, Christian. editor. (orcid)0000-0002-0496-1453 Holmes, John H. editor. Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59758-4">https://doi.org/10.1007/978-3-319-59758-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.
ent://SD_ILS/0/SD_ILS:616022
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Kern-Isberner, Gabriele. editor. Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67190-1">https://doi.org/10.1007/978-3-319-67190-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616044
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53354-4">https://doi.org/10.1007/978-3-319-53354-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Frontiers in Artificial Intelligence JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611705
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X Ohta, Yuiko. editor. Arai, Sachiyo. editor. Satoh, Ken. editor. Bekki, Daisuke. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61572-1">https://doi.org/10.1007/978-3-319-61572-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Frontiers in Artificial Intelligence JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612586
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Otake, Mihoko. editor. Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X Ota, Yuiko. editor. Satoh, Ken. editor. Bekki, Daisuke. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50953-2">https://doi.org/10.1007/978-3-319-50953-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Artificial Intelligence: PRICAI 2016 Workshops PeHealth 2016, I3A 2016, AIED 2016, AI4T 2016, IWEC 2016, and RSAI 2016, Phuket, Thailand, August 22-23, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612966
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Numao, Masayuki. editor. Theeramunkong, Thanaruk. editor. Supnithi, Thepchai. editor. Ketcham, Mahasak. editor. Hnoohom, Narit. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60675-0">https://doi.org/10.1007/978-3-319-60675-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AI*IA 2016 Advances in Artificial Intelligence XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616829
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Adorni, Giovanni. editor. Cagnoni, Stefano. editor. Gori, Marco. editor. Maratea, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49130-1">https://doi.org/10.1007/978-3-319-49130-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613372
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48758-8">https://doi.org/10.1007/978-3-319-48758-8</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-20T23:09:49Z
2026-03-20T23:09:49Z
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/>
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608885
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-7956-0">https://doi.org/10.1007/978-981-96-7956-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:610538
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016 Thimm, Matthias. editor. (orcid)0000-0002-8157-1053 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-05134-9">https://doi.org/10.1007/978-3-032-05134-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Engineering and Knowledge Management 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606166
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Alam, Mehwish. editor. (orcid)0000-0002-7867-6612 Rospocher, Marco. editor. (orcid)0000-0001-9391-3201 van Erp, Marieke. editor. (orcid)0000-0001-9195-8203 Hollink, Laura. editor. (orcid)0000-0002-6865-0021 Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77792-9">https://doi.org/10.1007/978-3-031-77792-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:602942
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55630-2">https://doi.org/10.1007/978-3-031-55630-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:601983
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Bouraoui, Zied. editor. Vesic, Srdjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45608-4">https://doi.org/10.1007/978-3-031-45608-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604146
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63501-4">https://doi.org/10.1007/978-3-031-63501-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604336
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63536-6">https://doi.org/10.1007/978-3-031-63536-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604612
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Kohlhase, Andrea. editor. (orcid)0000-0001-5384-6702 Kovács, Laura. editor. (orcid)0000-0002-8299-2714 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66997-2">https://doi.org/10.1007/978-3-031-66997-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616086
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Dixon, Clare. editor. Finger, Marcelo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66167-4">https://doi.org/10.1007/978-3-319-66167-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616315
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author de Moura, Leonardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63046-5">https://doi.org/10.1007/978-3-319-63046-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618348
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61581-3">https://doi.org/10.1007/978-3-319-61581-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612296
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Cussens, James. editor. Russo, Alessandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63342-8">https://doi.org/10.1007/978-3-319-63342-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Statistical Language and Speech Processing 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613243
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Camelin, Nathalie. editor. Estève, Yannick. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68456-7">https://doi.org/10.1007/978-3-319-68456-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616211
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66902-1">https://doi.org/10.1007/978-3-319-66902-1</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-20T23:09:49Z
2026-03-20T23:09:49Z
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/>
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616289
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61660-5">https://doi.org/10.1007/978-3-319-61660-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611950
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Moral, Serafín. editor. Pivert, Olivier. editor. Sánchez, Daniel. editor. Marín, Nicolás. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67582-4">https://doi.org/10.1007/978-3-319-67582-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613145
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author An, Bo. editor. Bazzan, Ana. editor. Leite, João. editor. Villata, Serena. editor. van der Torre, Leendert. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69131-2">https://doi.org/10.1007/978-3-319-69131-2</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-20T23:09:49Z
2026-03-20T23:09:49Z
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/>
Knowledge Engineering and Knowledge Management EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19-23, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617717
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924 Poggi, Francesco. editor. (orcid)0000-0001-6577-5606 Horridge, Matthew. editor. Zhao, Jun. editor. Groza, Tudor. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58694-6">https://doi.org/10.1007/978-3-319-58694-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language, Data, and Knowledge First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618207
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Gracia, Jorge. editor. Bond, Francis. editor. McCrae, John P. editor. (orcid)0000-0002-7227-1331 Buitelaar, Paul. editor. Chiarcos, Christian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59888-8">https://doi.org/10.1007/978-3-319-59888-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Subjective Logic A Formalism for Reasoning Under Uncertainty
ent://SD_ILS/0/SD_ILS:615866
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Jøsang, Audun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42337-1">https://doi.org/10.1007/978-3-319-42337-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Chinese Lexical Semantics 17th Workshop, CLSW 2016, Singapore, Singapore, May 20-22, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616074
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Dong, Minghui. editor. Lin, Jingxia. editor. Tang, Xuri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49508-8">https://doi.org/10.1007/978-3-319-49508-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Processing of the Portuguese Language 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611449
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Silva, João. editor. Ribeiro, Ricardo. editor. Quaresma, Paulo. editor. Adami, André. editor. Branco, António. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41552-9">https://doi.org/10.1007/978-3-319-41552-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers
ent://SD_ILS/0/SD_ILS:613086
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Müller, Jörg P. editor. Nunes, Ingrid. editor. Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50983-9">https://doi.org/10.1007/978-3-319-50983-9</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-20T23:09:49Z
2026-03-20T23:09:49Z
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/>
Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616325
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Král, Pavel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45925-7">https://doi.org/10.1007/978-3-319-45925-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-20T23:09:49Z
2026-03-20T23:09:49Z
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/>
PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613607
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44832-9">https://doi.org/10.1007/978-3-319-44832-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616941
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Schockaert, Steven. editor. Senellart, Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45856-4">https://doi.org/10.1007/978-3-319-45856-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604145
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63498-7">https://doi.org/10.1007/978-3-031-63498-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613275
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612976
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Inoue, Katsumi. editor. Ohwada, Hayato. editor. Yamamoto, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40566-7">https://doi.org/10.1007/978-3-319-40566-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:601811
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92196-4">https://doi.org/10.1007/978-3-031-92196-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605500
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74234-7">https://doi.org/10.1007/978-3-031-74234-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metadata and Semantic Research 18th Research Conference, MTSR 2024, Athens, Greece, November 19-22, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:607379
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Sfakakis, Michalis. editor. (orcid)0000-0003-2973-7455 Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Damigos, Matthew. editor. (orcid)0000-0003-0431-1482 Salaba, Athena. editor. (orcid)0000-0002-1694-4052 Papatheodorou, Christos. editor. (orcid)0000-0002-9025-6469<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81974-2">https://doi.org/10.1007/978-3-031-81974-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:607767
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84595-6">https://doi.org/10.1007/978-3-031-84595-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607923
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842 Corcho, Oscar. editor. (orcid)0000-0002-9260-0753 Groth, Paul. editor. (orcid)0000-0003-0183-6910 Simperl, Elena. editor. (orcid)0000-0003-1722-947X Tamma, Valentina. editor. (orcid)0000-0002-1320-610X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78952-6">https://doi.org/10.1007/978-3-031-78952-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607066
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842 Corcho, Oscar. editor. (orcid)0000-0002-9260-0753 Groth, Paul. editor. (orcid)0000-0003-0183-6910 Simperl, Elena. editor. (orcid)0000-0003-1722-947X Tamma, Valentina. editor. (orcid)0000-0002-1320-610X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78955-7">https://doi.org/10.1007/978-3-031-78955-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602881
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55245-8">https://doi.org/10.1007/978-3-031-55245-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603073
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56940-1">https://doi.org/10.1007/978-3-031-56940-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metadata and Semantic Research 17th Research Conference, MTSR 2023, Milan, Italy, October 25-27, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604521
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Sartori, Fabio. editor. (orcid)0000-0002-5038-9785 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65990-4">https://doi.org/10.1007/978-3-031-65990-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:610686
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Pan, Jeff Z. editor. Calvanese, Diego. editor. Eiter, Thomas. editor. Horrocks, Ian. editor. Kifer, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49493-7">https://doi.org/10.1007/978-3-319-49493-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers
ent://SD_ILS/0/SD_ILS:611519
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Podnar Žarko, Ivana. editor. Broering, Arne. editor. Soursos, Sergios. editor. Serrano, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56877-5">https://doi.org/10.1007/978-3-319-56877-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615965
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60134-2">https://doi.org/10.1007/978-3-319-60134-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Keyword-Based Search on Structured Data Sources COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8-9, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616030
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Calì, Andrea. editor. Gorgan, Dorian. editor. Ugarte, Martín. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53640-8">https://doi.org/10.1007/978-3-319-53640-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616091
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60225-7">https://doi.org/10.1007/978-3-319-60225-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616320
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53733-7">https://doi.org/10.1007/978-3-319-53733-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616778
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Beck, J. Christopher. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66158-2">https://doi.org/10.1007/978-3-319-66158-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617540
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571 Poveda-Villalón, María. editor. Jimenez-Ruiz, Ernesto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54627-8">https://doi.org/10.1007/978-3-319-54627-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metadata and Semantic Research 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 - December 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617960
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Garoufallou, Emmanouel. editor. Virkus, Sirje. editor. Siatri, Rania. editor. Koutsomiha, Damiana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70863-8">https://doi.org/10.1007/978-3-319-70863-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Semantic Interoperability on the Web 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:618335
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Ianni, Giovambattista. editor. Lembo, Domenico. editor. Bertossi, Leopoldo. editor. (orcid)0000-0002-1144-3179 Faber, Wolfgang. editor. Glimm, Birte. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61033-7">https://doi.org/10.1007/978-3-319-61033-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611599
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66107-0">https://doi.org/10.1007/978-3-319-66107-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612246
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613240
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67729-3">https://doi.org/10.1007/978-3-319-67729-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Health Information Science 6th International Conference, HIS 2017, Moscow, Russia, October 7-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613244
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Siuly, Siuly. editor. (orcid)0000-0003-2491-0546 Huang, Zhisheng. editor. Aickelin, Uwe. editor. Zhou, Rui. editor. Wang, Hua. editor. (orcid)0000-0002-8465-0996<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69182-4">https://doi.org/10.1007/978-3-319-69182-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Engineering and Semantic Web 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613300
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Różewski, Przemysław. editor. Lange, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69548-8">https://doi.org/10.1007/978-3-319-69548-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Technology 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613306
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Wang, Zhe. editor. Turhan, Anni-Yasmin. editor. (orcid)0000-0001-6336-335X Wang, Kewen. editor. Zhang, Xiaowang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70682-5">https://doi.org/10.1007/978-3-319-70682-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615980
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Weil, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58747-9">https://doi.org/10.1007/978-3-319-58747-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616012
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55911-7">https://doi.org/10.1007/978-3-319-55911-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616143
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57418-9">https://doi.org/10.1007/978-3-319-57418-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616152
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Brlek, Srečko. editor. Dolce, Francesco. editor. Reutenauer, Christophe. editor. Vandomme, Élise. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66396-8">https://doi.org/10.1007/978-3-319-66396-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Natural Language Processing and Information Systems 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Liège, Belgium, June 21-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616185
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Frasincar, Flavius. editor. (orcid)0000-0002-8031-758X Ittoo, Ashwin. editor. Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010 Métais, Elisabeth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59569-6">https://doi.org/10.1007/978-3-319-59569-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:616201
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50062-1">https://doi.org/10.1007/978-3-319-50062-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616215
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67089-8">https://doi.org/10.1007/978-3-319-67089-8</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-20T23:09:49Z
2026-03-20T23:09:49Z
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/>
Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616241
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Hansen, Helle Hvid. editor. Murray, Sarah E. editor. Sadrzadeh, Mehrnoosh. editor. Zeevat, Henk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54332-0">https://doi.org/10.1007/978-3-662-54332-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616309
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58741-7">https://doi.org/10.1007/978-3-319-58741-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-03-20T23:09:49Z
2026-03-20T23:09:49Z
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/>
Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:618255
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Benslimane, Djamal. editor. Damiani, Ernesto. editor. Grosky, William I. editor. Hameurlain, Abdelkader. editor. Sheth, Amit. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64468-4">https://doi.org/10.1007/978-3-319-64468-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612180
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Ciuciu, Ioana. editor. Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55961-2">https://doi.org/10.1007/978-3-319-55961-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613619
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613621
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61252-2">https://doi.org/10.1007/978-3-319-61252-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613647
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Gaaloul, Walid. editor. Papazoglou, Mike. editor. Paschke, Adrian. editor. (orcid)0000-0003-3156-9040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69459-7">https://doi.org/10.1007/978-3-319-69459-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613747
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Ma, Hui. editor. Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69904-2">https://doi.org/10.1007/978-3-319-69904-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Libraries: Data, Information, and Knowledge for Digital Lives 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613749
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Choemprayong, Songphan. editor. Crestani, Fabio. editor. Cunningham, Sally Jo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70232-2">https://doi.org/10.1007/978-3-319-70232-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613750
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author de Cesare, Sergio. editor. Frank, Ulrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70625-2">https://doi.org/10.1007/978-3-319-70625-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613759
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72453-9">https://doi.org/10.1007/978-3-319-72453-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Description Logics in Multimedia Reasoning
ent://SD_ILS/0/SD_ILS:614574
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Sikos, Leslie F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54066-5">https://doi.org/10.1007/978-3-319-54066-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617149
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Kennedy, Juliette. editor. de Queiroz, Ruy J.G.B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55386-2">https://doi.org/10.1007/978-3-662-55386-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Databases and Information Systems ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617906
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Kirikova, Mārīte. editor. Nørvåg, Kjetil. editor. (orcid)0000-0002-4250-9329 Papadopoulos, George A. editor. Gamper, Johann. editor. (orcid)0000-0002-2162-4918 Wrembel, Robert. editor. (orcid)0000-0001-6037-5718<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67162-8">https://doi.org/10.1007/978-3-319-67162-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618306
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Benslimane, Djamal. editor. Damiani, Ernesto. editor. Grosky, William I. editor. Hameurlain, Abdelkader. editor. Sheth, Amit. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64471-4">https://doi.org/10.1007/978-3-319-64471-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611458
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33951-1">https://doi.org/10.1007/978-3-319-33951-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611564
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30246-1">https://doi.org/10.1007/978-3-319-30246-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611537
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50230-4">https://doi.org/10.1007/978-3-319-50230-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615935
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39636-1">https://doi.org/10.1007/978-3-319-39636-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616579
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616647
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29604-3">https://doi.org/10.1007/978-3-319-29604-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Technology 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617543
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Qi, Guilin. editor. Kozaki, Kouji. editor. Pan, Jeff Z. editor. Yu, Siwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31676-5">https://doi.org/10.1007/978-3-319-31676-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618009
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Yung, Moti. editor. Zhang, Jianbiao. editor. Yang, Zhen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31550-8">https://doi.org/10.1007/978-3-319-31550-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:610792
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46520-3">https://doi.org/10.1007/978-3-319-46520-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:610793
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Gyssens, Marc. editor. Simari, Guillermo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30024-5">https://doi.org/10.1007/978-3-319-30024-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Probability Logics Probability-Based Formalization of Uncertain Reasoning
ent://SD_ILS/0/SD_ILS:613079
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Ognjanović, Zoran. author. Rašković, Miodrag. author. Marković, Zoran. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47012-2">https://doi.org/10.1007/978-3-319-47012-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization
ent://SD_ILS/0/SD_ILS:615162
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Hudec, Miroslav. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42518-4">https://doi.org/10.1007/978-3-319-42518-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615998
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42634-1">https://doi.org/10.1007/978-3-319-42634-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deductive Software Verification - The KeY Book From Theory to Practice
ent://SD_ILS/0/SD_ILS:616009
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Rough Sets XX
ent://SD_ILS/0/SD_ILS:615920
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Peters, James F. editor. Skowron, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53611-7">https://doi.org/10.1007/978-3-662-53611-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616148
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53042-9">https://doi.org/10.1007/978-3-662-53042-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616153
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29919-8">https://doi.org/10.1007/978-3-319-29919-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616174
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Rueher, Michel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44953-1">https://doi.org/10.1007/978-3-319-44953-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616237
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Hasuo, Ichiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40370-0">https://doi.org/10.1007/978-3-319-40370-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:616246
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-52921-8">https://doi.org/10.1007/978-3-662-52921-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616739
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 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-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:610845
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41591-8">https://doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610895
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Hajiaghayi, Mohammed Taghi. editor. Mousavi, Mohammad Reza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28678-5">https://doi.org/10.1007/978-3-319-28678-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610897
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Serrano, Manuel. editor. Hage, Jurriaan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39110-6">https://doi.org/10.1007/978-3-319-39110-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611230
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611828
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Lipták, Zsuzsanna. editor. Smyth, William F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29516-9">https://doi.org/10.1007/978-3-319-29516-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611901
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40596-4">https://doi.org/10.1007/978-3-319-40596-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611917
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30000-9">https://doi.org/10.1007/978-3-319-30000-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Technology 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611992
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Li, Yuan-Fang. editor. Hu, Wei. editor. Dong, Jin Song. editor. Antoniou, Grigoris. editor. Wang, Zhe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50112-3">https://doi.org/10.1007/978-3-319-50112-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612581
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48869-1">https://doi.org/10.1007/978-3-319-48869-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612612
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40530-8">https://doi.org/10.1007/978-3-319-40530-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612741
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Amos, Martyn. editor. Condon, Anne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41312-9">https://doi.org/10.1007/978-3-319-41312-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613470
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Amblard, Maxime. editor. de Groote, Philippe. editor. Pogodalla, Sylvain. editor. Retoré, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53826-5">https://doi.org/10.1007/978-3-662-53826-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:613589
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42019-6">https://doi.org/10.1007/978-3-319-42019-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613592
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 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-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613633
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Mäkinen, Veli. editor. Puglisi, Simon J. editor. Salmela, Leena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44543-4">https://doi.org/10.1007/978-3-319-44543-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:613640
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Natural Language Processing and Information Systems 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613727
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Métais, Elisabeth. editor. Meziane, Farid. editor. (orcid)0000-0001-9811-6914 Saraee, Mohamad. editor. (orcid)0000-0002-3283-1912 Sugumaran, Vijayan. editor. Vadera, Sunil. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41754-7">https://doi.org/10.1007/978-3-319-41754-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A New Perspective on Nonmonotonic Logics
ent://SD_ILS/0/SD_ILS:613763
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46817-4">https://doi.org/10.1007/978-3-319-46817-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014
ent://SD_ILS/0/SD_ILS:617306
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Thoai, Nam. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49175-1">https://doi.org/10.1007/978-3-662-49175-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618134
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40946-7">https://doi.org/10.1007/978-3-319-40946-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618382
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40581-0">https://doi.org/10.1007/978-3-319-40581-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Paradoxes in scientific inference
ent://SD_ILS/0/SD_ILS:545163
2026-03-20T23:09:49Z
2026-03-20T23:09:49Z
Author Chang, Mark., author.<br/>Preferred Shelf Number Q175 .C43 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466509870">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>