Search Results for - Narrowed by: Programming Techniques. - Artificial Intelligence (incl. Robotics).

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

2024-06-06T00:50:53Z

Yazar Kiselyov, Oleg. editor.
http://dx.doi.org/10.1007/978-3-319-29604-3
Format: Electronic Resources

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

2024-06-06T00:50:53Z

Yazar Serrano, Manuel. editor.
http://dx.doi.org/10.1007/978-3-319-39110-6
Format: Electronic Resources

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

2024-06-06T00:50:53Z

Yazar De Nicola, Rocco. editor.
http://dx.doi.org/10.1007/978-3-319-41591-8
Format: Electronic Resources

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

2024-06-06T00:50:53Z

Yazar Inoue, Katsumi. editor.
http://dx.doi.org/10.1007/978-3-319-40566-7
Format: Electronic Resources

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

2024-06-06T00:50:53Z

Yazar Perner, Petra. editor.
http://dx.doi.org/10.1007/978-3-319-41561-1
Format: Electronic Resources

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers

2024-06-06T00:50:53Z

Yazar Gurfinkel, Arie. editor.
http://dx.doi.org/10.1007/978-3-319-29613-5
Format: Electronic Resources

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2024-06-06T00:50:53Z

Yazar Wirsing, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-16310-9
Format: Electronic Resources

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

2024-06-06T00:50:53Z

Yazar Weyns, Danny. editor.
http://dx.doi.org/10.1007/978-3-319-23850-0
Format: Electronic Resources

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

2024-06-06T00:50:53Z

Yazar Dastani, Mehdi. editor.
http://dx.doi.org/10.1007/978-3-319-24644-4
Format: Electronic Resources

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

2024-06-06T00:50:53Z

Yazar Hage, Jurriaan. editor.
http://dx.doi.org/10.1007/978-3-319-14675-1
Format: Electronic Resources

Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

2024-06-06T00:50:53Z

Yazar Walsh, Toby. editor.
http://dx.doi.org/10.1007/978-3-319-23114-3
Format: Electronic Resources

Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2024-06-06T00:50:53Z

Yazar Lutz, Carsten. editor.
http://dx.doi.org/10.1007/978-3-319-24246-0
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

2024-06-06T00:50:53Z

Yazar Davis, Martin. editor.
http://dx.doi.org/10.1007/978-3-662-48899-7
Format: Electronic Resources

Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation

2024-06-06T00:50:53Z

Yazar Štuikys, Vytautas. author.
http://dx.doi.org/10.1007/978-3-319-16913-2
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2024-06-06T00:50:53Z

Yazar De Nivelle, Hans. editor.
http://dx.doi.org/10.1007/978-3-319-24312-2
Format: Electronic Resources

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

2024-06-06T00:50:53Z

Yazar Eiter, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-14726-0
Format: Electronic Resources

Guide to High Performance Distributed Computing Case Studies with Hadoop, Scalding and Spark

2024-06-06T00:50:53Z

Yazar Srinivasa, K.G. author.
http://dx.doi.org/10.1007/978-3-319-13497-0
Format: Electronic Resources

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

2024-06-06T00:50:53Z

Yazar Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-319-28406-4
Format: Electronic Resources

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

2024-06-06T00:50:53Z

Yazar Nicola, Rocco De. editor.
http://dx.doi.org/10.1007/978-3-319-15545-6
Format: Electronic Resources

Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

2024-06-06T00:50:53Z

Yazar Markidis, Stefano. editor.
http://dx.doi.org/10.1007/978-3-319-15976-8
Format: Electronic Resources

Genetic Programming Theory and Practice XII

2024-06-06T00:50:53Z

Yazar Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-3-319-16030-6
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2024-06-06T00:50:53Z

Yazar Calimeri, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-23264-5
Format: Electronic Resources

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

2024-06-06T00:50:53Z

Yazar Davis, Jesse. editor.
http://dx.doi.org/10.1007/978-3-319-23708-4
Format: Electronic Resources

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

2024-06-06T00:50:53Z

Yazar Finkbeiner, Bernd. editor.
http://dx.doi.org/10.1007/978-3-319-24953-7
Format: Electronic Resources

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

2024-06-06T00:50:53Z

Yazar Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/978-3-319-26184-3
Format: Electronic Resources

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

2024-06-06T00:50:53Z

Yazar Codish, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-07151-0
Format: Electronic Resources

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

2024-06-06T00:50:53Z

Yazar Giannakopoulou, Dimitra. editor.
http://dx.doi.org/10.1007/978-3-319-12154-3
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

2024-06-06T00:50:53Z

Yazar Cohen, Ernie. editor.
http://dx.doi.org/10.1007/978-3-642-54108-7
Format: Electronic Resources

Genetic Programming Theory and Practice XI

2024-06-06T00:50:53Z

Yazar Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-1-4939-0375-7
Format: Electronic Resources

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

2024-06-06T00:50:53Z

Yazar Hanus, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-08909-6
Format: Electronic Resources

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

2024-06-06T00:50:53Z

Yazar Cariani, Fabrizio. editor.
http://dx.doi.org/10.1007/978-3-319-08615-6
Format: Electronic Resources

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes

2024-06-06T00:50:53Z

Yazar Bosse, Tibor. editor.
http://dx.doi.org/10.1007/978-3-319-12973-0
Format: Electronic Resources

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

2024-06-06T00:50:53Z

Yazar Fermé, Eduardo. editor.
http://dx.doi.org/10.1007/978-3-319-11558-0
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

2024-06-06T00:50:53Z

Yazar Gupta, Gopal. editor.
http://dx.doi.org/10.1007/978-3-319-14125-1
Format: Electronic Resources

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

2024-06-06T00:50:53Z

Yazar Schaefer, Ina. editor.
http://dx.doi.org/10.1007/978-3-319-14130-5
Format: Electronic Resources

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

2024-06-06T00:50:53Z

Yazar Dalpiaz, Fabiano. editor.
http://dx.doi.org/10.1007/978-3-319-14484-9
Format: Electronic Resources

Verification of Business Rules Programs

2024-06-06T00:50:53Z

Yazar Berstel-Da Silva, Bruno. author.
http://dx.doi.org/10.1007/978-3-642-40038-4
Format: Electronic Resources

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2024-06-06T00:50:53Z

Yazar Zaverucha, Gerson. editor.
http://dx.doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources