Search Results for - Narrowed by: Springer E-Book Collection - Programming Techniques. - Programming languages (Electronic computers). - TEDU librarySirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026qf$003dSUBJECT$002509Konu$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529.$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529.$0026qf$003dLIBRARY$002509K$0025C3$0025BCt$0025C3$0025BCphane$0025091$00253ATEDU$002509TEDU$002blibrary$0026ps$003d300?2024-06-07T05:30:24ZProgramming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4276482024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4280132024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4285032024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4278022024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282152024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4277732024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4279822024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288202024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4286332024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:4286382024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4287452024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4287692024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4286492024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281442024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4282432024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4284252024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4285502024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4286412024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Learning C# by Programming Gamesent://SD_ILS/0/SD_ILS:4289262024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4289692024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4290002024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:4281602024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4291902024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:173072024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:179632024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:183932024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181392024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186452024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:182972024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:172272024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181172024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179292024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180042024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183192024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:175792024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181852024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:173862024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar Kiselyov, Oleg. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29604-3">http://dx.doi.org/10.1007/978-3-319-29604-3</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:173882024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedingsent://SD_ILS/0/SD_ILS:181632024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar Perner, Petra. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41561-1">http://dx.doi.org/10.1007/978-3-319-41561-1</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181672024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar De Nicola, Rocco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41591-8">http://dx.doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Electronic Resources<br/>Scala: From a Functional Programming Perspective An Introduction to the Programming Languageent://SD_ILS/0/SD_ILS:183892024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182452024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Understanding Control Flow Concurrent Programming Using μC++ent://SD_ILS/0/SD_ILS:169912024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:232702024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:233852024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:233142024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lecturesent://SD_ILS/0/SD_ILS:236182024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Programming Smalltalk – Object-Orientation from the Beginning An introduction to the principles of programmingent://SD_ILS/0/SD_ILS:242702024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Transactions on Aspect-Oriented Software Development XIIent://SD_ILS/0/SD_ILS:247742024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedingsent://SD_ILS/0/SD_ILS:229702024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231972024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedingsent://SD_ILS/0/SD_ILS:227032024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papersent://SD_ILS/0/SD_ILS:235122024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedingsent://SD_ILS/0/SD_ILS:232512024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77ent://SD_ILS/0/SD_ILS:227302024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Object-Oriented Technologyent://SD_ILS/0/SD_ILS:230472024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>An Introduction to Python and Computer Programmingent://SD_ILS/0/SD_ILS:259582024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Software Engineering for Collective Autonomic Systems The ASCENS Approachent://SD_ILS/0/SD_ILS:225342024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234072024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Building Secure Defenses Against Code-Reuse Attacksent://SD_ILS/0/SD_ILS:234642024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216462024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:209462024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Numerical Computations with GPUsent://SD_ILS/0/SD_ILS:208432024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215122024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218072024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207882024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:208832024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:195212024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214172024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>Transactions on Aspect-Oriented Software Development XIent://SD_ILS/0/SD_ILS:240892024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>ECOOP 2014 – Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244752024-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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-06-07T05:30:24Z2024-06-07T05:30:24ZYazar 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/>