Search Results for - Narrowed by: TEDU library - Computer programming.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLIBRARY$002509K$0025C3$0025BCt$0025C3$0025BCphane$0025091$00253ATEDU$002509TEDU$002blibrary$0026qf$003dSUBJECT$002509Konu$002509Computer$002bprogramming.$002509Computer$002bprogramming.$0026ps$003d300?2024-05-18T22:17:12ZLearning professional Python. Volume 2, Advancedent://SD_ILS/0/SD_ILS:6508882024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Bhimavarapu, Usharani, author.<br/>Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003462392">https://www.taylorfrancis.com/books/9781003462392</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Deep reinforcement learning: fundamentals, research and applicationsent://SD_ILS/0/SD_ILS:4324132024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Dong, Hao.<br/>Format: Kitap<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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281442024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Deep Learning with Rent://SD_ILS/0/SD_ILS:4289382024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4278022024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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 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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Projectent://SD_ILS/0/SD_ILS:4283992024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Modeling and Optimization in Space Engineering State of the Art and New Challengesent://SD_ILS/0/SD_ILS:4282802024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Essentials of Cloud Computing A Holistic Perspectiveent://SD_ILS/0/SD_ILS:4290942024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Surianarayanan, Chellammal. author.<br/><a href="https://doi.org/10.1007/978-3-030-13134-0">https://doi.org/10.1007/978-3-030-13134-0</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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4291842024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4291902024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288202024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Learning C# by Programming Gamesent://SD_ILS/0/SD_ILS:4289262024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Deep Reinforcement Learning Frontiers of Artificial Intelligenceent://SD_ILS/0/SD_ILS:4291002024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Scienceent://SD_ILS/0/SD_ILS:4283162024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Designing Thriving Systems Marrying Technical Rationality and Appreciative Systemsent://SD_ILS/0/SD_ILS:4276982024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4290002024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609<br/><a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format: Electronic Resources<br/>High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4286332024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability Communications of NII Shonan Meetingsent://SD_ILS/0/SD_ILS:4277112024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Fitzgerald, Brian. editor.<br/><a href="https://doi.org/10.1007/978-981-13-7099-1">https://doi.org/10.1007/978-981-13-7099-1</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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>The Web Was Done by Amateurs A Reflection on One of the Largest Collective Systems Ever Engineeredent://SD_ILS/0/SD_ILS:2215282024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Aiello, Marco. author.<br/><a href="https://doi.org/10.1007/978-3-319-90008-7">https://doi.org/10.1007/978-3-319-90008-7</a><br/>Format: Electronic Resources<br/>Applications and Usability of Interactive Television 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2230422024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Abásolo, María José. editor. (orcid)0000-0003-4441-3264<br/><a href="https://doi.org/10.1007/978-3-319-90170-1">https://doi.org/10.1007/978-3-319-90170-1</a><br/>Format: Electronic Resources<br/>Higher Education for All. From Challenges to Novel Technology-Enhanced Solutions First International Workshop on Social, Semantic, Adaptive and Gamification Techniques and Technologies for Distance Learning, HEFA 2017, Maceió, Brazil, March 20–24, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2227722024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Cristea, Alexandra I. editor. (orcid)0000-0002-1454-8822<br/><a href="https://doi.org/10.1007/978-3-319-97934-2">https://doi.org/10.1007/978-3-319-97934-2</a><br/>Format: Electronic Resources<br/>Applications and Usability of Interactive TV 5th Iberoamerican Conference, jAUTI 2016, La Habana, Cuba, November 21-25, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2257912024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Abásolo, María José. editor.<br/><a href="https://doi.org/10.1007/978-3-319-63321-3">https://doi.org/10.1007/978-3-319-63321-3</a><br/>Format: Electronic Resources<br/>Introduction to computation and programming using Python : with application to understanding dataent://SD_ILS/0/SD_ILS:4323302024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Guttag, John V.<br/>Format: Kitap<br/>Introduction to HPC with MPI for Data Scienceent://SD_ILS/0/SD_ILS:167372024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184152024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Random-Like Bi-level Decision Makingent://SD_ILS/0/SD_ILS:191572024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:173862024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Understanding Control Flow Concurrent Programming Using μC++ent://SD_ILS/0/SD_ILS:169912024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184112024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181172024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:183932024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Retrogame Archeology Exploring Old Computer Gamesent://SD_ILS/0/SD_ILS:174392024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183192024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Scala: From a Functional Programming Perspective An Introduction to the Programming Languageent://SD_ILS/0/SD_ILS:183892024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Collaborative Quality Assurance in Information Systems Development The Interaction of Software Development Techniques and Team Cognitionent://SD_ILS/0/SD_ILS:169642024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Linux : komut satırıent://SD_ILS/0/SD_ILS:1828142024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Demirez, Kemal.<br/>Format: Kitap<br/>Doing math with Python : use programming to explore algebra, statistics, calculus, and more!ent://SD_ILS/0/SD_ILS:4309992024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Saha, Amit.<br/>Format: Kitap<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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77ent://SD_ILS/0/SD_ILS:227302024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Object-Oriented Analysis, Design and Implementation An Integrated Approachent://SD_ILS/0/SD_ILS:233532024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:233072024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedingsent://SD_ILS/0/SD_ILS:227032024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementationent://SD_ILS/0/SD_ILS:226132024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Š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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:232702024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papersent://SD_ILS/0/SD_ILS:235122024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Data Structures and Algorithms with Pythonent://SD_ILS/0/SD_ILS:220082024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Guide to High Performance Distributed Computing Case Studies with Hadoop, Scalding and Sparkent://SD_ILS/0/SD_ILS:220932024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Genetic Programming Theory and Practice XIIent://SD_ILS/0/SD_ILS:224822024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Object-Oriented Technologyent://SD_ILS/0/SD_ILS:230472024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:233142024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233472024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Transactions on Aspect-Oriented Software Development XIIent://SD_ILS/0/SD_ILS:247742024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Software Engineering for Collective Autonomic Systems The ASCENS Approachent://SD_ILS/0/SD_ILS:225342024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Parallel Scientific Computing Theory, Algorithms, and Applications of Mesh Based and Meshless Methodsent://SD_ILS/0/SD_ILS:226342024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedingsent://SD_ILS/0/SD_ILS:232512024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232632024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231972024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Web Programming with PHP and MySQL A Practical Guideent://SD_ILS/0/SD_ILS:232222024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Building Secure Defenses Against Code-Reuse Attacksent://SD_ILS/0/SD_ILS:234642024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lecturesent://SD_ILS/0/SD_ILS:236182024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineeringent://SD_ILS/0/SD_ILS:224202024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Programming Smalltalk – Object-Orientation from the Beginning An introduction to the principles of programmingent://SD_ILS/0/SD_ILS:242702024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Coding for dummiesent://SD_ILS/0/SD_ILS:1788272024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Abraham, Nikhil.<br/>Format: Kitap<br/>An Introduction to Python and Computer Programmingent://SD_ILS/0/SD_ILS:259582024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Real-Time Visual Effects for Game Programmingent://SD_ILS/0/SD_ILS:259362024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Getting started with Raspberry Pient://SD_ILS/0/SD_ILS:45812024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Richardson, Matt.<br/>Format: Kitap<br/>Hello world!: computer programming for kids and other beginnersent://SD_ILS/0/SD_ILS:50392024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Sande, Warren.<br/>Format: Kitap<br/>JRuby Rails Web Application Developmentent://SD_ILS/0/SD_ILS:203862024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:208832024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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 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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Transactions on Aspect-Oriented Software Development XIent://SD_ILS/0/SD_ILS:240892024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:245062024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Genetic Programming Theory and Practice XIent://SD_ILS/0/SD_ILS:198602024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207882024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Learn to program with Minecraft plugins :create flying creepers and flaming cows in Javaent://SD_ILS/0/SD_ILS:50142024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Hunt, Andy.<br/>Format: Kitap<br/>Processing : a programming handbook for visual designers and artistsent://SD_ILS/0/SD_ILS:149182024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Reas, Casey, author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7008153">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7008153</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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218072024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217312024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216462024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Emotion Modeling Towards Pragmatic Computational Models of Affective Processesent://SD_ILS/0/SD_ILS:219922024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Verification of Business Rules Programsent://SD_ILS/0/SD_ILS:238012024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedingsent://SD_ILS/0/SD_ILS:239002024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:195212024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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 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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Practical Analysis of Algorithmsent://SD_ILS/0/SD_ILS:214072024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Numerical Computations with GPUsent://SD_ILS/0/SD_ILS:208432024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:195272024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Introduction to Software Qualityent://SD_ILS/0/SD_ILS:207732024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:209462024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212052024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214172024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>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-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>ECOOP 2014 – Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244752024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar 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/>Introduction to computation and programming using Pythonent://SD_ILS/0/SD_ILS:50872024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Guttag, John.<br/>Format: Kitap<br/>Certified programming with dependent types : a pragmatic introduction to the Coq proof assistantent://SD_ILS/0/SD_ILS:148662024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Chlipala, Adam, 1981-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486</a><br/>Format: Electronic Resources<br/>Scratch ile programlamayı öğreniyorument://SD_ILS/0/SD_ILS:16602024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Çağıltay, Nergiz Ercil.<br/>Format: Kitap<br/>Python 3 : Veri Yapılarıent://SD_ILS/0/SD_ILS:29832024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Karaçay, Timur.<br/>Format: Kitap<br/>MATLAB : a practical introduction to programming and problem solvingent://SD_ILS/0/SD_ILS:54582024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Attaway, Stormy.<br/>Format: Kitap<br/>The art of computer programmingent://SD_ILS/0/SD_ILS:46712024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Knuth, Donald Ervin.<br/>Format: Kitap<br/>Practical programming : an introduction to computer science using python 3.ent://SD_ILS/0/SD_ILS:50662024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Gries, Paul.<br/>Format: Kitap<br/>Semantic web programmingent://SD_ILS/0/SD_ILS:77422024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Dean, Mike.<br/>Format: Kitap<br/>The computer boys take over : computers, programmers, and the politics of technical expertiseent://SD_ILS/0/SD_ILS:146502024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Ensmenger, Nathan, 1972-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267480">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267480</a><br/>Format: Electronic Resources<br/>Starting out with programming logic & designent://SD_ILS/0/SD_ILS:47392024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Gaddis, Tony.<br/>Format: Kitap<br/>The design and analysis of computer algorithmsent://SD_ILS/0/SD_ILS:138022024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Aho, Alfred V.<br/>Format: Kitap<br/>Structure and interpretation of computer programsent://SD_ILS/0/SD_ILS:50562024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Abelson, Harold.<br/>Format: Kitap<br/>Programming pearlsent://SD_ILS/0/SD_ILS:140342024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Bentley, Jon Louis.<br/>Format: Kitap<br/>Press on : principles of interaction programmingent://SD_ILS/0/SD_ILS:145172024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Thimbleby, Harold, author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267346">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267346</a><br/>Format: Electronic Resources<br/>Hackersent://SD_ILS/0/SD_ILS:46002024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Levy, Steven.<br/>Format: Kitap<br/>Introduction to algorithms.ent://SD_ILS/0/SD_ILS:48732024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Cormen, Thomas H.<br/>Format: Kitap<br/>Processing : a programming handbook for visual designers and artistsent://SD_ILS/0/SD_ILS:36322024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Reas, Casey.<br/>Format: Kitap<br/>Mastering regular expressionent://SD_ILS/0/SD_ILS:46592024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Friedl, Jeffrey E. F.<br/>Format: Kitap<br/>Generating language-based environmentsent://SD_ILS/0/SD_ILS:144962024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Reps, Thomas W., (Thomas William) author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325</a><br/>Format: Electronic Resources<br/>Concepts, techniques, and models of computer programmingent://SD_ILS/0/SD_ILS:145242024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Van-Roy, Peter, author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353</a><br/>Format: Electronic Resources<br/>How to design programs : an introduction to programming and computingent://SD_ILS/0/SD_ILS:135902024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Felleisen, Matthias.<br/>Format: Kitap<br/>How to design programs : an introduction to programming and computingent://SD_ILS/0/SD_ILS:144302024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Felleisen, Matthias.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267257">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267257</a><br/>Format: Electronic Resources<br/>The pragmatic programmer : from journeyman to masterent://SD_ILS/0/SD_ILS:48142024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Hunt, Andrew.<br/>Format: Kitap<br/>Automatic algorithm recognition and replacement : a new approach to program optimizationent://SD_ILS/0/SD_ILS:145842024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Metzger, Robert C., author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267414">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267414</a><br/>Format: Electronic Resources<br/>Structured computer organizationent://SD_ILS/0/SD_ILS:6418442024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Tanenbaum, Andrew S.<br/>Format: Kitap<br/>Structure and interpretation of computer programsent://SD_ILS/0/SD_ILS:147432024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Abelson, Harold, author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276830">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276830</a><br/>Format: Electronic Resources<br/>A small matter of programming : perspectives on end user computingent://SD_ILS/0/SD_ILS:145882024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Nardi, Bonnie A., author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418</a><br/>Format: Electronic Resources<br/>Paradigms of artificial intelligence programming : case studies in Common Lispent://SD_ILS/0/SD_ILS:50162024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Norvig, Peter.<br/>Format: Kitap<br/>Algorithm animationent://SD_ILS/0/SD_ILS:144042024-05-18T22:17:12Z2024-05-18T22:17:12ZYazar Brown, Marc H., author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267231">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267231</a><br/>Format: Electronic Resources<br/>