Search Results for - Narrowed by: Mathematical logic. - Programming Techniques.

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

2024-05-09T03:47:52Z

Yazar Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
https://doi.org/10.1007/978-3-030-19570-0
Format: Electronic Resources

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, Proceedings

2024-05-09T03:47:52Z

Yazar Bojańczyk, Mikołaj. editor.
https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

2024-05-09T03:47:52Z

Yazar Bjørner, Nikolaj. editor.
https://doi.org/10.1007/978-3-030-37487-7
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

2024-05-09T03:47:52Z

Yazar Mesnard, Fred. editor.
https://doi.org/10.1007/978-3-030-13838-7
Format: Electronic Resources

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

2024-05-09T03:47:52Z

Yazar Rayadurgam, Sanjai. editor.
http://dx.doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2024-05-09T03:47:52Z

Yazar Aichernig, Bernhard K. editor.
http://dx.doi.org/10.1007/978-3-319-41135-4
Format: Electronic Resources

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 Papers

2024-05-09T03:47:52Z

Yazar Lucanu, Dorel. editor.
http://dx.doi.org/10.1007/978-3-319-44802-2
Format: Electronic Resources

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

2024-05-09T03:47:52Z

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

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

2024-05-09T03:47:52Z

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

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

2024-05-09T03:47:52Z

Yazar Lindley, Sam. editor.
http://dx.doi.org/10.1007/978-3-319-30936-1
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-05-09T03:47:52Z

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-05-09T03:47:52Z

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

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

2024-05-09T03:47:52Z

Yazar Braga, Christiano. editor.
http://dx.doi.org/10.1007/978-3-319-28934-2
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-05-09T03:47:52Z

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

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

2024-05-09T03:47:52Z

Yazar Castor, Fernando. editor.
http://dx.doi.org/10.1007/978-3-319-45279-1
Format: Electronic Resources

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

2024-05-09T03:47:52Z

Yazar Torra, Vicenç. author.
http://dx.doi.org/10.1007/978-3-319-46481-7
Format: Electronic Resources

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

2024-05-09T03:47:52Z

Yazar Havelund, Klaus. editor.
http://dx.doi.org/10.1007/978-3-319-17524-9
Format: Electronic Resources

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

2024-05-09T03:47:52Z

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

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

2024-05-09T03:47:52Z

Yazar Martí-Oliet, Narciso. editor.
http://dx.doi.org/10.1007/978-3-319-23165-5
Format: Electronic Resources

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

2024-05-09T03:47:52Z

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

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2024-05-09T03:47:52Z

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

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

2024-05-09T03:47:52Z

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

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

2024-05-09T03:47:52Z

Yazar Bartocci, Ezio. editor.
http://dx.doi.org/10.1007/978-3-319-23820-3
Format: Electronic Resources

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

2024-05-09T03:47:52Z

Yazar Lanese, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-15317-9
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-05-09T03:47:52Z

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

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2024-05-09T03:47:52Z

Yazar Calinescu, Radu. editor.
http://dx.doi.org/10.1007/978-3-319-22969-0
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-05-09T03:47:52Z

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

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

2024-05-09T03:47:52Z

Yazar Butler, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-25423-4
Format: Electronic Resources

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

2024-05-09T03:47:52Z

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

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

2024-05-09T03:47:52Z

Yazar Blanchette, Jasmin Christian. editor.
http://dx.doi.org/10.1007/978-3-319-21215-9
Format: Electronic Resources

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

2024-05-09T03:47:52Z

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-05-09T03:47:52Z

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

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

2024-05-09T03:47:52Z

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

ECOOP 2014 – Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings

2024-05-09T03:47:52Z

Yazar Jones, Richard. editor.
http://dx.doi.org/10.1007/978-3-662-44202-9
Format: Electronic Resources

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

2024-05-09T03:47:52Z

Yazar Merz, Stephan. editor.
http://dx.doi.org/10.1007/978-3-319-11737-9
Format: Electronic Resources

Introduction to Software Quality

2024-05-09T03:47:52Z

Yazar O’Regan, Gerard. author.
http://dx.doi.org/10.1007/978-3-319-06106-1
Format: Electronic Resources

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

2024-05-09T03:47:52Z

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

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

2024-05-09T03:47:52Z

Yazar Bonakdarpour, Borzoo. editor.
http://dx.doi.org/10.1007/978-3-319-11164-3
Format: Electronic Resources

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings

2024-05-09T03:47:52Z

Yazar Seidl, Martina. editor.
http://dx.doi.org/10.1007/978-3-319-09099-3
Format: Electronic Resources

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

2024-05-09T03:47:52Z

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

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings

2024-05-09T03:47:52Z

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

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

2024-05-09T03:47:52Z

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

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 Papers

2024-05-09T03:47:52Z

Yazar Escobar, Santiago. editor.
http://dx.doi.org/10.1007/978-3-319-12904-4
Format: Electronic Resources

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

2024-05-09T03:47:52Z

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

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

2024-05-09T03:47:52Z

Yazar Cassez, Franck. editor.
http://dx.doi.org/10.1007/978-3-319-11936-6
Format: Electronic Resources

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

2024-05-09T03:47:52Z

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

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

2024-05-09T03:47:52Z

Yazar Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/978-3-319-07602-7
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-05-09T03:47:52Z

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