Search Results for Languages. - Narrowed by: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLanguages.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-21T23:14:06ZPrinciples of Programming Languagesent://SD_ILS/0/SD_ILS:1758802026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Logics of Specification Languagesent://SD_ILS/0/SD_ILS:1870562026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74107-7">http://dx.doi.org/10.1007/978-3-540-74107-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Visual Languages and Applicationsent://SD_ILS/0/SD_ILS:1665612026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Zhang, Kang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68257-0">http://dx.doi.org/10.1007/978-0-387-68257-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Refinement Semantics, Languages and Applicationsent://SD_ILS/0/SD_ILS:4003722026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Derrick, John. author. Boiten, Eerke. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92711-4">https://doi.org/10.1007/978-3-319-92711-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Languages Syntax, Semantics, and Metaprogrammingent://SD_ILS/0/SD_ILS:4011722026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Lämmel, Ralf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90800-7">https://doi.org/10.1007/978-3-319-90800-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Process Management Concepts, Languages, Architecturesent://SD_ILS/0/SD_ILS:1964902026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28616-2">http://dx.doi.org/10.1007/978-3-642-28616-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Process Management Concepts, Languages, Architecturesent://SD_ILS/0/SD_ILS:1868792026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73522-9">http://dx.doi.org/10.1007/978-3-540-73522-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Pattern Languages of Programming Vent://SD_ILS/0/SD_ILS:6077182026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-70810-1">https://doi.org/10.1007/978-3-662-70810-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Pattern Languages of Programming IVent://SD_ILS/0/SD_ILS:4828312026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Transactions on Pattern Languages of Programming IIIent://SD_ILS/0/SD_ILS:3346472026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Transactions on Pattern Languages of Programming Ient://SD_ILS/0/SD_ILS:1914892026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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, Platforms and Applicationsent://SD_ILS/0/SD_ILS:1652692026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089732026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Di Giusto, Cinzia. editor. (orcid)0000-0003-1563-6581 Ravara, António. editor. (orcid)0000-0001-8074-0380 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95589-1">https://doi.org/10.1007/978-3-031-95589-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6039002026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Castellani, Ilaria. editor. (orcid)0000-0001-9820-0892 Tiezzi, Francesco. editor. (orcid)0000-0003-4740-7521 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62697-5">https://doi.org/10.1007/978-3-031-62697-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Proveent://SD_ILS/0/SD_ILS:6021632026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Morazán, Marco T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43973-5">https://doi.org/10.1007/978-3-031-43973-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6029252026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Jarzębowicz, Aleksander. editor. Luković, Ivan. editor. (orcid)0000-0003-1319-488X Przybyłek, Adam. editor. Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864 Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51075-5">https://doi.org/10.1007/978-3-031-51075-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systemsent://SD_ILS/0/SD_ILS:6020032026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Babkin, Eduard. author. (orcid)0000-0003-2597-9043 Ulitin, Boris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42202-7">https://doi.org/10.1007/978-3-031-42202-7</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:4827462026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4835472026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>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:4835062026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4854042026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Mirto, Ignazio Mauro. editor. Monteleone, Mario. editor. Silberztein, Max. editor. (orcid)0000-0003-0930-6463 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-10868-7">https://doi.org/10.1007/978-3-030-10868-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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:4859682026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>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:4839052026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005602026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73305-0">https://doi.org/10.1007/978-3-319-73305-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995372026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999622026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01042-3">https://doi.org/10.1007/978-3-030-01042-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedingsent://SD_ILS/0/SD_ILS:4012472026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92408-3">https://doi.org/10.1007/978-3-319-92408-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papersent://SD_ILS/0/SD_ILS:6159742026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52709-3">https://doi.org/10.1007/978-3-319-52709-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161242026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Jacquet, Jean-Marie. editor. Massink, Mieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59746-1">https://doi.org/10.1007/978-3-319-59746-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122922026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160412026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51676-9">https://doi.org/10.1007/978-3-319-51676-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6117182026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39519-7">https://doi.org/10.1007/978-3-319-39519-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6126142026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Castor, Fernando. editor. Liu, Yu David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45279-1">https://doi.org/10.1007/978-3-319-45279-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6110882026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29778-1">https://doi.org/10.1007/978-3-319-29778-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6113312026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28228-2">https://doi.org/10.1007/978-3-319-28228-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6122882026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Thiemann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6130632026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:4845612026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4874542026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Kühn, Eva. editor. Pugliese, Rosario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43376-8">https://doi.org/10.1007/978-3-662-43376-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworksent://SD_ILS/0/SD_ILS:4879292026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Shehory, Onn. editor. Sturm, Arnon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54432-3">https://doi.org/10.1007/978-3-642-54432-3</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:4889762026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>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:4894342026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857242026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890812026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Domain Engineering Product Lines, Languages, and Conceptual Modelsent://SD_ILS/0/SD_ILS:3342572026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.<br/>Preferred Shelf Number ONLINE(334257.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36654-3">http://dx.doi.org/10.1007/978-3-642-36654-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343482026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3344692026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3344942026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334494.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37890-4">http://dx.doi.org/10.1007/978-3-642-37890-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329812026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346102026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334610.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38493-6">http://dx.doi.org/10.1007/978-3-642-38493-6</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:3350282026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>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:3351202026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>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:3351262026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3352042026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1962712026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27694-1">http://dx.doi.org/10.1007/978-3-642-27694-1</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:1965532026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1966162026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Sakama, Chiaki. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29113-5">http://dx.doi.org/10.1007/978-3-642-29113-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languagesent://SD_ILS/0/SD_ILS:1967752026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Henderson-Sellers, Brian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29825-7">http://dx.doi.org/10.1007/978-3-642-29825-7</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:1973322026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1975142026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Gill, Andy. editor. Hage, Jurriaan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34407-7">http://dx.doi.org/10.1007/978-3-642-34407-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969712026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30829-1">http://dx.doi.org/10.1007/978-3-642-30829-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974182026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33666-9">http://dx.doi.org/10.1007/978-3-642-33666-9</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:1975772026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1938742026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Rocha, Ricardo. editor. Launchbury, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18378-2">http://dx.doi.org/10.1007/978-3-642-18378-2</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:1940422026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>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:1941332026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1948892026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959112026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papersent://SD_ILS/0/SD_ILS:1944632026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Omicini, Andrea. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20715-0">http://dx.doi.org/10.1007/978-3-642-20715-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1933082026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Morazán, Marco T. editor. Scholz, Sven-Bodo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16478-1">http://dx.doi.org/10.1007/978-3-642-16478-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1947092026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Meuter, Wolfgang. editor. Roman, Gruia-Catalin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21464-6">http://dx.doi.org/10.1007/978-3-642-21464-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1955882026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Hage, Jurriaan. editor. Morazán, Marco T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24276-2">http://dx.doi.org/10.1007/978-3-642-24276-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:1956422026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Scholz, Sven-Bodo. editor. Chitil, Olaf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24452-0">http://dx.doi.org/10.1007/978-3-642-24452-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956512026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Whittle, Jon. editor. Clark, Tony. editor. Kühne, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24485-8">http://dx.doi.org/10.1007/978-3-642-24485-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923262026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Clarke, Dave. editor. Agha, Gul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13414-2">http://dx.doi.org/10.1007/978-3-642-13414-2</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:1924132026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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:1925662026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1931992026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Petriu, Dorina C. editor. Rouquette, Nicolas. editor. Haugen, Øystein. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16145-2">http://dx.doi.org/10.1007/978-3-642-16145-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1931942026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Petriu, Dorina C. editor. Rouquette, Nicolas. editor. Haugen, Øystein. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16129-2">http://dx.doi.org/10.1007/978-3-642-16129-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1916642026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Baldoni, Matteo. editor. Bentahar, Jamal. editor. Riemsdijk, M. Birna. editor. Lloyd, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11355-0">http://dx.doi.org/10.1007/978-3-642-11355-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1917042026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Carro, Manuel. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11503-5">http://dx.doi.org/10.1007/978-3-642-11503-5</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:1918472026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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:1918612026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1935112026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08ent://SD_ILS/0/SD_ILS:1706262026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Radetzki, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9714-0">http://dx.doi.org/10.1007/978-1-4020-9714-0</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:1904642026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1904972026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Taha, Walid Mohamed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03034-5">http://dx.doi.org/10.1007/978-3-642-03034-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1895342026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-93920-7">http://dx.doi.org/10.1007/978-3-540-93920-7</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:1897392026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Coordination Models and Languages 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902012026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Liszt, Franz, 1811-1886 editor. Vasconcelos, Vasco T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02053-7">http://dx.doi.org/10.1007/978-3-642-02053-7</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:1904632026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Model Driven Engineering Languages and Systems 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909442026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Schürr, Andy. editor. Selic, Bran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04425-0">http://dx.doi.org/10.1007/978-3-642-04425-0</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:1914412026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1859982026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1859952026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1878732026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Hudak, Paul. editor. Warren, David S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77442-6">http://dx.doi.org/10.1007/978-3-540-77442-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1879152026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77564-5">http://dx.doi.org/10.1007/978-3-540-77564-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Systems Specification and Design Languages Selected contributions from FDL’07ent://SD_ILS/0/SD_ILS:1701072026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Villar, Eugenio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8297-9">http://dx.doi.org/10.1007/978-1-4020-8297-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1854292026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Lea, Doug. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68265-3">http://dx.doi.org/10.1007/978-3-540-68265-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:1882262026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1889292026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Czarnecki, Krzysztof. editor. Ober, Ileana. editor. Bruel, Jean-Michel. editor. Uhl, Axel. editor. Völter, Markus. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87875-9">http://dx.doi.org/10.1007/978-3-540-87875-9</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:1892482026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1858682026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Hanus, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69611-7">http://dx.doi.org/10.1007/978-3-540-69611-7</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:1876402026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06ent://SD_ILS/0/SD_ILS:1697052026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Huss, Sorin A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6149-3">http://dx.doi.org/10.1007/978-1-4020-6149-3</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:1862442026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866552026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Murphy, Amy L. editor. Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72794-1">http://dx.doi.org/10.1007/978-3-540-72794-1</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:1868452026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1873632026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Engels, Gregor. editor. Opdyke, Bill. editor. Schmidt, Douglas C. editor. Weil, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75209-7">http://dx.doi.org/10.1007/978-3-540-75209-7</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:1836172026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papersent://SD_ILS/0/SD_ILS:1836232026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Baldoni, Matteo. editor. Endriss, Ulle. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691792">http://dx.doi.org/10.1007/11691792</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848632026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Nierstrasz, Oscar. editor. Whittle, Jon. editor. Harel, David. editor. Reggio, Gianna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11880240">http://dx.doi.org/10.1007/11880240</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papersent://SD_ILS/0/SD_ILS:1856652026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Baldoni, Matteo. editor. Endriss, Ulle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11961536">http://dx.doi.org/10.1007/11961536</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering 2 Specification of Systems and Languagesent://SD_ILS/0/SD_ILS:1836562026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Bjørner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1841462026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Ciancarini, Paolo. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11767954">http://dx.doi.org/10.1007/11767954</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:1843202026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1843212026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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:1847642026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1851552026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1828312026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Hentenryck, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11603023">http://dx.doi.org/10.1007/11603023</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logicent://SD_ILS/0/SD_ILS:1835552026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Bollig, Benedikt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32923-4">http://dx.doi.org/10.1007/3-540-32923-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04ent://SD_ILS/0/SD_ILS:1652372026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Boulet, Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136935">http://dx.doi.org/10.1007/b136935</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831222026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Briand, Lionel. editor. Williams, Clay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11557432">http://dx.doi.org/10.1007/11557432</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, Franceent://SD_ILS/0/SD_ILS:1650662026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Dissaux, Pierre. editor. Filali-Amine, Mamoun. editor. Michel, Pierre. editor. Vernadat, François. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106318">http://dx.doi.org/10.1007/b106318</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:1830582026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830742026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Jacquet, Jean-Marie. editor. Picco, Gian Pietro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135676">http://dx.doi.org/10.1007/b135676</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1823572026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Hermenegildo, Manuel V. editor. Cabeza, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105205">http://dx.doi.org/10.1007/b105205</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:1828342026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>UML Modeling Languages and Applications < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1828902026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Jardim Nunes, Nuno. editor. Selic, Bran. editor. Rodrigues da Silva, Alberto. editor. Toval Alvarez, Ambrosio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106725">http://dx.doi.org/10.1007/b106725</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1830002026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Leite, João. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. Yolum, pInar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136890">http://dx.doi.org/10.1007/b136890</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:1832342026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6015382026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84913-8">https://doi.org/10.1007/978-3-031-84913-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6054722026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6055002026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74234-7">https://doi.org/10.1007/978-3-031-74234-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6086352026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-89610-1">https://doi.org/10.1007/978-3-031-89610-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Object-based Programming with Goent://SD_ILS/0/SD_ILS:6093322026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Maurer, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-44704-5">https://doi.org/10.1007/978-3-658-44704-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:6018112026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92196-4">https://doi.org/10.1007/978-3-031-92196-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Careerent://SD_ILS/0/SD_ILS:6056682026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 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-031-73751-0">https://doi.org/10.1007/978-3-031-73751-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthdayent://SD_ILS/0/SD_ILS:6056692026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Hinchey, Mike. editor. 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-031-73887-6">https://doi.org/10.1007/978-3-031-73887-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6057172026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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-031-75387-9">https://doi.org/10.1007/978-3-031-75387-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6057362026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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-031-75107-3">https://doi.org/10.1007/978-3-031-75107-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6057382026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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-031-75390-9">https://doi.org/10.1007/978-3-031-75390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Conceptual Modeling 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28-31, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6057412026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Maass, Wolfgang. editor. (orcid)0000-0003-4057-0924 Han, Hyoil. editor. (orcid)0000-0001-8424-9804 Yasar, Hasan. editor. (orcid)0000-0001-9884-2086 Multari, Nick. editor. (orcid)0000-0002-7275-8182 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75872-0">https://doi.org/10.1007/978-3-031-75872-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Understanding Modelling and Programmingent://SD_ILS/0/SD_ILS:6067632026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71280-7">https://doi.org/10.1007/978-3-031-71280-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6069842026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82703-7">https://doi.org/10.1007/978-3-031-82703-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6069982026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82700-6">https://doi.org/10.1007/978-3-031-82700-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The AI Act and The Agile Safety Planent://SD_ILS/0/SD_ILS:6070672026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Myklebust, Thor. author. (orcid)0000-0002-9283-092X Stålhane, Tor. author. Vatn, Dorthea Mathilde Kristin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80504-2">https://doi.org/10.1007/978-3-031-80504-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthdayent://SD_ILS/0/SD_ILS:6077002026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Lee, Edward A. editor. (orcid)0000-0002-5663-0584 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 Talcott, Carolyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85134-6">https://doi.org/10.1007/978-3-031-85134-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6105382026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016 Thimm, Matthias. editor. (orcid)0000-0002-8157-1053 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-05134-9">https://doi.org/10.1007/978-3-032-05134-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6050952026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71162-6">https://doi.org/10.1007/978-3-031-71162-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6051212026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71177-0">https://doi.org/10.1007/978-3-031-71177-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6057832026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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-031-75380-0">https://doi.org/10.1007/978-3-031-75380-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Managing Software Supply Chains Theory and Practiceent://SD_ILS/0/SD_ILS:6074272026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1797-5">https://doi.org/10.1007/978-981-96-1797-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction Fundamentals and Applicationsent://SD_ILS/0/SD_ILS:6082772026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84813-1">https://doi.org/10.1007/978-3-031-84813-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthdayent://SD_ILS/0/SD_ILS:6091192026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97492-2">https://doi.org/10.1007/978-3-031-97492-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPXent://SD_ILS/0/SD_ILS:6041592026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Diehl, Patrick. author. Brandt, Steven R. author. Kaiser, Hartmut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54369-2">https://doi.org/10.1007/978-3-031-54369-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6041452026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63498-7">https://doi.org/10.1007/978-3-031-63498-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6045532026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65941-6">https://doi.org/10.1007/978-3-031-65941-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6020802026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49342-3">https://doi.org/10.1007/978-3-031-49342-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:6022492026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50423-5">https://doi.org/10.1007/978-3-031-50423-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structures of Computing A Guide to Practice-Oriented Theoryent://SD_ILS/0/SD_ILS:6027732026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54358-6">https://doi.org/10.1007/978-3-031-54358-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Infrared Small Target Detection Theory, Methods, and Algorithms.ent://SD_ILS/0/SD_ILS:6030992026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-9799-2">https://doi.org/10.1007/978-981-99-9799-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Information Systems Interoperability Data, Services, and Processesent://SD_ILS/0/SD_ILS:6032702026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Rinderle-Ma, Stefanie. author. (orcid)0000-0001-5656-6108 Mangler, Jürgen. author. Ritter, Daniel. author. (orcid)0000-0001-6146-3365 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48322-6">https://doi.org/10.1007/978-3-031-48322-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning C# Through Small Projectsent://SD_ILS/0/SD_ILS:6038792026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Panjuta, Denis. author. (orcid)0009-0001-4855-9300 Jabbarzadeh, Jafar. author. (orcid)0009-0004-3534-795X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51914-7">https://doi.org/10.1007/978-3-031-51914-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Feature Models AI-Driven Design, Analysis and Applicationsent://SD_ILS/0/SD_ILS:6041122026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Felfernig, Alexander. author. Falkner, Andreas. author. Benavides, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61874-1">https://doi.org/10.1007/978-3-031-61874-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6043362026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63536-6">https://doi.org/10.1007/978-3-031-63536-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6044562026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66064-1">https://doi.org/10.1007/978-3-031-66064-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Engineering and Software Development 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6050482026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Domínguez Mayo, Francisco José. editor. Pires, Luís Ferreira. editor. Seidewitz, Edwin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66339-0">https://doi.org/10.1007/978-3-031-66339-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The French School of Programmingent://SD_ILS/0/SD_ILS:6033902026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannisent://SD_ILS/0/SD_ILS:6043822026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56862-6">https://doi.org/10.1007/978-3-031-56862-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6041462026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63501-4">https://doi.org/10.1007/978-3-031-63501-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirementent://SD_ILS/0/SD_ILS:6049562026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67114-2">https://doi.org/10.1007/978-3-031-67114-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Experimentation in Software Engineeringent://SD_ILS/0/SD_ILS:6050332026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-69306-3">https://doi.org/10.1007/978-3-662-69306-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6050752026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71261-6">https://doi.org/10.1007/978-3-031-71261-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6052442026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72621-7">https://doi.org/10.1007/978-3-031-72621-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6019832026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Bouraoui, Zied. editor. Vesic, Srdjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45608-4">https://doi.org/10.1007/978-3-031-45608-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6023522026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52183-6">https://doi.org/10.1007/978-3-031-52183-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6035672026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2300-3">https://doi.org/10.1007/978-981-97-2300-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learn coding with Python and JavaScript A practical introduction for beginnersent://SD_ILS/0/SD_ILS:6042312026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-42912-6">https://doi.org/10.1007/978-3-658-42912-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Python packagesent://SD_ILS/0/SD_ILS:5586802026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Beuzen, Tomas, author. Timbers, Tiffany-Anne, author.<br/>Preferred Shelf Number QA76.73 .P98<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003189251">https://www.taylorfrancis.com/books/9781003189251</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/>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:4828592026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>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:4829162026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4834182026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837462026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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:4837672026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4842252026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4841842026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4848892026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4851642026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>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:4860312026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Computing and Software Science State of the Art and Perspectivesent://SD_ILS/0/SD_ILS:4860692026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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:4865782026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>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:4828892026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828692026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837392026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>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:4852652026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>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:4862852026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Introduction to Software Design with Javaent://SD_ILS/0/SD_ILS:4863302026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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:4862742026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>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:4866832026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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:4867182026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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:4868362026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4840282026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>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:4857002026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>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:4856802026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4859802026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838982026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Ö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/>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:4840452026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>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:4853042026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor 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/>Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6115992026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66107-0">https://doi.org/10.1007/978-3-319-66107-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6116002026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67113-0">https://doi.org/10.1007/978-3-319-67113-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6121802026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Ciuciu, Ioana. editor. Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55961-2">https://doi.org/10.1007/978-3-319-55961-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122462026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6122532026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unraveling Software Maintenance and Evolution Thinking Outside the Boxent://SD_ILS/0/SD_ILS:6131572026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Varga, Ervin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71303-8">https://doi.org/10.1007/978-3-319-71303-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6132402026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67729-3">https://doi.org/10.1007/978-3-319-67729-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6132692026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Ouhammou, Yassine. editor. Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384 Abelló, Alberto. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66854-3">https://doi.org/10.1007/978-3-319-66854-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6137502026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor de Cesare, Sergio. editor. Frank, Ulrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70625-2">https://doi.org/10.1007/978-3-319-70625-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6142612026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57288-8">https://doi.org/10.1007/978-3-319-57288-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161832026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63501-9">https://doi.org/10.1007/978-3-319-63501-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162112026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66902-1">https://doi.org/10.1007/978-3-319-66902-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162152026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67089-8">https://doi.org/10.1007/978-3-319-67089-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161432026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57418-9">https://doi.org/10.1007/978-3-319-57418-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6108512026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51046-0">https://doi.org/10.1007/978-3-319-51046-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6109112026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>String Analysis for Software Verification and Securityent://SD_ILS/0/SD_ILS:6111572026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68670-7">https://doi.org/10.1007/978-3-319-68670-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papersent://SD_ILS/0/SD_ILS:6115192026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Podnar Žarko, Ivana. editor. Broering, Arne. editor. Soursos, Sergios. editor. Serrano, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56877-5">https://doi.org/10.1007/978-3-319-56877-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6119502026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Moral, Serafín. editor. Pivert, Olivier. editor. Sánchez, Daniel. editor. Marín, Nicolás. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67582-4">https://doi.org/10.1007/978-3-319-67582-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6119892026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65000-5">https://doi.org/10.1007/978-3-319-65000-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6136192026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6136202026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Großmann, Jürgen. editor. Felderer, Michael. editor. Seehusen, Fredrik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57858-3">https://doi.org/10.1007/978-3-319-57858-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6137382026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68015-6">https://doi.org/10.1007/978-3-319-68015-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6136472026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Gaaloul, Walid. editor. Papazoglou, Mike. editor. Paschke, Adrian. editor. (orcid)0000-0003-3156-9040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69459-7">https://doi.org/10.1007/978-3-319-69459-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6147572026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66302-9">https://doi.org/10.1007/978-3-319-66302-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetingsent://SD_ILS/0/SD_ILS:6155002026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Nakajima, Shin. editor. Talpin, Jean-Pierre. editor. Toyoshima, Masumi. editor. Yu, Huafeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4436-6">https://doi.org/10.1007/978-981-10-4436-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Process Algebras for Petri Nets The Alphabetization of Distributed Systemsent://SD_ILS/0/SD_ILS:6156592026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Gorrieri, Roberto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55559-1">https://doi.org/10.1007/978-3-319-55559-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trust, Privacy and Security in Digital Business 14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159822026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Lopez, Javier. editor. Fischer-Hübner, Simone. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64483-7">https://doi.org/10.1007/978-3-319-64483-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160862026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Dixon, Clare. editor. Finger, Marcelo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66167-4">https://doi.org/10.1007/978-3-319-66167-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160912026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60225-7">https://doi.org/10.1007/978-3-319-60225-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161062026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Guerra, Esther. editor. van den Brand, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61473-1">https://doi.org/10.1007/978-3-319-61473-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162892026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61660-5">https://doi.org/10.1007/978-3-319-61660-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163152026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor de Moura, Leonardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63046-5">https://doi.org/10.1007/978-3-319-63046-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163162026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57861-3">https://doi.org/10.1007/978-3-319-57861-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163182026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Ranzato, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66706-5">https://doi.org/10.1007/978-3-319-66706-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162172026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54069-5">https://doi.org/10.1007/978-3-662-54069-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178122026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Secure System Modellingent://SD_ILS/0/SD_ILS:6178272026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Matulevičius, Raimundas. author. (orcid)0000-0002-1829-4794 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61717-6">https://doi.org/10.1007/978-3-319-61717-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178562026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6111482026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68690-5">https://doi.org/10.1007/978-3-319-68690-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Self-Aware Computing Systemsent://SD_ILS/0/SD_ILS:6115352026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47474-8">https://doi.org/10.1007/978-3-319-47474-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6123562026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69483-2">https://doi.org/10.1007/978-3-319-69483-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6124042026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52228-9">https://doi.org/10.1007/978-3-319-52228-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6125572026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68034-7">https://doi.org/10.1007/978-3-319-68034-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6127962026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52234-0">https://doi.org/10.1007/978-3-319-52234-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6130732026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6137592026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72453-9">https://doi.org/10.1007/978-3-319-72453-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6136212026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61252-2">https://doi.org/10.1007/978-3-319-61252-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6137472026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Ma, Hui. editor. Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69904-2">https://doi.org/10.1007/978-3-319-69904-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159652026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60134-2">https://doi.org/10.1007/978-3-319-60134-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6159062026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62569-0">https://doi.org/10.1007/978-3-319-62569-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6159302026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54577-5">https://doi.org/10.1007/978-3-662-54577-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159372026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60252-3">https://doi.org/10.1007/978-3-319-60252-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159932026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54494-5">https://doi.org/10.1007/978-3-662-54494-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159972026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60588-3">https://doi.org/10.1007/978-3-319-60588-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160102026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Bozzano, Marco. editor. (orcid)0000-0002-4135-103X Papadopoulos, Yiannis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64119-5">https://doi.org/10.1007/978-3-319-64119-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lecturesent://SD_ILS/0/SD_ILS:6163722026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60074-1">https://doi.org/10.1007/978-3-319-60074-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agile Modeling with UML Code Generation, Testing, Refactoringent://SD_ILS/0/SD_ILS:6171662026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Rumpe, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58862-9">https://doi.org/10.1007/978-3-319-58862-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maudeent://SD_ILS/0/SD_ILS:6174612026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexityent://SD_ILS/0/SD_ILS:6163212026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Zeume, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54314-6">https://doi.org/10.1007/978-3-662-54314-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6166112026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65765-3">https://doi.org/10.1007/978-3-319-65765-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6166862026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Wong, Stephan. editor. Beck, Antonio Carlos. editor. Bertels, Koen. editor. Carro, Luigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56258-2">https://doi.org/10.1007/978-3-319-56258-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6167142026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concise Guide to Formal Methods Theory, Fundamentals and Industry Applicationsent://SD_ILS/0/SD_ILS:6175362026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6175402026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571 Poveda-Villalón, María. editor. Jimenez-Ruiz, Ernesto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54627-8">https://doi.org/10.1007/978-3-319-54627-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6177162026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59294-7">https://doi.org/10.1007/978-3-319-59294-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6170272026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54580-5">https://doi.org/10.1007/978-3-662-54580-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6183482026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61581-3">https://doi.org/10.1007/978-3-319-61581-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Handbook of Formal Methods in Human-Computer Interactionent://SD_ILS/0/SD_ILS:6184852026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. (orcid)0000-0002-5381-971X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51838-1">https://doi.org/10.1007/978-3-319-51838-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162332026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62075-6">https://doi.org/10.1007/978-3-319-62075-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6162342026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63139-4">https://doi.org/10.1007/978-3-319-63139-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6115642026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30246-1">https://doi.org/10.1007/978-3-319-30246-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lecturesent://SD_ILS/0/SD_ILS:6117972026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34096-8">https://doi.org/10.1007/978-3-319-34096-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6118322026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49815-7">https://doi.org/10.1007/978-3-319-49815-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Understanding Control Flow Concurrent Programming Using μC++ent://SD_ILS/0/SD_ILS:6122122026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Buhr, Peter A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25703-7">https://doi.org/10.1007/978-3-319-25703-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6125812026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48869-1">https://doi.org/10.1007/978-3-319-48869-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6126122026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40530-8">https://doi.org/10.1007/978-3-319-40530-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6126742026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31220-0">https://doi.org/10.1007/978-3-319-31220-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6127272026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6129722026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Rovatsos, Michael. editor. Vouros, George. editor. Julian, Vicente. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33509-4">https://doi.org/10.1007/978-3-319-33509-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6129792026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Fitzgerald, John. editor. Heitmeyer, Constance. editor. Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Philippou, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48989-6">https://doi.org/10.1007/978-3-319-48989-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6130382026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44878-7">https://doi.org/10.1007/978-3-319-44878-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6132752026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6133722026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48758-8">https://doi.org/10.1007/978-3-319-48758-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6165792026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexityent://SD_ILS/0/SD_ILS:6106882026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Skrzypczak, Michał. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-52947-8">https://doi.org/10.1007/978-3-662-52947-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6107922026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46520-3">https://doi.org/10.1007/978-3-319-46520-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6108452026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41591-8">https://doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6109332026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30936-1">https://doi.org/10.1007/978-3-319-30936-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6109422026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39570-8">https://doi.org/10.1007/978-3-319-39570-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6112302026-03-21T23:14:06Z2026-03-21T23:14:06ZAuthor Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>