Search Results for Systems software. - Narrowed by: 2016 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bsoftware.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092016$0025092016$0026te$003dILS$0026ps$003d300? 2026-05-11T05:52:19Z Software Design for Resilient Computer Systems ent://SD_ILS/0/SD_ILS:617729 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Schagaev, Igor. author.&#160;Thomas, Kaegi. 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-29465-0">https://doi.org/10.1007/978-3-319-29465-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Directory of library automation software, systems, and services. ent://SD_ILS/0/SD_ILS:79391 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Cibbarelli, Pamela R., ed.&#160;Information Today, Inc.<br/>Preferred Shelf Number&#160;Z678.9.A3 D6<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612727 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Crnkovic, Ivica. editor.&#160;Troubitsyna, Elena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Environment modeling-based requirements engineering for software intensive systems. ent://SD_ILS/0/SD_ILS:459913 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Jin, Zhi, 1962- author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780128019542">https://www.sciencedirect.com/science/book/9780128019542</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Perspectives and Application in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2 ent://SD_ILS/0/SD_ILS:610850 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Silhavy, Radek. editor.&#160;Senkerik, Roman. editor.&#160;Oplatkova, Zuzana Kominkova. editor.&#160;Silhavy, Petr. editor.&#160;Prokopova, Zdenka. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33622-0">https://doi.org/10.1007/978-3-319-33622-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2016 International Conference on Human Factors, Software, and Systems Engineering, July 27-31, 2016, Walt Disney World&reg;, Florida, USA ent://SD_ILS/0/SD_ILS:610985 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Amaba, Ben. 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-41935-0">https://doi.org/10.1007/978-3-319-41935-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612288 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Thiemann, Peter. 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-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, Proceedings ent://SD_ILS/0/SD_ILS:615588 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Kreiner, Christian. editor.&#160;O'Connor, Rory V. editor.&#160;Poth, Alexander. editor.&#160;Messnarz, Richard. editor. (orcid)0000-0002-0555-3160&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-44817-6">https://doi.org/10.1007/978-3-319-44817-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616986 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Wotawa, Franz. editor.&#160;Nica, Mihai. editor.&#160;Kushik, Natalia. 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-47443-4">https://doi.org/10.1007/978-3-319-47443-4</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-05-11T05:52:19Z 2026-05-11T05:52:19Z 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/> Software Quality. The Future of Systems- and Software Development 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611938 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Winkler, Dietmar. editor.&#160;Biffl, Stefan. editor.&#160;Bergsmann, Johannes. 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-27033-3">https://doi.org/10.1007/978-3-319-27033-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616008 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Chechik, Marsha. editor. (orcid)0000-0002-6301-3517&#160;Raskin, Jean-Fran&ccedil;ois. 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-49674-9">https://doi.org/10.1007/978-3-662-49674-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures ent://SD_ILS/0/SD_ILS:616134 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. 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-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings ent://SD_ILS/0/SD_ILS:618015 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Caballero, Juan. editor.&#160;Bodden, Eric. editor.&#160;Athanasopoulos, 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-319-30806-7">https://doi.org/10.1007/978-3-319-30806-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-05-11T05:52:19Z 2026-05-11T05:52:19Z 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/> Pragmatic Evaluation of Software Architectures ent://SD_ILS/0/SD_ILS:618505 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Knodel, Jens. author.&#160;Naab, Matthias. 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-34177-4">https://doi.org/10.1007/978-3-319-34177-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information security management handbook ent://SD_ILS/0/SD_ILS:542831 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Tipton, Harold F.&#160;Krause, Micki.<br/>Preferred Shelf Number&#160;QA76.9 .A25 I54165 2003<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420003406">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction. Theory, Design, Development and Practice 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I ent://SD_ILS/0/SD_ILS:610718 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Kurosu, Masaaki. 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-39510-4">https://doi.org/10.1007/978-3-319-39510-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Computational Intelligence in Biomedical Technology ent://SD_ILS/0/SD_ILS:610720 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Bris, Radim. editor.&#160;Majernik, Jaroslav. editor.&#160;Pancerz, Krzysztof. editor.&#160;Zaitseva, Elena. editor. (orcid)0000-0002-9087-0311&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19147-8">https://doi.org/10.1007/978-3-319-19147-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Advances in Information Systems and Technologies ent://SD_ILS/0/SD_ILS:611004 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Rocha, &Aacute;lvaro. editor. (orcid)0000-0002-0750-8187&#160;Correia, Ana Maria. editor.&#160;Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453&#160;Reis, Luis Paulo. editor. (orcid)0000-0002-4709-1718&#160;Mendon&ccedil;a Teixeira, Marcelo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-31232-3">https://doi.org/10.1007/978-3-319-31232-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the Mediterranean Conference on Information &amp; Communication Technologies 2015 MedCT 2015 Volume 2 ent://SD_ILS/0/SD_ILS:611026 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;El Oualkadi, Ahmed. editor.&#160;Choubani, Fethi. editor.&#160;El Moussati, 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-30298-0">https://doi.org/10.1007/978-3-319-30298-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 ent://SD_ILS/0/SD_ILS:612100 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Drechsler, Rolf. editor.&#160;Wille, 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-319-31723-6">https://doi.org/10.1007/978-3-319-31723-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 2 ent://SD_ILS/0/SD_ILS:612699 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Satapathy, Suresh Chandra. editor.&#160;Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313&#160;Mandal, Jyotsna Kumar. editor.&#160;Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2523-2">https://doi.org/10.1007/978-81-322-2523-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Science and Applications (ICISA) 2016 ent://SD_ILS/0/SD_ILS:612828 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Kim, Kuinam J. editor.&#160;Joukov, Nikolai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-0557-2">https://doi.org/10.1007/978-981-10-0557-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings ent://SD_ILS/0/SD_ILS:612971 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Nurcan, Selmin. editor. (orcid)0000-0001-9676-4520&#160;Soffer, Pnina. editor. (orcid)0000-0003-4659-883X&#160;Bajec, Marko. editor.&#160;Eder, Johann. editor. (orcid)0000-0001-6050-468X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39696-5">https://doi.org/10.1007/978-3-319-39696-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613063 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network Analysis Literacy A Practical Approach to the Analysis of Networks ent://SD_ILS/0/SD_ILS:613064 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Zweig, Katharina A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-7091-0741-6">https://doi.org/10.1007/978-3-7091-0741-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Gamer Psychology and Behavior ent://SD_ILS/0/SD_ILS:613519 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Bostan, Barbaros. 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-29904-4">https://doi.org/10.1007/978-3-319-29904-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances and Applications in Nonlinear Control Systems ent://SD_ILS/0/SD_ILS:613805 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Vaidyanathan, Sundarapandian. editor.&#160;Volos, 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-30169-3">https://doi.org/10.1007/978-3-319-30169-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Electromechanical Systems ent://SD_ILS/0/SD_ILS:614082 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Gorodetskiy, Andrey E. 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-27547-5">https://doi.org/10.1007/978-3-319-27547-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 2 ent://SD_ILS/0/SD_ILS:614308 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Satapathy, Suresh Chandra. editor.&#160;Mandal, Jyotsna Kumar. editor.&#160;Udgata, Siba K. editor.&#160;Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2752-6">https://doi.org/10.1007/978-81-322-2752-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Behavioural Models From Modelling Finite Automata to Analysing Business Processes ent://SD_ILS/0/SD_ILS:614579 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Kunze, Matthias. author.&#160;Weske, Mathias. 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-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation and Testing for Vehicle Technology 7th Conference, Berlin, May 12-13, 2016 ent://SD_ILS/0/SD_ILS:615031 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;G&uuml;hmann, Clemens. editor.&#160;Riese, Jens. editor.&#160;von R&uuml;den, Klaus. 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-32345-9">https://doi.org/10.1007/978-3-319-32345-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technologies and Innovation Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings ent://SD_ILS/0/SD_ILS:615160 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Valencia-Garc&iacute;a, Rafael. editor. (orcid)0000-0003-2457-1791&#160;Lagos-Ortiz, Katty. editor.&#160;Alcaraz-M&aacute;rmol, Gema. editor.&#160;del Cioppo, Javier. editor.&#160;Vera-Lucio, Nestor. editor. (orcid)0000-0002-1006-1566<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-48024-4">https://doi.org/10.1007/978-3-319-48024-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internetware A New Software Paradigm for Internet Computing ent://SD_ILS/0/SD_ILS:615189 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Mei, Hong. author.&#160;L&uuml;, Jian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-2546-4">https://doi.org/10.1007/978-981-10-2546-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multidisciplinary Systems Engineering Architecting the Design Process ent://SD_ILS/0/SD_ILS:615316 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Crowder, James A. author.&#160;Carbone, John N. author.&#160;Demijohn, Russell. 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-22398-8">https://doi.org/10.1007/978-3-319-22398-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical Ultracentrifugation Instrumentation, Software, and Applications ent://SD_ILS/0/SD_ILS:615463 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Uchiyama, Susumu. editor.&#160;Arisaka, Fumio. editor.&#160;Stafford, Walter F. editor.&#160;Laue, Tom. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-4-431-55985-6">https://doi.org/10.1007/978-4-431-55985-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile terminal receiver design : LTE and LTE-advanced ent://SD_ILS/0/SD_ILS:593098 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Das, Sajal Kumar, author.<br/>Preferred Shelf Number&#160;TK6564.4 .C45<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119107422">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119107422</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Monitoring of the Underwater Environment Results of the International Marine Science and Technology Event MOQESM&acute;14 in Brest, France ent://SD_ILS/0/SD_ILS:610804 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Zerr, Beno&icirc;t. editor.&#160;Jaulin, Luc. editor.&#160;Creuze, Vincent. editor.&#160;Debese, Nathalie. editor.&#160;Quidu, Isabelle. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-32107-3">https://doi.org/10.1007/978-3-319-32107-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaboration in Creative Design Methods and Tools ent://SD_ILS/0/SD_ILS:610869 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Markopoulos, Panos. editor. (orcid)0000-0002-2001-7251&#160;Martens, Jean-Bernard. editor.&#160;Malins, Julian. editor.&#160;Coninx, Karin. editor.&#160;Liapis, Aggelos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-29155-0">https://doi.org/10.1007/978-3-319-29155-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Iris Recognition ent://SD_ILS/0/SD_ILS:610997 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Bowyer, Kevin W. editor.&#160;Burge, Mark J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6784-6">https://doi.org/10.1007/978-1-4471-6784-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611111 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Bo&scaron;na&#269;ki, Dragan. editor.&#160;Wijs, Anton. 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-32582-8">https://doi.org/10.1007/978-3-319-32582-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611230 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Bloem, Roderick. editor.&#160;Arbel, Eli. 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-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Education and e-Learning 2016 ent://SD_ILS/0/SD_ILS:611171 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Uskov, Vladimir L. editor.&#160;Howlett, Robert J. editor.&#160;Jain, Lakhmi C. 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-39690-3">https://doi.org/10.1007/978-3-319-39690-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliability and Safety Engineering ent://SD_ILS/0/SD_ILS:611385 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Verma, Ajit Kumar. author.&#160;Ajit, Srividya. author.&#160;Karanki, Durga Rao. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6269-8">https://doi.org/10.1007/978-1-4471-6269-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Software Technologies 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611418 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Dregvaite, Giedre. editor.&#160;Damasevicius, Robertas. 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-46254-7">https://doi.org/10.1007/978-3-319-46254-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611744 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Greuel, Gert-Martin. editor.&#160;Koch, Thorsten. editor.&#160;Paule, Peter. editor.&#160;Sommese, Andrew. 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-42432-3">https://doi.org/10.1007/978-3-319-42432-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependability Engineering and Complex Systems Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brun&oacute;w, Poland ent://SD_ILS/0/SD_ILS:612033 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Zamojski, Wojciech. editor.&#160;Mazurkiewicz, Jacek. editor.&#160;Sugier, Jaros&#322;aw. editor. (orcid)0000-0003-1452-3067&#160;Walkowiak, Tomasz. editor.&#160;Kacprzyk, Janusz. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39639-2">https://doi.org/10.1007/978-3-319-39639-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Intelligence- Software and Applications - 7th International Symposium on Ambient Intelligence (ISAmI 2016) ent://SD_ILS/0/SD_ILS:612041 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Lindgren, Helena. editor.&#160;De Paz, Juan F. editor.&#160;Novais, Paulo. editor. (orcid)0000-0002-3549-0754&#160;Fern&aacute;ndez-Caballero, Antonio. editor.&#160;Yoe, Hyun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-40114-0">https://doi.org/10.1007/978-3-319-40114-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems Biology in Animal Production and Health, Vol. 1 ent://SD_ILS/0/SD_ILS:612319 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Kadarmideen, Haja 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-43335-6">https://doi.org/10.1007/978-3-319-43335-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 1 ent://SD_ILS/0/SD_ILS:612325 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Satapathy, Suresh Chandra. editor.&#160;Mandal, Jyotsna Kumar. editor.&#160;Udgata, Siba K. editor.&#160;Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2755-7">https://doi.org/10.1007/978-81-322-2755-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes, in Software Engineering, and Extreme Programming 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612332 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Sharp, Helen. editor.&#160;Hall, Tracy. 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-33515-5">https://doi.org/10.1007/978-3-319-33515-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disasters ent://SD_ILS/0/SD_ILS:612368 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Al-Akkad, Amro. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-12616-2">https://doi.org/10.1007/978-3-658-12616-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology ent://SD_ILS/0/SD_ILS:612633 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Pohl, Klaus. editor.&#160;Broy, Manfred. editor.&#160;Daembkes, Heinrich. editor.&#160;H&ouml;nninger, Harald. 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-48003-9">https://doi.org/10.1007/978-3-319-48003-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Retrogame Archeology Exploring Old Computer Games ent://SD_ILS/0/SD_ILS:612929 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Aycock, John. 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-30004-7">https://doi.org/10.1007/978-3-319-30004-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supervisor Localization A Top-Down Approach to Distributed Control of Discrete-Event Systems ent://SD_ILS/0/SD_ILS:612937 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Cai, Kai. author.&#160;Wonham, W. Murray. 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-20496-3">https://doi.org/10.1007/978-3-319-20496-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> GPS Theory, Algorithms and Applications ent://SD_ILS/0/SD_ILS:612852 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Xu, Guochang. author.&#160;Xu, Yan. 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-50367-6">https://doi.org/10.1007/978-3-662-50367-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling with UML Language, Concepts, Methods ent://SD_ILS/0/SD_ILS:612868 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Rumpe, Bernhard. 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-33933-7">https://doi.org/10.1007/978-3-319-33933-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quality in Business Process Modeling ent://SD_ILS/0/SD_ILS:614181 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Krogstie, John. 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-42512-2">https://doi.org/10.1007/978-3-319-42512-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 5G Heterogeneous Networks Self-organizing and Optimization ent://SD_ILS/0/SD_ILS:614047 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Rong, Bo. author.&#160;Qiu, Xuesong. author.&#160;Kadoch, Michel. author.&#160;Sun, Songlin. author.&#160;Li, Wenjing. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39372-8">https://doi.org/10.1007/978-3-319-39372-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Heterogeneous Reconfigurable Processors for Real-Time Baseband Processing From Algorithm to Architecture ent://SD_ILS/0/SD_ILS:614187 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Zhang, Chenxin. author.&#160;Liu, Liang. author.&#160;&Ouml;wall, Viktor. 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-24004-6">https://doi.org/10.1007/978-3-319-24004-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Systems in Engineering Design Principles and Applications ent://SD_ILS/0/SD_ILS:614511 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Sunnersj&ouml;, Staffan. 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-28125-4">https://doi.org/10.1007/978-3-319-28125-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Educational Technologies in Medical and Health Sciences Education ent://SD_ILS/0/SD_ILS:614552 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Bridges, Susan. editor.&#160;Chan, Lap Ki. editor.&#160;Hmelo-Silver, Cindy E. 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-08275-2">https://doi.org/10.1007/978-3-319-08275-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Toward 5G Software Defined Radio Receiver Front-Ends ent://SD_ILS/0/SD_ILS:615489 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Spiridon, Silvian. 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-32759-4">https://doi.org/10.1007/978-3-319-32759-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networks of Dissipative Systems Compositional Certification of Stability, Performance, and Safety ent://SD_ILS/0/SD_ILS:616149 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Arcak, Murat. author.&#160;Meissen, Chris. author.&#160;Packard, Andrew. 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-29928-0">https://doi.org/10.1007/978-3-319-29928-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616284 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Freivalds, R&#363;si&#326;&scaron; M&#257;rti&#326;&scaron;. editor.&#160;Engels, Gregor. editor.&#160;Catania, Barbara. 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-49192-8">https://doi.org/10.1007/978-3-662-49192-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 1 ent://SD_ILS/0/SD_ILS:616366 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Satapathy, Suresh Chandra. editor.&#160;Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313&#160;Mandal, Jyotsna Kumar. editor.&#160;Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2517-1">https://doi.org/10.1007/978-81-322-2517-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of First International Conference on Information and Communication Technology for Intelligent Systems: Volume 2 ent://SD_ILS/0/SD_ILS:616545 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Satapathy, Suresh Chandra. editor.&#160;Das, Swagatam. 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-30927-9">https://doi.org/10.1007/978-3-319-30927-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Health Information Science 5th International Conference, HIS 2016, Shanghai, China, November 5-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616553 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Yin, Xiaoxia. editor.&#160;Geller, James. editor.&#160;Li, Ye. editor.&#160;Zhou, Rui. editor.&#160;Wang, Hua. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-48335-1">https://doi.org/10.1007/978-3-319-48335-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616994 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Fr&auml;nzle, Martin. editor.&#160;Kapur, Deepak. editor.&#160;Zhan, Naijun. 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-47677-3">https://doi.org/10.1007/978-3-319-47677-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Databases and Information Systems 12th International Baltic Conference, DB&amp;IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:617013 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Arnicans, Guntis. editor.&#160;Arnicane, Vineta. editor.&#160;Borzovs, Juris. editor.&#160;Niedrite, Laila. 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-40180-5">https://doi.org/10.1007/978-3-319-40180-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Structural Engineering ent://SD_ILS/0/SD_ILS:617217 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Connor, Jerome J. author.&#160;Faraji, Susan. 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-24331-3">https://doi.org/10.1007/978-3-319-24331-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bionic Optimization in Structural Design Stochastically Based Methods to Improve the Performance of Parts and Assemblies ent://SD_ILS/0/SD_ILS:617222 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Steinbuch, Rolf. editor.&#160;Gekeler, Simon. 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-46596-7">https://doi.org/10.1007/978-3-662-46596-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence A Methodological Introduction ent://SD_ILS/0/SD_ILS:617425 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Kruse, Rudolf. author.&#160;Borgelt, Christian. author.&#160;Braune, Christian. author.&#160;Mostaghim, Sanaz. author.&#160;Steinbrecher, Matthias. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-7296-3">https://doi.org/10.1007/978-1-4471-7296-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to the History of Computing A Computing History Primer ent://SD_ILS/0/SD_ILS:617462 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;O'Regan, Gerard. 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-33138-6">https://doi.org/10.1007/978-3-319-33138-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture in Action Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard ent://SD_ILS/0/SD_ILS:617519 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Oquendo, Flavio. author.&#160;Leite, Jair. author.&#160;Batista, Tha&iacute;s. 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-44339-3">https://doi.org/10.1007/978-3-319-44339-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Exploring Services Science 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings ent://SD_ILS/0/SD_ILS:617541 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Borangiu, Theodor. editor. (orcid)0000-0002-4801-1951&#160;Dr&#259;goicea, Monica. editor.&#160;N&oacute;voa, Henriqueta. 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-32689-4">https://doi.org/10.1007/978-3-319-32689-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617920 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545&#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-56390-9">https://doi.org/10.1007/978-3-319-56390-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617931 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Lorenz, Pascal. editor.&#160;Cardoso, Jorge. editor.&#160;Maciaszek, Leszek A. editor.&#160;van Sinderen, Marten. 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-30142-6">https://doi.org/10.1007/978-3-319-30142-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:617935 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Artho, Cyrille. editor.&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-29510-7">https://doi.org/10.1007/978-3-319-29510-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Security 12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618112 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Ray, Indrajit. editor.&#160;Gaur, Manoj Singh. editor.&#160;Conti, Mauro. editor. (orcid)0000-0002-3612-1934&#160;Sanghi, Dheeraj. editor.&#160;Kamakoti, V. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-49806-5">https://doi.org/10.1007/978-3-319-49806-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Advances in Information Systems and Technologies Volume 2 ent://SD_ILS/0/SD_ILS:618394 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Rocha, &Aacute;lvaro. editor. (orcid)0000-0002-0750-8187&#160;Correia, Ana Maria. editor.&#160;Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453&#160;Reis, Luis Paulo. editor. (orcid)0000-0002-4709-1718&#160;Mendon&ccedil;a Teixeira, Marcelo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-31307-8">https://doi.org/10.1007/978-3-319-31307-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 3 ent://SD_ILS/0/SD_ILS:618404 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Satapathy, Suresh Chandra. editor.&#160;Mandal, Jyotsna Kumar. editor. (orcid)0000-0001-9447-647X&#160;Udgata, Siba K. editor.&#160;Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2757-1">https://doi.org/10.1007/978-81-322-2757-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet of Things. IoT Infrastructures Second International Summit, IoT 360&deg; 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:618444 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Mandler, Benny. editor.&#160;Marquez-Barja, Johann. editor.&#160;Mitre Campista, Miguel Elias. editor.&#160;Cag&aacute;&#328;ov&aacute;, Dagmar. editor. (orcid)0000-0002-6834-6126&#160;Chaouchi, Hakima. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47075-7">https://doi.org/10.1007/978-3-319-47075-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 1 ent://SD_ILS/0/SD_ILS:610682 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Silhavy, Radek. editor.&#160;Senkerik, Roman. editor.&#160;Oplatkova, Zuzana Kominkova. editor.&#160;Silhavy, Petr. editor.&#160;Prokopova, Zdenka. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33625-1">https://doi.org/10.1007/978-3-319-33625-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Simulation A Model Driven Engineering Approach ent://SD_ILS/0/SD_ILS:611189 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Top&ccedil;u, Okan. author.&#160;Durak, Umut. author.&#160;O&#287;uzt&uuml;z&uuml;n, Halit. author.&#160;Yilmaz, Levent. 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-03050-0">https://doi.org/10.1007/978-3-319-03050-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Anti-fragile ICT Systems ent://SD_ILS/0/SD_ILS:611190 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Hole, Kjell J&oslash;rgen. 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-30070-2">https://doi.org/10.1007/978-3-319-30070-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence and Quantitative Software Engineering ent://SD_ILS/0/SD_ILS:611266 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Pedrycz, Witold. editor.&#160;Succi, Giancarlo. editor.&#160;Sillitti, Alberto. 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-25964-2">https://doi.org/10.1007/978-3-319-25964-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managing Software Process Evolution Traditional, Agile and Beyond - How to Handle Process Change ent://SD_ILS/0/SD_ILS:611322 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Kuhrmann, Marco. editor.&#160;M&uuml;nch, J&uuml;rgen. editor.&#160;Richardson, Ita. editor.&#160;Rausch, Andreas. editor.&#160;Zhang, He. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-31545-4">https://doi.org/10.1007/978-3-319-31545-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination of Complex Sociotechnical Systems Self-organisation of Knowledge in MoK ent://SD_ILS/0/SD_ILS:611371 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Mariani, Stefano. 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-47109-9">https://doi.org/10.1007/978-3-319-47109-9</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-05-11T05:52:19Z 2026-05-11T05:52:19Z 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/> 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-05-11T05:52:19Z 2026-05-11T05:52:19Z 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/> Modelling and Implementation of Complex Systems Proceedings of the 4th International Symposium, MISC 2016, Constantine, Algeria, May 7-8, 2016, Constantine, Algeria ent://SD_ILS/0/SD_ILS:611686 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Chikhi, Salim. editor.&#160;Amine, Abdelmalek. editor.&#160;Chaoui, Allaoua. editor.&#160;Kholladi, Mohamed Khireddine. editor.&#160;Saidouni, Djamel Eddine. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33410-3">https://doi.org/10.1007/978-3-319-33410-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Interoperability VII Enterprise Interoperability in the Digitized and Networked Factory of the Future ent://SD_ILS/0/SD_ILS:611779 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Mertins, Kai. editor.&#160;Jardim-Gon&ccedil;alves, Ricardo. editor.&#160;Popplewell, Keith. editor.&#160;Mendon&ccedil;a, Jo&atilde;o P. 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-30957-6">https://doi.org/10.1007/978-3-319-30957-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015 ent://SD_ILS/0/SD_ILS:611796 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924&#160;Sillitti, Alberto. editor.&#160;Succi, Giancarlo. editor.&#160;Messina, Angelo. 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-27896-4">https://doi.org/10.1007/978-3-319-27896-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements in Engineering Projects ent://SD_ILS/0/SD_ILS:611868 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Fernandes, Jo&atilde;o M. author.&#160;Machado, Ricardo J. 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-18597-2">https://doi.org/10.1007/978-3-319-18597-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tamed Agility Pragmatic Contracting and Collaboration in Agile Software Projects ent://SD_ILS/0/SD_ILS:611904 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Book, Matthias. author.&#160;Gruhn, Volker. author.&#160;Striemer, R&uuml;diger. 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-41478-2">https://doi.org/10.1007/978-3-319-41478-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014 ent://SD_ILS/0/SD_ILS:611937 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Oppenheimer, Frank. editor.&#160;Medina Pasaje, Julio Luis. 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-24457-0">https://doi.org/10.1007/978-3-319-24457-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control ent://SD_ILS/0/SD_ILS:612130 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Goldbach, Tobias. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-14893-5">https://doi.org/10.1007/978-3-658-14893-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding Control Flow Concurrent Programming Using &mu;C++ ent://SD_ILS/0/SD_ILS:612212 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Buhr, Peter A. 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-25703-7">https://doi.org/10.1007/978-3-319-25703-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OSS Reliability Measurement and Assessment ent://SD_ILS/0/SD_ILS:612396 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Yamada, Shigeru. author.&#160;Tamura, Yoshinobu. 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-31818-9">https://doi.org/10.1007/978-3-319-31818-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complex Systems Design &amp; Management Proceedings of the Sixth International Conference on Complex Systems Design &amp; Management, CSD&amp;M 2015 ent://SD_ILS/0/SD_ILS:612425 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Auvray, G&eacute;rard. editor.&#160;Bocquet, Jean-Claude. editor.&#160;Bonjour, Eric. editor.&#160;Krob, Daniel. 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-26109-6">https://doi.org/10.1007/978-3-319-26109-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rethink! Prototyping Transdisciplinary Concepts of Prototyping ent://SD_ILS/0/SD_ILS:612432 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Gengnagel, Christoph. editor.&#160;Nagy, Emilia. editor.&#160;Stark, Rainer. 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-24439-6">https://doi.org/10.1007/978-3-319-24439-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612979 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Fitzgerald, John. editor.&#160;Heitmeyer, Constance. editor.&#160;Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421&#160;Philippou, Anna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-48989-6">https://doi.org/10.1007/978-3-319-48989-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-05-11T05:52:19Z 2026-05-11T05:52:19Z 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/> Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers ent://SD_ILS/0/SD_ILS:613086 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408&#160;M&uuml;ller, J&ouml;rg P. editor.&#160;Nunes, Ingrid. editor.&#160;Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-50983-9">https://doi.org/10.1007/978-3-319-50983-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Memristor-Based Nanoelectronic Computing Circuits and Architectures Foreword by Leon Chua ent://SD_ILS/0/SD_ILS:613009 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Vourkas, Ioannis. author.&#160;Sirakoulis, Georgios Ch. 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-22647-7">https://doi.org/10.1007/978-3-319-22647-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:613592 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Systems: Integrating Communities 12th IFIP WG 2.13 International Conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613594 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Crowston, Kevin. editor.&#160;Hammouda, Imed. editor.&#160;Lundell, Bj&ouml;rn. editor.&#160;Robles, Gregorio. editor.&#160;Gamalielsson, Jonas. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39225-7">https://doi.org/10.1007/978-3-319-39225-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent and Multi-Agent Systems: Technology and Applications 10th KES International Conference, KES-AMSTA 2016 Puerto de la Cruz, Tenerife, Spain, June 2016 Proceedings ent://SD_ILS/0/SD_ILS:613687 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Jezic, Gordan. editor.&#160;Chen-Burger, Yun-Heh Jessica. editor.&#160;Howlett, Robert J. editor.&#160;Jain, Lakhmi C. 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-39883-9">https://doi.org/10.1007/978-3-319-39883-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computing and Systems for Security Volume 2 ent://SD_ILS/0/SD_ILS:613614 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Chaki, Rituparna. editor.&#160;Cortesi, Agostino. editor.&#160;Saeed, Khalid. editor. (orcid)0000-0002-7741-7045&#160;Chaki, Nabendu. editor. (orcid)0000-0003-3242-680X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2653-6">https://doi.org/10.1007/978-81-322-2653-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coriolis Vibratory Gyroscopes Theory and Design ent://SD_ILS/0/SD_ILS:613471 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Apostolyuk, Vladislav. 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-22198-4">https://doi.org/10.1007/978-3-319-22198-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robot Operating System (ROS) The Complete Reference (Volume 1) ent://SD_ILS/0/SD_ILS:614189 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Koubaa, Anis. 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-26054-9">https://doi.org/10.1007/978-3-319-26054-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Instrumentation in Earthquake Seismology ent://SD_ILS/0/SD_ILS:614228 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Havskov, Jens. author.&#160;Alguacil, Gerardo. 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-21314-9">https://doi.org/10.1007/978-3-319-21314-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Secure System Design and Trustable Computing ent://SD_ILS/0/SD_ILS:614266 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Chang, Chip-Hong. editor.&#160;Potkonjak, Miodrag. 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-14971-4">https://doi.org/10.1007/978-3-319-14971-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 3 ent://SD_ILS/0/SD_ILS:614413 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Satapathy, Suresh Chandra. editor.&#160;Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313&#160;Mandal, Jyotsna Kumar. editor.&#160;Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2526-3">https://doi.org/10.1007/978-81-322-2526-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving ent://SD_ILS/0/SD_ILS:615793 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33361-8">https://doi.org/10.1007/978-3-319-33361-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Secure IT Systems 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016. Proceedings ent://SD_ILS/0/SD_ILS:616019 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Brumley, Billy Bob. editor.&#160;R&ouml;ning, Juha. 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-47560-8">https://doi.org/10.1007/978-3-319-47560-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, User Experience, and Usability: Design Thinking and Methods 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616084 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Marcus, Aaron. 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-40409-7">https://doi.org/10.1007/978-3-319-40409-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptographic Hardware and Embedded Systems - CHES 2016 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616108 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Gierlichs, Benedikt. editor.&#160;Poschmann, Axel Y. 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-53140-2">https://doi.org/10.1007/978-3-662-53140-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings ent://SD_ILS/0/SD_ILS:616123 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Bishop, Matt. editor.&#160;Nascimento, Anderson C 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-45871-7">https://doi.org/10.1007/978-3-319-45871-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XXVII ent://SD_ILS/0/SD_ILS:616160 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C.J. Kenneth. 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-50412-3">https://doi.org/10.1007/978-3-662-50412-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-disciplinary Trends in Artificial Intelligence 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616266 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Sombattheera, Chattrakul. editor.&#160;Stolzenburg, Frieder. editor.&#160;Lin, Fangzhen. editor.&#160;Nayak, Abhaya. 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-49397-8">https://doi.org/10.1007/978-3-319-49397-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings ent://SD_ILS/0/SD_ILS:617182 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. 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-27683-0">https://doi.org/10.1007/978-3-319-27683-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FPGAs for Software Programmers ent://SD_ILS/0/SD_ILS:617195 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Koch, Dirk. editor.&#160;Hannig, Frank. editor. (orcid)0000-0003-3663-6484&#160;Ziener, Daniel. 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-26408-0">https://doi.org/10.1007/978-3-319-26408-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT Systems Security and Privacy Protection 31st IFIP TC 11 International Conference, SEC 2016, Ghent, Belgium, May 30 - June 1, 2016, Proceedings ent://SD_ILS/0/SD_ILS:617612 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Hoepman, Jaap-Henk. editor.&#160;Katzenbeisser, 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-33630-5">https://doi.org/10.1007/978-3-319-33630-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Infrastructure Protection X 10th IFIP WG 11.10 International Conference, ICCIP 2016, Arlington, VA, USA, March 14-16, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617621 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Rice, Mason. editor.&#160;Shenoi, Sujeet. 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-48737-3">https://doi.org/10.1007/978-3-319-48737-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Sciences and Systems 2015 30th International Symposium on Computer and Information Sciences (ISCIS 2015) ent://SD_ILS/0/SD_ILS:617665 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Abdelrahman, Omer H. editor.&#160;Gelenbe, Erol. editor.&#160;Gorbil, Gokce. editor.&#160;Lent, Ricardo. 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-22635-4">https://doi.org/10.1007/978-3-319-22635-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Systems Engineering with OPM and SysML ent://SD_ILS/0/SD_ILS:617704 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Dori, Dov. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-3295-5">https://doi.org/10.1007/978-1-4939-3295-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends and Applications in Software Engineering Proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 ent://SD_ILS/0/SD_ILS:617727 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Mejia, Jezreel. editor. (orcid)0000-0003-0292-9318&#160;Mu&ntilde;oz, Mirna. editor.&#160;Rocha, Alvaro. editor. (orcid)0000-0002-0750-8187&#160;Calvo-Manzano, Jose. editor. (orcid)0000-0002-2864-2203&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26285-7">https://doi.org/10.1007/978-3-319-26285-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Modularity and Composition I ent://SD_ILS/0/SD_ILS:617818 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Chiba, Shigeru. editor.&#160;S&uuml;dholt, Mario. editor.&#160;Eugster, Patrick. editor.&#160;Ziarek, Lukasz. editor.&#160;Leavens, Gary T. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46969-0">https://doi.org/10.1007/978-3-319-46969-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automation Control Theory Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 3 ent://SD_ILS/0/SD_ILS:617986 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Silhavy, Radek. editor.&#160;Senkerik, Roman. editor.&#160;Oplatkova, Zuzana Kominkova. editor.&#160;Silhavy, Petr. editor.&#160;Prokopova, Zdenka. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33389-2">https://doi.org/10.1007/978-3-319-33389-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:618009 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Yung, Moti. editor.&#160;Zhang, Jianbiao. editor.&#160;Yang, Zhen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-31550-8">https://doi.org/10.1007/978-3-319-31550-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Engineering 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings ent://SD_ILS/0/SD_ILS:618011 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Bozzon, Alessandro. editor. (orcid)0000-0002-3300-2913&#160;Cudr&eacute;-Mauroux, Philippe. editor.&#160;Pautasso, Cesare. 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-38791-8">https://doi.org/10.1007/978-3-319-38791-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Management of Cyber Physical Objects in the Future Internet of Things Methods, Architectures and Applications ent://SD_ILS/0/SD_ILS:618070 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Guerrieri, Antonio. editor.&#160;Loscri, Valeria. editor.&#160;Rovella, Anna. editor.&#160;Fortino, Giancarlo. 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-26869-9">https://doi.org/10.1007/978-3-319-26869-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Crisis Management for Software Development and Knowledge Transfer ent://SD_ILS/0/SD_ILS:618199 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Zykov, Sergey V. author. (orcid)0000-0002-2115-5461&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42966-3">https://doi.org/10.1007/978-3-319-42966-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Trends in the Evolution of Service-Oriented and Enterprise Architectures ent://SD_ILS/0/SD_ILS:618213 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;El-Sheikh, Eman. editor.&#160;Zimmermann, Alfred. editor.&#160;Jain, Lakhmi C. 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-40564-3">https://doi.org/10.1007/978-3-319-40564-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances and Applications in Chaotic Systems ent://SD_ILS/0/SD_ILS:618222 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Vaidyanathan, Sundarapandian. editor.&#160;Volos, 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-30279-9">https://doi.org/10.1007/978-3-319-30279-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Two-Dimensional Systems From Introduction to State of the Art ent://SD_ILS/0/SD_ILS:618298 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Benzaouia, Abdellah. author.&#160;Hmamed, Abdelaziz. author.&#160;Tadeo, Fernando. 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-20116-0">https://doi.org/10.1007/978-3-319-20116-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618305 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Bertogna, Marko. editor.&#160;Pinho, Lu&iacute;s Miguel. editor.&#160;Qui&ntilde;ones, 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-39083-3">https://doi.org/10.1007/978-3-319-39083-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Computing Fundamentals in Cyber-Physical Systems Concepts, Design Methods, and Applications ent://SD_ILS/0/SD_ILS:618472 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;M&ouml;ller, Dietmar P.F. author. (orcid)0009-0002-6897-7662&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25178-3">https://doi.org/10.1007/978-3-319-25178-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach ent://SD_ILS/0/SD_ILS:618478 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Gumzej, Roman. 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-28905-2">https://doi.org/10.1007/978-3-319-28905-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction. Novel User Experiences 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III ent://SD_ILS/0/SD_ILS:613422 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Kurosu, Masaaki. 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-39513-5">https://doi.org/10.1007/978-3-319-39513-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Systems Integration and Simulation ent://SD_ILS/0/SD_ILS:613711 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Bombieri, Nicola. editor.&#160;Poncino, Massimo. editor.&#160;Pravadelli, Graziano. editor. (orcid)0000-0002-7833-1673&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27392-1">https://doi.org/10.1007/978-3-319-27392-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomic Road Transport Support Systems ent://SD_ILS/0/SD_ILS:615542 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;McCluskey, Thomas Leo. editor.&#160;Kotsialos, Apostolos. editor.&#160;M&uuml;ller, J&ouml;rg P. editor.&#160;Kl&uuml;gl, Franziska. editor.&#160;Rana, Omer. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25808-9">https://doi.org/10.1007/978-3-319-25808-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, User Experience, and Usability: Novel User Experiences 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:615929 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Marcus, Aaron. 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-40355-7">https://doi.org/10.1007/978-3-319-40355-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:616064 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Nguyen, Ngoc-Thanh. editor.&#160;Trawi&#324;ski, Bogdan. editor.&#160;Fujita, Hamido. editor. (orcid)0000-0001-5256-210X&#160;Hong, Tzung-Pei. 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-49390-8">https://doi.org/10.1007/978-3-662-49390-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web - ISWC 2016 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:616077 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Groth, Paul. editor.&#160;Simperl, Elena. editor.&#160;Gray, Alasdair. editor.&#160;Sabou, Marta. editor.&#160;Kr&ouml;tzsch, Markus. editor. (orcid)0000-0002-9172-2601<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46547-0">https://doi.org/10.1007/978-3-319-46547-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616260 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Nguyen, Ngoc-Thanh. editor.&#160;Trawi&#324;ski, Bogdan. editor.&#160;Fujita, Hamido. editor. (orcid)0000-0001-5256-210X&#160;Hong, Tzung-Pei. 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-49381-6">https://doi.org/10.1007/978-3-662-49381-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, User Experience, and Usability: Technological Contexts 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part III ent://SD_ILS/0/SD_ILS:616314 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Marcus, Aaron. 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-40406-6">https://doi.org/10.1007/978-3-319-40406-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616385 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Stevens, Perdita. editor.&#160;W&#261;sowski, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49665-7">https://doi.org/10.1007/978-3-662-49665-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computing and Systems for Security Volume 1 ent://SD_ILS/0/SD_ILS:616447 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Chaki, Rituparna. editor.&#160;Cortesi, Agostino. editor.&#160;Saeed, Khalid. editor. (orcid)0000-0002-7741-7045&#160;Chaki, Nabendu. editor. (orcid)0000-0003-3242-680X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2650-5">https://doi.org/10.1007/978-81-322-2650-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaboration and Technology 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616474 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Yuizono, Takaya. editor.&#160;Ogata, Hiroaki. editor.&#160;Hoppe, Ulrich. editor.&#160;Vassileva, Julita. 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-44799-5">https://doi.org/10.1007/978-3-319-44799-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Theory and Practice 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616726 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Foresti, Sara. editor.&#160;Lopez, Javier. 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-45931-8">https://doi.org/10.1007/978-3-319-45931-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616739 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaboration Meets Interactive Spaces ent://SD_ILS/0/SD_ILS:616846 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Anslow, Craig. editor.&#160;Campos, Pedro. editor.&#160;Jorge, 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-45853-3">https://doi.org/10.1007/978-3-319-45853-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:617134 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Jacobs, Bart. editor.&#160;L&ouml;ding, Christof. 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-49630-5">https://doi.org/10.1007/978-3-662-49630-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web - ISWC 2016 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:618032 2026-05-11T05:52:19Z 2026-05-11T05:52:19Z Author&#160;Groth, Paul. editor.&#160;Simperl, Elena. editor.&#160;Gray, Alasdair. editor.&#160;Sabou, Marta. editor.&#160;Kr&ouml;tzsch, Markus. editor. (orcid)0000-0002-9172-2601<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46523-4">https://doi.org/10.1007/978-3-319-46523-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>