Search Results for - Narrowed by: Springer E-Book Collection - TEDU library - Programming Techniques.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dLIBRARY$002509K$0025C3$0025BCt$0025C3$0025BCphane$0025091$00253ATEDU$002509TEDU$002blibrary$0026qf$003dSUBJECT$002509Konu$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026ps$003d300$0026isd$003dtrue?2024-05-29T05:38:30ZThe Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Scienceent://SD_ILS/0/SD_ILS:4283162024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Geshi, Masaaki. editor.<br/><a href="https://doi.org/10.1007/978-981-13-9802-5">https://doi.org/10.1007/978-981-13-9802-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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4278472024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Bjørner, Nikolaj. editor.<br/><a href="https://doi.org/10.1007/978-3-030-37487-7">https://doi.org/10.1007/978-3-030-37487-7</a><br/>Format: Electronic Resources<br/>Tools for High Performance Computing 2017 Proceedings of the 11th International Workshop on Parallel Tools for High Performance Computing, September 2017, Dresden, Germanyent://SD_ILS/0/SD_ILS:4283092024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Niethammer, Christoph. editor.<br/><a href="https://doi.org/10.1007/978-3-030-11987-4">https://doi.org/10.1007/978-3-030-11987-4</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Projectent://SD_ILS/0/SD_ILS:4283992024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Sato, Mitsuhisa. editor.<br/><a href="https://doi.org/10.1007/978-981-13-1924-2">https://doi.org/10.1007/978-981-13-1924-2</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288202024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4278022024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4280132024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281442024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4290002024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Learning C# by Programming Gamesent://SD_ILS/0/SD_ILS:4289262024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Designing Thriving Systems Marrying Technical Rationality and Appreciative Systemsent://SD_ILS/0/SD_ILS:4276982024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Waguespack, Leslie J. author.<br/><a href="https://doi.org/10.1007/978-3-030-03925-7">https://doi.org/10.1007/978-3-030-03925-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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4282432024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Modeling and Optimization in Space Engineering State of the Art and New Challengesent://SD_ILS/0/SD_ILS:4282802024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Fasano, Giorgio. editor.<br/><a href="https://doi.org/10.1007/978-3-030-10501-3">https://doi.org/10.1007/978-3-030-10501-3</a><br/>Format: Electronic Resources<br/>Concise Guide to Object-Oriented Programming An Accessible Approach Using Javaent://SD_ILS/0/SD_ILS:4287302024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Sage, Kingsley. author.<br/><a href="https://doi.org/10.1007/978-3-030-13304-7">https://doi.org/10.1007/978-3-030-13304-7</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Deep Learning with Rent://SD_ILS/0/SD_ILS:4289382024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Ghatak, Abhijit. author.<br/><a href="https://doi.org/10.1007/978-981-13-5850-0">https://doi.org/10.1007/978-981-13-5850-0</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposesent://SD_ILS/0/SD_ILS:4288592024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Geshi, Masaaki. editor.<br/><a href="https://doi.org/10.1007/978-981-13-6194-4">https://doi.org/10.1007/978-981-13-6194-4</a><br/>Format: Electronic Resources<br/>Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4291842024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106<br/><a href="https://doi.org/10.1007/978-3-030-36592-9">https://doi.org/10.1007/978-3-030-36592-9</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Deep Reinforcement Learning Frontiers of Artificial Intelligenceent://SD_ILS/0/SD_ILS:4291002024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Sewak, Mohit. author.<br/><a href="https://doi.org/10.1007/978-981-13-8285-7">https://doi.org/10.1007/978-981-13-8285-7</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289612024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Peng, Xin. editor.<br/><a href="https://doi.org/10.1007/978-3-030-22888-0">https://doi.org/10.1007/978-3-030-22888-0</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2250492024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2237722024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2246062024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303<br/><a href="https://doi.org/10.1007/978-3-319-77313-1">https://doi.org/10.1007/978-3-319-77313-1</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Learning Java with Gamesent://SD_ILS/0/SD_ILS:2215682024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2221062024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:2245672024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2221342024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2224812024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Algorithms for Functional Programmingent://SD_ILS/0/SD_ILS:2224822024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Stone, John David. author.<br/><a href="https://doi.org/10.1007/978-3-662-57970-1">https://doi.org/10.1007/978-3-662-57970-1</a><br/>Format: Electronic Resources<br/>Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platformsent://SD_ILS/0/SD_ILS:2223972024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Trobec, Roman. author.<br/><a href="https://doi.org/10.1007/978-3-319-98833-7">https://doi.org/10.1007/978-3-319-98833-7</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2220052024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar El Fallah-Seghrouchni, Amal. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91899-0">https://doi.org/10.1007/978-3-319-91899-0</a><br/>Format: Electronic Resources<br/>Programming with Actors State-of-the-Art and Research Perspectivesent://SD_ILS/0/SD_ILS:2218582024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2225892024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lecturesent://SD_ILS/0/SD_ILS:2225222024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Introduction to Programming with Fortranent://SD_ILS/0/SD_ILS:2225342024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2214902024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849<br/><a href="https://doi.org/10.1007/978-3-030-00178-0">https://doi.org/10.1007/978-3-030-00178-0</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Towards Extensible and Adaptable Methods in Computingent://SD_ILS/0/SD_ILS:2224942024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Chakraverty, Shampa. editor.<br/><a href="https://doi.org/10.1007/978-981-13-2348-5">https://doi.org/10.1007/978-981-13-2348-5</a><br/>Format: Electronic Resources<br/>Guide to Programming for the Digital Humanities Lessons for Introductory Pythonent://SD_ILS/0/SD_ILS:2225112024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Kokensparger, Brian. author.<br/><a href="https://doi.org/10.1007/978-3-319-99115-3">https://doi.org/10.1007/978-3-319-99115-3</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217832024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:2217862024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786<br/><a href="https://doi.org/10.1007/978-3-319-78054-2">https://doi.org/10.1007/978-3-319-78054-2</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Systems Programming in Unix/Linuxent://SD_ILS/0/SD_ILS:2211292024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:2212622024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2216062024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2219782024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2219872024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2221692024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948ent://SD_ILS/0/SD_ILS:2216352024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Priestley, Mark. author.<br/><a href="https://doi.org/10.1007/978-3-319-91671-2">https://doi.org/10.1007/978-3-319-91671-2</a><br/>Format: Electronic Resources<br/>Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2220062024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Seipel, Dietmar. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format: Electronic Resources<br/>Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2224112024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbabent://SD_ILS/0/SD_ILS:2240762024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2221282024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2255002024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682<br/><a href="https://doi.org/10.1007/978-3-319-73814-7">https://doi.org/10.1007/978-3-319-73814-7</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2255472024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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 Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2249302024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Beyersdorff, Olaf. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format: Electronic Resources<br/>Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2264892024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Liu, Peng. editor.<br/><a href="https://doi.org/10.1007/978-3-319-74860-3">https://doi.org/10.1007/978-3-319-74860-3</a><br/>Format: Electronic Resources<br/>Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2260212024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Fundamentals of Java Programmingent://SD_ILS/0/SD_ILS:2269222024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Affective Feedback in Intelligent Tutoring Systems A Practical Approachent://SD_ILS/0/SD_ILS:2268482024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Jiménez, Samantha. author.<br/><a href="https://doi.org/10.1007/978-3-319-93197-5">https://doi.org/10.1007/978-3-319-93197-5</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrigent://SD_ILS/0/SD_ILS:2260442024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lecturesent://SD_ILS/0/SD_ILS:2252692024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Machine Learning with Rent://SD_ILS/0/SD_ILS:2257702024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2242112024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Cussens, James. editor.<br/><a href="https://doi.org/10.1007/978-3-319-63342-8">https://doi.org/10.1007/978-3-319-63342-8</a><br/>Format: Electronic Resources<br/>Snake Charming - The Musical Pythonent://SD_ILS/0/SD_ILS:2210482024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Gray, Iain. author.<br/><a href="https://doi.org/10.1007/978-3-319-60660-6">https://doi.org/10.1007/978-3-319-60660-6</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2258882024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>LaTeX in 24 Hours A Practical Guide for Scientific Writingent://SD_ILS/0/SD_ILS:2251002024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Datta, Dilip. author.<br/><a href="https://doi.org/10.1007/978-3-319-47831-9">https://doi.org/10.1007/978-3-319-47831-9</a><br/>Format: Electronic Resources<br/>High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2259782024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Di Napoli, Edoardo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-53862-4">https://doi.org/10.1007/978-3-319-53862-4</a><br/>Format: Electronic Resources<br/>Guide to Competitive Programming Learning and Improving Algorithms Through Contestsent://SD_ILS/0/SD_ILS:2263182024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Laaksonen, Antti. author.<br/><a href="https://doi.org/10.1007/978-3-319-72547-5">https://doi.org/10.1007/978-3-319-72547-5</a><br/>Format: Electronic Resources<br/>Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2257202024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106<br/><a href="https://doi.org/10.1007/978-3-319-71255-0">https://doi.org/10.1007/978-3-319-71255-0</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Guide to Scientific Computing in C++ent://SD_ILS/0/SD_ILS:2233402024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2242972024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238282024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3–7, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2249682024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918<br/><a href="https://doi.org/10.1007/978-3-319-67035-5">https://doi.org/10.1007/978-3-319-67035-5</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2234762024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Gabmeyer, Sebastian. editor. (orcid)0000-0002-4097-9917<br/><a href="https://doi.org/10.1007/978-3-319-61467-0">https://doi.org/10.1007/978-3-319-61467-0</a><br/>Format: Electronic Resources<br/>Handbook of Big Data Technologiesent://SD_ILS/0/SD_ILS:2236202024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Zomaya, Albert Y. editor.<br/><a href="https://doi.org/10.1007/978-3-319-49340-4">https://doi.org/10.1007/978-3-319-49340-4</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Conversations Around Semiotic Engineeringent://SD_ILS/0/SD_ILS:2245802024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Diniz Junqueira Barbosa, Simone. editor.<br/><a href="https://doi.org/10.1007/978-3-319-56291-9">https://doi.org/10.1007/978-3-319-56291-9</a><br/>Format: Electronic Resources<br/>Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexityent://SD_ILS/0/SD_ILS:2240222024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:2214222024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2224702024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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 Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2212082024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2211642024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Provably Correct Systemsent://SD_ILS/0/SD_ILS:2240902024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Hinchey, Mike. editor.<br/><a href="https://doi.org/10.1007/978-3-319-48628-4">https://doi.org/10.1007/978-3-319-48628-4</a><br/>Format: Electronic Resources<br/>Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papersent://SD_ILS/0/SD_ILS:2220822024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Namazi-Rad, Mohammad-Reza. editor.<br/><a href="https://doi.org/10.1007/978-3-319-51957-9">https://doi.org/10.1007/978-3-319-51957-9</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2240032024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Balduccini, Marcello. editor.<br/><a href="https://doi.org/10.1007/978-3-319-61660-5">https://doi.org/10.1007/978-3-319-61660-5</a><br/>Format: Electronic Resources<br/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Fluid Dynamics Theory, Computation, and Numerical Simulationent://SD_ILS/0/SD_ILS:2243022024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Pozrikidis, C. author.<br/><a href="https://doi.org/10.1007/978-1-4899-7991-9">https://doi.org/10.1007/978-1-4899-7991-9</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2252942024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2253972024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Drewes, Frank. editor.<br/><a href="https://doi.org/10.1007/978-3-319-53733-7">https://doi.org/10.1007/978-3-319-53733-7</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2254892024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Low Level X Window Programming An Introduction by Examplesent://SD_ILS/0/SD_ILS:2255142024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2257092024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2259932024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:2267162024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:173862024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Collaborative Quality Assurance in Information Systems Development The Interaction of Software Development Techniques and Team Cognitionent://SD_ILS/0/SD_ILS:169642024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Spohrer, Kai. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25163-9">http://dx.doi.org/10.1007/978-3-319-25163-9</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179292024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Scala: From a Functional Programming Perspective An Introduction to the Programming Languageent://SD_ILS/0/SD_ILS:183892024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Random-Like Bi-level Decision Makingent://SD_ILS/0/SD_ILS:191572024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Xu, Jiuping. author.<br/><a href="http://dx.doi.org/10.1007/978-981-10-1768-1">http://dx.doi.org/10.1007/978-981-10-1768-1</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:183932024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184112024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184152024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183192024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:177112024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Wyrzykowski, Roman. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32149-3">http://dx.doi.org/10.1007/978-3-319-32149-3</a><br/>Format: Electronic Resources<br/>Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:177122024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Wyrzykowski, Roman. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32152-3">http://dx.doi.org/10.1007/978-3-319-32152-3</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:181092024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Inoue, Katsumi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40566-7">http://dx.doi.org/10.1007/978-3-319-40566-7</a><br/>Format: Electronic Resources<br/>Retrogame Archeology Exploring Old Computer Gamesent://SD_ILS/0/SD_ILS:174392024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Aycock, John. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30004-7">http://dx.doi.org/10.1007/978-3-319-30004-7</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181172024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Understanding Control Flow Concurrent Programming Using μC++ent://SD_ILS/0/SD_ILS:169912024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Introduction to HPC with MPI for Data Scienceent://SD_ILS/0/SD_ILS:167372024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Nielsen, Frank. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21903-5">http://dx.doi.org/10.1007/978-3-319-21903-5</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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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-05-29T05:38:30Z2024-05-29T05:38:30ZYazar 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/>Genetic Programming Theory and Practice XIIent://SD_ILS/0/SD_ILS:224822024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Riolo, Rick. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16030-6">http://dx.doi.org/10.1007/978-3-319-16030-6</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:226932024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Brodman, James. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17473-0">http://dx.doi.org/10.1007/978-3-319-17473-0</a><br/>Format: Electronic Resources<br/>Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:222802024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Eiter, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14726-0">http://dx.doi.org/10.1007/978-3-319-14726-0</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234072024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Finkbeiner, Bernd. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24953-7">http://dx.doi.org/10.1007/978-3-319-24953-7</a><br/>Format: Electronic Resources<br/>Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:230262024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Dimov, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20239-6">http://dx.doi.org/10.1007/978-3-319-20239-6</a><br/>Format: Electronic Resources<br/>Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233472024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Lutz, Carsten. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24246-0">http://dx.doi.org/10.1007/978-3-319-24246-0</a><br/>Format: Electronic Resources<br/>Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedingsent://SD_ILS/0/SD_ILS:231172024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Blanchette, Jasmin Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21215-9">http://dx.doi.org/10.1007/978-3-319-21215-9</a><br/>Format: Electronic Resources<br/>Object-Oriented Technologyent://SD_ILS/0/SD_ILS:230472024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Alagić, Suad. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20442-0">http://dx.doi.org/10.1007/978-3-319-20442-0</a><br/>Format: Electronic Resources<br/>Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papersent://SD_ILS/0/SD_ILS:235122024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Combemale, Benoit. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26172-0">http://dx.doi.org/10.1007/978-3-319-26172-0</a><br/>Format: Electronic Resources<br/>Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papersent://SD_ILS/0/SD_ILS:235142024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Baldoni, Matteo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26184-3">http://dx.doi.org/10.1007/978-3-319-26184-3</a><br/>Format: Electronic Resources<br/>Programming Smalltalk – Object-Orientation from the Beginning An introduction to the principles of programmingent://SD_ILS/0/SD_ILS:242702024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Brauer, Johannes. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-06823-3">http://dx.doi.org/10.1007/978-3-658-06823-3</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedingsent://SD_ILS/0/SD_ILS:248882024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Davis, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48899-7">http://dx.doi.org/10.1007/978-3-662-48899-7</a><br/>Format: Electronic Resources<br/>An Introduction to Python and Computer Programmingent://SD_ILS/0/SD_ILS:259582024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Zhang, Yue. author.<br/><a href="http://dx.doi.org/10.1007/978-981-287-609-6">http://dx.doi.org/10.1007/978-981-287-609-6</a><br/>Format: Electronic Resources<br/>Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:232822024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Calimeri, Francesco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23264-5">http://dx.doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Electronic Resources<br/>Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:233852024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Dastani, Mehdi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24644-4">http://dx.doi.org/10.1007/978-3-319-24644-4</a><br/>Format: Electronic Resources<br/>Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lecturesent://SD_ILS/0/SD_ILS:236182024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Meyer, Bertrand. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28406-4">http://dx.doi.org/10.1007/978-3-319-28406-4</a><br/>Format: Electronic Resources<br/>Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231972024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Barros, Márcio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22183-0">http://dx.doi.org/10.1007/978-3-319-22183-0</a><br/>Format: Electronic Resources<br/>Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236202024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Pop, Florin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28448-4">http://dx.doi.org/10.1007/978-3-319-28448-4</a><br/>Format: Electronic Resources<br/>Transactions on Aspect-Oriented Software Development XIIent://SD_ILS/0/SD_ILS:247742024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Chiba, Shigeru. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46734-3">http://dx.doi.org/10.1007/978-3-662-46734-3</a><br/>Format: Electronic Resources<br/>Building Secure Defenses Against Code-Reuse Attacksent://SD_ILS/0/SD_ILS:234642024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Davi, Lucas. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25546-0">http://dx.doi.org/10.1007/978-3-319-25546-0</a><br/>Format: Electronic Resources<br/>Agent Environments for Multi-Agent Systems IV 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:233182024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Weyns, Danny. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23850-0">http://dx.doi.org/10.1007/978-3-319-23850-0</a><br/>Format: Electronic Resources<br/>Object-Oriented Analysis, Design and Implementation An Integrated Approachent://SD_ILS/0/SD_ILS:233532024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Dathan, Brahma. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24280-4">http://dx.doi.org/10.1007/978-3-319-24280-4</a><br/>Format: Electronic Resources<br/>Software Engineering for Collective Autonomic Systems The ASCENS Approachent://SD_ILS/0/SD_ILS:225342024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Wirsing, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16310-9">http://dx.doi.org/10.1007/978-3-319-16310-9</a><br/>Format: Electronic Resources<br/>Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:234612024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Bodei, Chiara. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25527-9">http://dx.doi.org/10.1007/978-3-319-25527-9</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedingsent://SD_ILS/0/SD_ILS:227032024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Havelund, Klaus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17524-9">http://dx.doi.org/10.1007/978-3-319-17524-9</a><br/>Format: Electronic Resources<br/>Guide to High Performance Distributed Computing Case Studies with Hadoop, Scalding and Sparkent://SD_ILS/0/SD_ILS:220932024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Srinivasa, K.G. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13497-0">http://dx.doi.org/10.1007/978-3-319-13497-0</a><br/>Format: Electronic Resources<br/>Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77ent://SD_ILS/0/SD_ILS:227302024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Chivers, Ian. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17701-4">http://dx.doi.org/10.1007/978-3-319-17701-4</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:222692024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Hage, Jurriaan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14675-1">http://dx.doi.org/10.1007/978-3-319-14675-1</a><br/>Format: Electronic Resources<br/>Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:224682024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Zsók, Viktória. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15940-9">http://dx.doi.org/10.1007/978-3-319-15940-9</a><br/>Format: Electronic Resources<br/>Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:224732024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Markidis, Stefano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15976-8">http://dx.doi.org/10.1007/978-3-319-15976-8</a><br/>Format: Electronic Resources<br/>Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementationent://SD_ILS/0/SD_ILS:226132024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Štuikys, Vytautas. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16913-2">http://dx.doi.org/10.1007/978-3-319-16913-2</a><br/>Format: Electronic Resources<br/>Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineeringent://SD_ILS/0/SD_ILS:224202024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Seffah, Ahmed. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15687-3">http://dx.doi.org/10.1007/978-3-319-15687-3</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234522024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Butler, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25423-4">http://dx.doi.org/10.1007/978-3-319-25423-4</a><br/>Format: Electronic Resources<br/>Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:232702024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Martí-Oliet, Narciso. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23165-5">http://dx.doi.org/10.1007/978-3-319-23165-5</a><br/>Format: Electronic Resources<br/>Intelligent Cloud Computing First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:229922024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Al-Saidi, Asma. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19848-4">http://dx.doi.org/10.1007/978-3-319-19848-4</a><br/>Format: Electronic Resources<br/>Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthdayent://SD_ILS/0/SD_ILS:233002024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Beklemishev, Lev D. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23534-9">http://dx.doi.org/10.1007/978-3-319-23534-9</a><br/>Format: Electronic Resources<br/>Data Structures and Algorithms with Pythonent://SD_ILS/0/SD_ILS:220082024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Lee, Kent D. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13072-9">http://dx.doi.org/10.1007/978-3-319-13072-9</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:223652024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Lanese, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15317-9">http://dx.doi.org/10.1007/978-3-319-15317-9</a><br/>Format: Electronic Resources<br/>Parallel Scientific Computing Theory, Algorithms, and Applications of Mesh Based and Meshless Methodsent://SD_ILS/0/SD_ILS:226342024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Trobec, Roman. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17073-2">http://dx.doi.org/10.1007/978-3-319-17073-2</a><br/>Format: Electronic Resources<br/>Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233592024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar De Nivelle, Hans. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24312-2">http://dx.doi.org/10.1007/978-3-319-24312-2</a><br/>Format: Electronic Resources<br/>Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232632024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Walsh, Toby. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23114-3">http://dx.doi.org/10.1007/978-3-319-23114-3</a><br/>Format: Electronic Resources<br/>Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedingsent://SD_ILS/0/SD_ILS:231122024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Taentzer, Gabriele. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21151-0">http://dx.doi.org/10.1007/978-3-319-21151-0</a><br/>Format: Electronic Resources<br/>Real-Time Visual Effects for Game Programmingent://SD_ILS/0/SD_ILS:259362024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Kim, Chang-Hun. author.<br/><a href="http://dx.doi.org/10.1007/978-981-287-487-0">http://dx.doi.org/10.1007/978-981-287-487-0</a><br/>Format: Electronic Resources<br/>Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineeringent://SD_ILS/0/SD_ILS:223942024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Nicola, Rocco De. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15545-6">http://dx.doi.org/10.1007/978-3-319-15545-6</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedingsent://SD_ILS/0/SD_ILS:232512024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Calinescu, Radu. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22969-0">http://dx.doi.org/10.1007/978-3-319-22969-0</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedingsent://SD_ILS/0/SD_ILS:229702024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Pontelli, Enrico. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19686-2">http://dx.doi.org/10.1007/978-3-319-19686-2</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:233072024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Davis, Jesse. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23708-4">http://dx.doi.org/10.1007/978-3-319-23708-4</a><br/>Format: Electronic Resources<br/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:233142024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Bartocci, Ezio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23820-3">http://dx.doi.org/10.1007/978-3-319-23820-3</a><br/>Format: Electronic Resources<br/>Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229182024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Holvoet, Tom. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19282-6">http://dx.doi.org/10.1007/978-3-319-19282-6</a><br/>Format: Electronic Resources<br/>Web Programming with PHP and MySQL A Practical Guideent://SD_ILS/0/SD_ILS:232222024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Bramer, Max. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22659-0">http://dx.doi.org/10.1007/978-3-319-22659-0</a><br/>Format: Electronic Resources<br/>Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:247642024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Franke, Björn. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46663-6">http://dx.doi.org/10.1007/978-3-662-46663-6</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:209462024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Codish, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07151-0">http://dx.doi.org/10.1007/978-3-319-07151-0</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:218552024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Giannakopoulou, Dimitra. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12154-3">http://dx.doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Electronic Resources<br/>Numerical Computations with GPUsent://SD_ILS/0/SD_ILS:208432024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Kindratenko, Volodymyr. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06548-9">http://dx.doi.org/10.1007/978-3-319-06548-9</a><br/>Format: Electronic Resources<br/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216462024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Bonakdarpour, Borzoo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11164-3">http://dx.doi.org/10.1007/978-3-319-11164-3</a><br/>Format: Electronic Resources<br/>Introduction to Software Qualityent://SD_ILS/0/SD_ILS:207732024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar O’Regan, Gerard. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06106-1">http://dx.doi.org/10.1007/978-3-319-06106-1</a><br/>Format: Electronic Resources<br/>Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212052024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Cariani, Fabrizio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08615-6">http://dx.doi.org/10.1007/978-3-319-08615-6</a><br/>Format: Electronic Resources<br/>Practical Analysis of Algorithmsent://SD_ILS/0/SD_ILS:214072024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Vrajitoru, Dana. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09888-3">http://dx.doi.org/10.1007/978-3-319-09888-3</a><br/>Format: Electronic Resources<br/>Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:206512024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Fischbach, Kai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05359-2">http://dx.doi.org/10.1007/978-3-319-05359-2</a><br/>Format: Electronic Resources<br/>OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:206302024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Poole, Stephen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05215-1">http://dx.doi.org/10.1007/978-3-319-05215-1</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207882024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Badger, Julia M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06200-6">http://dx.doi.org/10.1007/978-3-319-06200-6</a><br/>Format: Electronic Resources<br/>Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:212572024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Hanus, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08909-6">http://dx.doi.org/10.1007/978-3-319-08909-6</a><br/>Format: Electronic Resources<br/>Models@run.time Foundations, Applications, and Roadmapsent://SD_ILS/0/SD_ILS:212582024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Bencomo, Nelly. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08915-7">http://dx.doi.org/10.1007/978-3-319-08915-7</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:210402024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Fiadeiro, José Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07602-7">http://dx.doi.org/10.1007/978-3-319-07602-7</a><br/>Format: Electronic Resources<br/>Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212862024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Seidl, Martina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09099-3">http://dx.doi.org/10.1007/978-3-319-09099-3</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217732024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Merz, Stephan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11737-9">http://dx.doi.org/10.1007/978-3-319-11737-9</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215122024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Giannakopoulou, Dimitra. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10431-7">http://dx.doi.org/10.1007/978-3-319-10431-7</a><br/>Format: Electronic Resources<br/>Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:219822024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Escobar, Santiago. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12904-4">http://dx.doi.org/10.1007/978-3-319-12904-4</a><br/>Format: Electronic Resources<br/>Emotion Modeling Towards Pragmatic Computational Models of Affective Processesent://SD_ILS/0/SD_ILS:219922024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Bosse, Tibor. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12973-0">http://dx.doi.org/10.1007/978-3-319-12973-0</a><br/>Format: Electronic Resources<br/>Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217312024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Fermé, Eduardo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11558-0">http://dx.doi.org/10.1007/978-3-319-11558-0</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:240512024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Shao, Zhong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54833-8">http://dx.doi.org/10.1007/978-3-642-54833-8</a><br/>Format: Electronic Resources<br/>Transactions on Aspect-Oriented Software Development XIent://SD_ILS/0/SD_ILS:240892024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Chiba, Shigeru. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-55099-7">http://dx.doi.org/10.1007/978-3-642-55099-7</a><br/>Format: Electronic Resources<br/>Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:241062024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Wyrzykowski, Roman. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-55224-3">http://dx.doi.org/10.1007/978-3-642-55224-3</a><br/>Format: Electronic Resources<br/>Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedingsent://SD_ILS/0/SD_ILS:239002024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Chatterjee, Mainak. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-45249-9">http://dx.doi.org/10.1007/978-3-642-45249-9</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:239092024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar McCarthy, Jay. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-45340-3">http://dx.doi.org/10.1007/978-3-642-45340-3</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedingsent://SD_ILS/0/SD_ILS:204222024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Flatt, Matthew. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04132-2">http://dx.doi.org/10.1007/978-3-319-04132-2</a><br/>Format: Electronic Resources<br/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:208832024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Hunt, John. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06776-6">http://dx.doi.org/10.1007/978-3-319-06776-6</a><br/>Format: Electronic Resources<br/>Genetic Programming Theory and Practice XIent://SD_ILS/0/SD_ILS:198602024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Riolo, Rick. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4939-0375-7">http://dx.doi.org/10.1007/978-1-4939-0375-7</a><br/>Format: Electronic Resources<br/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:195212024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Streib, James T. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4471-6317-6">http://dx.doi.org/10.1007/978-1-4471-6317-6</a><br/>Format: Electronic Resources<br/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:195272024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Fernández, Maribel. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4471-6368-8">http://dx.doi.org/10.1007/978-1-4471-6368-8</a><br/>Format: Electronic Resources<br/>JRuby Rails Web Application Developmentent://SD_ILS/0/SD_ILS:203862024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Vohra, Deepak. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-03934-3">http://dx.doi.org/10.1007/978-3-319-03934-3</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:239552024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Cohen, Ernie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54108-7">http://dx.doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Electronic Resources<br/>ECOOP 2014 – Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244752024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Jones, Richard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44202-9">http://dx.doi.org/10.1007/978-3-662-44202-9</a><br/>Format: Electronic Resources<br/>Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:245062024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Agha, Gul. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44471-9">http://dx.doi.org/10.1007/978-3-662-44471-9</a><br/>Format: Electronic Resources<br/>Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218072024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Quintão Pereira, Fernando Magno. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11863-5">http://dx.doi.org/10.1007/978-3-319-11863-5</a><br/>Format: Electronic Resources<br/>Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214172024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Goues, Claire Le. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09940-8">http://dx.doi.org/10.1007/978-3-319-09940-8</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedingsent://SD_ILS/0/SD_ILS:218202024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Cassez, Franck. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11936-6">http://dx.doi.org/10.1007/978-3-319-11936-6</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:221902024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Gupta, Gopal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14125-1">http://dx.doi.org/10.1007/978-3-319-14125-1</a><br/>Format: Electronic Resources<br/>Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedingsent://SD_ILS/0/SD_ILS:221912024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Schaefer, Ina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14130-5">http://dx.doi.org/10.1007/978-3-319-14130-5</a><br/>Format: Electronic Resources<br/>Verification of Business Rules Programsent://SD_ILS/0/SD_ILS:238012024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Berstel-Da Silva, Bruno. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-40038-4">http://dx.doi.org/10.1007/978-3-642-40038-4</a><br/>Format: Electronic Resources<br/>Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:222492024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Dalpiaz, Fabiano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14484-9">http://dx.doi.org/10.1007/978-3-319-14484-9</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:245792024-05-29T05:38:30Z2024-05-29T05:38:30ZYazar Zaverucha, Gerson. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44923-3">http://dx.doi.org/10.1007/978-3-662-44923-3</a><br/>Format: Electronic Resources<br/>