The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings / Edition 1

Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings / Edition 1

Barnes and Noble
Theory and Applications of Models Computation: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, Proceedings

Theory and Applications of Models Computation: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, Proceedings

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

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

Barnes and Noble
Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Barnes and Noble
Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Programming (CS&P'21), Berlin, Germany

Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Programming (CS&P'21), Berlin, Germany

Barnes and Noble
Theory and Practice of Computation: Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, Proceedings / Edition 1

Theory and Practice of Computation: Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, Proceedings / Edition 1

Barnes and Noble
Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

Barnes and Noble
Methods of Programming: Selected Papers on the CIP-Project / Edition 1

Methods of Programming: Selected Papers on the CIP-Project / Edition 1

Barnes and Noble
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings / Edition 1

International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings / Edition 1

Barnes and Noble
VLSI-SoC: Technology Advancement on SoC Design: 29th IFIP WG 10.5/IEEE International Conference Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, Revised and Extended Selected Papers

VLSI-SoC: Technology Advancement on SoC Design: 29th IFIP WG 10.5/IEEE International Conference Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, Revised and Extended Selected Papers

Barnes and Noble
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Barnes and Noble
Programming Languages and Systems - ESOP '96: 6th European Symposium on Programming, Link�ping, Sweden, April, 22 - 24, 1996. Proceedings / Edition 1

Programming Languages and Systems - ESOP '96: 6th European Symposium on Programming, Link�ping, Sweden, April, 22 - 24, 1996. Proceedings / Edition 1

Barnes and Noble
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, Proceedings

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, Proceedings

Barnes and Noble
Foundations of Computer Software: Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers / Edition 1

Foundations of Computer Software: Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers / Edition 1

Barnes and Noble
Logic Programming: The 1997 International Symposium

Logic Programming: The 1997 International Symposium

Barnes and Noble
Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings / Edition 1

Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings / Edition 1

Barnes and Noble
Powered by Adeptmind