Search Results for Science -- Software. - Narrowed by: Online LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bSoftware.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ps$003d300$0026isd$003dtrue?2026-01-02T07:08:21ZPerspectives on data science for software engineeringent://SD_ILS/0/SD_ILS:4589912026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Menzies, Tim, editor. Williams, Laurie, 1962- editor. Zimmermann, Thomas, editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128042069">http://www.sciencedirect.com/science/book/9780128042069</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computing handbook : computer science and software engineeringent://SD_ILS/0/SD_ILS:5431642026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.<br/>Preferred Shelf Number QA76 .C57315 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439898536">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Software engineering foundations : a software science perspectiveent://SD_ILS/0/SD_ILS:5417142026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Wang, Yingxu., author.<br/>Preferred Shelf Number QA76.758 .W375 2008<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9780203496091">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1ent://SD_ILS/0/SD_ILS:5280362026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35311-6">https://doi.org/10.1007/978-3-031-35311-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208422026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30829-1">https://doi.org/10.1007/978-3-031-30829-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Scienceent://SD_ILS/0/SD_ILS:5215152026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Karvandi, Mersedeh. author. Ranjbar, Saeed. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29046-6">https://doi.org/10.1007/978-3-031-29046-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2ent://SD_ILS/0/SD_ILS:5271382026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21438-7">https://doi.org/10.1007/978-3-031-21438-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Scienceent://SD_ILS/0/SD_ILS:5287962026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Kacprzyk, Janusz. editor. Ezziyyani, Mostafa. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26384-2">https://doi.org/10.1007/978-3-031-26384-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4830522026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computing and Software Science State of the Art and Perspectivesent://SD_ILS/0/SD_ILS:4860692026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3990452026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145 Dagienė, Valentina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02750-6">https://doi.org/10.1007/978-3-030-02750-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedingsent://SD_ILS/0/SD_ILS:4006072026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191612026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systemsent://SD_ILS/0/SD_ILS:5305652026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18473-9">https://doi.org/10.1007/978-3-319-18473-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design Science Methodology for Information Systems and Software Engineeringent://SD_ILS/0/SD_ILS:4878902026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Wieringa, Roel J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43839-8">https://doi.org/10.1007/978-3-662-43839-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889492026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Muscholl, Anca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343582026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Toolsent://SD_ILS/0/SD_ILS:2358332026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Yevick, David.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9781139022262">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965202026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Birkedal, Lars. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28729-9">http://dx.doi.org/10.1007/978-3-642-28729-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learningent://SD_ILS/0/SD_ILS:1942282026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Tchounikine, Pierre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20003-8">http://dx.doi.org/10.1007/978-3-642-20003-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Software Engineering Paradigm Based on Complexity Science An Introduction to NSEent://SD_ILS/0/SD_ILS:1728412026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Xiong, Jay. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7326-9">http://dx.doi.org/10.1007/978-1-4419-7326-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941622026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Hofmann, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19805-2">http://dx.doi.org/10.1007/978-3-642-19805-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science The Hardware, Software and Heart of Itent://SD_ILS/0/SD_ILS:1738712026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1168-0">http://dx.doi.org/10.1007/978-1-4614-1168-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918672026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12032-9">http://dx.doi.org/10.1007/978-3-642-12032-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1933142026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Sicilia, Miguel-Angel. editor. Kop, Christian. editor. Sartori, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16496-5">http://dx.doi.org/10.1007/978-3-642-16496-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897412026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Alfaro, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00596-1">http://dx.doi.org/10.1007/978-3-642-00596-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1881522026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Amadio, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78499-9">http://dx.doi.org/10.1007/978-3-540-78499-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862672026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71389-0">http://dx.doi.org/10.1007/978-3-540-71389-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1877742026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77050-3">http://dx.doi.org/10.1007/978-3-540-77050-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1878962026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77505-8">http://dx.doi.org/10.1007/978-3-540-77505-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836002026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11690634">http://dx.doi.org/10.1007/11690634</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1853102026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11944836">http://dx.doi.org/10.1007/11944836</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The cognitive dynamics of computer science cost-effective large scale software developmentent://SD_ILS/0/SD_ILS:2494732026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429">http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedingsent://SD_ILS/0/SD_ILS:1823432026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104325">http://dx.doi.org/10.1007/b104325</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830532026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Sassone, Vladimiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106850">http://dx.doi.org/10.1007/b106850</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1833612026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11590156">http://dx.doi.org/10.1007/11590156</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?ent://SD_ILS/0/SD_ILS:5202612026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Hausser, Roland. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22739-4">https://doi.org/10.1007/978-3-031-22739-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5204112026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Pesado, Patricia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34147-2">https://doi.org/10.1007/978-3-031-34147-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Emerging Trends in Cybersecurity Applicationsent://SD_ILS/0/SD_ILS:5205522026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Daimi, Kevin. editor. Alsadoon, Abeer. editor. Peoples, Cathryn. editor. El Madhoun, Nour. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-09640-2">https://doi.org/10.1007/978-3-031-09640-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5205802026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33080-3">https://doi.org/10.1007/978-3-031-33080-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Teaching Biostatistics in Medicine and Allied Health Sciencesent://SD_ILS/0/SD_ILS:5217472026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Farnell, Damian J. J. editor. Medeiros Mirra, Renata. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26010-0">https://doi.org/10.1007/978-3-031-26010-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5206822026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36336-8">https://doi.org/10.1007/978-3-031-36336-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208572026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32041-5">https://doi.org/10.1007/978-3-031-32041-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIIIent://SD_ILS/0/SD_ILS:5210142026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37126-4">https://doi.org/10.1007/978-3-031-37126-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5213522026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8088-8">https://doi.org/10.1007/978-981-99-8088-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Springer Handbook of Augmented Realityent://SD_ILS/0/SD_ILS:5201762026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Nee, Andrew Yeh Ching. editor. Ong, Soh Khim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-67822-7">https://doi.org/10.1007/978-3-030-67822-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:5203192026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-2446-2">https://doi.org/10.1007/978-981-99-2446-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5206882026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5968-6">https://doi.org/10.1007/978-981-99-5968-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Technologies and Innovation 9th International Conference, CITI 2023, Guayaquil, Ecuador, November 13-16, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207162026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Valencia-García, Rafael. editor. Bucaram-Leverone, Martha. editor. Del Cioppo-Morstadt, Javier. editor. Vera-Lucio, Néstor. editor. Centanaro-Quiroz, Pablo Humberto. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45682-4">https://doi.org/10.1007/978-3-031-45682-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5210952026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36889-9">https://doi.org/10.1007/978-3-031-36889-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213102026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Alonso, Omar. editor. Cousijn, Helena. editor. Silvello, Gianmaria. editor. Marrero, Mónica. editor. Teixeira Lopes, Carla. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43849-3">https://doi.org/10.1007/978-3-031-43849-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Education, Research and Business Technologies Proceedings of 21st International Conference on Informatics in Economy (IE 2022)ent://SD_ILS/0/SD_ILS:5272872026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Ciurea, Cristian. editor. Pocatilu, Paul. editor. Filip, Florin Gheorghe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-6755-9">https://doi.org/10.1007/978-981-19-6755-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sustainable Design and Manufacturing Proceedings of the 9th International Conference on Sustainable Design and Manufacturing (SDM 2022)ent://SD_ILS/0/SD_ILS:5285922026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Scholz, Steffen G. editor. Howlett, Robert J. editor. Setchi, Rossi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9205-6">https://doi.org/10.1007/978-981-19-9205-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022ent://SD_ILS/0/SD_ILS:5287832026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Shakya, Subarna. editor. Balas, Valentina Emilia. editor. Haoxiang, Wang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-7874-6">https://doi.org/10.1007/978-981-19-7874-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajjient://SD_ILS/0/SD_ILS:4834622026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Carlet, Claude. editor. Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534 Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Souidi, El Mamoun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16458-4">https://doi.org/10.1007/978-3-030-16458-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4841912026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Catania, Barbara. editor. (orcid)0000-0002-6443-169X Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Nawrocki, Jerzy. editor. Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-10801-4">https://doi.org/10.1007/978-3-030-10801-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4845282026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26948-7">https://doi.org/10.1007/978-3-030-26948-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4848782026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26954-8">https://doi.org/10.1007/978-3-030-26954-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4861832026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17656-3">https://doi.org/10.1007/978-3-030-17656-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cryptology and Network Security 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4862182026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Mu, Yi. editor. (orcid)0000-0002-1637-845X Deng, Robert H. editor. (orcid)0000-0003-3491-8146 Huang, Xinyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31578-8">https://doi.org/10.1007/978-3-030-31578-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4852852026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17659-4">https://doi.org/10.1007/978-3-030-17659-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4831942026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20883-7">https://doi.org/10.1007/978-3-030-20883-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4864182026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25283-0">https://doi.org/10.1007/978-3-030-25283-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4870292026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28005-5">https://doi.org/10.1007/978-3-030-28005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4833892026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26951-7">https://doi.org/10.1007/978-3-030-26951-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4850792026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750 Suoranta, Mari. editor. (orcid)0000-0002-3849-4902 Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Tyrväinen, Pasi. editor. (orcid)0000-0001-7716-3244 Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33742-1">https://doi.org/10.1007/978-3-030-33742-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4854042026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Mirto, Ignazio Mauro. editor. Monteleone, Mario. editor. Silberztein, Max. editor. (orcid)0000-0003-0930-6463 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-10868-7">https://doi.org/10.1007/978-3-030-10868-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4863192026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Goldberg, Ian. editor. Moore, Tyler. editor. (orcid)0000-0002-8771-8191 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32101-7">https://doi.org/10.1007/978-3-030-32101-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3989622026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01081-2">https://doi.org/10.1007/978-3-030-01081-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3992662026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99972-2">https://doi.org/10.1007/978-3-319-99972-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:3993472026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Capkun, Srdjan. editor. Chow, Sherman S. M. editor. (orcid)0000-0001-7306-453X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02641-7">https://doi.org/10.1007/978-3-030-02641-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995152026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995372026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:3995452026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03332-3">https://doi.org/10.1007/978-3-030-03332-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming with Actors State-of-the-Art and Research Perspectivesent://SD_ILS/0/SD_ILS:3996712026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00302-9">https://doi.org/10.1007/978-3-030-00302-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Collaborative Networks of Cognitive Systems 19th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2018, Cardiff, UK, September 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999852026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 Rezgui, Yacine. editor. (orcid)0000-0002-5711-8400 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99127-6">https://doi.org/10.1007/978-3-319-99127-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:3998522026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4000752026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communication Technologies for Ageing Well and e-Health Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4004642026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Röcker, Carsten. editor. O’Donoghue, John. editor. Ziefle, Martina. editor. Maciaszek, Leszek. editor. Molloy, William. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93644-4">https://doi.org/10.1007/978-3-319-93644-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4006252026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78372-7">https://doi.org/10.1007/978-3-319-78372-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part IIent://SD_ILS/0/SD_ILS:4006262026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78375-8">https://doi.org/10.1007/978-3-319-78375-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part Ient://SD_ILS/0/SD_ILS:4006272026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78381-9">https://doi.org/10.1007/978-3-319-78381-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4007142026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89719-6">https://doi.org/10.1007/978-3-319-89719-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4007922026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7844-6">https://doi.org/10.1007/978-981-10-7844-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4011152026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91587-6">https://doi.org/10.1007/978-3-319-91587-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4012032026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Spagnolli, Anna. editor. Blankertz, Benjamin. editor. Gamberini, Luciano. editor. Jacucci, Giulio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91593-7">https://doi.org/10.1007/978-3-319-91593-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Engineering 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4012062026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Klamma, Ralf. editor. (orcid)0000-0002-2296-3401 Hernández, Juan. editor. (orcid)0000-0002-6343-7395 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91662-0">https://doi.org/10.1007/978-3-319-91662-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4014262026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76578-5">https://doi.org/10.1007/978-3-319-76578-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Objects and Technologies for Social Good Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4015492026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Guidi, Barbara. editor. Ricci, Laura. editor. Calafate, Carlos. editor. Gaggi, Ombretta. editor. Marquez-Barja, Johann. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76111-4">https://doi.org/10.1007/978-3-319-76111-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4026702026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91803-7">https://doi.org/10.1007/978-3-319-91803-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4026712026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91797-9">https://doi.org/10.1007/978-3-319-91797-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4026722026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91806-8">https://doi.org/10.1007/978-3-319-91806-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4025242026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Liu, Peng. editor. Mauw, Sjouke. editor. Stolen, Ketil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74860-3">https://doi.org/10.1007/978-3-319-74860-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fog Computing Concepts, Frameworks and Technologiesent://SD_ILS/0/SD_ILS:4027072026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94890-4">https://doi.org/10.1007/978-3-319-94890-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4027362026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Campegiani, Paolo. editor. Czachórski, Tadeusz. editor. Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Komnios, Ioannis. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95189-8">https://doi.org/10.1007/978-3-319-95189-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security and Cryptography for Networks 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3996142026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Catalano, Dario. editor. De Prisco, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98113-0">https://doi.org/10.1007/978-3-319-98113-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:3997192026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96878-0">https://doi.org/10.1007/978-3-319-96878-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3997722026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00560-3">https://doi.org/10.1007/978-3-030-00560-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3998122026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Rusu, Vlad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Persuasive Technology 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001502026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Karapanos, Evangelos. editor. (orcid)0000-0001-5910-4996 Morita, Plinio P. editor. (orcid)0000-0001-9515-6478 Burns, Catherine M. editor. (orcid)0000-0002-6182-958X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78978-1">https://doi.org/10.1007/978-3-319-78978-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4001612026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96881-0">https://doi.org/10.1007/978-3-319-96881-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Content Credibilityent://SD_ILS/0/SD_ILS:4002912026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Wierzbicki, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77794-8">https://doi.org/10.1007/978-3-319-77794-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4002932026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92141-9">https://doi.org/10.1007/978-3-319-92141-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4003292026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96884-1">https://doi.org/10.1007/978-3-319-96884-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005942026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76953-0">https://doi.org/10.1007/978-3-319-76953-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4015872026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Aiello, Marco. editor. Yang, Yujiu. editor. Zou, Yuexian. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94361-9">https://doi.org/10.1007/978-3-319-94361-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4026542026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Duffy, Vincent G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91397-1">https://doi.org/10.1007/978-3-319-91397-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4026562026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Antona, Margherita. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92052-8">https://doi.org/10.1007/978-3-319-92052-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3990612026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Iklé, Matthew. editor. Franz, Arthur. editor. Rzepka, Rafal. editor. Goertzel, Ben. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97676-1">https://doi.org/10.1007/978-3-319-97676-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3990862026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03329-3">https://doi.org/10.1007/978-3-030-03329-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3991112026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Baek, Joonsang. editor. Susilo, Willy. editor. Kim, Jongkil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01446-9">https://doi.org/10.1007/978-3-030-01446-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3991552026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2423-9">https://doi.org/10.1007/978-981-13-2423-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3991672026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor de Supinski, Bronis R. editor. Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98521-3">https://doi.org/10.1007/978-3-319-98521-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web and Big Data APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23–25, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:3993952026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor U, Leong Hou. editor. Xie, Haoran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01298-4">https://doi.org/10.1007/978-3-030-01298-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995782026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Lange, Tanja. editor. Steinwandt, Rainer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-79063-3">https://doi.org/10.1007/978-3-319-79063-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3996302026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Miesenberger, Klaus. editor. Kouroupetroglou, Georgios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94274-2">https://doi.org/10.1007/978-3-319-94274-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3999102026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91244-8">https://doi.org/10.1007/978-3-319-91244-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999842026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99639-4">https://doi.org/10.1007/978-3-319-99639-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3999232026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03326-2">https://doi.org/10.1007/978-3-030-03326-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999452026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Camenisch, Jan. editor. (orcid)0000-0001-6654-9459 Papadimitratos, Panos. editor. (orcid)0000-0002-3267-5374 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00434-7">https://doi.org/10.1007/978-3-030-00434-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4000302026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91250-9">https://doi.org/10.1007/978-3-319-91250-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4000962026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 Cobb, Sue. editor. (orcid)0000-0002-4600-6235 Interrante, Victoria. editor. (orcid)0000-0002-3313-6663 kato, Hirokazu. editor. Stricker, Didier. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01790-3">https://doi.org/10.1007/978-3-030-01790-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4001102026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91238-7">https://doi.org/10.1007/978-3-319-91238-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4002302026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4002652026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Medina, Manel. editor. Mitrakas, Andreas. editor. Rannenberg, Kai. editor. Schweighofer, Erich. editor. Tsouroulas, Nikolaos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02547-2">https://doi.org/10.1007/978-3-030-02547-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Programming with Fortranent://SD_ILS/0/SD_ILS:4002842026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75502-1">https://doi.org/10.1007/978-3-319-75502-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Dynamic Data Driven Applications Systemsent://SD_ILS/0/SD_ILS:4004362026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95504-9">https://doi.org/10.1007/978-3-319-95504-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Networks and Management 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4010652026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Hu, Jiankun. editor. Khalil, Ibrahim. editor. Tari, Zahir. editor. Wen, Sheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90775-8">https://doi.org/10.1007/978-3-319-90775-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Emerging Technologies for Developing Countries First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedingsent://SD_ILS/0/SD_ILS:4017192026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Belqasmi, Fatna. editor. Harroud, Hamid. editor. Agueh, Max. editor. Dssouli, Rachida. editor. Kamoun, Faouzi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67837-5">https://doi.org/10.1007/978-3-319-67837-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4018232026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76581-5">https://doi.org/10.1007/978-3-319-76581-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4019402026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lambrinoudakis, Costas. editor. Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72817-9">https://doi.org/10.1007/978-3-319-72817-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrigent://SD_ILS/0/SD_ILS:4022232026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Heckel, Reiko. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75396-6">https://doi.org/10.1007/978-3-319-75396-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4023752026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4024852026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Mokhtari, Mounir. editor. Abdulrazak, Bessam. editor. Aloulou, Hamdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94523-1">https://doi.org/10.1007/978-3-319-94523-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementing Reproducible Researchent://SD_ILS/0/SD_ILS:5425172026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Stodden, Victoria , editor. Leisch, Friedrich, editor. Peng, Roger D., editor. Taylor and Francis.<br/>Preferred Shelf Number Q180.55 .S7<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315373461">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dictionary of Computer Science, Engineering and Technologyent://SD_ILS/0/SD_ILS:5454392026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Laplante, Philip A., editor., author.<br/>Preferred Shelf Number QA76.15 L375 2017<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315214740">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5186322026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19237-6">https://doi.org/10.1007/978-3-319-19237-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5192442026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Azzopardi, George. editor. Petkov, Nicolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23117-4">https://doi.org/10.1007/978-3-319-23117-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Unmanned Aerial Vehiclesent://SD_ILS/0/SD_ILS:5295152026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Valavanis, Kimon P. editor. Vachtsevanos, George J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-90-481-9707-1">https://doi.org/10.1007/978-90-481-9707-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineeringent://SD_ILS/0/SD_ILS:5295892026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Selvaraj, Henry. editor. Zydek, Dawid. editor. Chmaj, Grzegorz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08422-0">https://doi.org/10.1007/978-3-319-08422-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Impact of Pen and Touch Technology on Educationent://SD_ILS/0/SD_ILS:5184402026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Hammond, Tracy. editor. Valentine, Stephanie. editor. Adler, Aaron. editor. Payton, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15594-4">https://doi.org/10.1007/978-3-319-15594-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook on Data Centersent://SD_ILS/0/SD_ILS:5184612026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Khan, Samee U. editor. Zomaya, Albert Y. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-2092-1">https://doi.org/10.1007/978-1-4939-2092-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Creativity in Intelligent Technologies and Data Science First Conference, CIT&DS 2015, Volgograd, Russia, September 15-17, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5185272026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Shabalina, Olga. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23766-4">https://doi.org/10.1007/978-3-319-23766-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189102026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46078-8">https://doi.org/10.1007/978-3-662-46078-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineeringent://SD_ILS/0/SD_ILS:5294062026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Elleithy, Khaled. editor. Sobh, Tarek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06764-3">https://doi.org/10.1007/978-3-319-06764-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical cryptography : algorithms and implementations using C++ent://SD_ILS/0/SD_ILS:5401332026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Azad, Saiful, editor. Pathan, Al-Sakib Khan, editor.<br/>Preferred Shelf Number QA76.9 .A25 P725 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482228908">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4827112026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Barafort, Béatrix. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. (orcid)0000-0002-2868-5633 Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43896-1">https://doi.org/10.1007/978-3-662-43896-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bayesian networks for probabilistic inference and decision analysis in forensic scienceent://SD_ILS/0/SD_ILS:3420152026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Taroni, Franco, author. Biedermann, Alex, author. Bozza, Silvia, author. Garbolino, Paolo, 1955- author. Aitken, C. G. G., author.<br/>Preferred Shelf Number ONLINE(342015.1)<br/>Electronic Access <a href="http://proquest.safaribooksonline.com/?fpi=9781118914748">Available by subscription from Safari Books Online</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118914762">http://dx.doi.org/10.1002/9781118914762</a>
Wiley Online Library <a href="http://onlinelibrary.wiley.com/book/10.1002/9781118914762">http://onlinelibrary.wiley.com/book/10.1002/9781118914762</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9781118914748">http://proquest.tech.safaribooksonline.de/9781118914748</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4854732026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04897-0">https://doi.org/10.1007/978-3-319-04897-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Process Improvement and Capability Determination 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4858412026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Mitasiunas, Antanas. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13036-1">https://doi.org/10.1007/978-3-319-13036-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multiple Access Communications 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4891652026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Belyaev, Evgeny. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10262-7">https://doi.org/10.1007/978-3-319-10262-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Cambridge handbook of the learning sciencesent://SD_ILS/0/SD_ILS:5063402026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Sawyer, R. Keith (Robert Keith), editor.<br/>Preferred Shelf Number LB1060 .C35 2014<br/>Electronic Access <a href="https://doi.org/10.1017/CBO9781139519526">https://doi.org/10.1017/CBO9781139519526</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ad-hoc, Mobile, and Wireless Networks 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedingsent://SD_ILS/0/SD_ILS:4889172026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Guo, Song. editor. Mauri, Jaime Lloret. editor. Manzoni, Pietro. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07425-2">https://doi.org/10.1007/978-3-319-07425-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Mathematics in Engineering and Applied Science : ODEs, DAEs, and PDEsent://SD_ILS/0/SD_ILS:5400872026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Schiesser, W.E., author.<br/>Preferred Shelf Number TA347 .D45 S354 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781498710664">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>An architectural approach to level designent://SD_ILS/0/SD_ILS:5455062026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Totten, Christopher W., author.<br/>Preferred Shelf Number QA76.76 .C672 T679 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466585423">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Novel techniques in sensory characterization and consumer profilingent://SD_ILS/0/SD_ILS:5426272026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Varela Tomasco, Paula, editor. Ares, Gaston, editor.<br/>Preferred Shelf Number TX546 .N69 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466566309">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Technologies for smart sensors and sensor fusionent://SD_ILS/0/SD_ILS:5444442026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Yallup, Kevin, editor. Iniewski, Krzysztof, editor.<br/>Preferred Shelf Number TK7872 .D48 T43 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315215587">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Pro Team Foundation Serviceent://SD_ILS/0/SD_ILS:3307352026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Olausson, Mathias. author. Rossberg, Joachim. author. Ehn, Jakob. author. Sköld, Mattias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330735.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5996-1">http://dx.doi.org/10.1007/978-1-4302-5996-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantic Models for Adaptive Interactive Systemsent://SD_ILS/0/SD_ILS:3311882026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Hussein, Tim. editor. Paulheim, Heiko. editor. Lukosch, Stephan. editor. Ziegler, Jürgen. editor. Calvary, Gaëlle. editor.<br/>Preferred Shelf Number ONLINE(331188.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5301-6">http://dx.doi.org/10.1007/978-1-4471-5301-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Middleware Solutions for the Internet of Thingsent://SD_ILS/0/SD_ILS:3312062026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331206.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5481-5">http://dx.doi.org/10.1007/978-1-4471-5481-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concise Guide to Databases A Practical Introductionent://SD_ILS/0/SD_ILS:3312242026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331224.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5601-7">http://dx.doi.org/10.1007/978-1-4471-5601-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Neuroevolution Through Erlangent://SD_ILS/0/SD_ILS:3315122026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Sher, Gene I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331512.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4463-3">http://dx.doi.org/10.1007/978-1-4614-4463-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems Development Reflections, Challenges and New Directionsent://SD_ILS/0/SD_ILS:3316312026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.<br/>Preferred Shelf Number ONLINE(331631.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4951-5">http://dx.doi.org/10.1007/978-1-4614-4951-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sustainable Web Ecosystem Designent://SD_ILS/0/SD_ILS:3323312026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor O'Toole, Greg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332331.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7714-3">http://dx.doi.org/10.1007/978-1-4614-7714-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lecturesent://SD_ILS/0/SD_ILS:3341092026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334109.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36054-1">http://dx.doi.org/10.1007/978-3-642-36054-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3341202026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340642026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.<br/>Preferred Shelf Number ONLINE(334064.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3340692026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334069.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340772026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334077.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papersent://SD_ILS/0/SD_ILS:3340962026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334096.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems and Software Variability Management Concepts, Tools and Experiencesent://SD_ILS/0/SD_ILS:3342402026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334240.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36583-6">http://dx.doi.org/10.1007/978-3-642-36583-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Information Systems and Technologies 8th International Conference, WEBIST 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3342452026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Cordeiro, José. editor. Krempels, Karl-Heinz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334245.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36608-6">http://dx.doi.org/10.1007/978-3-642-36608-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Domain Engineering Product Lines, Languages, and Conceptual Modelsent://SD_ILS/0/SD_ILS:3342572026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.<br/>Preferred Shelf Number ONLINE(334257.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36654-3">http://dx.doi.org/10.1007/978-3-642-36654-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342782026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334278.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3342802026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.<br/>Preferred Shelf Number ONLINE(334280.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36751-9">http://dx.doi.org/10.1007/978-3-642-36751-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342812026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Fischer, Herbert. editor. Schneeberger, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334281.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36754-0">http://dx.doi.org/10.1007/978-3-642-36754-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>TV-Anytime Paving the Way for Personalized TVent://SD_ILS/0/SD_ILS:3342852026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Gil Solla, Alberto. author. Sotelo Bovino, Rafael G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334285.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36766-3">http://dx.doi.org/10.1007/978-3-642-36766-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343482026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334348.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343532026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334353.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37051-9">http://dx.doi.org/10.1007/978-3-642-37051-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343542026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334354.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37057-1">http://dx.doi.org/10.1007/978-3-642-37057-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3343652026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.<br/>Preferred Shelf Number ONLINE(334365.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37119-6">http://dx.doi.org/10.1007/978-3-642-37119-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Policies and Research in Identity Management Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343992026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Fischer-Hübner, Simone. editor. Leeuw, Elisabeth. editor. Mitchell, Chris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334399.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37282-7">http://dx.doi.org/10.1007/978-3-642-37282-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Product Quality Controlent://SD_ILS/0/SD_ILS:3346252026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Wagner, Stefan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334625.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38571-1">http://dx.doi.org/10.1007/978-3-642-38571-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346262026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Bonacina, Maria Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334626.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Process Models. Change Managementent://SD_ILS/0/SD_ILS:3346322026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Gerth, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334632.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38604-6">http://dx.doi.org/10.1007/978-3-642-38604-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347432026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334743.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39176-7">http://dx.doi.org/10.1007/978-3-642-39176-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Engineering 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347502026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Daniel, Florian. editor. Dolog, Peter. editor. Li, Qing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334750.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39200-9">http://dx.doi.org/10.1007/978-3-642-39200-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348212026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334821.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39614-4">http://dx.doi.org/10.1007/978-3-642-39614-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347562026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Neto, Pedro. editor. Moreira, António Paulo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334756.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39223-8">http://dx.doi.org/10.1007/978-3-642-39223-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348252026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334825.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348322026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334832.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39666-3">http://dx.doi.org/10.1007/978-3-642-39666-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347682026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334768.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39259-7">http://dx.doi.org/10.1007/978-3-642-39259-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Business. From Physical Products to Software Services and Solutions 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347832026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Herzwurm, Georg. editor. Margaria, Tiziana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334783.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39336-5">http://dx.doi.org/10.1007/978-3-642-39336-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349052026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334905.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40184-8">http://dx.doi.org/10.1007/978-3-642-40184-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349102026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334910.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40206-7">http://dx.doi.org/10.1007/978-3-642-40206-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3349112026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334911.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40213-5">http://dx.doi.org/10.1007/978-3-642-40213-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349132026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334913.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40229-6">http://dx.doi.org/10.1007/978-3-642-40229-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Web Information Systems 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349222026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Daniel, Florian. editor. Papadopoulos, George A. editor. Thiran, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334922.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40276-0">http://dx.doi.org/10.1007/978-3-642-40276-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enabling Things to Talk Designing IoT solutions with the IoT Architectural Reference Modelent://SD_ILS/0/SD_ILS:3349412026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Bassi, Alessandro. editor. Bauer, Martin. editor. Fiedler, Martin. editor. Kramp, Thorsten. editor. Kranenburg, Rob. editor.<br/>Preferred Shelf Number ONLINE(334941.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40403-0">http://dx.doi.org/10.1007/978-3-642-40403-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency VIIIent://SD_ILS/0/SD_ILS:3349492026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334949.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40465-8">http://dx.doi.org/10.1007/978-3-642-40465-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:3349502026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE(334950.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40477-1">http://dx.doi.org/10.1007/978-3-642-40477-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3349512026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE(334951.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40480-1">http://dx.doi.org/10.1007/978-3-642-40480-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3349522026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE(334952.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40483-2">http://dx.doi.org/10.1007/978-3-642-40483-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IVent://SD_ILS/0/SD_ILS:3349552026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE(334955.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40498-6">http://dx.doi.org/10.1007/978-3-642-40498-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351142026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Bernard, Alain. editor. Rivest, Louis. editor. Dutta, Debasish. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335114.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41501-2">http://dx.doi.org/10.1007/978-3-642-41501-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3352042026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Sagonas, Kostis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335204.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45284-0">http://dx.doi.org/10.1007/978-3-642-45284-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352102026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335210.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45343-4">http://dx.doi.org/10.1007/978-3-642-45343-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352122026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Canal, Carlos. editor. Villari, Massimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335212.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45364-9">http://dx.doi.org/10.1007/978-3-642-45364-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>User-Level Workflow Design A Bioinformatics Perspectiveent://SD_ILS/0/SD_ILS:3352132026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335213.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45389-2">http://dx.doi.org/10.1007/978-3-642-45389-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352152026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335215.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45404-2">http://dx.doi.org/10.1007/978-3-642-45404-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)ent://SD_ILS/0/SD_ILS:3352162026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.<br/>Preferred Shelf Number ONLINE(335216.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45419-6">http://dx.doi.org/10.1007/978-3-642-45419-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352172026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335217.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45422-6">http://dx.doi.org/10.1007/978-3-642-45422-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350972026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Cuzzocrea, Alfredo. editor. Maabout, Sofian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335097.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41366-7">http://dx.doi.org/10.1007/978-3-642-41366-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Projektorganisation und Management im Software Engineeringent://SD_ILS/0/SD_ILS:3369472026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Broy, Manfred. author. Kuhrmann, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336947.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29290-3">http://dx.doi.org/10.1007/978-3-642-29290-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329812026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Shan, Chung-chieh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332981.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03542-0">http://dx.doi.org/10.1007/978-3-319-03542-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3330112026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number ONLINE(333011.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03998-5">http://dx.doi.org/10.1007/978-3-319-03998-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papersent://SD_ILS/0/SD_ILS:3332462026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333246.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29578-2">http://dx.doi.org/10.1007/978-3-642-29578-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ontology-Driven Software Developmentent://SD_ILS/0/SD_ILS:3334082026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Pan, Jeff Z. editor. Staab, Steffen. editor. Aßmann, Uwe. editor. Ebert, Jürgen. editor. Zhao, Yuting. editor.<br/>Preferred Shelf Number ONLINE(333408.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31226-7">http://dx.doi.org/10.1007/978-3-642-31226-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Finding Source Code on the Web for Remix and Reuseent://SD_ILS/0/SD_ILS:3320712026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332071.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6596-6">http://dx.doi.org/10.1007/978-1-4614-6596-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Cryptography with Mapleent://SD_ILS/0/SD_ILS:3335332026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Gómez Pardo, José Luis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333533.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32166-5">http://dx.doi.org/10.1007/978-3-642-32166-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Business Process Managementent://SD_ILS/0/SD_ILS:3336712026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Dumas, Marlon. author. La Rosa, Marcello. author. Mendling, Jan. author. Reijers, Hajo A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333671.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33143-5">http://dx.doi.org/10.1007/978-3-642-33143-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studiesent://SD_ILS/0/SD_ILS:3336882026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Reisig, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333688.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33278-4">http://dx.doi.org/10.1007/978-3-642-33278-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3344692026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334469.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37658-0">http://dx.doi.org/10.1007/978-3-642-37658-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency VIIent://SD_ILS/0/SD_ILS:3345452026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.<br/>Preferred Shelf Number ONLINE(334545.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38143-0">http://dx.doi.org/10.1007/978-3-642-38143-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:3345472026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334547.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3345522026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Albert, Elvira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334552.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3345622026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334562.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38230-7">http://dx.doi.org/10.1007/978-3-642-38230-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Dynpro ABAP for Practitionersent://SD_ILS/0/SD_ILS:3345662026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334566.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38247-5">http://dx.doi.org/10.1007/978-3-642-38247-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedingsent://SD_ILS/0/SD_ILS:3347062026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334706.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38977-1">http://dx.doi.org/10.1007/978-3-642-38977-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Big Data 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348032026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Gottlob, Georg. editor. Grasso, Giovanni. editor. Olteanu, Dan. editor. Schallhart, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334803.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39467-6">http://dx.doi.org/10.1007/978-3-642-39467-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348042026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Biswas, Jit. editor. Kobayashi, Hisato. editor. Wong, Lawrence. editor. Abdulrazak, Bessam. editor. Mokhtari, Mounir. editor.<br/>Preferred Shelf Number ONLINE(334804.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39470-6">http://dx.doi.org/10.1007/978-3-642-39470-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Software: Quality Verification 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347002026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Petrinja, Etiel. editor. Succi, Giancarlo. editor. Ioini, Nabil. editor. Sillitti, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334700.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38928-3">http://dx.doi.org/10.1007/978-3-642-38928-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedingsent://SD_ILS/0/SD_ILS:3348142026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334814.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39521-5">http://dx.doi.org/10.1007/978-3-642-39521-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345792026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Baumeister, Hubert. editor. Weber, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334579.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38314-4">http://dx.doi.org/10.1007/978-3-642-38314-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3348202026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334820.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems: Methods, Models, and Applications 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3345892026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Mayr, Heinrich C. editor. Kop, Christian. editor. Liddle, Stephen. editor. Ginige, Athula. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334589.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38370-0">http://dx.doi.org/10.1007/978-3-642-38370-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthdayent://SD_ILS/0/SD_ILS:3348372026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334837.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39698-4">http://dx.doi.org/10.1007/978-3-642-39698-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348402026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334840.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39718-9">http://dx.doi.org/10.1007/978-3-642-39718-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lecturesent://SD_ILS/0/SD_ILS:3348412026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334841.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39721-9">http://dx.doi.org/10.1007/978-3-642-39721-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348442026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334844.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39742-4">http://dx.doi.org/10.1007/978-3-642-39742-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348512026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334851.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39799-8">http://dx.doi.org/10.1007/978-3-642-39799-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3348592026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334859.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39866-7">http://dx.doi.org/10.1007/978-3-642-39866-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348702026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334870.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39955-8">http://dx.doi.org/10.1007/978-3-642-39955-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Personal Web A Research Agendaent://SD_ILS/0/SD_ILS:3348762026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Chignell, Mark. editor. Cordy, James R. editor. Kealey, Ryan. editor. Ng, Joanna. editor. Yesha, Yelena. editor.<br/>Preferred Shelf Number ONLINE(334876.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39995-4">http://dx.doi.org/10.1007/978-3-642-39995-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Global Sourcing. Models, Governance, and Relationships 7th Global Sourcing Workshop 2013, Val d’Isère, France, March 11-14, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3350332026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Oshri, Ilan. editor. Kotlarsky, Julia. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335033.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40951-6">http://dx.doi.org/10.1007/978-3-642-40951-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351702026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Fitzgerald, Brian. editor. Conboy, Kieran. editor. Power, Ken. editor. Valerdi, Ricardo. editor. Morgan, Lorraine. editor.<br/>Preferred Shelf Number ONLINE(335170.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-44930-7">http://dx.doi.org/10.1007/978-3-642-44930-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3350652026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335065.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41154-0">http://dx.doi.org/10.1007/978-3-642-41154-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ada 2012 Rationale The Language, The Standard Librariesent://SD_ILS/0/SD_ILS:3351952026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Barnes, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335195.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45210-9">http://dx.doi.org/10.1007/978-3-642-45210-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3351962026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335196.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Paymentent://SD_ILS/0/SD_ILS:3352912026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Lerner, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335291.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-03251-7">http://dx.doi.org/10.1007/978-3-658-03251-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Requirements Engineering und Projektmanagementent://SD_ILS/0/SD_ILS:3369552026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Valentini, Uwe. author. Weißbach, Rüdiger. author. Fahney, Ralf. author. Gartung, Thomas. author. Glunde, Jörg. author.<br/>Preferred Shelf Number ONLINE(336955.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29432-7">http://dx.doi.org/10.1007/978-3-642-29432-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agentensysteme in der Automatisierungstechnikent://SD_ILS/0/SD_ILS:3370382026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Göhner, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337038.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31768-2">http://dx.doi.org/10.1007/978-3-642-31768-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwenderent://SD_ILS/0/SD_ILS:3370452026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Wolfinger, Christine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337045.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32079-8">http://dx.doi.org/10.1007/978-3-642-32079-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Usability Engineering kompakt Benutzbare Produkte gezielt entwickelnent://SD_ILS/0/SD_ILS:3371402026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Richter, Michael. author. Flückiger, Markus D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337140.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34832-7">http://dx.doi.org/10.1007/978-3-642-34832-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systemanalyse kompaktent://SD_ILS/0/SD_ILS:3371842026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor SOPHIST GmbH. author. Rupp, Chris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337184.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35446-5">http://dx.doi.org/10.1007/978-3-642-35446-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Anwendungsentwicklung mit Datenbankenent://SD_ILS/0/SD_ILS:3373412026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Unterstein, Michael. author. Matthiessen, Günter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337341.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39003-6">http://dx.doi.org/10.1007/978-3-642-39003-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Moderne C-Programmierung Kompendium und Referenzent://SD_ILS/0/SD_ILS:3373712026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Schellong, Helmut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337371.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40058-2">http://dx.doi.org/10.1007/978-3-642-40058-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Risikomanagement kompakt Risiken und Unsicherheiten bewerten und beherrschenent://SD_ILS/0/SD_ILS:3373882026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Ebert, Christof. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337388.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41048-2">http://dx.doi.org/10.1007/978-3-642-41048-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojektenent://SD_ILS/0/SD_ILS:3375592026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Kleuker, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337559.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-00642-6">http://dx.doi.org/10.1007/978-3-658-00642-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programmieren spielend gelernt mit dem Java-Hamster-Modellent://SD_ILS/0/SD_ILS:3383042026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Boles, Dietrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338304.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2039-6">http://dx.doi.org/10.1007/978-3-8348-2039-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikationent://SD_ILS/0/SD_ILS:3383502026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Mandl, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338350.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2301-4">http://dx.doi.org/10.1007/978-3-8348-2301-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architektur- und Entwurfsmuster der Softwaretechnik Mit lauffähigen Beispielen in Javaent://SD_ILS/0/SD_ILS:3383712026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Goll, Joachim. author. Dausmann, Manfred. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338371.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2432-5">http://dx.doi.org/10.1007/978-3-8348-2432-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Grundkurs JAVA Von den Grundlagen bis zu Datenbank- und Netzanwendungenent://SD_ILS/0/SD_ILS:3383862026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Abts, Dietmar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338386.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2535-3">http://dx.doi.org/10.1007/978-3-8348-2535-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Music and Human-Computer Interactionent://SD_ILS/0/SD_ILS:3308962026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Holland, Simon. editor. Wilkie, Katie. editor. Mulholland, Paul. editor. Seago, Allan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330896.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2990-5">http://dx.doi.org/10.1007/978-1-4471-2990-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Creativity and Rationale Enhancing Human Experience by Designent://SD_ILS/0/SD_ILS:3309082026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Carroll, John M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330908.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4111-2">http://dx.doi.org/10.1007/978-1-4471-4111-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniquesent://SD_ILS/0/SD_ILS:3309122026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330912.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4126-6">http://dx.doi.org/10.1007/978-1-4471-4126-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Connecting Families The Impact of New Communication Technologies on Domestic Lifeent://SD_ILS/0/SD_ILS:3309272026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Neustaedter, Carman. editor. Harrison, Steve. editor. Sellen, Abigail. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330927.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4192-1">http://dx.doi.org/10.1007/978-1-4471-4192-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scala Design Patterns Patterns for Practical Reuse and Designent://SD_ILS/0/SD_ILS:3329042026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332904.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02192-8">http://dx.doi.org/10.1007/978-3-319-02192-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329342026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332934.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Multimedia Information Processing – PCM 2013 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329912026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Huet, Benoit. editor. Ngo, Chong-Wah. editor. Tang, Jinhui. editor. Zhou, Zhi-Hua. editor. Hauptmann, Alexander G. editor.<br/>Preferred Shelf Number ONLINE(332991.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03731-8">http://dx.doi.org/10.1007/978-3-319-03731-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Developmentent://SD_ILS/0/SD_ILS:3333582026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Trendowicz, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30764-5">http://dx.doi.org/10.1007/978-3-642-30764-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Industrial Deployment of System Engineering Methodsent://SD_ILS/0/SD_ILS:3336752026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333675.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33170-1">http://dx.doi.org/10.1007/978-3-642-33170-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Managing Requirements Knowledgeent://SD_ILS/0/SD_ILS:3338462026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Maalej, Walid. editor. Thurimella, Anil Kumar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333846.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34419-0">http://dx.doi.org/10.1007/978-3-642-34419-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology & Computing Intelligenceent://SD_ILS/0/SD_ILS:3338592026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333859.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34522-7">http://dx.doi.org/10.1007/978-3-642-34522-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technologyent://SD_ILS/0/SD_ILS:3338602026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333860.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34528-9">http://dx.doi.org/10.1007/978-3-642-34528-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the 2012 International Conference on Information Technology and Software Engineering Software Engineering & Digital Media Technologyent://SD_ILS/0/SD_ILS:3338612026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333861.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34531-9">http://dx.doi.org/10.1007/978-3-642-34531-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340142026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334014.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340332026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334033.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35702-2">http://dx.doi.org/10.1007/978-3-642-35702-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340342026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334034.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35705-3">http://dx.doi.org/10.1007/978-3-642-35705-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approachent://SD_ILS/0/SD_ILS:3341292026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Jörges, Sven. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334129.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36127-2">http://dx.doi.org/10.1007/978-3-642-36127-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:3341422026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334142.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36177-7">http://dx.doi.org/10.1007/978-3-642-36177-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:3340552026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334055.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantic Mashups Intelligent Reuse of Web Resourcesent://SD_ILS/0/SD_ILS:3341952026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Endres-Niggemeyer, Brigitte. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334195.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36403-7">http://dx.doi.org/10.1007/978-3-642-36403-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Seminal Contributions to Information Systems Engineering 25 Years of CAiSEent://SD_ILS/0/SD_ILS:3343242026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Bubenko, Janis. editor. Krogstie, John. editor. Pastor, Oscar. editor. Pernici, Barbara. editor. Rolland, Colette. editor.<br/>Preferred Shelf Number ONLINE(334324.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36926-1">http://dx.doi.org/10.1007/978-3-642-36926-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Aliasing in Object-Oriented Programming. Types, Analysis and Verificationent://SD_ILS/0/SD_ILS:3343272026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334327.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36946-9">http://dx.doi.org/10.1007/978-3-642-36946-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Aspect-Oriented Software Development Xent://SD_ILS/0/SD_ILS:3343332026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334333.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36964-3">http://dx.doi.org/10.1007/978-3-642-36964-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombachent://SD_ILS/0/SD_ILS:3344192026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Münch, Jürgen. editor. Schmid, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334419.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37395-4">http://dx.doi.org/10.1007/978-3-642-37395-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3344252026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334425.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37419-7">http://dx.doi.org/10.1007/978-3-642-37419-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3344262026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Doerr, Joerg. editor. Opdahl, Andreas L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334426.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37422-7">http://dx.doi.org/10.1007/978-3-642-37422-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Feature-Oriented Software Product Lines Concepts and Implementationent://SD_ILS/0/SD_ILS:3344472026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Apel, Sven. author. Batory, Don. author. Kästner, Christian. author. Saake, Gunter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334447.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37521-7">http://dx.doi.org/10.1007/978-3-642-37521-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3349622026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349692026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334969.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedingsent://SD_ILS/0/SD_ILS:3349732026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334973.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lecturesent://SD_ILS/0/SD_ILS:3349782026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334978.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40615-7">http://dx.doi.org/10.1007/978-3-642-40615-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349792026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.<br/>Preferred Shelf Number ONLINE(334979.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40624-9">http://dx.doi.org/10.1007/978-3-642-40624-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349832026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Lau, Kung-Kiu. editor. Lamersdorf, Winfried. editor. Pimentel, Ernesto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334983.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40651-5">http://dx.doi.org/10.1007/978-3-642-40651-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349852026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334985.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40663-8">http://dx.doi.org/10.1007/978-3-642-40663-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3349872026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334987.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40672-0">http://dx.doi.org/10.1007/978-3-642-40672-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349922026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334992.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40708-6">http://dx.doi.org/10.1007/978-3-642-40708-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering Workshops CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346092026-01-02T07:08:21Z2026-01-02T07:08:21ZAuthor Franch, Xavier. editor. Soffer, Pnina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334609.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38490-5">http://dx.doi.org/10.1007/978-3-642-38490-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>