Programming languages & software engineering

Cormac Flanagan, Shaz Qadeer

POPL ’02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2002

Cédric Fournet, Andy Gordon

MSR-TR-2001-103 | January 2002

ISBN: 1-58113-450-9

Proceedings of Tenth Conference on Uncertainty in Artificial Intelligence

Anuj Dawar, Yuri Gurevich

The Bulletin of Symbolic Logic | January 2002

Shaz Qadeer, Serdar Tasiran

Proceedings of the 3rd IEEE International Symposium on Quality Electronic Design | January 2002

Thomas Ball, Sriram Rajamani

MSR-TR-2002-09 | January 2002

Thomas Ball, Sriram Rajamani

MSR-TR-2001-21 | January 2002

Greg Lawler, Oded Schramm, Wendelin Werner

Electron. J. Probab. | January 2002, 제 7 권: pp. no. 2, 13 pp. (electronic)

A. J. Ganesh, A.-M. Kermarrec, L. Massoulié

Proc. Tenth ACM SIGOPS European Workshop | January 2002

Proc. Tenth ACM SIGOPS European Workshop

Uwe Glässer, Yuri Gurevich, Margus Veanes

HICSS 2002 | January 2002

프로젝트

Li-Yi Wei

January 2002