Search Results for - Narrowed by: Springer E-Book Collection - Artificial intelligence. - Programming Techniques.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Konu$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026ps$003d300$0026isd$003dtrue?2024-06-18T03:59:30ZLogics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4278022024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834<br/><a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</a><br/>Format: Electronic Resources<br/>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-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Bjørner, Nikolaj. editor.<br/><a href="https://doi.org/10.1007/978-3-030-37487-7">https://doi.org/10.1007/978-3-030-37487-7</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar Bojańczyk, Mikołaj. editor.<br/><a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar Van Horn, David. editor.<br/><a href="https://doi.org/10.1007/978-3-030-14805-8">https://doi.org/10.1007/978-3-030-14805-8</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar Zincir-Heywood, Nur. editor.<br/><a href="https://doi.org/10.1007/978-3-030-18419-3">https://doi.org/10.1007/978-3-030-18419-3</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar Senger, Hermes. editor. (orcid)0000-0003-1273-9809<br/><a href="https://doi.org/10.1007/978-3-030-15996-2">https://doi.org/10.1007/978-3-030-15996-2</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4286412024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Mesnard, Fred. editor.<br/><a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format: Electronic Resources<br/>Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4290002024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609<br/><a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format: Electronic Resources<br/>Deep Reinforcement Learning Frontiers of Artificial Intelligenceent://SD_ILS/0/SD_ILS:4291002024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Sewak, Mohit. author.<br/><a href="https://doi.org/10.1007/978-981-13-8285-7">https://doi.org/10.1007/978-981-13-8285-7</a><br/>Format: Electronic Resources<br/>End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4291902024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Malizia, Alessio. editor.<br/><a href="https://doi.org/10.1007/978-3-030-24781-2">https://doi.org/10.1007/978-3-030-24781-2</a><br/>Format: Electronic Resources<br/>Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4282432024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Lujak, Marin. editor.<br/><a href="https://doi.org/10.1007/978-3-030-17294-7">https://doi.org/10.1007/978-3-030-17294-7</a><br/>Format: Electronic Resources<br/>Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288202024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Cybenko, George. editor. (orcid)0000-0001-7734-2912<br/><a href="https://doi.org/10.1007/978-3-030-15465-3">https://doi.org/10.1007/978-3-030-15465-3</a><br/>Format: Electronic Resources<br/>Deep Learning with Rent://SD_ILS/0/SD_ILS:4289382024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Ghatak, Abhijit. author.<br/><a href="https://doi.org/10.1007/978-981-13-5850-0">https://doi.org/10.1007/978-981-13-5850-0</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar Silva, Josep. editor.<br/><a href="https://doi.org/10.1007/978-3-030-16202-3">https://doi.org/10.1007/978-3-030-16202-3</a><br/>Format: Electronic Resources<br/>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-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Peng, Xin. editor.<br/><a href="https://doi.org/10.1007/978-3-030-22888-0">https://doi.org/10.1007/978-3-030-22888-0</a><br/>Format: Electronic Resources<br/>Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281442024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Nejati, Shiva. editor.<br/><a href="https://doi.org/10.1007/978-3-030-27455-9">https://doi.org/10.1007/978-3-030-27455-9</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar Zsók, Viktória. editor.<br/><a href="https://doi.org/10.1007/978-3-030-28346-9">https://doi.org/10.1007/978-3-030-28346-9</a><br/>Format: Electronic Resources<br/>Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2219872024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Ciucci, Davide. editor. (orcid)0000-0002-8083-7809<br/><a href="https://doi.org/10.1007/978-3-030-00461-3">https://doi.org/10.1007/978-3-030-00461-3</a><br/>Format: Electronic Resources<br/>Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2221062024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Artemov, Sergei. editor.<br/><a href="https://doi.org/10.1007/978-3-319-72056-2">https://doi.org/10.1007/978-3-319-72056-2</a><br/>Format: Electronic Resources<br/>It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbabent://SD_ILS/0/SD_ILS:2240762024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar de Boer, Frank. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format: Electronic Resources<br/>New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2221692024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Capilla, Rafael. editor. (orcid)0000-0002-6943-1285<br/><a href="https://doi.org/10.1007/978-3-319-90421-4">https://doi.org/10.1007/978-3-319-90421-4</a><br/>Format: Electronic Resources<br/>Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2218892024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829<br/><a href="https://doi.org/10.1007/978-3-319-96983-1">https://doi.org/10.1007/978-3-319-96983-1</a><br/>Format: Electronic Resources<br/>Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2220062024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Seipel, Dietmar. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format: Electronic Resources<br/>Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2225892024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Davenport, James H. editor. (orcid)0000-0002-3982-7545<br/><a href="https://doi.org/10.1007/978-3-319-96418-8">https://doi.org/10.1007/978-3-319-96418-8</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217062024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703<br/><a href="https://doi.org/10.1007/978-3-319-99960-9">https://doi.org/10.1007/978-3-319-99960-9</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2221342024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Rabe, Florian. editor.<br/><a href="https://doi.org/10.1007/978-3-319-96812-4">https://doi.org/10.1007/978-3-319-96812-4</a><br/>Format: Electronic Resources<br/>Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2228002024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Desharnais, Jules. editor. (orcid)0000-0002-4780-2698<br/><a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217832024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772<br/><a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Electronic Resources<br/>Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:2217862024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786<br/><a href="https://doi.org/10.1007/978-3-319-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format: Electronic Resources<br/>High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:2212622024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873<br/><a href="https://doi.org/10.1007/978-3-030-02465-9">https://doi.org/10.1007/978-3-030-02465-9</a><br/>Format: Electronic Resources<br/>AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2214902024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849<br/><a href="https://doi.org/10.1007/978-3-030-00178-0">https://doi.org/10.1007/978-3-030-00178-0</a><br/>Format: Electronic Resources<br/>Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2219782024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Benzmüller, Christoph. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99906-7">https://doi.org/10.1007/978-3-319-99906-7</a><br/>Format: Electronic Resources<br/>Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2224812024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Abdelwahed, El Hassan. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00856-7">https://doi.org/10.1007/978-3-030-00856-7</a><br/>Format: Electronic Resources<br/>Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2250492024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Moss, Lawrence S. editor.<br/><a href="https://doi.org/10.1007/978-3-662-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format: Electronic Resources<br/>Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2260212024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Cabello, Enrique. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93641-3">https://doi.org/10.1007/978-3-319-93641-3</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2255472024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Lachiche, Nicolas. editor.<br/><a href="https://doi.org/10.1007/978-3-319-78090-0">https://doi.org/10.1007/978-3-319-78090-0</a><br/>Format: Electronic Resources<br/>Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2220052024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar El Fallah-Seghrouchni, Amal. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91899-0">https://doi.org/10.1007/978-3-319-91899-0</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2214142024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829<br/><a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2246062024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303<br/><a href="https://doi.org/10.1007/978-3-319-77313-1">https://doi.org/10.1007/978-3-319-77313-1</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2249302024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Beyersdorff, Olaf. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format: Electronic Resources<br/>Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2255102024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Seidl, Martina. editor.<br/><a href="https://doi.org/10.1007/978-3-319-74730-9">https://doi.org/10.1007/978-3-319-74730-9</a><br/>Format: Electronic Resources<br/>Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2264892024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Liu, Peng. editor.<br/><a href="https://doi.org/10.1007/978-3-319-74860-3">https://doi.org/10.1007/978-3-319-74860-3</a><br/>Format: Electronic Resources<br/>Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2234762024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Gabmeyer, Sebastian. editor. (orcid)0000-0002-4097-9917<br/><a href="https://doi.org/10.1007/978-3-319-61467-0">https://doi.org/10.1007/978-3-319-61467-0</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2242112024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Cussens, James. editor.<br/><a href="https://doi.org/10.1007/978-3-319-63342-8">https://doi.org/10.1007/978-3-319-63342-8</a><br/>Format: Electronic Resources<br/>Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2217372024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Perner, Petra. editor.<br/><a href="https://doi.org/10.1007/978-3-319-62701-4">https://doi.org/10.1007/978-3-319-62701-4</a><br/>Format: Electronic Resources<br/>Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2254262024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Martínez de Pisón, Francisco Javier. editor.<br/><a href="https://doi.org/10.1007/978-3-319-59650-1">https://doi.org/10.1007/978-3-319-59650-1</a><br/>Format: Electronic Resources<br/>Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2253472024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448<br/><a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format: Electronic Resources<br/>Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2257092024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091<br/><a href="https://doi.org/10.1007/978-3-319-69904-2">https://doi.org/10.1007/978-3-319-69904-2</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2212082024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990<br/><a href="https://doi.org/10.1007/978-3-319-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format: Electronic Resources<br/>Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papersent://SD_ILS/0/SD_ILS:2220822024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Namazi-Rad, Mohammad-Reza. editor.<br/><a href="https://doi.org/10.1007/978-3-319-51957-9">https://doi.org/10.1007/978-3-319-51957-9</a><br/>Format: Electronic Resources<br/>Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2240032024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Balduccini, Marcello. editor.<br/><a href="https://doi.org/10.1007/978-3-319-61660-5">https://doi.org/10.1007/978-3-319-61660-5</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238282024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X<br/><a href="https://doi.org/10.1007/978-3-319-51676-9">https://doi.org/10.1007/978-3-319-51676-9</a><br/>Format: Electronic Resources<br/>Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2252942024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Costantini, Stefania. editor.<br/><a href="https://doi.org/10.1007/978-3-319-61252-2">https://doi.org/10.1007/978-3-319-61252-2</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2253972024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Drewes, Frank. editor.<br/><a href="https://doi.org/10.1007/978-3-319-53733-7">https://doi.org/10.1007/978-3-319-53733-7</a><br/>Format: Electronic Resources<br/>Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2254062024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar ten Teije, Annette. editor. (orcid)0000-0002-9771-8822<br/><a href="https://doi.org/10.1007/978-3-319-59758-4">https://doi.org/10.1007/978-3-319-59758-4</a><br/>Format: Electronic Resources<br/>Machine Learning with Rent://SD_ILS/0/SD_ILS:2257702024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Ghatak, Abhijit. author.<br/><a href="https://doi.org/10.1007/978-981-10-6808-9">https://doi.org/10.1007/978-981-10-6808-9</a><br/>Format: Electronic Resources<br/>Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2258882024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar van den Herik, Jaap. editor.<br/><a href="https://doi.org/10.1007/978-3-319-53354-4">https://doi.org/10.1007/978-3-319-53354-4</a><br/>Format: Electronic Resources<br/>Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2266172024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Schmidt, Renate A. editor.<br/><a href="https://doi.org/10.1007/978-3-319-66902-1">https://doi.org/10.1007/978-3-319-66902-1</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:181092024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Inoue, Katsumi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40566-7">http://dx.doi.org/10.1007/978-3-319-40566-7</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar Serrano, Manuel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39110-6">http://dx.doi.org/10.1007/978-3-319-39110-6</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar Gurfinkel, Arie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29613-5">http://dx.doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar De Nicola, Rocco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41591-8">http://dx.doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:173862024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Kiselyov, Oleg. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29604-3">http://dx.doi.org/10.1007/978-3-319-29604-3</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar Perner, Petra. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41561-1">http://dx.doi.org/10.1007/978-3-319-41561-1</a><br/>Format: Electronic Resources<br/>Software, 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-18T03:59:30Z2024-06-18T03:59:30ZYazar Nicola, Rocco De. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15545-6">http://dx.doi.org/10.1007/978-3-319-15545-6</a><br/>Format: Electronic Resources<br/>Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementationent://SD_ILS/0/SD_ILS:226132024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Štuikys, Vytautas. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16913-2">http://dx.doi.org/10.1007/978-3-319-16913-2</a><br/>Format: Electronic Resources<br/>Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232632024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Walsh, Toby. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23114-3">http://dx.doi.org/10.1007/978-3-319-23114-3</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar Dastani, Mehdi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24644-4">http://dx.doi.org/10.1007/978-3-319-24644-4</a><br/>Format: Electronic Resources<br/>Guide to High Performance Distributed Computing Case Studies with Hadoop, Scalding and Sparkent://SD_ILS/0/SD_ILS:220932024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Srinivasa, K.G. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13497-0">http://dx.doi.org/10.1007/978-3-319-13497-0</a><br/>Format: Electronic Resources<br/>Genetic Programming Theory and Practice XIIent://SD_ILS/0/SD_ILS:224822024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Riolo, Rick. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16030-6">http://dx.doi.org/10.1007/978-3-319-16030-6</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar Hage, Jurriaan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14675-1">http://dx.doi.org/10.1007/978-3-319-14675-1</a><br/>Format: Electronic Resources<br/>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-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Eiter, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14726-0">http://dx.doi.org/10.1007/978-3-319-14726-0</a><br/>Format: Electronic Resources<br/>Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:232822024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Calimeri, Francesco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23264-5">http://dx.doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Electronic Resources<br/>Software Engineering for Collective Autonomic Systems The ASCENS Approachent://SD_ILS/0/SD_ILS:225342024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Wirsing, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16310-9">http://dx.doi.org/10.1007/978-3-319-16310-9</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:233072024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Davis, Jesse. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23708-4">http://dx.doi.org/10.1007/978-3-319-23708-4</a><br/>Format: Electronic Resources<br/>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-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Weyns, Danny. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23850-0">http://dx.doi.org/10.1007/978-3-319-23850-0</a><br/>Format: Electronic Resources<br/>Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lecturesent://SD_ILS/0/SD_ILS:236182024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Meyer, Bertrand. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28406-4">http://dx.doi.org/10.1007/978-3-319-28406-4</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar Davis, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48899-7">http://dx.doi.org/10.1007/978-3-662-48899-7</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar Finkbeiner, Bernd. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24953-7">http://dx.doi.org/10.1007/978-3-319-24953-7</a><br/>Format: Electronic Resources<br/>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-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Markidis, Stefano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15976-8">http://dx.doi.org/10.1007/978-3-319-15976-8</a><br/>Format: Electronic Resources<br/>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-06-18T03:59:30Z2024-06-18T03:59:30ZYazar De Nivelle, Hans. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24312-2">http://dx.doi.org/10.1007/978-3-319-24312-2</a><br/>Format: Electronic Resources<br/>Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233472024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Lutz, Carsten. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24246-0">http://dx.doi.org/10.1007/978-3-319-24246-0</a><br/>Format: Electronic Resources<br/>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-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Baldoni, Matteo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26184-3">http://dx.doi.org/10.1007/978-3-319-26184-3</a><br/>Format: Electronic Resources<br/>Emotion Modeling Towards Pragmatic Computational Models of Affective Processesent://SD_ILS/0/SD_ILS:219922024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Bosse, Tibor. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12973-0">http://dx.doi.org/10.1007/978-3-319-12973-0</a><br/>Format: Electronic Resources<br/>Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212052024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Cariani, Fabrizio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08615-6">http://dx.doi.org/10.1007/978-3-319-08615-6</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar Giannakopoulou, Dimitra. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12154-3">http://dx.doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Electronic Resources<br/>Genetic Programming Theory and Practice XIent://SD_ILS/0/SD_ILS:198602024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Riolo, Rick. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4939-0375-7">http://dx.doi.org/10.1007/978-1-4939-0375-7</a><br/>Format: Electronic Resources<br/>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-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Hanus, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08909-6">http://dx.doi.org/10.1007/978-3-319-08909-6</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:209462024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Codish, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07151-0">http://dx.doi.org/10.1007/978-3-319-07151-0</a><br/>Format: Electronic Resources<br/>Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:222492024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Dalpiaz, Fabiano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14484-9">http://dx.doi.org/10.1007/978-3-319-14484-9</a><br/>Format: Electronic Resources<br/>Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217312024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Fermé, Eduardo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11558-0">http://dx.doi.org/10.1007/978-3-319-11558-0</a><br/>Format: Electronic Resources<br/>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-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Gupta, Gopal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14125-1">http://dx.doi.org/10.1007/978-3-319-14125-1</a><br/>Format: Electronic Resources<br/>Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedingsent://SD_ILS/0/SD_ILS:221912024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Schaefer, Ina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14130-5">http://dx.doi.org/10.1007/978-3-319-14130-5</a><br/>Format: Electronic Resources<br/>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-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Zaverucha, Gerson. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44923-3">http://dx.doi.org/10.1007/978-3-662-44923-3</a><br/>Format: Electronic Resources<br/>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-18T03:59:30Z2024-06-18T03:59:30ZYazar Cohen, Ernie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54108-7">http://dx.doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Electronic Resources<br/>Verification of Business Rules Programsent://SD_ILS/0/SD_ILS:238012024-06-18T03:59:30Z2024-06-18T03:59:30ZYazar Berstel-Da Silva, Bruno. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-40038-4">http://dx.doi.org/10.1007/978-3-642-40038-4</a><br/>Format: Electronic Resources<br/>