Programming languages & software engineering

Ofer Dekel, Shai Shalev-Shwartz, Yoram Singer

Advances in Neural Information Processing Systems 18 | January 2006

Sriram Rajamani

Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM) | January 2006

Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM)

Nikolai Tillmann, Feng Chen, Wolfram Schulte

Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM’06), LNCS | January 2006

ISBN: 3-540-47460-9

Project Project Project

Hiroya Takamura, Takashi Inui, Manabu Okumura

Proceedings EACL-06, the 11rd Conference of the European Chapter of the Association for Computational Linguistics | January 2006

Hongcheng Mi, I-Heng Mei

Proceedings ofAAAI-CAAW-06, the Spring Symposia on Computational Approaches to Analyzing Weblogs | January 2006

Margus Veanes, Pritam Roy, Colin Campbell

Formal Approaches to Software Testing and Runtime Verification, FATES/RV 2006 | January 2006

Alexey Gotsman, Josh Berdine, Byron Cook

Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings | January 2006

ISBN: 3-540-37756-5

Lucy Vanderwende, Arul Menezes, Rion Snow

Proceedings of the Second PASCAL Recognising Textual Entailment Challenge Workshop | January 2006

Proceedings of the Second PASCAL Recognising Textual Entailment Challenge Workshop

Steven Swanson, Andrew Putnam, Martha Mercaldi, Ken Michelson, Andrew Petersen, Andrew Schwerin, Mark Oskin, Susan J. Eggers

Proceedings of the 33rd Annual International Symposium on Computer Architecture | January 2006

Proceedings of the 33rd Annual International Symposium on Computer Architecture

ISBN: 0-7695-2608-X

Nick Benton, Noah Torp-Smith

Proceedings of the Third Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE ’06) | January 2006

Proceedings of the Third Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE '06)