Search Results for Programming Languages. - Narrowed by: Online LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming$002bLanguages.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ps$003d300?2025-12-11T22:57:03ZMultiparadigm Constraint Programming Languagesent://SD_ILS/0/SD_ILS:1935702025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Hofstedt, Petra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17330-1">http://dx.doi.org/10.1007/978-3-642-17330-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Programming Languagesent://SD_ILS/0/SD_ILS:1758802025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Dowek, Gilles. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-032-6">http://dx.doi.org/10.1007/978-1-84882-032-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Types and programming languagesent://SD_ILS/0/SD_ILS:2199132025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Pierce, Benjamin C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267321">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267321</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Programming Languagesent://SD_ILS/0/SD_ILS:4882652025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Lee, Kent D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13314-0">https://doi.org/10.1007/978-3-319-13314-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages: Principles and Paradigmsent://SD_ILS/0/SD_ILS:5207062025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34144-1">https://doi.org/10.1007/978-3-031-34144-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages: Principles and Paradigmsent://SD_ILS/0/SD_ILS:1761012025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-914-5">http://dx.doi.org/10.1007/978-1-84882-914-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages An Active Learning Approachent://SD_ILS/0/SD_ILS:1676772025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Lee, Kent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-79421-1">http://dx.doi.org/10.1007/978-0-387-79421-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Object-Oriented Programming Languages: Interpretationent://SD_ILS/0/SD_ILS:1755582025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Craig, Iain D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-774-9">http://dx.doi.org/10.1007/978-1-84628-774-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Pattern Languages of Programming IVent://SD_ILS/0/SD_ILS:4828312025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14291-9">https://doi.org/10.1007/978-3-030-14291-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming languages for MIS : concepts and practiceent://SD_ILS/0/SD_ILS:5471182025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Wang, Hai, author. Wang, Shouhong, 1962- author. Taylor and Francis.<br/>Preferred Shelf Number T58.6<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482222678">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Transactions on Pattern Languages of Programming IIIent://SD_ILS/0/SD_ILS:3346472025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334647.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38676-3">http://dx.doi.org/10.1007/978-3-642-38676-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to the Theory of Programming Languagesent://SD_ILS/0/SD_ILS:1684142025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-076-2">http://dx.doi.org/10.1007/978-0-85729-076-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Pattern Languages of Programming Ient://SD_ILS/0/SD_ILS:1914892025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Noble, James. editor. Johnson, Ralph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10832-7">http://dx.doi.org/10.1007/978-3-642-10832-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent Programming: Languages, Tools and Applicationsent://SD_ILS/0/SD_ILS:1679332025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor El Fallah Seghrouchni, Amal. editor. Dix, Jürgen. editor. Dastani, Mehdi. editor. Bordini, Rafael H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-89299-3">http://dx.doi.org/10.1007/978-0-387-89299-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent Programming Languages, Platforms and Applicationsent://SD_ILS/0/SD_ILS:1652692025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137449">http://dx.doi.org/10.1007/b137449</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming languages constraints, functions, and objectsent://SD_ILS/0/SD_ILS:2202242025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213412025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Hur, Chung-Kil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8311-7">https://doi.org/10.1007/978-981-99-8311-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 32nd European Symposium on Programming, ESOP 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:5209442025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Wies, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30044-8">https://doi.org/10.1007/978-3-031-30044-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 28th European Symposium on Programming, ESOP 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:4827462025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4835062025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21485-2">https://doi.org/10.1007/978-3-030-21485-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4835472025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34175-6">https://doi.org/10.1007/978-3-030-34175-6</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:3995372025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Programming Languages and Systems 27th European Symposium on Programming, ESOP 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:4006442025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189262025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Feng, Xinyu. editor. Park, Sungwoo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-26529-2">https://doi.org/10.1007/978-3-319-26529-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191202025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Pardo, Alberto. editor. Swierstra, S. Doaitse. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24012-1">https://doi.org/10.1007/978-3-319-24012-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 24th European Symposium on Programming, ESOP 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:5192372025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:5188892025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Bodei, Chiara. editor. Ferrari, Gianluigi. editor. Priami, Corrado. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25527-9">https://doi.org/10.1007/978-3-319-25527-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5192222025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47672-7">https://doi.org/10.1007/978-3-662-47672-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5192252025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47666-6">https://doi.org/10.1007/978-3-662-47666-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4889762025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11863-5">https://doi.org/10.1007/978-3-319-11863-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4890532025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43951-7">https://doi.org/10.1007/978-3-662-43951-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890812025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Garrigue, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12736-1">https://doi.org/10.1007/978-3-319-12736-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4875012025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43948-7">https://doi.org/10.1007/978-3-662-43948-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:4845612025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Fernández, Maribel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semanticsent://SD_ILS/0/SD_ILS:4892732025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Majkić, Zoran. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04156-8">https://doi.org/10.1007/978-3-319-04156-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 23rd European Symposium on Programming, ESOP 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:4894342025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</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:3343482025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3347512025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334751.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39206-1">http://dx.doi.org/10.1007/978-3-642-39206-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3347532025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334753.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39212-2">http://dx.doi.org/10.1007/978-3-642-39212-2</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:3329812025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350282025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335028.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40922-6">http://dx.doi.org/10.1007/978-3-642-40922-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 21st European Symposium on Programming, ESOP 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:1965532025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28869-2">http://dx.doi.org/10.1007/978-3-642-28869-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1971102025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31585-5">http://dx.doi.org/10.1007/978-3-642-31585-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973322025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Carvalho Junior, Francisco Heron. editor. Barbosa, Luis Soares. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33182-4">http://dx.doi.org/10.1007/978-3-642-33182-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975772025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35182-2">http://dx.doi.org/10.1007/978-3-642-35182-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1971122025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31594-7">http://dx.doi.org/10.1007/978-3-642-31594-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Pattern Languages of Programming II Special Issue on Applying Patternsent://SD_ILS/0/SD_ILS:1940422025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Noble, James. editor. Johnson, Ralph. editor. Avgeriou, Paris. editor. Harrison, Neil B. editor. Zdun, Uwe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19432-0">http://dx.doi.org/10.1007/978-3-642-19432-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1948882025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22006-7">http://dx.doi.org/10.1007/978-3-642-22006-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1948892025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22012-8">http://dx.doi.org/10.1007/978-3-642-22012-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 20th European Symposium on Programming, ESOP 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:1941332025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Barthe, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19718-5">http://dx.doi.org/10.1007/978-3-642-19718-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959112025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25318-8">http://dx.doi.org/10.1007/978-3-642-25318-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lecturesent://SD_ILS/0/SD_ILS:1924132025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1925662025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14162-1">http://dx.doi.org/10.1007/978-3-642-14162-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1925672025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14165-2">http://dx.doi.org/10.1007/978-3-642-14165-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1935112025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Ueda, Kazunori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17164-2">http://dx.doi.org/10.1007/978-3-642-17164-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 19th European Symposium on Programming, ESOP 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:1918472025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Gordon, Andrew D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11957-6">http://dx.doi.org/10.1007/978-3-642-11957-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aidsent://SD_ILS/0/SD_ILS:1918612025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor John, Karl Heinz. author. Tiegelkamp, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12015-2">http://dx.doi.org/10.1007/978-3-642-12015-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1904632025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02927-1">http://dx.doi.org/10.1007/978-3-642-02927-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1904642025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02930-1">http://dx.doi.org/10.1007/978-3-642-02930-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database Programming Languages 12th International Symposium, DBPL 2009, Lyon, France, August 23-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1907392025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Gardner, Philippa. editor. Geerts, Floris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03793-1">http://dx.doi.org/10.1007/978-3-642-03793-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1914412025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Hu, Zhenjiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10672-9">http://dx.doi.org/10.1007/978-3-642-10672-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 18th European Symposium on Programming, ESOP 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:1897392025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1859952025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70575-8">http://dx.doi.org/10.1007/978-3-540-70575-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1859982025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70583-3">http://dx.doi.org/10.1007/978-3-540-70583-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 17th European Symposium on Programming, ESOP 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:1882262025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Drossopoulou, Sophia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78739-6">http://dx.doi.org/10.1007/978-3-540-78739-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1892482025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Ramalingam, G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89330-1">http://dx.doi.org/10.1007/978-3-540-89330-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862442025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Nicola, Rocco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71316-6">http://dx.doi.org/10.1007/978-3-540-71316-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database Programming Languages 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1875532025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Arenas, Marcelo. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75987-4">http://dx.doi.org/10.1007/978-3-540-75987-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1876402025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76637-7">http://dx.doi.org/10.1007/978-3-540-76637-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1868452025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73420-8">http://dx.doi.org/10.1007/978-3-540-73420-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1843212025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11787006">http://dx.doi.org/10.1007/11787006</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1847642025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836172025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Sestoft, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11693024">http://dx.doi.org/10.1007/11693024</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1843202025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11786986">http://dx.doi.org/10.1007/11786986</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1851552025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Kobayashi, Naoki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database Programming Languages 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1826362025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Bierman, Gavin. editor. Koch, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11601524">http://dx.doi.org/10.1007/11601524</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 14th European Symposium on Programming, ESOP 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:1830582025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Sagiv, Mooly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832342025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Yi, Kwangkeun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1828342025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11523468">http://dx.doi.org/10.1007/11523468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The formal semantics of programming languages an introductionent://SD_ILS/0/SD_ILS:2201702025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Winskel, G. (Glynn)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Prolog: The Next 50 Yearsent://SD_ILS/0/SD_ILS:5213972025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35254-6">https://doi.org/10.1007/978-3-031-35254-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Communication, Networking and IoT Proceedings of 5th ICICC 2021, Volume 2ent://SD_ILS/0/SD_ILS:5288762025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Satapathy, Suresh Chandra. editor. Lin, Jerry Chun-Wei. editor. Wee, Lai Khin. editor. Bhateja, Vikrant. editor. Rajesh, T. M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-1976-3">https://doi.org/10.1007/978-981-19-1976-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computingent://SD_ILS/0/SD_ILS:5201892025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Nazareth, John Lawrence. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21762-3">https://doi.org/10.1007/978-3-031-21762-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5209312025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29927-8">https://doi.org/10.1007/978-3-031-29927-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212452025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45784-5">https://doi.org/10.1007/978-3-031-45784-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Artificial Intelligenceent://SD_ILS/0/SD_ILS:5218922025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Klontzas, Michail E. editor. Fanni, Salvatore Claudio. editor. Neri, Emanuele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25928-9">https://doi.org/10.1007/978-3-031-25928-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5208642025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31476-6">https://doi.org/10.1007/978-3-031-31476-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>End-User Development 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6-8, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209542025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Spano, Lucio Davide. editor. Schmidt, Albrecht. editor. (orcid) Santoro, Carmen. editor. Stumpf, Simone. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34433-6">https://doi.org/10.1007/978-3-031-34433-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211872025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Frasson, Claude. editor. Mylonas, Phivos. editor. Troussas, Christos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32883-1">https://doi.org/10.1007/978-3-031-32883-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2022: Parallel Processing Workshops Euro-Par 2022 International Workshops, Glasgow, UK, August 22-26, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5212932025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Singer, Jeremy. editor. Elkhatib, Yehia. editor. Blanco Heras, Dora. editor. Diehl, Patrick. editor. (orcid) Brown, Nick. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31209-0">https://doi.org/10.1007/978-3-031-31209-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Linguistic Justice on Campus : Pedagogy and Advocacy for Multilingual Studentsent://SD_ILS/0/SD_ILS:5358812025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Basta, Hidy, contributor. Brooks-Gillies, Marilee, contributor. Bruce, Shanti, contributor. Del Russo, Celeste, contributor. Ives, Lindsey, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.21832/9781788929509?locatt=mode:legacy">https://doi.org/10.21832/9781788929509?locatt=mode:legacy</a>
<a href="https://www.degruyter.com/isbn/9781788929509">https://www.degruyter.com/isbn/9781788929509</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9781788929509/original">https://www.degruyter.com/document/cover/isbn/9781788929509/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Computers : A Practical Introduction to the Computer Analysis of Languageent://SD_ILS/0/SD_ILS:5347002025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Barnbrook, Geoffrey, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9781474464185">https://doi.org/10.1515/9781474464185</a>
<a href="https://www.degruyter.com/isbn/9781474464185">https://www.degruyter.com/isbn/9781474464185</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9781474464185/original">https://www.degruyter.com/document/cover/isbn/9781474464185/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:4829162025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4829842025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14174-5">https://doi.org/10.1007/978-3-030-14174-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4830472025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Hall, Mary. editor. (orcid)0000-0002-3058-7573 Sundar, Hari. editor. (orcid)0000-0001-9001-5107 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34627-0">https://doi.org/10.1007/978-3-030-34627-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4834182025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32304-2">https://doi.org/10.1007/978-3-030-32304-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4834342025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33246-4">https://doi.org/10.1007/978-3-030-33246-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828592025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828692025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30942-8">https://doi.org/10.1007/978-3-030-30942-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthdayent://SD_ILS/0/SD_ILS:4828892025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</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:4830522025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4831312025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Beginners Guide to Python 3 Programmingent://SD_ILS/0/SD_ILS:4831382025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20290-3">https://doi.org/10.1007/978-3-030-20290-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4834842025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12274-4">https://doi.org/10.1007/978-3-030-12274-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4857002025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32441-4">https://doi.org/10.1007/978-3-030-32441-4</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:4860692025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4865782025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Semiotic Landscape. Panorama sémiotique : Proceedings of the First Congress of the International Association for Semiotic Studies, Milan June 1974 / Actes du premier congrès de l'association Internationale de Sémiotique, Milan juin 1974ent://SD_ILS/0/SD_ILS:5321592025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Agosti, Stefano, contributor. Agrest, Diana, contributor. Alinei, Mario, contributor. Almansi, Guido, contributor. Andersen, Henning, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110803327">https://doi.org/10.1515/9783110803327</a>
<a href="https://www.degruyter.com/isbn/9783110803327">https://www.degruyter.com/isbn/9783110803327</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110803327/original">https://www.degruyter.com/document/cover/isbn/9783110803327/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Music Instruments II Realtime and Object-Oriented Audioent://SD_ILS/0/SD_ILS:4835722025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Lazzarini, Victor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-13712-0">https://doi.org/10.1007/978-3-030-13712-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Answer Set Programmingent://SD_ILS/0/SD_ILS:4836682025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Lifschitz, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24658-7">https://doi.org/10.1007/978-3-030-24658-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:4837892025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28346-9">https://doi.org/10.1007/978-3-030-28346-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838982025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4839052025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30690-8">https://doi.org/10.1007/978-3-030-30690-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programmingent://SD_ILS/0/SD_ILS:4839782025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Upadhyaya, Bhim P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12561-5">https://doi.org/10.1007/978-3-030-12561-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4841842025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15538-4">https://doi.org/10.1007/978-3-030-15538-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Python Workbook A Brief Introduction with Exercises and Solutionsent://SD_ILS/0/SD_ILS:4846882025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Stephenson, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18873-3">https://doi.org/10.1007/978-3-030-18873-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4847062025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05998-9">https://doi.org/10.1007/978-3-030-05998-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadowsent://SD_ILS/0/SD_ILS:4860572025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19052-1">https://doi.org/10.1007/978-3-030-19052-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning C# by Programming Gamesent://SD_ILS/0/SD_ILS:4861702025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor van Toll, Wouter. author. Egges, Arjan. author. Fokker, Jeroen D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-59252-6">https://doi.org/10.1007/978-3-662-59252-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Languages and Compilationent://SD_ILS/0/SD_ILS:4837082025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04879-2">https://doi.org/10.1007/978-3-030-04879-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866452025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Ragia, Lemonia. editor. Grueau, Cédric. editor. Laurini, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29948-4">https://doi.org/10.1007/978-3-030-29948-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866802025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Rauchwerger, Lawrence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35225-7">https://doi.org/10.1007/978-3-030-35225-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4840282025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4839822025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Lujak, Marin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17294-7">https://doi.org/10.1007/978-3-030-17294-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4840452025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Java in Two Semesters Featuring JavaFXent://SD_ILS/0/SD_ILS:4840952025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99420-8">https://doi.org/10.1007/978-3-319-99420-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4842252025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4845372025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28596-8">https://doi.org/10.1007/978-3-030-28596-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on High-Performance Embedded Architectures and Compilers Vent://SD_ILS/0/SD_ILS:4845862025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-58834-5">https://doi.org/10.1007/978-3-662-58834-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4851642025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05807-4">https://doi.org/10.1007/978-3-030-05807-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4852842025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18506-0">https://doi.org/10.1007/978-3-030-18506-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4852652025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:4852712025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14805-8">https://doi.org/10.1007/978-3-030-14805-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4853042025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21759-4">https://doi.org/10.1007/978-3-030-21759-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4855902025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23611-3">https://doi.org/10.1007/978-3-030-23611-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4857892025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Silva, Josep. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16202-3">https://doi.org/10.1007/978-3-030-16202-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 22nd International Conference, FASE 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:4860312025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4858702025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23584-0">https://doi.org/10.1007/978-3-030-23584-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4862852025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18419-3">https://doi.org/10.1007/978-3-030-18419-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4863242025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Software Design with Javaent://SD_ILS/0/SD_ILS:4863302025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Robillard, Martin P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24094-3">https://doi.org/10.1007/978-3-030-24094-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4862742025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4848892025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20652-9">https://doi.org/10.1007/978-3-030-20652-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Guide to Python 3 Programmingent://SD_ILS/0/SD_ILS:4853992025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25943-3">https://doi.org/10.1007/978-3-030-25943-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4856802025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31038-7">https://doi.org/10.1007/978-3-030-31038-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4859442025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15465-3">https://doi.org/10.1007/978-3-030-15465-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4859682025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22397-7">https://doi.org/10.1007/978-3-030-22397-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4859802025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837392025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35333-9">https://doi.org/10.1007/978-3-030-35333-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837462025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837672025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27455-9">https://doi.org/10.1007/978-3-030-27455-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866832025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4867182025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24781-2">https://doi.org/10.1007/978-3-030-24781-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4868362025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17872-7">https://doi.org/10.1007/978-3-030-17872-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>How to Reduce the Cost of Software Testingent://SD_ILS/0/SD_ILS:5394452025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Heusser, Matthew, editor. Kulkarni, Govind, editor. Taylor and Francis.<br/>Preferred Shelf Number QA76.76 .T48<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315169484">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Graphical User Interfaces in Rent://SD_ILS/0/SD_ILS:5465142025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Lawrence, Michael, author. Verzani, John, author. Taylor and Francis.<br/>Preferred Shelf Number QA76.9 .U83<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315373898">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Neural data science : a primer with MATLAB® and Pythonent://SD_ILS/0/SD_ILS:4593912025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Nylen, Erik Lee, author. Wallisch, Pascal, 1978- author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780128040430">https://www.sciencedirect.com/science/book/9780128040430</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dictionary of Computer Science, Engineering and Technologyent://SD_ILS/0/SD_ILS:5454392025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>EXPLORING NEURAL NETWORKS WITH C#ent://SD_ILS/0/SD_ILS:5464252025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor TADEUSIEWICZ, RYSZARD.<br/>Preferred Shelf Number QA76.87<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429256226">https://www.taylorfrancis.com/books/9780429256226</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of quantum programmingent://SD_ILS/0/SD_ILS:4588112025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Ying, Mingsheng, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128023068">http://www.sciencedirect.com/science/book/9780128023068</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interaction flow modeling language model-driven UI engineering of web and mobile apps with IFMLent://SD_ILS/0/SD_ILS:3554382025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Brambilla, Marco, 1976- author. Fraternali, Piero, author.<br/>Preferred Shelf Number ONLINE(355438.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128001080">http://www.sciencedirect.com/science/book/9780128001080</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1ent://SD_ILS/0/SD_ILS:5292012025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2217-0">https://doi.org/10.1007/978-81-322-2217-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77ent://SD_ILS/0/SD_ILS:5186552025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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-17701-4">https://doi.org/10.1007/978-3-319-17701-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>LogiQL : a query language for smart databasesent://SD_ILS/0/SD_ILS:5441392025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Halpin, T. A., author. Rugaber, Spencer, author.<br/>Preferred Shelf Number QA76.73 .L62 H35 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482244946">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:5188612025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Falaschi, Moreno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27436-2">https://doi.org/10.1007/978-3-319-27436-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190432025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22102-1">https://doi.org/10.1007/978-3-319-22102-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5192932025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papersent://SD_ILS/0/SD_ILS:5192972025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-26184-3">https://doi.org/10.1007/978-3-319-26184-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language Production, Cognition, and the Lexiconent://SD_ILS/0/SD_ILS:5185302025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08043-7">https://doi.org/10.1007/978-3-319-08043-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5188782025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21365-1">https://doi.org/10.1007/978-3-319-21365-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5191392025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28114-8">https://doi.org/10.1007/978-3-319-28114-8</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:5191612025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:5192132025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Zsók, Viktória. editor. Horváth, Zoltán. editor. Csató, Lehel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15940-9">https://doi.org/10.1007/978-3-319-15940-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189802025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19282-6">https://doi.org/10.1007/978-3-319-19282-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 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:4831002025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856442025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09940-8">https://doi.org/10.1007/978-3-319-09940-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856452025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09970-5">https://doi.org/10.1007/978-3-319-09970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4856912025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11454-5">https://doi.org/10.1007/978-3-319-11454-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4856932025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10936-7">https://doi.org/10.1007/978-3-319-10936-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857242025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4857252025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11737-9">https://doi.org/10.1007/978-3-319-11737-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857312025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11743-0">https://doi.org/10.1007/978-3-319-11743-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4884252025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44920-2">https://doi.org/10.1007/978-3-662-44920-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889262025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11936-6">https://doi.org/10.1007/978-3-319-11936-6</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:4889492025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889652025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54848-2">https://doi.org/10.1007/978-3-642-54848-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4889802025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lecturesent://SD_ILS/0/SD_ILS:4890352025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07317-0">https://doi.org/10.1007/978-3-319-07317-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4890412025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04915-1">https://doi.org/10.1007/978-3-319-04915-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890592025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05215-1">https://doi.org/10.1007/978-3-319-05215-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Aspect-Oriented Software Development XIent://SD_ILS/0/SD_ILS:4890822025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55099-7">https://doi.org/10.1007/978-3-642-55099-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890892025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890932025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09873-9">https://doi.org/10.1007/978-3-319-09873-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4891372025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Jones, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44202-9">https://doi.org/10.1007/978-3-662-44202-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4894002025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08260-8">https://doi.org/10.1007/978-3-319-08260-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4894022025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44857-1">https://doi.org/10.1007/978-3-662-44857-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4894162025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44471-9">https://doi.org/10.1007/978-3-662-44471-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:4843642025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6317-6">https://doi.org/10.1007/978-1-4471-6317-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4872462025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4873712025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10882-7">https://doi.org/10.1007/978-3-319-10882-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4877632025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05032-4">https://doi.org/10.1007/978-3-319-05032-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:4878592025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06776-6">https://doi.org/10.1007/978-3-319-06776-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The green computing book : tackling energey efficiency at large scaleent://SD_ILS/0/SD_ILS:5387572025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Feng, Wu-chun, 1966- editor.<br/>Preferred Shelf Number QA76.9 .E58 I58 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439819883">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Formal languages and computation : models and their applicationsent://SD_ILS/0/SD_ILS:5457272025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Meduna, Alexander, 1957- author. Taylor and Francis.<br/>Preferred Shelf Number QA267.3<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466513495">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>PASCAL for electronics and communicationsent://SD_ILS/0/SD_ILS:5405122025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Meadows, R. G. (Richard Guy), author.<br/>Preferred Shelf Number QA76.73 .P2<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781315274782">https://www.taylorfrancis.com/books/9781315274782</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:4845312025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4854922025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06200-6">https://doi.org/10.1007/978-3-319-06200-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4855972025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08311-7">https://doi.org/10.1007/978-3-319-08311-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856032025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08789-4">https://doi.org/10.1007/978-3-319-08789-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856242025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 23rd International Conference, CC 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:4889142025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Cohen, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54807-9">https://doi.org/10.1007/978-3-642-54807-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proofent://SD_ILS/0/SD_ILS:4889192025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13906-7">https://doi.org/10.1007/978-3-319-13906-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889362025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10702-8">https://doi.org/10.1007/978-3-319-10702-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4890032025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12466-7">https://doi.org/10.1007/978-3-319-12466-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 17th International Conference, FASE 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:4890132025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54804-8">https://doi.org/10.1007/978-3-642-54804-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lecturesent://SD_ILS/0/SD_ILS:4890172025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45489-3">https://doi.org/10.1007/978-3-662-45489-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890282025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11164-3">https://doi.org/10.1007/978-3-319-11164-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4892512025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09195-2">https://doi.org/10.1007/978-3-319-09195-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4854462025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04132-2">https://doi.org/10.1007/978-3-319-04132-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856672025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10431-7">https://doi.org/10.1007/978-3-319-10431-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856682025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10181-1">https://doi.org/10.1007/978-3-319-10181-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concrete Semantics With Isabelle/HOLent://SD_ILS/0/SD_ILS:4856722025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10542-0">https://doi.org/10.1007/978-3-319-10542-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4868222025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>JRuby Rails Web Application Developmentent://SD_ILS/0/SD_ILS:4869522025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Vohra, Deepak. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03934-3">https://doi.org/10.1007/978-3-319-03934-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Python Workbook A Brief Introduction with Exercises and Solutionsent://SD_ILS/0/SD_ILS:4873572025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Stephenson, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14240-1">https://doi.org/10.1007/978-3-319-14240-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4874192025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4874842025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07734-5">https://doi.org/10.1007/978-3-319-07734-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4875402025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05359-2">https://doi.org/10.1007/978-3-319-05359-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedingsent://SD_ILS/0/SD_ILS:4875452025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numerical Computations with GPUsent://SD_ILS/0/SD_ILS:4875792025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Kindratenko, Volodymyr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06548-9">https://doi.org/10.1007/978-3-319-06548-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Python Programming Fundamentalsent://SD_ILS/0/SD_ILS:4876062025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Lee, Kent D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6642-9">https://doi.org/10.1007/978-1-4471-6642-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4896222025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Yahav, Eran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13338-6">https://doi.org/10.1007/978-3-319-13338-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4896342025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor McCarthy, Jay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-45340-3">https://doi.org/10.1007/978-3-642-45340-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computing handbook : computer science and software engineeringent://SD_ILS/0/SD_ILS:5431642025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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 essentials : design and constructionent://SD_ILS/0/SD_ILS:5445982025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Dingle, Adair, author.<br/>Preferred Shelf Number QA76.76 .D47 D545 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439841211">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Essential MATLAB and Octaveent://SD_ILS/0/SD_ILS:5477532025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Rogel-Salazar, Jesus, author. Taylor and Francis.<br/>Preferred Shelf Number QA76.95 .R59<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482234640">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Speaking code coding as aesthetic and political expressionent://SD_ILS/0/SD_ILS:2203062025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Cox, Geoff. McLean, Alex (Christopher Alex), 1975-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451062">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451062</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:3340772025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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:3340962025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Aliasing in Object-Oriented Programming. Types, Analysis and Verificationent://SD_ILS/0/SD_ILS:3343272025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>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:3343532025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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:3343542025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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 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:3343582025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Ubiquitous Information Technologies and Applications CUTE 2012ent://SD_ILS/0/SD_ILS:3360872025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Han, Youn-Hee. editor. Park, Doo-Soon. editor. Jia, Weijia. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336087.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5857-5">http://dx.doi.org/10.1007/978-94-007-5857-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learn Cocoa on the Macent://SD_ILS/0/SD_ILS:3306132025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Nutting, Jack. author. Clark, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330613.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4543-8">http://dx.doi.org/10.1007/978-1-4302-4543-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learn Lua for iOS Game Developmentent://SD_ILS/0/SD_ILS:3306232025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Varma, Jayant. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330623.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4663-3">http://dx.doi.org/10.1007/978-1-4302-4663-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Objective-C Programmer’s Referenceent://SD_ILS/0/SD_ILS:3307262025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Oliveira, Carlos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330726.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5906-0">http://dx.doi.org/10.1007/978-1-4302-5906-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Node.js Recipesent://SD_ILS/0/SD_ILS:3307452025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Gackenheimer, Cory. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330745.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-6059-2">http://dx.doi.org/10.1007/978-1-4302-6059-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>TouchDevelop: Programming on the Goent://SD_ILS/0/SD_ILS:3307572025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Horspool, R. Nigel. author. Tillmann, Nikolai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330757.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-6137-7">http://dx.doi.org/10.1007/978-1-4302-6137-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Programming with Prologent://SD_ILS/0/SD_ILS:3312072025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Bramer, Max. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331207.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5487-7">http://dx.doi.org/10.1007/978-1-4471-5487-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Programming and Algorithms Using Rent://SD_ILS/0/SD_ILS:3311922025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Ergül, Özgür. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331192.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5328-3">http://dx.doi.org/10.1007/978-1-4471-5328-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Giants of Computing A Compendium of Select, Pivotal Pioneersent://SD_ILS/0/SD_ILS:3311942025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor O’Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331194.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5340-5">http://dx.doi.org/10.1007/978-1-4471-5340-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bayesian Networks in R with Applications in Systems Biologyent://SD_ILS/0/SD_ILS:3320332025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Nagarajan, Radhakrishnan. author. Scutari, Marco. author. Lèbre, Sophie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332033.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6446-4">http://dx.doi.org/10.1007/978-1-4614-6446-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The R Software Fundamentals of Programming and Statistical Analysisent://SD_ILS/0/SD_ILS:3324632025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332463.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-9020-3">http://dx.doi.org/10.1007/978-1-4614-9020-3</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:3340142025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3341362025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334136.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36157-9">http://dx.doi.org/10.1007/978-3-642-36157-9</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:3341422025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Assurances for Self-Adaptive Systems Principles, Models, and Techniquesent://SD_ILS/0/SD_ILS:3341562025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334156.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36249-1">http://dx.doi.org/10.1007/978-3-642-36249-1</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:3344692025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345332025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334533.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</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:3345472025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papersent://SD_ILS/0/SD_ILS:3345562025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334556.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-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:3345622025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346912025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334691.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38883-5">http://dx.doi.org/10.1007/978-3-642-38883-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346972025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334697.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38911-5">http://dx.doi.org/10.1007/978-3-642-38911-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346982025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334698.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</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:3348202025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348442025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348702025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedingsent://SD_ILS/0/SD_ILS:3350462025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335046.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3349462025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334946.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40447-4">http://dx.doi.org/10.1007/978-3-642-40447-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3351202025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.<br/>Preferred Shelf Number ONLINE(335120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3351252025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335125.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41578-4">http://dx.doi.org/10.1007/978-3-642-41578-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3351262025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Hinze, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335126.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41582-1">http://dx.doi.org/10.1007/978-3-642-41582-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Bunemanent://SD_ILS/0/SD_ILS:3351382025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.<br/>Preferred Shelf Number ONLINE(335138.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41660-6">http://dx.doi.org/10.1007/978-3-642-41660-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351412025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335141.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</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:3352042025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352062025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335206.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45293-2">http://dx.doi.org/10.1007/978-3-642-45293-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:3352162025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Using Microsoft Dynamics AX 2012 Updated for Version R2ent://SD_ILS/0/SD_ILS:3352712025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Luszczak, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335271.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-01709-5">http://dx.doi.org/10.1007/978-3-658-01709-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartzent://SD_ILS/0/SD_ILS:3309422025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330942.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4282-9">http://dx.doi.org/10.1007/978-1-4471-4282-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Image Processing Using R Learning by Examplesent://SD_ILS/0/SD_ILS:3311072025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Frery, Alejandro C. author. Perciano, Talita. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331107.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4950-7">http://dx.doi.org/10.1007/978-1-4471-4950-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329212025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332921.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-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:3329342025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papersent://SD_ILS/0/SD_ILS:3332462025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Learning C# by Programming Gamesent://SD_ILS/0/SD_ILS:3342392025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Egges, Arjan. author. Fokker, Jeroen D. author. Overmars, Mark H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334239.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36580-5">http://dx.doi.org/10.1007/978-3-642-36580-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Aspect-Oriented Software Development Xent://SD_ILS/0/SD_ILS:3343332025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>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:3342782025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3342822025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334282.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36757-1">http://dx.doi.org/10.1007/978-3-642-36757-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346312025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334631.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38601-5">http://dx.doi.org/10.1007/978-3-642-38601-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346342025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334634.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38613-8">http://dx.doi.org/10.1007/978-3-642-38613-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346512025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334651.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346832025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334683.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38856-9">http://dx.doi.org/10.1007/978-3-642-38856-9</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:3347062025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347112025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334711.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347142025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Drira, Khalil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334714.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39031-9">http://dx.doi.org/10.1007/978-3-642-39031-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347152025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334715.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39038-8">http://dx.doi.org/10.1007/978-3-642-39038-8</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:3347432025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor 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/>Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3347722025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Liu, Shaoying. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334772.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthdayent://SD_ILS/0/SD_ILS:3349342025-12-11T22:57:03Z2025-12-11T22:57:03ZAuthor Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334934.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40355-2">http://dx.doi.org/10.1007/978-3-642-40355-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>