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

Home

Barnes and Noble

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

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

You May Also Like

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

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

Barnes and Noble
Ubiquitous Intelligence and Computing: 7th International Conference, UIC 2010, Xi'an, China, October 26-29, 2010, Proceedings

Ubiquitous Intelligence and Computing: 7th International Conference, UIC 2010, Xi'an, China, October 26-29, 2010, Proceedings

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
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
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings / Edition 1

Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings / Edition 1

Barnes and Noble
Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings / Edition 1

Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings / Edition 1

Barnes and Noble
Software Security - Theories and Systems: Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 / Edition 1

Software Security - Theories and Systems: Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 / Edition 1

Barnes and Noble
Intelligent Tutoring Systems: 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings / Edition 1

Intelligent Tutoring Systems: 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 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

Theory and Practice of Computation: Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, 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
Languages and Compilers for Parallel Computing: 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers / Edition 1

Languages and Compilers for Parallel Computing: 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers / Edition 1

Barnes and Noble
Theoretical Computer Science: 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings / Edition 1

Theoretical Computer Science: 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings / Edition 1

Barnes and Noble
Advanced Parallel Processing Technologies: 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings / Edition 1

Advanced Parallel Processing Technologies: 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings / Edition 1

Barnes and Noble
Ubiquitous Computing Systems: 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007, Proceedings

Ubiquitous Computing Systems: 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007, Proceedings

Barnes and Noble
Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany / Edition 1

Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany / 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

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

Barnes and Noble
Powered by Adeptmind