Search Results for Programming. - Narrowed by: Application software. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming.$0026qf$003dSUBJECT$002509Subject$002509Application$002bsoftware.$002509Application$002bsoftware.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-20T23:06:37Z Understanding Modelling and Programming ent://SD_ILS/0/SD_ILS:606763 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Prinz, Andreas. author. (orcid)0000-0002-0646-2877&#160;M&oslash;ller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260&#160;Fischer, Joachim. author. (orcid)0000-0003-2476-3996&#160;Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71280-7">https://doi.org/10.1007/978-3-031-71280-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service Systems Concepts, Modeling, and Programming ent://SD_ILS/0/SD_ILS:488908 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Cardoso, Jorge. author.&#160;Lopes, Ricardo. author.&#160;Poels, Geert. author. (orcid)0000-0001-9247-6150&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10813-1">https://doi.org/10.1007/978-3-319-10813-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integer Programming and Combinatorial Optimization 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608867 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Megow, Nicole. editor. (orcid)0000-0002-3531-7644&#160;Basu, Amitabh. editor. (orcid)0000-0002-1070-2626&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-93112-3">https://doi.org/10.1007/978-3-031-93112-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integer Programming and Combinatorial Optimization 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603609 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Vygen, Jens. editor.&#160;Byrka, Jaros&#322;aw. 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-59835-7">https://doi.org/10.1007/978-3-031-59835-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611523 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;McDermott, James. editor.&#160;Castelli, Mauro. editor.&#160;Sekanina, Lukas. editor.&#160;Haasdijk, Evert. editor.&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55696-3">https://doi.org/10.1007/978-3-319-55696-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach ent://SD_ILS/0/SD_ILS:618450 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Bessiere, Christian. editor.&#160;De Raedt, Luc. editor.&#160;Kotthoff, Lars. editor.&#160;Nijssen, Siegfried. editor.&#160;O'Sullivan, Barry. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-50137-6">https://doi.org/10.1007/978-3-319-50137-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings ent://SD_ILS/0/SD_ILS:610812 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Heywood, Malcolm I. editor.&#160;McDermott, James. editor.&#160;Castelli, Mauro. editor.&#160;Costa, Ernesto. editor.&#160;Sim, Kevin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-30668-1">https://doi.org/10.1007/978-3-319-30668-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:489053 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Esparza, Javier. editor.&#160;Fraigniaud, Pierre. editor.&#160;Husfeldt, Thore. editor.&#160;Koutsoupias, Elias. 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-43951-7">https://doi.org/10.1007/978-3-662-43951-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics ent://SD_ILS/0/SD_ILS:489273 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Majki&#263;, Zoran. 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-04156-8">https://doi.org/10.1007/978-3-319-04156-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487501 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Esparza, Javier. editor.&#160;Fraigniaud, Pierre. editor.&#160;Husfeldt, Thore. editor.&#160;Koutsoupias, Elias. 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-43948-7">https://doi.org/10.1007/978-3-662-43948-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488931 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Zaverucha, Gerson. editor.&#160;Santos Costa, V&iacute;tor. editor.&#160;Paes, Aline. 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-44923-3">https://doi.org/10.1007/978-3-662-44923-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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:06:37Z 2026-03-20T23:06:37Z Author&#160;Costantini, Stefania. editor.&#160;Franconi, Enrico. editor.&#160;Van Woensel, William. editor.&#160;Kontchakov, Roman. editor.&#160;Sadri, Fariba. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483739 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Franch, Xavier. editor. (orcid)0000-0001-9733-8830&#160;M&auml;nnist&ouml;, Tomi. editor. (orcid)0000-0001-7470-5183&#160;Mart&iacute;nez-Fern&aacute;ndez, Silverio. editor. (orcid)0000-0001-9928-133X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35333-9">https://doi.org/10.1007/978-3-030-35333-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484810 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Yangui, Sami. editor. (orcid)0000-0001-9756-642X&#160;Bouassida Rodriguez, Ismael. editor.&#160;Drira, Khalil. editor. (orcid)0000-0002-4770-1563&#160;Tari, Zahir. editor. (orcid)0000-0002-1235-9673&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-33702-5">https://doi.org/10.1007/978-3-030-33702-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centered Software Engineering 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485054 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797&#160;Kuusinen, Kati. editor. (orcid)0000-0003-3076-1356&#160;L&aacute;rusd&oacute;ttir, Marta Krist&iacute;n. editor.&#160;Palanque, Philippe. editor.&#160;Winckler, Marco. editor. (orcid)0000-0002-0756-6934<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05909-5">https://doi.org/10.1007/978-3-030-05909-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing &ndash; ICSOC 2018 Workshops ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485266 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Liu, Xiao. editor.&#160;Mrissa, Michael. editor.&#160;Zhang, Liang. editor.&#160;Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060&#160;Ghose, Aditya. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17642-6">https://doi.org/10.1007/978-3-030-17642-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Services &ndash; SERVICES 2019 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486228 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Xia, Yunni. editor.&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23381-5">https://doi.org/10.1007/978-3-030-23381-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484184 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Knauss, Eric. editor. (orcid)0000-0002-6631-872X&#160;Goedicke, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-15538-4">https://doi.org/10.1007/978-3-030-15538-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Performance Evaluation and Benchmarking for the Era of Artificial Intelligence 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27&ndash;31, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486311 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Nambiar, Raghunath. editor.&#160;Poess, Meikel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-11404-6">https://doi.org/10.1007/978-3-030-11404-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services &ndash; ICWS 2019 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486325 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Miller, John. editor.&#160;Stroulia, Eleni. editor.&#160;Lee, Kisung. editor. (orcid)0000-0003-4367-4374&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23499-7">https://doi.org/10.1007/978-3-030-23499-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486579 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Schewe, Klaus-Dieter. editor. (orcid)0000-0002-8309-1803&#160;Singh, Neeraj Kumar. editor. (orcid)0000-0002-1124-0179&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32065-2">https://doi.org/10.1007/978-3-030-32065-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&amp;TC 2019, Rhodes, Greece, October 21&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483434 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847&#160;Hepp, Martin. editor.&#160;Lewis, Dave. editor.&#160;Ardagna, Claudio Agostino. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-33246-4">https://doi.org/10.1007/978-3-030-33246-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15&ndash;17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483626 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948&#160;Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148&#160;Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434&#160;Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29852-4">https://doi.org/10.1007/978-3-030-29852-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Tutoring Systems 15th International Conference, ITS 2019, Kingston, Jamaica, June 3&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485196 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Coy, Andre. editor.&#160;Hayashi, Yugo. editor.&#160;Chang, Maiga. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22244-4">https://doi.org/10.1007/978-3-030-22244-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611056 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Traore, Issa. editor.&#160;Woungang, Isaac. editor.&#160;Awad, Ahmed. 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-69155-8">https://doi.org/10.1007/978-3-319-69155-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615971 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Huhn, Michaela. editor.&#160;Williams, Laurie. 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-63194-3">https://doi.org/10.1007/978-3-319-63194-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616111 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Botterweck, Goetz. editor.&#160;Werner, Claudia. 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-56856-0">https://doi.org/10.1007/978-3-319-56856-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented and Cloud Computing 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:618116 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;De Paoli, Flavio. editor.&#160;Schulte, Stefan. editor. (orcid)0000-0003-3617-8807&#160;Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67262-5">https://doi.org/10.1007/978-3-319-67262-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Serviceology for Services 5th International Conference, ICServ 2017, Vienna, Austria, July 12-14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613188 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Hara, Yoshinori. editor.&#160;Karagiannis, Dimitris. 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-61240-9">https://doi.org/10.1007/978-3-319-61240-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613269 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Ouhammou, Yassine. editor.&#160;Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384&#160;Abell&oacute;, Alberto. editor.&#160;Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66854-3">https://doi.org/10.1007/978-3-319-66854-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> End-User Development 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613960 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Barbosa, Simone. editor.&#160;Markopoulos, Panos. editor.&#160;Patern&ograve;, Fabio. editor.&#160;Stumpf, Simone. editor.&#160;Valtolina, Stefano. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-58735-6">https://doi.org/10.1007/978-3-319-58735-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615972 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Tonetta, Stefano. editor.&#160;Schoitsch, Erwin. editor.&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66284-8">https://doi.org/10.1007/978-3-319-66284-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615991 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Gr&uuml;nbacher, Paul. editor.&#160;Perini, Anna. editor. (orcid)0000-0001-8818-6476&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54045-0">https://doi.org/10.1007/978-3-319-54045-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Models for Cyber Situation Awareness ent://SD_ILS/0/SD_ILS:616045 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Liu, Peng. editor.&#160;Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X&#160;Wang, Cliff. 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-61152-5">https://doi.org/10.1007/978-3-319-61152-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch&acirc;tel, Switzerland, June 19-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616124 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Jacquet, Jean-Marie. editor.&#160;Massink, Mieke. 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-59746-1">https://doi.org/10.1007/978-3-319-59746-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616147 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Nambiar, Raghunath. editor.&#160;Poess, Meikel. 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-54334-5">https://doi.org/10.1007/978-3-319-54334-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612752 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Tonetta, Stefano. editor.&#160;Schoitsch, Erwin. editor.&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66266-4">https://doi.org/10.1007/978-3-319-66266-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613142 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Drira, Khalil. editor. (orcid)0000-0002-4770-1563&#160;Wang, Hongbing. editor.&#160;Yu, Qi. editor.&#160;Wang, Yan. editor.&#160;Yan, Yuhong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68136-8">https://doi.org/10.1007/978-3-319-68136-8</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-20T23:06:37Z 2026-03-20T23:06:37Z 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/> Service-Oriented Computing 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613743 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Maximilien, Michael. editor.&#160;Vallecillo, Antonio. editor.&#160;Wang, Jianmin. editor.&#160;Oriol, Marc. 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-69035-3">https://doi.org/10.1007/978-3-319-69035-3</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 I ent://SD_ILS/0/SD_ILS:618259 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Debruyne, Christophe. editor.&#160;Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X&#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-69462-7">https://doi.org/10.1007/978-3-319-69462-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2016 Conferences Confederated International Conferences: CoopIS, C&amp;TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611517 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Debruyne, Christophe. editor.&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;K&uuml;hn, eva. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-48472-3">https://doi.org/10.1007/978-3-319-48472-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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:06:37Z 2026-03-20T23:06:37Z Author&#160;Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424&#160;Varr&oacute;, D&aacute;niel. editor.&#160;Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611648 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Abrahamsson, Pekka. editor.&#160;Jedlitschka, Andreas. editor.&#160;Nguyen Duc, Anh. editor. (orcid)0000-0002-7063-9200&#160;Felderer, Michael. editor.&#160;Amasaki, Sousuke. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-49094-6">https://doi.org/10.1007/978-3-319-49094-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy ent://SD_ILS/0/SD_ILS:615928 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530&#160;Bouchenak, Sara. editor.&#160;Kopetz, Hermann. 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-47590-5">https://doi.org/10.1007/978-3-319-47590-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:616250 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;van Eekelen, Marko. editor.&#160;Dal Lago, Ugo. 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-46559-3">https://doi.org/10.1007/978-3-319-46559-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:610820 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Hildebrandt, Thomas. editor.&#160;Ravara, Ant&oacute;nio. editor.&#160;van der Werf, Jan Martijn. editor.&#160;Weidlich, Matthias. 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-33612-1">https://doi.org/10.1007/978-3-319-33612-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:610942 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Albert, Elvira. editor.&#160;Lanese, Ivan. editor. (orcid)0000-0003-2527-9995&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39570-8">https://doi.org/10.1007/978-3-319-39570-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611434 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Skavhaug, Amund. editor.&#160;Guiochet, J&eacute;r&eacute;mie. editor.&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45477-1">https://doi.org/10.1007/978-3-319-45477-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB &amp; DFT 2016, M&uuml;nster, Germany, April 4-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611725 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Remke, Anne. editor.&#160;Haverkort, Boudewijn R. 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-31559-1">https://doi.org/10.1007/978-3-319-31559-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Tel&#269;, Czech Republic, October 23-25, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616006 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Kofro&#328;, Jan. editor.&#160;Vojnar, Tom&aacute;&scaron;. 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-29817-7">https://doi.org/10.1007/978-3-319-29817-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616059 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Daneva, Maya. editor.&#160;Pastor, Oscar. 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-30282-9">https://doi.org/10.1007/978-3-319-30282-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616700 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Tekinerdogan, Bedir. editor. (orcid)0000-0002-8538-7261&#160;Zdun, Uwe. editor. (orcid)0000-0002-6233-2591&#160;Babar, Ali. 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-48992-6">https://doi.org/10.1007/978-3-319-48992-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611429 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Skavhaug, Amund. editor.&#160;Guiochet, J&eacute;r&eacute;mie. editor.&#160;Schoitsch, Erwin. editor.&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45480-1">https://doi.org/10.1007/978-3-319-45480-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures ent://SD_ILS/0/SD_ILS:611797 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Bernardo, Marco. editor.&#160;De Nicola, Rocco. editor.&#160;Hillston, Jane. editor. (orcid)0000-0003-4914-9255&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-34096-8">https://doi.org/10.1007/978-3-319-34096-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611800 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Gorentla Venkata, Manjunath. editor.&#160;Imam, Neena. editor.&#160;Pophale, Swaroop. editor.&#160;Mintz, Tiffany M. 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-50995-2">https://doi.org/10.1007/978-3-319-50995-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611831 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Ebert, Achim. editor.&#160;Humayoun, Shah Rukh. editor.&#160;Seyff, Norbert. editor.&#160;Perini, Anna. editor. (orcid)0000-0001-8818-6476&#160;Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45916-5">https://doi.org/10.1007/978-3-319-45916-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering 6th International Conference, MEDI 2016, Almer&iacute;a, Spain, September 21-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612126 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Bellatreche, Ladjel. editor.&#160;Pastor, &Oacute;scar. editor.&#160;Almendros Jim&eacute;nez, Jes&uacute;s M. editor.&#160;A&iuml;t-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45547-1">https://doi.org/10.1007/978-3-319-45547-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613023 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Sheng, Quan Z. editor.&#160;Stroulia, Eleni. editor. (orcid)0000-0002-8784-8236&#160;Tata, Samir. editor.&#160;Bhiri, 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-46295-0">https://doi.org/10.1007/978-3-319-46295-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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:06:37Z 2026-03-20T23:06:37Z Author&#160;Alferes, Jose Julio. editor.&#160;Bertossi, Leopoldo. editor.&#160;Governatori, Guido. editor.&#160;Fodor, Paul. editor.&#160;Roman, Dumitru. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing - ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617340 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Norta, Alex. editor. (orcid)0000-0003-0593-8244&#160;Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X&#160;Gangadharan, G. R. editor.&#160;Dam, Hoa Khanh. 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-50539-7">https://doi.org/10.1007/978-3-662-50539-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618325 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Bogdan, Cristian. editor.&#160;Gulliksen, Jan. editor.&#160;Sauer, Stefan. editor. (orcid)0000-0003-3084-0409&#160;Forbrig, Peter. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-44902-9">https://doi.org/10.1007/978-3-319-44902-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618449 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Kapitsaki, Georgia M. editor.&#160;Santana de Almeida, Eduardo. 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-35122-3">https://doi.org/10.1007/978-3-319-35122-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:489098 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917&#160;MacCaull, Wendy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-53956-5">https://doi.org/10.1007/978-3-642-53956-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489400 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281&#160;Ouyang, Chun. 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-08260-8">https://doi.org/10.1007/978-3-319-08260-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485715 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Ait Ameur, Yamine. editor.&#160;Bellatreche, Ladjel. editor.&#160;Papadopoulos, George A. 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-11587-0">https://doi.org/10.1007/978-3-319-11587-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485643 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Bikakis, Antonis. editor.&#160;Fodor, Paul. editor.&#160;Roman, Dumitru. 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-09870-8">https://doi.org/10.1007/978-3-319-09870-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485645 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Avgeriou, Paris. editor.&#160;Zdun, Uwe. editor. (orcid)0000-0002-6233-2591&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09970-5">https://doi.org/10.1007/978-3-319-09970-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Algorithms First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487768 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Gupta, Prosenjit. editor.&#160;Zaroliagis, Christos. 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-04126-1">https://doi.org/10.1007/978-3-319-04126-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings ent://SD_ILS/0/SD_ILS:482801 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Bondavalli, Andrea. editor.&#160;Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10506-2">https://doi.org/10.1007/978-3-319-10506-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487100 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Jedlitschka, Andreas. editor.&#160;Kuvaja, Pasi. editor.&#160;Kuhrmann, Marco. editor.&#160;M&auml;nnist&ouml;, Tomi. editor.&#160;M&uuml;nch, J&uuml;rgen. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13835-0">https://doi.org/10.1007/978-3-319-13835-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487207 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Franch, Xavier. editor.&#160;Ghose, Aditya K. editor.&#160;Lewis, Grace A. editor.&#160;Bhiri, 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-662-45391-9">https://doi.org/10.1007/978-3-662-45391-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing--ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:482751 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Lomuscio, Alessio. editor.&#160;Nepal, Surya. editor.&#160;Patrizi, Fabio. editor.&#160;Benatallah, Boualem. editor.&#160;Brandi&#263;, Ivona. editor. (orcid)0000-0001-7424-0208<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06859-6">https://doi.org/10.1007/978-3-319-06859-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605504 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Pluh&aacute;r, Zsuzsa. editor. (orcid)0000-0003-2688-4652&#160;Ga&aacute;l, Bence. editor. (orcid)0000-0001-8771-7140&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73474-8">https://doi.org/10.1007/978-3-031-73474-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Concise Introduction to Software Engineering With Open Source and GenAI ent://SD_ILS/0/SD_ILS:607111 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Jalote, Pankaj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-74318-4">https://doi.org/10.1007/978-3-031-74318-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures ent://SD_ILS/0/SD_ILS:607118 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Console, Marco. editor. (orcid)0009-0004-5526-019X&#160;Konev, Boris. editor. (orcid)0000-0002-6507-0494&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-80283-6">https://doi.org/10.1007/978-3-031-80283-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Biology A Practical Introduction to Bio Data Juggling with Worked Examples ent://SD_ILS/0/SD_ILS:607298 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;W&uuml;nschiers, R&ouml;bbe. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70314-0">https://doi.org/10.1007/978-3-031-70314-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings ent://SD_ILS/0/SD_ILS:607681 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Erdem, Esra. editor. (orcid)0000-0001-8384-7810&#160;Vidal, Germ&aacute;n. editor. (orcid)0000-0002-1857-6951&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-84924-4">https://doi.org/10.1007/978-3-031-84924-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608635 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Aiswarya, C. editor. (orcid)0000-0002-4878-7581&#160;Sen, Prabal Kumar. editor.&#160;Srivastava, Shashi Mohan. 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-89610-1">https://doi.org/10.1007/978-3-031-89610-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CLOUD Computing - CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606047 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Wang, Yang. editor.&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-77153-8">https://doi.org/10.1007/978-3-031-77153-8</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-20T23:06:37Z 2026-03-20T23:06:37Z 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/> Mathematical Optimization Theory and Operations Research 24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7-11, 2025, Proceedings ent://SD_ILS/0/SD_ILS:609239 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Kochetov, Yury. editor. (orcid)0000-0001-7123-8647&#160;Khachay, Michael. editor. (orcid)0000-0003-3555-0080&#160;Eremeev, Anton. editor. (orcid)0000-0001-5289-7874&#160;Pardalos, Panos. editor. (orcid)0000-0001-9623-8053&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97077-1">https://doi.org/10.1007/978-3-031-97077-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Information Systems with Large Language Models ent://SD_ILS/0/SD_ILS:609559 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;De Luzi, Francesca. editor. (orcid)0000-0002-9896-2528&#160;Monti, Flavia. editor. (orcid)0000-0003-3349-7861&#160;Mecella, Massimo. editor. (orcid)0000-0002-9730-8882&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-92285-5">https://doi.org/10.1007/978-3-031-92285-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile, Secure, and Programmable Networking 9th International Conference, MSPN 2023, Paris, France, October 26-27, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602411 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Bouzefrane, Samia. editor. (orcid)0000-0002-0979-1289&#160;Banerjee, Soumya. editor.&#160;Mourlin, Fabrice. editor.&#160;Boumerdassi, Selma. editor.&#160;Renault, &Eacute;ric. editor. (orcid)0000-0003-1011-8347<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-52426-4">https://doi.org/10.1007/978-3-031-52426-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Optimization Theory and Operations Research 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603963 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Eremeev, Anton. editor. (orcid)0000-0001-5289-7874&#160;Khachay, Michael. editor. (orcid)0000-0003-3555-0080&#160;Kochetov, Yury. editor. (orcid)0000-0001-7123-8647&#160;Mazalov, Vladimir. editor. (orcid)0000-0003-2262-2620&#160;Pardalos, Panos. editor. (orcid)0000-0001-9623-8053<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-62792-7">https://doi.org/10.1007/978-3-031-62792-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Device-Edge-Cloud Continuum Paradigms, Architectures and Applications ent://SD_ILS/0/SD_ILS:601977 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Savaglio, Claudio. editor.&#160;Fortino, Giancarlo. editor.&#160;Zhou, MengChu. editor. (orcid)0000-0002-5408-8752&#160;Ma, Jianhua. 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-42194-5">https://doi.org/10.1007/978-3-031-42194-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602129 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595&#160;Ferreira, Joao C. editor.&#160;Kocian, Alexander. editor.&#160;Tokkozhina, Ulpan. editor.&#160;Helgheim, Berit Irene. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-49379-9">https://doi.org/10.1007/978-3-031-49379-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602249 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Yavorskiy, Rostislav. editor.&#160;Cavalli, Ana Rosa. editor.&#160;Kalenkova, 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-031-50423-5">https://doi.org/10.1007/978-3-031-50423-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:605685 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Briola, Daniela. editor. (orcid)0000-0003-1994-8929&#160;Cardoso, Rafael C. editor. (orcid)0000-0001-6666-6954&#160;Logan, Brian. editor. (orcid)0000-0003-0648-7107&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71152-7">https://doi.org/10.1007/978-3-031-71152-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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:06:37Z 2026-03-20T23:06:37Z Author&#160;Meier, Arne. editor. (orcid)0000-0002-8061-5376&#160;Ortiz, Magdalena. 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-56940-1">https://doi.org/10.1007/978-3-031-56940-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604005 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551&#160;Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131&#160;Leuschel, Michael. editor. (orcid)0000-0002-4595-1518&#160;Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026&#160;Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63790-2">https://doi.org/10.1007/978-3-031-63790-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605063 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294&#160;Kononova, Anna V. editor. (orcid)0000-0002-4138-7024&#160;Trautmann, Heike. editor. (orcid)0000-0002-9788-8282&#160;Tu&scaron;ar, Tea. editor. (orcid)0000-0002-6495-006X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70055-2">https://doi.org/10.1007/978-3-031-70055-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605064 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294&#160;Kononova, Anna V. editor. (orcid)0000-0002-4138-7024&#160;Trautmann, Heike. editor. (orcid)0000-0002-9788-8282&#160;Tu&scaron;ar, Tea. editor. (orcid)0000-0002-6495-006X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70068-2">https://doi.org/10.1007/978-3-031-70068-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:605065 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294&#160;Kononova, Anna V. editor. (orcid)0000-0002-4138-7024&#160;Trautmann, Heike. editor. (orcid)0000-0002-9788-8282&#160;Tu&scaron;ar, Tea. editor. (orcid)0000-0002-6495-006X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70071-2">https://doi.org/10.1007/978-3-031-70071-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:605066 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294&#160;Kononova, Anna V. editor. (orcid)0000-0002-4138-7024&#160;Trautmann, Heike. editor. (orcid)0000-0002-9788-8282&#160;Tu&scaron;ar, Tea. editor. (orcid)0000-0002-6495-006X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70085-9">https://doi.org/10.1007/978-3-031-70085-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606267 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259&#160;Mery, Dominique. editor. (orcid)0000-0001-5231-6611&#160;Sun, Meng. editor.&#160;Liu, Shaoying. editor. (orcid)0000-0002-6748-5052&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0617-7">https://doi.org/10.1007/978-981-96-0617-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CODING ANDROID APPS ent://SD_ILS/0/SD_ILS:581082 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Polk, Margaret Kozak.<br/>Preferred Shelf Number&#160;QA76.76 .A65<br/>Electronic Access&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003286325">https://www.taylorfrancis.com/books/9781003286325</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Webservices Theory and Practice ent://SD_ILS/0/SD_ILS:483812 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Mohanty, Hrushikesha. editor.&#160;Pattnaik, Prasant Kumar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-3224-1">https://doi.org/10.1007/978-981-13-3224-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9&ndash;12, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485870 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23584-0">https://doi.org/10.1007/978-3-030-23584-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Essentials of Cloud Computing A Holistic Perspective ent://SD_ILS/0/SD_ILS:486548 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Surianarayanan, Chellammal. author.&#160;Chelliah, Pethuru Raj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-13134-0">https://doi.org/10.1007/978-3-030-13134-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17&ndash;19, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486645 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Ragia, Lemonia. editor.&#160;Grueau, C&eacute;dric. editor.&#160;Laurini, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29948-4">https://doi.org/10.1007/978-3-030-29948-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Music Instruments II Realtime and Object-Oriented Audio ent://SD_ILS/0/SD_ILS:483572 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Lazzarini, Victor. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-13712-0">https://doi.org/10.1007/978-3-030-13712-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data Analytics and Knowledge Discovery 19th International Conference, DaWaK 2017, Lyon, France, August 28-31, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612533 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Bellatreche, Ladjel. editor.&#160;Chakravarthy, Sharma. 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-64283-3">https://doi.org/10.1007/978-3-319-64283-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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:06:37Z 2026-03-20T23:06:37Z Author&#160;Esposito, Floriana. editor.&#160;Basili, Roberto. editor. (orcid)0000-0001-5140-0694&#160;Ferilli, Stefano. editor.&#160;Lisi, Francesca A. 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-70169-1">https://doi.org/10.1007/978-3-319-70169-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Learning Systems Intelligent Techniques for Personalization ent://SD_ILS/0/SD_ILS:615383 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Kla&scaron;nja-Mili&#263;evi&#263;, Aleksandra. author. (orcid)0000-0002-8023-4776&#160;Vesin, Boban. author.&#160;Ivanovi&#263;, Mirjana. author.&#160;Budimac, Zoran. author.&#160;Jain, Lakhmi C. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-41163-7">https://doi.org/10.1007/978-3-319-41163-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers ent://SD_ILS/0/SD_ILS:616099 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Namazi-Rad, Mohammad-Reza. editor.&#160;Padgham, Lin. editor.&#160;Perez, Pascal. editor.&#160;Nagel, Kai. editor.&#160;Bazzan, Ana. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51957-9">https://doi.org/10.1007/978-3-319-51957-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615949 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268&#160;Garbinato, Beno&icirc;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-59647-1">https://doi.org/10.1007/978-3-319-59647-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:618013 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Berger, Christian. editor.&#160;Mousavi, Mohammad Reza. editor.&#160;Wisniewski, Rafael. 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-51738-4">https://doi.org/10.1007/978-3-319-51738-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:618018 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Blanas, Spyros. editor.&#160;Bordawekar, Rajesh. editor.&#160;Lahiri, Tirthankar. editor.&#160;Levandoski, Justin. editor.&#160;Pavlo, Andrew. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56111-0">https://doi.org/10.1007/978-3-319-56111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Components and Services for IoT Platforms Paving the Way for IoT Standards ent://SD_ILS/0/SD_ILS:618173 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Keramidas, Georgios. editor.&#160;Voros, Nikolaos. editor.&#160;H&uuml;bner, Michael. 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-42304-3">https://doi.org/10.1007/978-3-319-42304-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:618120 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Cuppens-Boulahia, Nora. editor.&#160;Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347&#160;Cuppens, Fr&eacute;d&eacute;ric. editor.&#160;Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61437-3">https://doi.org/10.1007/978-3-319-61437-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications and Usability of Interactive TV 5th Iberoamerican Conference, jAUTI 2016, La Habana, Cuba, November 21-25, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611580 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Ab&aacute;solo, Mar&iacute;a Jos&eacute;. editor.&#160;Almeida, Pedro. editor.&#160;Pina Amarg&oacute;s, Joaqu&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-63321-3">https://doi.org/10.1007/978-3-319-63321-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Python for Graph and Network Analysis ent://SD_ILS/0/SD_ILS:611738 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Al-Taie, Mohammed Zuhair. author.&#160;Kadry, Seifedine. 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-53004-8">https://doi.org/10.1007/978-3-319-53004-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Visualisation with R 100 Examples ent://SD_ILS/0/SD_ILS:613191 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Rahlf, Thomas. 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-49751-8">https://doi.org/10.1007/978-3-319-49751-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects of Cloud Computing Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611025 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Sellis, Timos. editor.&#160;Oikonomou, Konstantinos. 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-57045-7">https://doi.org/10.1007/978-3-319-57045-7</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-20T23:06:37Z 2026-03-20T23:06:37Z 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/> Algorithms and Architectures for Parallel Processing 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616114 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Ibrahim, Shadi. editor.&#160;Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336&#160;Yan, Zheng. editor.&#160;Pedrycz, Witold. 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-65482-9">https://doi.org/10.1007/978-3-319-65482-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616222 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Perner, Petra. 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-62701-4">https://doi.org/10.1007/978-3-319-62701-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616267 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Mart&iacute;nez de Pis&oacute;n, Francisco Javier. editor.&#160;Urraca, Rub&eacute;n. editor.&#160;Quinti&aacute;n, H&eacute;ctor. editor.&#160;Corchado, Emilio. 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-59650-1">https://doi.org/10.1007/978-3-319-59650-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Perspectives in End-User Development ent://SD_ILS/0/SD_ILS:616405 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Patern&ograve;, Fabio. editor.&#160;Wulf, Volker. 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-60291-2">https://doi.org/10.1007/978-3-319-60291-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Participation 9th IFIP WG 8.5 International Conference, ePart 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611810 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Parycek, Peter. editor. (orcid)0000-0003-3242-0475&#160;Charalabidis, Yannis. editor.&#160;Chugunov, Andrei V. editor.&#160;Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842&#160;Pardo, Theresa A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-64322-9">https://doi.org/10.1007/978-3-319-64322-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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:06:37Z 2026-03-20T23:06:37Z Author&#160;An, Bo. editor.&#160;Bazzan, Ana. editor.&#160;Leite, Jo&atilde;o. editor.&#160;Villata, Serena. editor.&#160;van der Torre, Leendert. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT Education 46th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2017, Magaliesburg, South Africa, July 3-5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613148 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Liebenberg, Janet. editor.&#160;Gruner, 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-69670-6">https://doi.org/10.1007/978-3-319-69670-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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:06:37Z 2026-03-20T23:06:37Z Author&#160;Bogomolov, Sergiy. editor.&#160;Martel, Matthieu. editor.&#160;Prabhakar, Pavithra. 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-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613733 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Di Napoli, Edoardo. editor.&#160;Hermanns, Marc-Andr&eacute;. editor.&#160;Iliev, Hristo. editor.&#160;Lintermann, Andreas. editor.&#160;Peyser, Alexander. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-53862-4">https://doi.org/10.1007/978-3-319-53862-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile, Secure, and Programmable Networking Third International Conference, MSPN 2017, Paris, France, June 29-30, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613755 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Bouzefrane, Samia. editor. (orcid)0000-0002-0979-1289&#160;Banerjee, Soumya. editor.&#160;Sailhan, Fran&ccedil;oise. editor.&#160;Boumerdassi, Selma. editor.&#160;Renault, Eric. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67807-8">https://doi.org/10.1007/978-3-319-67807-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile, Secure, and Programmable Networking Second International Conference, MSPN 2016, Paris, France, June 1-3, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611235 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Boumerdassi, Selma. editor.&#160;Renault, &Eacute;ric. editor.&#160;Bouzefrane, Samia. 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-50463-6">https://doi.org/10.1007/978-3-319-50463-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611927 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Comyn-Wattiau, Isabelle. editor.&#160;Tanaka, Katsumi. editor.&#160;Song, Il-Yeol. editor.&#160;Yamamoto, Shuichiro. editor.&#160;Saeki, Motoshi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46397-1">https://doi.org/10.1007/978-3-319-46397-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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:06:37Z 2026-03-20T23:06:37Z Author&#160;Michael, Loizos. editor.&#160;Kakas, Antonis. 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-48758-8">https://doi.org/10.1007/978-3-319-48758-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616247 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Carretero, Jesus. editor.&#160;Garcia-Blas, Javier. editor.&#160;Ko, Ryan K.L. editor.&#160;Mueller, Peter. editor.&#160;Nakano, Koji. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-49583-5">https://doi.org/10.1007/978-3-319-49583-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:610898 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Kitowski, Jacek. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-32149-3">https://doi.org/10.1007/978-3-319-32149-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611037 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Mauw, Sjouke. editor.&#160;Kordy, Barbara. editor.&#160;Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-29968-6">https://doi.org/10.1007/978-3-319-29968-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings ent://SD_ILS/0/SD_ILS:611427 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Perner, Petra. 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-41561-1">https://doi.org/10.1007/978-3-319-41561-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber Deception Building the Scientific Foundation ent://SD_ILS/0/SD_ILS:611890 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X&#160;Subrahmanian, V.S. editor.&#160;Swarup, Vipin. editor.&#160;Wang, Cliff. 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-32699-3">https://doi.org/10.1007/978-3-319-32699-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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:06:37Z 2026-03-20T23:06:37Z Author&#160;Rovatsos, Michael. editor.&#160;Vouros, George. editor.&#160;Julian, Vicente. 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-33509-4">https://doi.org/10.1007/978-3-319-33509-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612983 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Dignum, Virginia. editor. (orcid)0000-0001-7409-5813&#160;Noriega, Pablo. editor.&#160;Sensoy, Murat. editor.&#160;Sichman, Jaime Sim&atilde;o. 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-42691-4">https://doi.org/10.1007/978-3-319-42691-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613038 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Fr&auml;nzle, Martin. editor.&#160;Markey, Nicolas. 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-44878-7">https://doi.org/10.1007/978-3-319-44878-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613600 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611&#160;Delporte-Gallet, Carole. 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-46140-3">https://doi.org/10.1007/978-3-319-46140-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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:06:37Z 2026-03-20T23:06:37Z Author&#160;Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408&#160;Chopra, Amit K. editor.&#160;Son, Tran Cao. editor.&#160;Hirayama, Katsutoshi. editor.&#160;Torroni, Paolo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Cyberdeception ent://SD_ILS/0/SD_ILS:614814 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Rowe, Neil C. author.&#160;Rrushi, Julian. 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-41187-3">https://doi.org/10.1007/978-3-319-41187-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617035 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Taufer, Michela. editor.&#160;Mohr, Bernd. editor.&#160;Kunkel, Julian M. 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-46079-6">https://doi.org/10.1007/978-3-319-46079-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays ent://SD_ILS/0/SD_ILS:617743 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Probst, Christian W. editor.&#160;Hankin, Chris. editor.&#160;Hansen, Ren&eacute; Rydhof. 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-27810-0">https://doi.org/10.1007/978-3-319-27810-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Mining Data Science in Action ent://SD_ILS/0/SD_ILS:617779 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;van der Aalst, Wil M. P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49851-4">https://doi.org/10.1007/978-3-662-49851-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:618411 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Kitowski, Jacek. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-32152-3">https://doi.org/10.1007/978-3-319-32152-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emotion Modeling Towards Pragmatic Computational Models of Affective Processes ent://SD_ILS/0/SD_ILS:489042 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Bosse, Tibor. editor.&#160;Broekens, Joost. editor.&#160;Dias, Jo&atilde;o. editor. (orcid)0000-0002-1653-1821&#160;van der Zwaan, Janneke. 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-12973-0">https://doi.org/10.1007/978-3-319-12973-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> JRuby Rails Web Application Development ent://SD_ILS/0/SD_ILS:486952 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Vohra, Deepak. 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-03934-3">https://doi.org/10.1007/978-3-319-03934-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487483 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Chatterjee, Mainak. editor.&#160;Cao, Jian-nong. editor.&#160;Kothapalli, Kishore. editor.&#160;Rajsbaum, Sergio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-45249-9">https://doi.org/10.1007/978-3-642-45249-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SAP ABAP Hands-On Test Projects with Business Scenarios ent://SD_ILS/0/SD_ILS:618511 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Markandeya, Sushil. author.&#160;Roy, Kaushik. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-4804-0">https://doi.org/10.1007/978-1-4302-4804-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning Xcode ent://SD_ILS/0/SD_ILS:618512 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Knott, Matthew. author.&#160;Bramhall, Daniel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-5744-8">https://doi.org/10.1007/978-1-4302-5744-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning iOS 7 Development Exploring the iOS SDK ent://SD_ILS/0/SD_ILS:618518 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Nutting, Jack. author.&#160;Mark, David. author.&#160;LaMarche, Jeff. author.&#160;Olsson, Fredrik. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6023-3">https://doi.org/10.1007/978-1-4302-6023-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning Android 3D Game Development ent://SD_ILS/0/SD_ILS:618531 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Chin, Robert. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6548-1">https://doi.org/10.1007/978-1-4302-6548-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning iPhone Development Exploring the iOS SDK ent://SD_ILS/0/SD_ILS:618557 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Nutting, Jack. author.&#160;Olsson, Fredrik. author.&#160;Mark, David. author.&#160;LaMarche, Jeff. author.&#160;Topley, Kim. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0199-2">https://doi.org/10.1007/978-1-4842-0199-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swift Quick Syntax Reference ent://SD_ILS/0/SD_ILS:618608 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Campbell, Matthew. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0439-9">https://doi.org/10.1007/978-1-4842-0439-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Android Recipes A Problem-Solution Approach ent://SD_ILS/0/SD_ILS:618663 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Smith, Dave. author.&#160;Friesen, Jeff. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6323-4">https://doi.org/10.1007/978-1-4302-6323-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CSS Quick Syntax Reference ent://SD_ILS/0/SD_ILS:618679 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Olsson, Mikael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6491-0">https://doi.org/10.1007/978-1-4302-6491-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Samsung Galaxy Tab ent://SD_ILS/0/SD_ILS:293460 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Hart-Davis, Guy.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/how-to-do-everything-samsung-galaxy-tab">Subscription required</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software engineering for Internet applications ent://SD_ILS/0/SD_ILS:219982 2026-03-20T23:06:37Z 2026-03-20T23:06:37Z Author&#160;Andersson, Eve Astrid.&#160;Greenspun, Philip.&#160;Grumet, Andrew.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267210">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267210</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>