Search Results for - Narrowed by: Springer E-Book Collection - English - Programming Languages, Compilers, Interpreters.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026qf$003dSUBJECT$002509Konu$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$0026ps$003d300$0026isd$003dtrue?2024-06-12T23:08:55ZLogics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4278022024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834<br/><a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</a><br/>Format: Electronic Resources<br/>Answer Set Programmingent://SD_ILS/0/SD_ILS:4281052024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lifschitz, Vladimir. author.<br/><a href="https://doi.org/10.1007/978-3-030-24658-7">https://doi.org/10.1007/978-3-030-24658-7</a><br/>Format: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283322024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Larsen, Kim Guldstrand. editor.<br/><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/>On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4279372024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261<br/><a href="https://doi.org/10.1007/978-3-030-33246-4">https://doi.org/10.1007/978-3-030-33246-4</a><br/>Format: Electronic Resources<br/>Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4285042024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391<br/><a href="https://doi.org/10.1007/978-3-030-29765-7">https://doi.org/10.1007/978-3-030-29765-7</a><br/>Format: Electronic Resources<br/>Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:4281602024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Zsók, Viktória. editor.<br/><a href="https://doi.org/10.1007/978-3-030-28346-9">https://doi.org/10.1007/978-3-030-28346-9</a><br/>Format: Electronic Resources<br/>Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4279682024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428<br/><a href="https://doi.org/10.1007/978-3-030-12274-4">https://doi.org/10.1007/978-3-030-12274-4</a><br/>Format: Electronic Resources<br/>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:4279822024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Boreale, Michele. editor. (orcid)0000-0002-1972-7491<br/><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/>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:4288232024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580<br/><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/>The Python Workbook A Brief Introduction with Exercises and Solutionsent://SD_ILS/0/SD_ILS:4284752024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Stephenson, Ben. author.<br/><a href="https://doi.org/10.1007/978-3-030-18873-3">https://doi.org/10.1007/978-3-030-18873-3</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282092024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ölveczky, Peter Csaba. editor.<br/><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/>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:4288492024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613<br/><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/>Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4291032024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Chen, Yu-Fang. editor.<br/><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/>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:4286412024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Mesnard, Fred. editor.<br/><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/>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:4286592024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180<br/><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/>Java in Two Semesters Featuring JavaFXent://SD_ILS/0/SD_ILS:4282992024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Charatan, Quentin. author.<br/><a href="https://doi.org/10.1007/978-3-319-99420-8">https://doi.org/10.1007/978-3-319-99420-8</a><br/>Format: Electronic Resources<br/>Transactions on High-Performance Embedded Architectures and Compilers Vent://SD_ILS/0/SD_ILS:4284412024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Silvano, Cristina. editor. (orcid)0000-0003-1668-0883<br/><a href="https://doi.org/10.1007/978-3-662-58834-5">https://doi.org/10.1007/978-3-662-58834-5</a><br/>Format: Electronic Resources<br/>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:4276482024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Caires, Luís. editor. (orcid)0000-0002-3215-6734<br/><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/>Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:4286382024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Van Horn, David. editor.<br/><a href="https://doi.org/10.1007/978-3-030-14805-8">https://doi.org/10.1007/978-3-030-14805-8</a><br/>Format: Electronic Resources<br/>Computing and Software Science State of the Art and Perspectivesent://SD_ILS/0/SD_ILS:4288662024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558<br/><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/>Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4286492024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Pałka, Michał. editor.<br/><a href="https://doi.org/10.1007/978-3-030-18506-0">https://doi.org/10.1007/978-3-030-18506-0</a><br/>Format: Electronic Resources<br/>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:4282812024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Dillig, Isil. editor.<br/><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/>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:4287552024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872<br/><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/>Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4287692024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Silva, Josep. editor.<br/><a href="https://doi.org/10.1007/978-3-030-16202-3">https://doi.org/10.1007/978-3-030-16202-3</a><br/>Format: Electronic Resources<br/>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:4277022024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367<br/><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/>Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283402024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441<br/><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/>Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4277732024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Bojańczyk, Mikołaj. editor.<br/><a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Electronic Resources<br/>Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4285032024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Piattini, Mario. editor. (orcid)0000-0002-7212-8279<br/><a href="https://doi.org/10.1007/978-3-030-29238-6">https://doi.org/10.1007/978-3-030-29238-6</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4277762024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Hall, Mary. editor. (orcid)0000-0002-3058-7573<br/><a href="https://doi.org/10.1007/978-3-030-34627-0">https://doi.org/10.1007/978-3-030-34627-0</a><br/>Format: Electronic Resources<br/>OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4284252024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Fan, Xing. editor.<br/><a href="https://doi.org/10.1007/978-3-030-28596-8">https://doi.org/10.1007/978-3-030-28596-8</a><br/>Format: Electronic Resources<br/>A Beginners Guide to Python 3 Programmingent://SD_ILS/0/SD_ILS:4278142024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Hunt, John. author.<br/><a href="https://doi.org/10.1007/978-3-030-20290-3">https://doi.org/10.1007/978-3-030-20290-3</a><br/>Format: Electronic Resources<br/>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:4277102024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Margaria, Tiziana. editor.<br/><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/>PRICAI 2019: Trends in Artificial Intelligence 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4282002024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Nayak, Abhaya C. editor. (orcid)0000-0003-0681-9570<br/><a href="https://doi.org/10.1007/978-3-030-29908-8">https://doi.org/10.1007/978-3-030-29908-8</a><br/>Format: Electronic Resources<br/>Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4277432024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623<br/><a href="https://doi.org/10.1007/978-3-030-14174-5">https://doi.org/10.1007/978-3-030-14174-5</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4280132024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096<br/><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/>Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283222024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Knauss, Eric. editor. (orcid)0000-0002-6631-872X<br/><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/>Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4285992024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106<br/><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/>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:4285502024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701<br/><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/>Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4284702024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Alferes, José Júlio. editor.<br/><a href="https://doi.org/10.1007/978-3-030-05998-9">https://doi.org/10.1007/978-3-030-05998-9</a><br/>Format: Electronic Resources<br/>Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4276922024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367<br/><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/>Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281342024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Franch, Xavier. editor. (orcid)0000-0001-9733-8830<br/><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/>Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281352024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555<br/><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/>Computer Music Instruments II Realtime and Object-Oriented Audioent://SD_ILS/0/SD_ILS:4280182024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lazzarini, Victor. author.<br/><a href="https://doi.org/10.1007/978-3-030-13712-0">https://doi.org/10.1007/978-3-030-13712-0</a><br/>Format: Electronic Resources<br/>Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281442024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Nejati, Shiva. editor.<br/><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/>Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4279342024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Chang, Bor-Yuh Evan. editor.<br/><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/>NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4285012024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Badger, Julia M. editor.<br/><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/>Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4285092024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Rousseau, Louis-Martin. editor.<br/><a href="https://doi.org/10.1007/978-3-030-19212-9">https://doi.org/10.1007/978-3-030-19212-9</a><br/>Format: Electronic Resources<br/>Formal Languages and Compilationent://SD_ILS/0/SD_ILS:4277892024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Crespi Reghizzi, Stefano. author.<br/><a href="https://doi.org/10.1007/978-3-030-04879-2">https://doi.org/10.1007/978-3-030-04879-2</a><br/>Format: Electronic Resources<br/>Advanced Guide to Python 3 Programmingent://SD_ILS/0/SD_ILS:4287022024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Hunt, John. author.<br/><a href="https://doi.org/10.1007/978-3-030-25943-3">https://doi.org/10.1007/978-3-030-25943-3</a><br/>Format: Electronic Resources<br/>Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288202024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Cybenko, George. editor. (orcid)0000-0001-7734-2912<br/><a href="https://doi.org/10.1007/978-3-030-15465-3">https://doi.org/10.1007/978-3-030-15465-3</a><br/>Format: Electronic Resources<br/>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:4276872024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662<br/><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/>Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289252024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Blackburn, Patrick. editor.<br/><a href="https://doi.org/10.1007/978-3-662-60292-8">https://doi.org/10.1007/978-3-662-60292-8</a><br/>Format: Electronic Resources<br/>Learning C# by Programming Gamesent://SD_ILS/0/SD_ILS:4289262024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar van Toll, Wouter. author.<br/><a href="https://doi.org/10.1007/978-3-662-59252-6">https://doi.org/10.1007/978-3-662-59252-6</a><br/>Format: Electronic Resources<br/>Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288352024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750<br/><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/>Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4290002024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609<br/><a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format: Electronic Resources<br/>High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4286332024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Senger, Hermes. editor. (orcid)0000-0003-1273-9809<br/><a href="https://doi.org/10.1007/978-3-030-15996-2">https://doi.org/10.1007/978-3-030-15996-2</a><br/>Format: Electronic Resources<br/>Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4291482024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ragia, Lemonia. editor.<br/><a href="https://doi.org/10.1007/978-3-030-29948-4">https://doi.org/10.1007/978-3-030-29948-4</a><br/>Format: Electronic Resources<br/>Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadowsent://SD_ILS/0/SD_ILS:4288602024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Guttman, Joshua D. editor.<br/><a href="https://doi.org/10.1007/978-3-030-19052-1">https://doi.org/10.1007/978-3-030-19052-1</a><br/>Format: Electronic Resources<br/>Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programmingent://SD_ILS/0/SD_ILS:4282412024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Upadhyaya, Bhim P. author.<br/><a href="https://doi.org/10.1007/978-3-030-12561-5">https://doi.org/10.1007/978-3-030-12561-5</a><br/>Format: Electronic Resources<br/>Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4282432024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lujak, Marin. editor.<br/><a href="https://doi.org/10.1007/978-3-030-17294-7">https://doi.org/10.1007/978-3-030-17294-7</a><br/>Format: Electronic Resources<br/>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:4289692024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Zincir-Heywood, Nur. editor.<br/><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/>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:4289722024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Collart-Dutilleul, Simon. editor.<br/><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/>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:4291692024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Artho, Cyrille. editor.<br/><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/>Introduction to Software Design with Javaent://SD_ILS/0/SD_ILS:4290032024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Robillard, Martin P. author.<br/><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/>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:4282152024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736<br/><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/>Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4287452024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278<br/><a href="https://doi.org/10.1007/978-3-030-23611-3">https://doi.org/10.1007/978-3-030-23611-3</a><br/>Format: Electronic Resources<br/>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:4287562024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507<br/><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/>Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4287942024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Damiani, Ernesto. editor.<br/><a href="https://doi.org/10.1007/978-3-030-22559-9">https://doi.org/10.1007/978-3-030-22559-9</a><br/>Format: Electronic Resources<br/>Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4287952024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329<br/><a href="https://doi.org/10.1007/978-3-030-23584-0">https://doi.org/10.1007/978-3-030-23584-0</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4291662024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Rauchwerger, Lawrence. editor.<br/><a href="https://doi.org/10.1007/978-3-030-35225-7">https://doi.org/10.1007/978-3-030-35225-7</a><br/>Format: Electronic Resources<br/>End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4291902024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Malizia, Alessio. editor.<br/><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/>Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:2216022024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format: Electronic Resources<br/>Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2216452024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Cremers, Cas. editor. (orcid)0000-0003-0322-2293<br/><a href="https://doi.org/10.1007/978-3-030-04762-7">https://doi.org/10.1007/978-3-030-04762-7</a><br/>Format: Electronic Resources<br/>Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2221162024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Butler, Michael. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91271-4">https://doi.org/10.1007/978-3-319-91271-4</a><br/>Format: Electronic Resources<br/>Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthdayent://SD_ILS/0/SD_ILS:2219232024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Müller, Peter. editor.<br/><a href="https://doi.org/10.1007/978-3-319-98047-8">https://doi.org/10.1007/978-3-319-98047-8</a><br/>Format: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2224892024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Howar, Falk. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format: Electronic Resources<br/>Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2216062024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Massoni, Tiago. editor. (orcid)0000-0002-9423-7556<br/><a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217832024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772<br/><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/>Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IVent://SD_ILS/0/SD_ILS:2215592024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format: Electronic Resources<br/>Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:2218142024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Piskac, Ruzica. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</a><br/>Format: Electronic Resources<br/>High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:2212622024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873<br/><a href="https://doi.org/10.1007/978-3-030-02465-9">https://doi.org/10.1007/978-3-030-02465-9</a><br/>Format: Electronic Resources<br/>Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2219782024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Benzmüller, Christoph. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99906-7">https://doi.org/10.1007/978-3-319-99906-7</a><br/>Format: Electronic Resources<br/>Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2219872024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ciucci, Davide. editor. (orcid)0000-0002-8083-7809<br/><a href="https://doi.org/10.1007/978-3-030-00461-3">https://doi.org/10.1007/978-3-030-00461-3</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2214112024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Johnsen, Einar Broch. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format: Electronic Resources<br/>Topics in Parallel and Distributed Computing Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platformsent://SD_ILS/0/SD_ILS:2216942024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Prasad, Sushil K. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93109-8">https://doi.org/10.1007/978-3-319-93109-8</a><br/>Format: Electronic Resources<br/>New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2221692024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Capilla, Rafael. editor. (orcid)0000-0002-6943-1285<br/><a href="https://doi.org/10.1007/978-3-319-90421-4">https://doi.org/10.1007/978-3-319-90421-4</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2221282024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175<br/><a href="https://doi.org/10.1007/978-3-030-02146-7">https://doi.org/10.1007/978-3-030-02146-7</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2221342024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Rabe, Florian. editor.<br/><a href="https://doi.org/10.1007/978-3-319-96812-4">https://doi.org/10.1007/978-3-319-96812-4</a><br/>Format: Electronic Resources<br/>Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthdayent://SD_ILS/0/SD_ILS:2220152024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Jones, Cliff. editor.<br/><a href="https://doi.org/10.1007/978-3-030-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2219402024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Furia, Carlo A. editor.<br/><a href="https://doi.org/10.1007/978-3-319-98938-9">https://doi.org/10.1007/978-3-319-98938-9</a><br/>Format: Electronic Resources<br/>Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2224112024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Podelski, Andreas. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Electronic Resources<br/>Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:2220542024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948<br/><a href="https://doi.org/10.1007/978-3-030-04771-9">https://doi.org/10.1007/978-3-030-04771-9</a><br/>Format: Electronic Resources<br/>Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2228002024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Desharnais, Jules. editor. (orcid)0000-0002-4780-2698<br/><a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format: Electronic Resources<br/>Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lecturesent://SD_ILS/0/SD_ILS:2225222024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140<br/><a href="https://doi.org/10.1007/978-3-030-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format: Electronic Resources<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:2241462024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251<br/><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/>Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 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:2242332024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Baier, Christel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92612-4">https://doi.org/10.1007/978-3-319-92612-4</a><br/>Format: Electronic Resources<br/>Systems Programming in Unix/Linuxent://SD_ILS/0/SD_ILS:2211292024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Wang, K.C. author.<br/><a href="https://doi.org/10.1007/978-3-319-92429-8">https://doi.org/10.1007/978-3-319-92429-8</a><br/>Format: Electronic Resources<br/>Provenance and Annotation of Data and Processes 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2214482024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Belhajjame, Khalid. editor. (orcid)0000-0001-6938-0820<br/><a href="https://doi.org/10.1007/978-3-319-98379-0">https://doi.org/10.1007/978-3-319-98379-0</a><br/>Format: Electronic Resources<br/>Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2218892024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829<br/><a href="https://doi.org/10.1007/978-3-319-96983-1">https://doi.org/10.1007/978-3-319-96983-1</a><br/>Format: Electronic Resources<br/>Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2224812024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Abdelwahed, El Hassan. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00856-7">https://doi.org/10.1007/978-3-030-00856-7</a><br/>Format: Electronic Resources<br/>Computing with Data An Introduction to the Data Industryent://SD_ILS/0/SD_ILS:2219992024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lebanon, Guy. author.<br/><a href="https://doi.org/10.1007/978-3-319-98149-9">https://doi.org/10.1007/978-3-319-98149-9</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2214142024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829<br/><a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format: Electronic Resources<br/>Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2219802024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Rusu, Vlad. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format: Electronic Resources<br/>Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2221062024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Artemov, Sergei. editor.<br/><a href="https://doi.org/10.1007/978-3-319-72056-2">https://doi.org/10.1007/978-3-319-72056-2</a><br/>Format: Electronic Resources<br/>Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:2223922024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lohstroh, Marten. editor.<br/><a href="https://doi.org/10.1007/978-3-319-95246-8">https://doi.org/10.1007/978-3-319-95246-8</a><br/>Format: Electronic Resources<br/>Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2219532024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Kari, Jarkko. editor. (orcid)0000-0003-0670-6138<br/><a href="https://doi.org/10.1007/978-3-319-99498-7">https://doi.org/10.1007/978-3-319-99498-7</a><br/>Format: Electronic Resources<br/>Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2225892024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Davenport, James H. editor. (orcid)0000-0002-3982-7545<br/><a href="https://doi.org/10.1007/978-3-319-96418-8">https://doi.org/10.1007/978-3-319-96418-8</a><br/>Format: Electronic Resources<br/>Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrigent://SD_ILS/0/SD_ILS:2260442024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Heckel, Reiko. editor.<br/><a href="https://doi.org/10.1007/978-3-319-75396-6">https://doi.org/10.1007/978-3-319-75396-6</a><br/>Format: Electronic Resources<br/>Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2264902024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Galmiche, Didier. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94205-6">https://doi.org/10.1007/978-3-319-94205-6</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2255472024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lachiche, Nicolas. editor.<br/><a href="https://doi.org/10.1007/978-3-319-78090-0">https://doi.org/10.1007/978-3-319-78090-0</a><br/>Format: Electronic Resources<br/>Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2255542024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Rensink, Arend. editor. (orcid)0000-0002-1714-6319<br/><a href="https://doi.org/10.1007/978-3-319-93317-7">https://doi.org/10.1007/978-3-319-93317-7</a><br/>Format: Electronic Resources<br/>Learning Java with Gamesent://SD_ILS/0/SD_ILS:2215682024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Xu, Chong-wei. author.<br/><a href="https://doi.org/10.1007/978-3-319-72886-5">https://doi.org/10.1007/978-3-319-72886-5</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:2215862024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2237722024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Gallagher, John P. editor. (orcid)0000-0001-6984-7419<br/><a href="https://doi.org/10.1007/978-3-319-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2215442024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lahiri, Shuvendu K. editor.<br/><a href="https://doi.org/10.1007/978-3-030-01090-4">https://doi.org/10.1007/978-3-030-01090-4</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217872024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Dutle, Aaron. editor.<br/><a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2215492024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format: Electronic Resources<br/>Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217032024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472<br/><a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217062024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703<br/><a href="https://doi.org/10.1007/978-3-319-99960-9">https://doi.org/10.1007/978-3-319-99960-9</a><br/>Format: Electronic Resources<br/>Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2218092024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Braubach, Lars. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91764-1">https://doi.org/10.1007/978-3-319-91764-1</a><br/>Format: Electronic Resources<br/>Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217152024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Feng, Xinyu. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format: Electronic Resources<br/>Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2216262024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Medina-Bulo, Inmaculada. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format: Electronic Resources<br/>Introduction to Programming with Fortranent://SD_ILS/0/SD_ILS:2225342024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Chivers, Ian. author.<br/><a href="https://doi.org/10.1007/978-3-319-75502-1">https://doi.org/10.1007/978-3-319-75502-1</a><br/>Format: Electronic Resources<br/>Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2227082024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Itsykson, Vladimir. editor.<br/><a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format: Electronic Resources<br/>Programming with Actors State-of-the-Art and Research Perspectivesent://SD_ILS/0/SD_ILS:2218582024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ricci, Alessandro. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00302-9">https://doi.org/10.1007/978-3-030-00302-9</a><br/>Format: Electronic Resources<br/>Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2227482024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Pires, Luís Ferreira. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94764-8">https://doi.org/10.1007/978-3-319-94764-8</a><br/>Format: Electronic Resources<br/>Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2232482024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428<br/><a href="https://doi.org/10.1007/978-3-319-74896-2">https://doi.org/10.1007/978-3-319-74896-2</a><br/>Format: Electronic Resources<br/>It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbabent://SD_ILS/0/SD_ILS:2240762024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar de Boer, Frank. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format: Electronic Resources<br/>Speech and Language Processing for Human-Machine Communications Proceedings of CSI 2015ent://SD_ILS/0/SD_ILS:2244882024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Agrawal, S. S. editor.<br/><a href="https://doi.org/10.1007/978-981-10-6626-9">https://doi.org/10.1007/978-981-10-6626-9</a><br/>Format: Electronic Resources<br/>Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2255102024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Seidl, Martina. editor.<br/><a href="https://doi.org/10.1007/978-3-319-74730-9">https://doi.org/10.1007/978-3-319-74730-9</a><br/>Format: Electronic Resources<br/>Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2255602024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Damiani, Ernesto. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94135-6">https://doi.org/10.1007/978-3-319-94135-6</a><br/>Format: Electronic Resources<br/>On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2235082024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Debruyne, Christophe. editor.<br/><a href="https://doi.org/10.1007/978-3-319-73805-5">https://doi.org/10.1007/978-3-319-73805-5</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2230202024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Wang, Meng. editor.<br/><a href="https://doi.org/10.1007/978-3-319-89719-6">https://doi.org/10.1007/978-3-319-89719-6</a><br/>Format: Electronic Resources<br/>SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2230322024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Tjoa, A Min. editor. (orcid)0000-0002-8295-9252<br/><a href="https://doi.org/10.1007/978-3-319-73117-9">https://doi.org/10.1007/978-3-319-73117-9</a><br/>Format: Electronic Resources<br/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:2245672024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Hunt, John. author.<br/><a href="https://doi.org/10.1007/978-3-319-75771-1">https://doi.org/10.1007/978-3-319-75771-1</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2227762024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Dillig, Isil. editor.<br/><a href="https://doi.org/10.1007/978-3-319-73721-8">https://doi.org/10.1007/978-3-319-73721-8</a><br/>Format: Electronic Resources<br/>Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2227912024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931<br/><a href="https://doi.org/10.1007/978-3-030-03673-7">https://doi.org/10.1007/978-3-030-03673-7</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2225122024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Fischer, Bernd. editor. (orcid)0000-0002-1815-218X<br/><a href="https://doi.org/10.1007/978-3-030-02508-3">https://doi.org/10.1007/978-3-030-02508-3</a><br/>Format: Electronic Resources<br/>Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2247842024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lambers, Leen. editor. (orcid)0000-0001-6937-5167<br/><a href="https://doi.org/10.1007/978-3-319-92991-0">https://doi.org/10.1007/978-3-319-92991-0</a><br/>Format: Electronic Resources<br/>Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2228092024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Colombo, Christian. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format: Electronic Resources<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:2228142024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834<br/><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/>Fundamentals of Java Programmingent://SD_ILS/0/SD_ILS:2269222024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ogihara, Mitsunori. author.<br/><a href="https://doi.org/10.1007/978-3-319-89491-1">https://doi.org/10.1007/978-3-319-89491-1</a><br/>Format: Electronic Resources<br/>Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2247442024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Gallardo, María del Mar. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format: Electronic Resources<br/>Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2247452024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952<br/><a href="https://doi.org/10.1007/978-3-319-92997-2">https://doi.org/10.1007/978-3-319-92997-2</a><br/>Format: Electronic Resources<br/>Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2245662024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Black, Elizabeth. editor. (orcid)0000-0002-4295-449X<br/><a href="https://doi.org/10.1007/978-3-319-75553-3">https://doi.org/10.1007/978-3-319-75553-3</a><br/>Format: Electronic Resources<br/>Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2262792024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Avigad, Jeremy. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format: Electronic Resources<br/>Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2260212024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Cabello, Enrique. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93641-3">https://doi.org/10.1007/978-3-319-93641-3</a><br/>Format: Electronic Resources<br/>Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2249202024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Dubois, Catherine. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92994-1">https://doi.org/10.1007/978-3-319-92994-1</a><br/>Format: Electronic Resources<br/>Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2250492024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Moss, Lawrence S. editor.<br/><a href="https://doi.org/10.1007/978-3-662-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format: Electronic Resources<br/>Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2255162024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831<br/><a href="https://doi.org/10.1007/978-3-319-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format: Electronic Resources<br/>Automatic Tuning of Compilers Using Machine Learningent://SD_ILS/0/SD_ILS:2257882024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ashouri, Amir H. author.<br/><a href="https://doi.org/10.1007/978-3-319-71489-9">https://doi.org/10.1007/978-3-319-71489-9</a><br/>Format: Electronic Resources<br/>Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2255362024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Kamsties, Erik. editor. (orcid)0000-0002-7373-8466<br/><a href="https://doi.org/10.1007/978-3-319-77243-1">https://doi.org/10.1007/978-3-319-77243-1</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part Vent://SD_ILS/0/SD_ILS:2265882024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X<br/><a href="https://doi.org/10.1007/978-3-319-62404-4">https://doi.org/10.1007/978-3-319-62404-4</a><br/>Format: Electronic Resources<br/>A Practical Approach to Compiler Constructionent://SD_ILS/0/SD_ILS:2267012024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Watson, Des. author.<br/><a href="https://doi.org/10.1007/978-3-319-52789-5">https://doi.org/10.1007/978-3-319-52789-5</a><br/>Format: Electronic Resources<br/>Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:2267162024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Gibson-Robinson, Thomas. editor.<br/><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/>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:2237702024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Petrucci, Laure. editor.<br/><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/>Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2224702024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Chang, Bor-Yuh Evan. editor.<br/><a href="https://doi.org/10.1007/978-3-319-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:2214222024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Majumdar, Rupak. editor.<br/><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/>Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238282024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X<br/><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/>Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:2238292024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Aceto, Luca. editor.<br/><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/>Introduction to Compiler Designent://SD_ILS/0/SD_ILS:2213452024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Mogensen, Torben Ægidius. author.<br/><a href="https://doi.org/10.1007/978-3-319-66966-3">https://doi.org/10.1007/978-3-319-66966-3</a><br/>Format: Electronic Resources<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:2217592024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Duan, Zhenhua. editor.<br/><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/>Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2220832024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Anjorin, Anthony. editor. (orcid)0000-0001-6213-6243<br/><a href="https://doi.org/10.1007/978-3-319-61482-3">https://doi.org/10.1007/978-3-319-61482-3</a><br/>Format: Electronic Resources<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:2210572024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Legay, Axel. editor.<br/><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/>String Analysis for Software Verification and Securityent://SD_ILS/0/SD_ILS:2222092024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Bultan, Tevfik. author.<br/><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/>Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2243582024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140<br/><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/>Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semanticsent://SD_ILS/0/SD_ILS:2225492024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Draheim, Dirk. author.<br/><a href="https://doi.org/10.1007/978-3-642-55198-7">https://doi.org/10.1007/978-3-642-55198-7</a><br/>Format: Electronic Resources<br/>Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2211642024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lahiri, Shuvendu. editor.<br/><a href="https://doi.org/10.1007/978-3-319-67531-2">https://doi.org/10.1007/978-3-319-67531-2</a><br/>Format: Electronic Resources<br/>Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2252942024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Costantini, Stefania. editor.<br/><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/>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:2231062024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Jacquet, Jean-Marie. editor.<br/><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/>Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2253572024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Cranefield, Stephen. editor. (orcid)0000-0001-5638-1648<br/><a href="https://doi.org/10.1007/978-3-319-66595-5">https://doi.org/10.1007/978-3-319-66595-5</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2245172024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Proença, José. editor.<br/><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/>Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2249832024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Bouajjani, Ahmed. editor.<br/><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/>Low Level X Window Programming An Introduction by Examplesent://SD_ILS/0/SD_ILS:2255142024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Maloney, Ross J. author.<br/><a href="https://doi.org/10.1007/978-3-319-74250-2">https://doi.org/10.1007/978-3-319-74250-2</a><br/>Format: Electronic Resources<br/>Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2254262024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Martínez de Pisón, Francisco Javier. editor.<br/><a href="https://doi.org/10.1007/978-3-319-59650-1">https://doi.org/10.1007/978-3-319-59650-1</a><br/>Format: Electronic Resources<br/>Exploring Robotics with ROBOTIS Systemsent://SD_ILS/0/SD_ILS:2254282024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Thai, Chi N. author.<br/><a href="https://doi.org/10.1007/978-3-319-59831-4">https://doi.org/10.1007/978-3-319-59831-4</a><br/>Format: Electronic Resources<br/>Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2254652024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar de Supinski, Bronis R. editor.<br/><a href="https://doi.org/10.1007/978-3-319-65578-9">https://doi.org/10.1007/978-3-319-65578-9</a><br/>Format: Electronic Resources<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:2268642024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Cunha, Jácome. editor. (orcid)0000-0002-4713-3834<br/><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/>Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2212082024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990<br/><a href="https://doi.org/10.1007/978-3-319-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format: Electronic Resources<br/>Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2214212024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Dou, Yong. editor.<br/><a href="https://doi.org/10.1007/978-3-319-67952-5">https://doi.org/10.1007/978-3-319-67952-5</a><br/>Format: Electronic Resources<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:2238022024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Huisman, Marieke. editor.<br/><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/>Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238542024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Botterweck, Goetz. editor. (orcid)0000-0002-5556-1660<br/><a href="https://doi.org/10.1007/978-3-319-56856-0">https://doi.org/10.1007/978-3-319-56856-0</a><br/>Format: Electronic Resources<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:2223112024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Esparza, Javier. editor.<br/><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/>Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2264682024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Rivera, Francisco F. editor. (orcid)0000-0002-6728-9350<br/><a href="https://doi.org/10.1007/978-3-319-64203-1">https://doi.org/10.1007/978-3-319-64203-1</a><br/>Format: Electronic Resources<br/>Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2261512024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Paskevich, Andrei. editor.<br/><a href="https://doi.org/10.1007/978-3-319-72308-2">https://doi.org/10.1007/978-3-319-72308-2</a><br/>Format: Electronic Resources<br/>Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2266382024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Yevtushenko, Nina. editor. (orcid)0000-0002-4006-1161<br/><a href="https://doi.org/10.1007/978-3-319-67549-7">https://doi.org/10.1007/978-3-319-67549-7</a><br/>Format: Electronic Resources<br/>Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238112024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar de Lara, Juan. editor. (orcid)0000-0001-9425-6362<br/><a href="https://doi.org/10.1007/978-3-319-61470-0">https://doi.org/10.1007/978-3-319-61470-0</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2242972024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Barrett, Clark. editor. (orcid)0000-0002-9522-3084<br/><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/>Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2223882024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Artho, Cyrille. editor.<br/><a href="https://doi.org/10.1007/978-3-319-53946-1">https://doi.org/10.1007/978-3-319-53946-1</a><br/>Format: Electronic Resources<br/>Present and Ulterior Software Engineeringent://SD_ILS/0/SD_ILS:2225802024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948<br/><a href="https://doi.org/10.1007/978-3-319-67425-4">https://doi.org/10.1007/978-3-319-67425-4</a><br/>Format: Electronic Resources<br/>Separation Logic for High-level Synthesisent://SD_ILS/0/SD_ILS:2253752024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Winterstein, Felix. author.<br/><a href="https://doi.org/10.1007/978-3-319-53222-6">https://doi.org/10.1007/978-3-319-53222-6</a><br/>Format: Electronic Resources<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:2254752024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Hammoudi, Slimane. editor.<br/><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/>Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2258882024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar van den Herik, Jaap. editor.<br/><a href="https://doi.org/10.1007/978-3-319-53354-4">https://doi.org/10.1007/978-3-319-53354-4</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2258892024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Hung, Dang Van. editor.<br/><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/>Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2258972024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar D'Souza, Deepak. editor.<br/><a href="https://doi.org/10.1007/978-3-319-68167-2">https://doi.org/10.1007/978-3-319-68167-2</a><br/>Format: Electronic Resources<br/>Programming with Scala Language Explorationent://SD_ILS/0/SD_ILS:2259052024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Upadhyaya, Bhim P. author.<br/><a href="https://doi.org/10.1007/978-3-319-69368-2">https://doi.org/10.1007/978-3-319-69368-2</a><br/>Format: Electronic Resources<br/>ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:2260102024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926<br/><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/>Computer Graphics for Java Programmersent://SD_ILS/0/SD_ILS:2258492024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ammeraal, Leen. author.<br/><a href="https://doi.org/10.1007/978-3-319-63357-2">https://doi.org/10.1007/978-3-319-63357-2</a><br/>Format: Electronic Resources<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:2237902024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ding, Chen. editor.<br/><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/>Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238412024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X<br/><a href="https://doi.org/10.1007/978-3-319-66845-1">https://doi.org/10.1007/978-3-319-66845-1</a><br/>Format: Electronic Resources<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:2217292024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Blieberger, Johann. editor.<br/><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/>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:2238662024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar James, Phillip. editor.<br/><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/>Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2217372024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Perner, Petra. editor.<br/><a href="https://doi.org/10.1007/978-3-319-62701-4">https://doi.org/10.1007/978-3-319-62701-4</a><br/>Format: Electronic Resources<br/>Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2252792024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331<br/><a href="https://doi.org/10.1007/978-3-319-65948-0">https://doi.org/10.1007/978-3-319-65948-0</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2231042024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899<br/><a href="https://doi.org/10.1007/978-3-319-66284-8">https://doi.org/10.1007/978-3-319-66284-8</a><br/>Format: Electronic Resources<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:2231082024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Abate, Alessandro. editor.<br/><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/>Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238732024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Menzies, Tim. editor. (orcid)0000-0002-5040-3196<br/><a href="https://doi.org/10.1007/978-3-319-66299-2">https://doi.org/10.1007/978-3-319-66299-2</a><br/>Format: Electronic Resources<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:2239672024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Strichman, Ofer. editor.<br/><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/>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:2239702024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X<br/><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/>Guide to Scientific Computing in C++ent://SD_ILS/0/SD_ILS:2233402024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Pitt-Francis, Joe. author.<br/><a href="https://doi.org/10.1007/978-3-319-73132-2">https://doi.org/10.1007/978-3-319-73132-2</a><br/>Format: Electronic Resources<br/>Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2237592024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905<br/><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/>Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2265232024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Geuvers, Herman. editor. (orcid)0000-0003-2522-2980<br/><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/>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:2266172024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Schmidt, Renate A. editor.<br/><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/>Advanced Finite Element Simulation with MSC Marc Application of User Subroutinesent://SD_ILS/0/SD_ILS:2251632024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Javanbakht, Zia. author.<br/><a href="https://doi.org/10.1007/978-3-319-47668-1">https://doi.org/10.1007/978-3-319-47668-1</a><br/>Format: Electronic Resources<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:2237582024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Legay, Axel. editor.<br/><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/>Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2254062024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar ten Teije, Annette. editor. (orcid)0000-0002-9771-8822<br/><a href="https://doi.org/10.1007/978-3-319-59758-4">https://doi.org/10.1007/978-3-319-59758-4</a><br/>Format: Electronic Resources<br/>Foundations of Programming Languagesent://SD_ILS/0/SD_ILS:2255942024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lee, Kent D. author.<br/><a href="https://doi.org/10.1007/978-3-319-70790-7">https://doi.org/10.1007/978-3-319-70790-7</a><br/>Format: Electronic Resources<br/>Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2259932024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ouhammou, Yassine. editor. (orcid)0000-0003-3776-4736<br/><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/>Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lecturesent://SD_ILS/0/SD_ILS:2252692024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140<br/><a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format: Electronic Resources<br/>Programming Language Conceptsent://SD_ILS/0/SD_ILS:2231692024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Sestoft, Peter. author.<br/><a href="https://doi.org/10.1007/978-3-319-60789-4">https://doi.org/10.1007/978-3-319-60789-4</a><br/>Format: Electronic Resources<br/>Smart Card Research and Advanced Applications 15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2225602024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lemke-Rust, Kerstin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-54669-8">https://doi.org/10.1007/978-3-319-54669-8</a><br/>Format: Electronic Resources<br/>Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2235072024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Dang, Tran Khanh. editor.<br/><a href="https://doi.org/10.1007/978-3-319-70004-5">https://doi.org/10.1007/978-3-319-70004-5</a><br/>Format: Electronic Resources<br/>Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2253592024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ranzato, Francesco. editor. (orcid)0000-0003-0159-0068<br/><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/>High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2237322024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Kunkel, Julian M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-67630-2">https://doi.org/10.1007/978-3-319-67630-2</a><br/>Format: Electronic Resources<br/>Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2237392024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Cabello, Enrique. editor.<br/><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/>Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexityent://SD_ILS/0/SD_ILS:2240222024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Zeume, Thomas. author.<br/><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/>Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2253472024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448<br/><a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format: Electronic Resources<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:2232572024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278<br/><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/>Software Engineering: Specification, Implementation, Verificationent://SD_ILS/0/SD_ILS:2250322024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Alagić, Suad. author.<br/><a href="https://doi.org/10.1007/978-3-319-61518-9">https://doi.org/10.1007/978-3-319-61518-9</a><br/>Format: Electronic Resources<br/>Economics of Grids, Clouds, Systems, and Services 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2245442024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Pham, Congduc. editor.<br/><a href="https://doi.org/10.1007/978-3-319-68066-8">https://doi.org/10.1007/978-3-319-68066-8</a><br/>Format: Electronic Resources<br/>Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2244622024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lopes, Antónia. editor.<br/><a href="https://doi.org/10.1007/978-3-319-65831-5">https://doi.org/10.1007/978-3-319-65831-5</a><br/>Format: Electronic Resources<br/>PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2254902024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar An, Bo. editor. (orcid)0000-0002-7064-7438<br/><a href="https://doi.org/10.1007/978-3-319-69131-2">https://doi.org/10.1007/978-3-319-69131-2</a><br/>Format: Electronic Resources<br/>AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2252142024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Esposito, Floriana. editor. (orcid)0000-0002-1075-3239<br/><a href="https://doi.org/10.1007/978-3-319-70169-1">https://doi.org/10.1007/978-3-319-70169-1</a><br/>Format: Electronic Resources<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:2256912024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Csöndes, Tibor. editor.<br/><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/>Machine Learning with Rent://SD_ILS/0/SD_ILS:2257702024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ghatak, Abhijit. author.<br/><a href="https://doi.org/10.1007/978-981-10-6808-9">https://doi.org/10.1007/978-981-10-6808-9</a><br/>Format: Electronic Resources<br/>Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2257092024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091<br/><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/>Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2257322024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794<br/><a href="https://doi.org/10.1007/978-3-319-68953-1">https://doi.org/10.1007/978-3-319-68953-1</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2248572024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899<br/><a href="https://doi.org/10.1007/978-3-319-66266-4">https://doi.org/10.1007/978-3-319-66266-4</a><br/>Format: Electronic Resources<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:2241992024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Yang, Hongseok. editor.<br/><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/>Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2254892024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Dastani, Mehdi. editor.<br/><a href="https://doi.org/10.1007/978-3-319-68972-2">https://doi.org/10.1007/978-3-319-68972-2</a><br/>Format: Electronic Resources<br/>Service-Oriented Computing – ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2254022024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Drira, Khalil. editor.<br/><a href="https://doi.org/10.1007/978-3-319-68136-8">https://doi.org/10.1007/978-3-319-68136-8</a><br/>Format: Electronic Resources<br/>Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:176502024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Remke, Anne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31559-1">http://dx.doi.org/10.1007/978-3-319-31559-1</a><br/>Format: Electronic Resources<br/>Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:174542024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lorenz, Pascal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30142-6">http://dx.doi.org/10.1007/978-3-319-30142-6</a><br/>Format: Electronic Resources<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:174772024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Yakovyna, Vitaliy. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30246-1">http://dx.doi.org/10.1007/978-3-319-30246-1</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179602024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Bertogna, Marko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39083-3">http://dx.doi.org/10.1007/978-3-319-39083-3</a><br/>Format: Electronic Resources<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:179172024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34096-8">http://dx.doi.org/10.1007/978-3-319-34096-8</a><br/>Format: Electronic Resources<br/>Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179292024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Kapitsaki, Georgia M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-35122-3">http://dx.doi.org/10.1007/978-3-319-35122-3</a><br/>Format: Electronic Resources<br/>Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:181662024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Mazzara, Manuel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41579-6">http://dx.doi.org/10.1007/978-3-319-41579-6</a><br/>Format: Electronic Resources<br/>Understanding Control Flow Concurrent Programming Using μC++ent://SD_ILS/0/SD_ILS:169912024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Buhr, Peter A. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25703-7">http://dx.doi.org/10.1007/978-3-319-25703-7</a><br/>Format: Electronic Resources<br/>Numeric Computation and Statistical Data Analysis on the Java Platforment://SD_ILS/0/SD_ILS:172602024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Chekanov, Sergei V. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28531-3">http://dx.doi.org/10.1007/978-3-319-28531-3</a><br/>Format: Electronic Resources<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:172272024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Gavanelli, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28228-2">http://dx.doi.org/10.1007/978-3-319-28228-2</a><br/>Format: Electronic Resources<br/>Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedingsent://SD_ILS/0/SD_ILS:178612024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Butler, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33600-8">http://dx.doi.org/10.1007/978-3-319-33600-8</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedingsent://SD_ILS/0/SD_ILS:178752024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ábrahám, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33693-0">http://dx.doi.org/10.1007/978-3-319-33693-0</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:179632024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Serrano, Manuel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39110-6">http://dx.doi.org/10.1007/978-3-319-39110-6</a><br/>Format: Electronic Resources<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:180042024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lluch Lafuente, Alberto. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39519-7">http://dx.doi.org/10.1007/978-3-319-39519-7</a><br/>Format: Electronic Resources<br/>Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedingsent://SD_ILS/0/SD_ILS:181632024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Perner, Petra. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41561-1">http://dx.doi.org/10.1007/978-3-319-41561-1</a><br/>Format: Electronic Resources<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:181672024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar De Nicola, Rocco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41591-8">http://dx.doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Electronic Resources<br/>Scala: From a Functional Programming Perspective An Introduction to the Programming Languageent://SD_ILS/0/SD_ILS:183892024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Torra, Vicenç. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46481-7">http://dx.doi.org/10.1007/978-3-319-46481-7</a><br/>Format: Electronic Resources<br/>Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184112024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Falcone, Yliès. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46982-9">http://dx.doi.org/10.1007/978-3-319-46982-9</a><br/>Format: Electronic Resources<br/>Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183032024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Bogdan, Cristian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44902-9">http://dx.doi.org/10.1007/978-3-319-44902-9</a><br/>Format: Electronic Resources<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:176132024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Liu, Shaoying. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31220-0">http://dx.doi.org/10.1007/978-3-319-31220-0</a><br/>Format: Electronic Resources<br/>Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:175492024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Ábrahám, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30734-3">http://dx.doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Electronic Resources<br/>Transactions on Modularity and Composition Ient://SD_ILS/0/SD_ILS:184102024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Chiba, Shigeru. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46969-0">http://dx.doi.org/10.1007/978-3-319-46969-0</a><br/>Format: Electronic Resources<br/>Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183612024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar ter Beek, Maurice H. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45943-1">http://dx.doi.org/10.1007/978-3-319-45943-1</a><br/>Format: Electronic Resources<br/>System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedingsent://SD_ILS/0/SD_ILS:183992024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Grabowski, Jens. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46613-2">http://dx.doi.org/10.1007/978-3-319-46613-2</a><br/>Format: Electronic Resources<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:186452024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Thiemann, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49498-1">http://dx.doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>PRIMA 2016: Princiles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183002024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Baldoni, Matteo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44832-9">http://dx.doi.org/10.1007/978-3-319-44832-9</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:173862024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Kiselyov, Oleg. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29604-3">http://dx.doi.org/10.1007/978-3-319-29604-3</a><br/>Format: Electronic Resources<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:173882024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Gurfinkel, Arie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29613-5">http://dx.doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:173712024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Artho, Cyrille. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29510-7">http://dx.doi.org/10.1007/978-3-319-29510-7</a><br/>Format: Electronic Resources<br/>Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedingsent://SD_ILS/0/SD_ILS:173652024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Cornélio, Márcio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29473-5">http://dx.doi.org/10.1007/978-3-319-29473-5</a><br/>Format: Electronic Resources<br/>Model-Based Systems Engineering with OPM and SysMLent://SD_ILS/0/SD_ILS:164732024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Dori, Dov. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4939-3295-5">http://dx.doi.org/10.1007/978-1-4939-3295-5</a><br/>Format: Electronic Resources<br/>Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182452024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Dutot, Pierre-François. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43659-3">http://dx.doi.org/10.1007/978-3-319-43659-3</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:173072024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Braga, Christiano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28934-2">http://dx.doi.org/10.1007/978-3-319-28934-2</a><br/>Format: Electronic Resources<br/>Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:182972024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lucanu, Dorel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44802-2">http://dx.doi.org/10.1007/978-3-319-44802-2</a><br/>Format: Electronic Resources<br/>Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183192024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Castor, Fernando. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45279-1">http://dx.doi.org/10.1007/978-3-319-45279-1</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183282024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Skavhaug, Amund. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45477-1">http://dx.doi.org/10.1007/978-3-319-45477-1</a><br/>Format: Electronic Resources<br/>OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183352024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Maruyama, Naoya. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45550-1">http://dx.doi.org/10.1007/978-3-319-45550-1</a><br/>Format: Electronic Resources<br/>Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdaysent://SD_ILS/0/SD_ILS:171912024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Probst, Christian W. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27810-0">http://dx.doi.org/10.1007/978-3-319-27810-0</a><br/>Format: Electronic Resources<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:175792024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Lindley, Sam. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30936-1">http://dx.doi.org/10.1007/978-3-319-30936-1</a><br/>Format: Electronic Resources<br/>Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180682024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Olivetti, Nicola. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40229-1">http://dx.doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Electronic Resources<br/>Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183562024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Crnkovic, Ivica. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45892-2">http://dx.doi.org/10.1007/978-3-319-45892-2</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181172024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Rayadurgam, Sanjai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40648-0">http://dx.doi.org/10.1007/978-3-319-40648-0</a><br/>Format: Electronic Resources<br/>Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181392024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Aichernig, Bernhard K. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41135-4">http://dx.doi.org/10.1007/978-3-319-41135-4</a><br/>Format: Electronic Resources<br/>Using Microsoft Dynamics AX The New Dynamics ‘AX 7‘ent://SD_ILS/0/SD_ILS:185032024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Luszczak, Andreas. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-13622-2">http://dx.doi.org/10.1007/978-3-658-13622-2</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182132024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Kohlhase, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42547-4">http://dx.doi.org/10.1007/978-3-319-42547-4</a><br/>Format: Electronic Resources<br/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:183932024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Steffen, Bernhard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46508-1">http://dx.doi.org/10.1007/978-3-319-46508-1</a><br/>Format: Electronic Resources<br/>Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lecturesent://SD_ILS/0/SD_ILS:173902024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Liu, Zhiming. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29628-9">http://dx.doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Electronic Resources<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:174092024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Shen, Xipeng. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29778-1">http://dx.doi.org/10.1007/978-3-319-29778-1</a><br/>Format: Electronic Resources<br/>More Math Into LaTeXent://SD_ILS/0/SD_ILS:168802024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Grätzer, George. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23796-1">http://dx.doi.org/10.1007/978-3-319-23796-1</a><br/>Format: Electronic Resources<br/>Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:177622024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Bošnački, Dragan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32582-8">http://dx.doi.org/10.1007/978-3-319-32582-8</a><br/>Format: Electronic Resources<br/>Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181112024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Devitt, Simon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40578-0">http://dx.doi.org/10.1007/978-3-319-40578-0</a><br/>Format: Electronic Resources<br/>Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181852024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Wąsowski, Andrzej. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42061-5">http://dx.doi.org/10.1007/978-3-319-42061-5</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186522024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Jacobs, Bart. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49630-5">http://dx.doi.org/10.1007/978-3-662-49630-5</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186542024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Stevens, Perdita. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49665-7">http://dx.doi.org/10.1007/978-3-662-49665-7</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186552024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Chechik, Marsha. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49674-9">http://dx.doi.org/10.1007/978-3-662-49674-9</a><br/>Format: Electronic Resources<br/>Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186892024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Rival, Xavier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53413-7">http://dx.doi.org/10.1007/978-3-662-53413-7</a><br/>Format: Electronic Resources<br/>Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184152024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Sarro, Federica. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-47106-8">http://dx.doi.org/10.1007/978-3-319-47106-8</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:186212024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Jobstmann, Barbara. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49122-5">http://dx.doi.org/10.1007/978-3-662-49122-5</a><br/>Format: Electronic Resources<br/>Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lecturesent://SD_ILS/0/SD_ILS:228752024-06-12T23:08:55Z2024-06-12T23:08:55ZYazar Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18941-3">http://dx.doi.org/10.1007/978-3-319-18941-3</a><br/>Format: Electronic Resources<br/>