Search Results for - Narrowed by: Springer E-Book Collection - Logics and Meanings of Programs. - Computer programming.

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

2024-05-29T10:23:39Z

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

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

2024-05-29T10:23:39Z

Yazar Boreale, Michele. editor. (orcid)0000-0002-1972-7491
https://doi.org/10.1007/978-3-030-21485-2
Format: Electronic Resources

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

2024-05-29T10:23:39Z

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

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

2024-05-29T10:23:39Z

Yazar Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096
https://doi.org/10.1007/978-3-030-34175-6
Format: Electronic Resources

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

2024-05-29T10:23:39Z

Yazar Silva, Josep. editor.
https://doi.org/10.1007/978-3-030-16202-3
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-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

Yazar Kiselyov, Oleg. editor.
http://dx.doi.org/10.1007/978-3-319-29604-3
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-29T10:23:39Z

Yazar Gurfinkel, Arie. editor.
http://dx.doi.org/10.1007/978-3-319-29613-5
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-29T10:23:39Z

Yazar Aichernig, Bernhard K. editor.
http://dx.doi.org/10.1007/978-3-319-41135-4
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-29T10:23:39Z

Yazar Braga, Christiano. editor.
http://dx.doi.org/10.1007/978-3-319-28934-2
Format: Electronic Resources

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

2024-05-29T10:23:39Z

Yazar Gavanelli, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-28228-2
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-29T10:23:39Z

Yazar Lindley, Sam. editor.
http://dx.doi.org/10.1007/978-3-319-30936-1
Format: Electronic Resources

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

2024-05-29T10:23:39Z

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

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

2024-05-29T10:23:39Z

Yazar Kapitsaki, Georgia M. editor.
http://dx.doi.org/10.1007/978-3-319-35122-3
Format: Electronic Resources

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

2024-05-29T10:23:39Z

Yazar Lluch Lafuente, Alberto. editor.
http://dx.doi.org/10.1007/978-3-319-39519-7
Format: Electronic Resources

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

2024-05-29T10:23:39Z

Yazar Thiemann, Peter. editor.
http://dx.doi.org/10.1007/978-3-662-49498-1
Format: Electronic Resources

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

2024-05-29T10:23:39Z

Yazar Wąsowski, Andrzej. editor.
http://dx.doi.org/10.1007/978-3-319-42061-5
Format: Electronic Resources

Transactions on Foundations for Mastering Change I

2024-05-29T10:23:39Z

Yazar Steffen, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-319-46508-1
Format: Electronic Resources

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

2024-05-29T10:23:39Z

Yazar Falcone, Yliès. editor.
http://dx.doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources

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

2024-05-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

Yazar Inoue, Katsumi. editor.
http://dx.doi.org/10.1007/978-3-319-40566-7
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-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

Yazar Rayadurgam, Sanjai. editor.
http://dx.doi.org/10.1007/978-3-319-40648-0
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-29T10:23:39Z

Yazar De Nicola, Rocco. editor.
http://dx.doi.org/10.1007/978-3-319-41591-8
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-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

Yazar Lutz, Carsten. editor.
http://dx.doi.org/10.1007/978-3-319-24246-0
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-29T10:23:39Z

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

Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers

2024-05-29T10:23:39Z

Yazar Combemale, Benoit. editor.
http://dx.doi.org/10.1007/978-3-319-26172-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-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

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

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2024-05-29T10:23:39Z

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

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

2024-05-29T10:23:39Z

Yazar Bodei, Chiara. editor.
http://dx.doi.org/10.1007/978-3-319-25527-9
Format: Electronic Resources

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

2024-05-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

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

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

2024-05-29T10:23:39Z

Yazar Zsók, Viktória. editor.
http://dx.doi.org/10.1007/978-3-319-15940-9
Format: Electronic Resources

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

2024-05-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

Yazar Lanese, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-15317-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-29T10:23:39Z

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

Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

2024-05-29T10:23:39Z

Yazar Taentzer, Gabriele. editor.
http://dx.doi.org/10.1007/978-3-319-21151-0
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-29T10:23:39Z

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-29T10:23:39Z

Yazar Calinescu, Radu. editor.
http://dx.doi.org/10.1007/978-3-319-22969-0
Format: Electronic Resources

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

2024-05-29T10:23:39Z

Yazar Pontelli, Enrico. editor.
http://dx.doi.org/10.1007/978-3-319-19686-2
Format: Electronic Resources

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

2024-05-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

Yazar Holvoet, Tom. editor.
http://dx.doi.org/10.1007/978-3-319-19282-6
Format: Electronic Resources

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

2024-05-29T10:23:39Z

Yazar Franke, Björn. editor.
http://dx.doi.org/10.1007/978-3-662-46663-6
Format: Electronic Resources

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

2024-05-29T10:23:39Z

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-05-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

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

Practical Analysis of Algorithms

2024-05-29T10:23:39Z

Yazar Vrajitoru, Dana. author.
http://dx.doi.org/10.1007/978-3-319-09888-3
Format: Electronic Resources

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

2024-05-29T10:23:39Z

Yazar Fischbach, Kai. editor.
http://dx.doi.org/10.1007/978-3-319-05359-2
Format: Electronic Resources

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings

2024-05-29T10:23:39Z

Yazar Poole, Stephen. editor.
http://dx.doi.org/10.1007/978-3-319-05215-1
Format: Electronic Resources

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings

2024-05-29T10:23:39Z

Yazar Badger, Julia M. editor.
http://dx.doi.org/10.1007/978-3-319-06200-6
Format: Electronic Resources

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

2024-05-29T10:23:39Z

Yazar Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/978-3-319-07602-7
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-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

Yazar Giannakopoulou, Dimitra. editor.
http://dx.doi.org/10.1007/978-3-319-10431-7
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-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

Yazar Shao, Zhong. editor.
http://dx.doi.org/10.1007/978-3-642-54833-8
Format: Electronic Resources

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

2024-05-29T10:23:39Z

Yazar McCarthy, Jay. editor.
http://dx.doi.org/10.1007/978-3-642-45340-3
Format: Electronic Resources

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings

2024-05-29T10:23:39Z

Yazar Flatt, Matthew. editor.
http://dx.doi.org/10.1007/978-3-319-04132-2
Format: Electronic Resources

Programming Languages and Operational Semantics A Concise Overview

2024-05-29T10:23:39Z

Yazar Fernández, Maribel. author.
http://dx.doi.org/10.1007/978-1-4471-6368-8
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-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

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

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

2024-05-29T10:23:39Z

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-29T10:23:39Z

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-05-29T10:23:39Z

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

Verification of Business Rules Programs

2024-05-29T10:23:39Z

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-05-29T10:23:39Z

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