RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings /

Published 1983

Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 17-19, 1987 : proceedings /

Published 1987

Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings /

Published 1988

RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan /

Published 1986

Catalogue of artificial intelligence tools /

by Bundy, Alan
Published 1986

Formal program development : IFIP TC 2/WG 2.1 state-of-the-art report /

Published 1993

Software management /

Published 1993

Larch : languages and tools for formal specification /

by Guttag, John
Published 1993

Standardized development of computer software /

by Tausworthe, Robert C.
Published 1977

Software design--cognitive aspects /

by Détienne, Françoise
Published 2002

Test-driven development : by example /

by Beck, Kent
Published 2003

Cooperative bug isolation winning thesis of the 2005 ACM Doctoral Dissertation Competition /

by Liblit, Ben
Published 2007

97 things every programmer should know : collective wisdom from the experts /

Published 2010

Software for your head : core protocols for creating and maintaining shared vision /

by McCarthy, Jim, 1951-
Published 2002

Version control with Subversion /

by Collins-Sussman, Ben
Published 2004

The productive programmer /

by Ford, Neal
Published 2008

The elements of MATLAB style

by Johnson, Richard K.
Published 2010

The computer boys take over : computers, programmers, and the politics of technical expertise /

by Ensmenger, Nathan, 1972-
Published 2010