Search Results for - Narrowed by: Electronic Book - Artificial intelligence. - Computer programming. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dITYPE$002509Materyal$002bT$0025C3$0025BCr$0025C3$0025BC$0025091$00253AE-BOOKS$002509Electronic$002bBook$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bprogramming.$002509Computer$002bprogramming.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2024-06-30T11:28:22Z Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6&ndash;10, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428160 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;Zs&oacute;k, Vikt&oacute;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:&#160;Electronic Resources<br/> High Performance Computing for Computational Science &ndash; VECPAR 2018 13th International Conference, S&atilde;o Pedro, Brazil, September 17-19, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428633 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429000 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Deep Learning with R ent://SD_ILS/0/SD_ILS:428938 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428638 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Deep Reinforcement Learning Frontiers of Artificial Intelligence ent://SD_ILS/0/SD_ILS:429100 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429190 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;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&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427773 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 &ndash; September 1, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428144 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428243 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428641 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428969 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428769 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428820 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428961 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2&ndash;5, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:427847 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;Bj&oslash;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:&#160;Electronic Resources<br/> Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427802 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings ent://SD_ILS/0/SD_ILS:18163 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:18109 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:17386 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18&ndash;19, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:17388 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:18167 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:17963 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:22269 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Guide to High Performance Distributed Computing Case Studies with Hadoop, Scalding and Spark ent://SD_ILS/0/SD_ILS:22093 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;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 Papers ent://SD_ILS/0/SD_ILS:22473 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:22280 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Software Engineering for Collective Autonomic Systems The ASCENS Approach ent://SD_ILS/0/SD_ILS:22534 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings ent://SD_ILS/0/SD_ILS:24888 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23263 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23407 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;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 Engineering ent://SD_ILS/0/SD_ILS:22394 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:23307 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers ent://SD_ILS/0/SD_ILS:23514 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;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 Papers ent://SD_ILS/0/SD_ILS:23318 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23347 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:23618 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23359 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Genetic Programming Theory and Practice XII ent://SD_ILS/0/SD_ILS:22482 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:23385 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation ent://SD_ILS/0/SD_ILS:22613 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;&Scaron;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:&#160;Electronic Resources<br/> Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings ent://SD_ILS/0/SD_ILS:23282 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21205 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:21855 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21731 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;Ferm&eacute;, 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:&#160;Electronic Resources<br/> Emotion Modeling Towards Pragmatic Computational Models of Affective Processes ent://SD_ILS/0/SD_ILS:21992 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Genetic Programming Theory and Practice XI ent://SD_ILS/0/SD_ILS:19860 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:20946 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:22190 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:24579 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:22249 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Verification of Business Rules Programs ent://SD_ILS/0/SD_ILS:23801 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/> Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:23955 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;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 Papers ent://SD_ILS/0/SD_ILS:21257 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:22191 2024-06-30T11:28:22Z 2024-06-30T11:28:22Z Yazar&#160;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:&#160;Electronic Resources<br/>