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
Barnes and Noble

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

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

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

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

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

From 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
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

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

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

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

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

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

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

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

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

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

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

From 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
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

From Barnes and Noble
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised 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

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

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

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

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

From 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
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

From Barnes and Noble
Logic Programming: The 1997 International Symposium
Barnes and Noble

Logic Programming: The 1997 International Symposium

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

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

From Barnes and Noble
Powered by Adeptmind