Programming languages & software engineering

Luis Felipe Cabrera, Mike Jones, Marvin Theimer

Proceedings of the Eighth Workshop on Hot Topics in Operating Systems (HotOS-VIII) | May 2001

Miguel Castro, Rodrigo Rodrigues, Barbara Liskov

Workshop on Hot Topics in Operating Systems (HotOS’01) | May 2001

Luca Cardelli, Andy Gordon

5th International Conference, TLCA Kraków, Poland, May 2-5, 2001 | April 2001

ISBN: 9783540419600

Amitabh Srivastava, Andrew Edwards, Hoi Vo

MSR-TR-2001-50 | April 2001

Luca Cardelli, Giorgio Ghelli

SEBD | April 2001

ISBN: 3-540-41862-8

Emery D. Berger, Ben Zorn, Kathryn McKinley

MSR-TR-2000-113 | April 2001

Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers

MSR-TR-2001-38 | March 2001

Nicolas Bruno, Surajit Chaudhuri, Luis Gravano

MSR-TR-2001-36 | March 2001

Microsoft による投稿

プロジェクト プロジェクト

David Tarditi

February 2001

February 2001

Colin Campbell, Yuri Gurevich

Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001) eds. R. Moreno-Diaz and A. Quesada-Arencibia, Universidad de Las Palmas de Gran Canaria Canary Islands, Spain | February 2001