Search Results for Data. - Narrowed by: Machine theory. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dData.$0026qf$003dSUBJECT$002509Subject$002509Machine$002btheory.$002509Machine$002btheory.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-20T20:14:32Z Data Clustering : Algorithms and Applications ent://SD_ILS/0/SD_ILS:546513 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Aggarwal, Charu C., editor.&#160;Reddy, Chandan K., editor.&#160;Taylor and Francis.<br/>Preferred Shelf Number&#160;QA278<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781315373515">Click here to view.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications ent://SD_ILS/0/SD_ILS:617350 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Hameurlain, Abdelkader. editor.&#160;K&uuml;ng, Josef. editor.&#160;Wagner, Roland. editor.&#160;Decker, Hendrik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-55947-5">https://doi.org/10.1007/978-3-662-55947-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Hameurlain, Abdelkader. editor.&#160;K&uuml;ng, Josef. editor.&#160;Wagner, Roland. editor.&#160;Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589&#160;Thoai, Nam. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Cal&igrave;, Andrea. editor.&#160;Gorgan, Dorian. editor.&#160;Ugarte, Mart&iacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-53640-8">https://doi.org/10.1007/978-3-319-53640-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Choemprayong, Songphan. editor.&#160;Crestani, Fabio. editor.&#160;Cunningham, Sally Jo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70232-2">https://doi.org/10.1007/978-3-319-70232-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Gracia, Jorge. editor.&#160;Bond, Francis. editor.&#160;McCrae, John P. editor. (orcid)0000-0002-7227-1331&#160;Buitelaar, Paul. editor.&#160;Chiarcos, Christian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Hudec, Miroslav. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42518-4">https://doi.org/10.1007/978-3-319-42518-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Ernst, Gidon. editor. (orcid)0000-0002-3289-5764&#160;G&uuml;demann, Matthias. editor. (orcid)0000-0002-1002-6023&#160;Knapp, Alexander. editor. (orcid)0000-0002-4050-3249&#160;Nafz, Florian. editor. (orcid)0000-0001-5725-4827&#160;Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Sfakakis, Michalis. editor. (orcid)0000-0003-2973-7455&#160;Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634&#160;Damigos, Matthew. editor. (orcid)0000-0003-0431-1482&#160;Salaba, Athena. editor. (orcid)0000-0002-1694-4052&#160;Papatheodorou, Christos. editor. (orcid)0000-0002-9025-6469<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Mero&ntilde;o Pe&ntilde;uela, Albert. editor. (orcid)0000-0003-4646-5842&#160;Corcho, Oscar. editor. (orcid)0000-0002-9260-0753&#160;Groth, Paul. editor. (orcid)0000-0003-0183-6910&#160;Simperl, Elena. editor. (orcid)0000-0003-1722-947X&#160;Tamma, Valentina. editor. (orcid)0000-0002-1320-610X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Mero&ntilde;o Pe&ntilde;uela, Albert. editor. (orcid)0000-0003-4646-5842&#160;Corcho, Oscar. editor. (orcid)0000-0002-9260-0753&#160;Groth, Paul. editor. (orcid)0000-0003-0183-6910&#160;Simperl, Elena. editor. (orcid)0000-0003-1722-947X&#160;Tamma, Valentina. editor. (orcid)0000-0002-1320-610X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Alam, Mehwish. editor. (orcid)0000-0002-7867-6612&#160;Rospocher, Marco. editor. (orcid)0000-0001-9391-3201&#160;van Erp, Marieke. editor. (orcid)0000-0001-9195-8203&#160;Hollink, Laura. editor. (orcid)0000-0002-6865-0021&#160;Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> R-Calculus, V: Description Logics ent://SD_ILS/0/SD_ILS:602308 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Li, Wei. author.&#160;Sui, Yuefei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-6460-4">https://doi.org/10.1007/978-981-99-6460-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602352 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;C&aacute;mara, Javier. editor.&#160;Jongmans, Sung-Shik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-52183-6">https://doi.org/10.1007/978-3-031-52183-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montr&eacute;al, QC, Canada, August 5-9, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604612 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Kohlhase, Andrea. editor. (orcid)0000-0001-5384-6702&#160;Kov&aacute;cs, Laura. editor. (orcid)0000-0002-8299-2714&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634&#160;Sartori, Fabio. editor. (orcid)0000-0002-5038-9785&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605075 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673&#160;Sun, Meng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71261-6">https://doi.org/10.1007/978-3-031-71261-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Pan, Jeff Z. editor.&#160;Calvanese, Diego. editor.&#160;Eiter, Thomas. editor.&#160;Horrocks, Ian. editor.&#160;Kifer, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Analysis for Software Verification and Security ent://SD_ILS/0/SD_ILS:611157 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Bultan, Tevfik. author.&#160;Yu, Fang. author.&#160;Alkhalaf, Muath. author.&#160;Aydin, Abdulbaki. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68670-7">https://doi.org/10.1007/978-3-319-68670-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Podnar &#381;arko, Ivana. editor.&#160;Broering, Arne. editor.&#160;Soursos, Sergios. editor.&#160;Serrano, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56877-5">https://doi.org/10.1007/978-3-319-56877-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Everitt, Tom. editor.&#160;Goertzel, Ben. editor.&#160;Potapov, Alexey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63703-7">https://doi.org/10.1007/978-3-319-63703-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vall&eacute;e, France, June 27-30, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615965 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Carayol, Arnaud. editor.&#160;Nicaud, Cyril. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-60134-2">https://doi.org/10.1007/978-3-319-60134-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Bras&iacute;lia, Brazil, September 27-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616086 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Dixon, Clare. editor.&#160;Finger, Marcelo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66167-4">https://doi.org/10.1007/978-3-319-66167-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571&#160;Poveda-Villal&oacute;n, Mar&iacute;a. editor.&#160;Jimenez-Ruiz, Ernesto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54627-8">https://doi.org/10.1007/978-3-319-54627-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Garoufallou, Emmanouel. editor.&#160;Virkus, Sirje. editor.&#160;Siatri, Rania. editor.&#160;Koutsomiha, Damiana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70863-8">https://doi.org/10.1007/978-3-319-70863-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Ianni, Giovambattista. editor.&#160;Lembo, Domenico. editor.&#160;Bertossi, Leopoldo. editor. (orcid)0000-0002-1144-3179&#160;Faber, Wolfgang. editor.&#160;Glimm, Birte. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Cussens, James. editor.&#160;Russo, Alessandra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63342-8">https://doi.org/10.1007/978-3-319-63342-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Camelin, Nathalie. editor.&#160;Est&egrave;ve, Yannick. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68456-7">https://doi.org/10.1007/978-3-319-68456-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Siuly, Siuly. editor. (orcid)0000-0003-2491-0546&#160;Huang, Zhisheng. editor.&#160;Aickelin, Uwe. editor.&#160;Zhou, Rui. editor.&#160;Wang, Hua. editor. (orcid)0000-0002-8465-0996<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;R&oacute;&#380;ewski, Przemys&#322;aw. editor.&#160;Lange, Christoph. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69548-8">https://doi.org/10.1007/978-3-319-69548-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Wang, Zhe. editor.&#160;Turhan, Anni-Yasmin. editor. (orcid)0000-0001-6336-335X&#160;Wang, Kewen. editor.&#160;Zhang, Xiaowang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70682-5">https://doi.org/10.1007/978-3-319-70682-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613439 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Du, Dingzhu. editor.&#160;Li, Lian. editor.&#160;Zhu, En. editor.&#160;He, Kun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-6893-5">https://doi.org/10.1007/978-981-10-6893-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Weil, Pascal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-58747-9">https://doi.org/10.1007/978-3-319-58747-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;ten Teije, Annette. editor.&#160;Popow, Christian. editor. (orcid)0000-0002-0496-1453&#160;Holmes, John H. editor.&#160;Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Gopal, T.V. editor.&#160;J&auml;ger, Gerhard. editor.&#160;Steila, Silvia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55911-7">https://doi.org/10.1007/978-3-319-55911-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Kern-Isberner, Gabriele. editor.&#160;F&uuml;rnkranz, Johannes. editor. (orcid)0000-0002-1207-0159&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-53354-4">https://doi.org/10.1007/978-3-319-53354-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural Language Processing and Information Systems 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Li&egrave;ge, Belgium, June 21-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616185 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Frasincar, Flavius. editor. (orcid)0000-0002-8031-758X&#160;Ittoo, Ashwin. editor.&#160;Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010&#160;M&eacute;tais, Elisabeth. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-59569-6">https://doi.org/10.1007/978-3-319-59569-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Day, Adam. editor.&#160;Fellows, Michael. editor.&#160;Greenberg, Noam. editor.&#160;Khoussainov, Bakhadyr. editor.&#160;Melnikov, Alexander. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Benslimane, Djamal. editor.&#160;Damiani, Ernesto. editor.&#160;Grosky, William I. editor.&#160;Hameurlain, Abdelkader. editor.&#160;Sheth, Amit. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X&#160;Ohta, Yuiko. editor.&#160;Arai, Sachiyo. editor.&#160;Satoh, Ken. editor.&#160;Bekki, Daisuke. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Moral, Seraf&iacute;n. editor.&#160;Pivert, Olivier. editor.&#160;S&aacute;nchez, Daniel. editor.&#160;Mar&iacute;n, Nicol&aacute;s. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67582-4">https://doi.org/10.1007/978-3-319-67582-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Ciuciu, Ioana. editor.&#160;Debruyne, Christophe. editor.&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Weichhart, Georg. editor.&#160;Bollen, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Otake, Mihoko. editor.&#160;Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X&#160;Ota, Yuiko. editor.&#160;Satoh, Ken. editor.&#160;Bekki, Daisuke. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Numao, Masayuki. editor.&#160;Theeramunkong, Thanaruk. editor.&#160;Supnithi, Thepchai. editor.&#160;Ketcham, Mahasak. editor.&#160;Hnoohom, Narit. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&amp;TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:613647 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Debruyne, Christophe. editor.&#160;Gaaloul, Walid. editor.&#160;Papazoglou, Mike. editor.&#160;Paschke, Adrian. editor. (orcid)0000-0003-3156-9040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;de Cesare, Sergio. editor.&#160;Frank, Ulrich. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70625-2">https://doi.org/10.1007/978-3-319-70625-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Bl&ouml;mer, Johannes. editor.&#160;Kotsireas, Ilias S. editor.&#160;Kutsia, Temur. editor. (orcid)0000-0003-4084-7380&#160;Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924&#160;Poggi, Francesco. editor. (orcid)0000-0001-6577-5606&#160;Horridge, Matthew. editor.&#160;Zhao, Jun. editor.&#160;Groza, Tudor. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Kirikova, M&#257;r&#299;te. editor.&#160;N&oslash;rv&aring;g, Kjetil. editor. (orcid)0000-0002-4250-9329&#160;Papadopoulos, George A. editor.&#160;Gamper, Johann. editor. (orcid)0000-0002-2162-4918&#160;Wrembel, Robert. editor. (orcid)0000-0001-6037-5718<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Benslimane, Djamal. editor.&#160;Damiani, Ernesto. editor.&#160;Grosky, William I. editor.&#160;Hameurlain, Abdelkader. editor.&#160;Sheth, Amit. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Lecomte, Thierry. editor.&#160;Pinger, Ralf. editor.&#160;Romanovsky, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33951-1">https://doi.org/10.1007/978-3-319-33951-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591&#160;Mayr, Heinrich C. editor.&#160;Nikitchenko, Mykola. editor.&#160;Zholtkevych, Grygoriy. editor.&#160;Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612113 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Ortiz, Magdalena. editor.&#160;Schlobach, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45276-0">https://doi.org/10.1007/978-3-319-45276-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Subjective Logic A Formalism for Reasoning Under Uncertainty ent://SD_ILS/0/SD_ILS:615866 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;J&oslash;sang, Audun. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42337-1">https://doi.org/10.1007/978-3-319-42337-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings ent://SD_ILS/0/SD_ILS:616634 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Corn&eacute;lio, M&aacute;rcio. editor.&#160;Roscoe, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-29473-5">https://doi.org/10.1007/978-3-319-29473-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Adorni, Giovanni. editor.&#160;Cagnoni, Stefano. editor.&#160;Gori, Marco. editor.&#160;Maratea, Marco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-49130-1">https://doi.org/10.1007/978-3-319-49130-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Qi, Guilin. editor.&#160;Kozaki, Kouji. editor.&#160;Pan, Jeff Z. editor.&#160;Yu, Siwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-31676-5">https://doi.org/10.1007/978-3-319-31676-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Yung, Moti. editor.&#160;Zhang, Jianbiao. editor.&#160;Yang, Zhen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-31550-8">https://doi.org/10.1007/978-3-319-31550-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Gyssens, Marc. editor.&#160;Simari, Guillermo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-30024-5">https://doi.org/10.1007/978-3-319-30024-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Silva, Jo&atilde;o. editor.&#160;Ribeiro, Ricardo. editor.&#160;Quaresma, Paulo. editor.&#160;Adami, Andr&eacute;. editor.&#160;Branco, Ant&oacute;nio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Technology in Bio- and Medical Informatics 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611827 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Renda, M. Elena. editor.&#160;Bursa, Miroslav. editor.&#160;Holzinger, Andreas. editor.&#160;Khuri, Sami. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-43949-5">https://doi.org/10.1007/978-3-319-43949-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Ribeiro, Leila. editor.&#160;Lecomte, Thierry. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-49815-7">https://doi.org/10.1007/978-3-319-49815-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 12th International Conference, FACS 2015, Niter&oacute;i, Brazil, October 14-16, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612298 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Braga, Christiano. editor.&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-28934-2">https://doi.org/10.1007/978-3-319-28934-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612310 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Kulikov, Alexander S. editor.&#160;Woeginger, Gerhard J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-34171-2">https://doi.org/10.1007/978-3-319-34171-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Dinh, Thang N. editor.&#160;Thai, My T. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42634-1">https://doi.org/10.1007/978-3-319-42634-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Kohlhase, Michael. editor.&#160;Johansson, Moa. editor.&#160;Miller, Bruce. editor.&#160;de Moura, Leonardo. editor.&#160;Tompa, Frank. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Rough Sets XX ent://SD_ILS/0/SD_ILS:615920 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Peters, James F. editor.&#160;Skowron, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-53611-7">https://doi.org/10.1007/978-3-662-53611-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616135 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Rival, Xavier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-53413-7">https://doi.org/10.1007/978-3-662-53413-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Karydis, Ioannis. editor.&#160;Sioutas, Spyros. editor.&#160;Triantafillou, Peter. editor.&#160;Tsoumakos, Dimitrios. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-29919-8">https://doi.org/10.1007/978-3-319-29919-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Kr&aacute;l, Pavel. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45925-7">https://doi.org/10.1007/978-3-319-45925-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Lamprecht, Anna-Lena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51641-7">https://doi.org/10.1007/978-3-319-51641-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Hajiaghayi, Mohammed Taghi. editor.&#160;Mousavi, Mohammad Reza. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-28678-5">https://doi.org/10.1007/978-3-319-28678-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers ent://SD_ILS/0/SD_ILS:611115 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Ganty, Pierre. editor. (orcid)0000-0002-3625-6003&#160;Loreti, Michele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-28766-9">https://doi.org/10.1007/978-3-319-28766-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scala: From a Functional Programming Perspective An Introduction to the Programming Language ent://SD_ILS/0/SD_ILS:611120 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Torra, Vicen&ccedil;. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46481-7">https://doi.org/10.1007/978-3-319-46481-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Lipt&aacute;k, Zsuzsanna. editor.&#160;Smyth, William F. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-29516-9">https://doi.org/10.1007/978-3-319-29516-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299&#160;Lesot, Marie-Jeanne. editor.&#160;Kaymak, Uzay. editor.&#160;Vieira, Susana. editor.&#160;Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Janou&scaron;ek, Jan. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-30000-9">https://doi.org/10.1007/978-3-319-30000-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Li, Yuan-Fang. editor.&#160;Hu, Wei. editor.&#160;Dong, Jin Song. editor.&#160;Antoniou, Grigoris. editor.&#160;Wang, Zhe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Echahed, Rachid. editor.&#160;Minas, Mark. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-40530-8">https://doi.org/10.1007/978-3-319-40530-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612727 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Crnkovic, Ivica. editor.&#160;Troubitsyna, Elena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Inoue, Katsumi. editor.&#160;Ohwada, Hayato. editor.&#160;Yamamoto, Akihiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-40566-7">https://doi.org/10.1007/978-3-319-40566-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612979 2026-03-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Fitzgerald, John. editor.&#160;Heitmeyer, Constance. editor.&#160;Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421&#160;Philippou, Anna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-48989-6">https://doi.org/10.1007/978-3-319-48989-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;M&auml;kinen, Veli. editor.&#160;Puglisi, Simon J. editor.&#160;Salmela, Leena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-44543-4">https://doi.org/10.1007/978-3-319-44543-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;M&eacute;tais, Elisabeth. editor.&#160;Meziane, Farid. editor. (orcid)0000-0001-9811-6914&#160;Saraee, Mohamad. editor. (orcid)0000-0002-3283-1912&#160;Sugumaran, Vijayan. editor.&#160;Vadera, Sunil. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Schockaert, Steven. editor.&#160;Senellart, Pierre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45856-4">https://doi.org/10.1007/978-3-319-45856-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Han, Yo-Sub. editor.&#160;Salomaa, Kai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-40946-7">https://doi.org/10.1007/978-3-319-40946-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-20T20:14:32Z 2026-03-20T20:14:32Z Author&#160;Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299&#160;Lesot, Marie-Jeanne. editor.&#160;Kaymak, Uzay. editor.&#160;Vieira, Susana. editor.&#160;Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>