Programming languages and software engineering

Alistair Kennedy, Diana Inkpen

Proceedings of FINEXIN-05, Workshop on the Analysis of Informal and Formal Information Exchange during Negotiations | January 2005

Jamie Shotton, Andrew Blake, Roberto Cipolla

International Conference on Computer Vision | January 2005

Janez Brank, Natasa Milic-Frayling

MSR-TR-2005-09 | January 2005

Bin Benjamin Zhu, Yang Yang, Chang Wen Chen, Shipeng Li

IEEE Int. Conf. Image Processing 2005 | January 2005

IEEE Int. Conf. Image Processing 2005

Chris Brockett, Bill Dolan

Third International Workshop on Paraphrasing (IWP2005) | January 2005

Yuri Gurevich, Nikolai Tillmann

Theor. Comput. Sci. | January 2005, Vol 336: pp. 311-342

Project Project

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes

MSR-TR-2005-04 | January 2005

A short version appears in: FATES 2005, LNCS vol. 3997, pp. 32-46

Project

Samuel Ieong, Robert McGrew, Eugene Nudelman, Yoav Shoham, Qixiang Sun

Proceedings of National Conference on Artificial Intelligence (AAAI) | January 2005

Proceedings of National Conference on Artificial Intelligence (AAAI)

Yuri Gurevich, Benjamin Rossman, Wolfram Schulte

Theoretical Computer Science | January 2005, Vol 343(3): pp. 370-412

Project

Bart Jacobs, Rustan Leino, Frank Piessens, Wolfram Schulte

SEFM | January 2005

ISBN: 0-7695-2435-4

Project