Computer programming, programs, data (category at ISBNdb.com)

Information retrieval
Information retrieval: data structures & algorithms
edited by William B. Frakes, Ricardo Baeza-Yates
Publisher: Englewood Cliffs, N.J. : Prentice Hall, c1992.
ISBN: 0134638379 DDC: 5 LCC: QA76.9

Text retrieval
Text retrieval: a directory of software
edited by Robert Kimberley; with an introduction by Jennifer Rowley
Publisher: Aldershot, Hants, Eng. ; Gower, c1987.
ISBN: 0566053721 DDC: 5 LCC: QA76.9 Edition: (loose-leaf) :$50.00 (est.)

Error-free software
Error-free software: know-how and know-why of program correctness
Robert Laurence Baber; translated from the German original by the author
Publisher: Chichester, England ; Wiley, c1991.
ISBN: 0471930164 DDC: 5 LCC: QA76.76 Edition: $37.90

A study in string processing languages
Paul Klint
Publisher: Berlin ; Springer-Verlag, c1985.
ISBN: 0387160418 DDC: 5 LCC: QA76.9 Edition: (U.S.)

Foundations of software technology and theoretical computer science
Foundations of software technology and theoretical computer science: fifth conference, New Delhi, India, December 16-18, 1985: proceedings
edited by S. N. Maheshwari
Publisher: Berlin ; Springer-Verlag, c1985.
ISBN: 0387160426 DDC: 5 LCC: QA76.751 Edition: (U.S.)

Software reliability modelling and identification
Sergio Bittanti, ed
Publisher: Berlin ; Springer-Verlag, c1988.
ISBN: 0387506950 DDC: 5 LCC: QA76.76 Edition: (U.S.)

Software reliability modelling and identification
Sergio Bittanti, ed
Publisher: Berlin ; Springer-Verlag, c1988.
ISBN: 3540506950 DDC: 5 LCC: QA76.76 Edition: (Berlin)

Intention-based diagnosis of novice programing errors
W. Lewis Johnson
Publisher: London : Pitman ; 1986
ISBN: 0934613192 DDC: 5 Edition: (Morgan Kaufmann)

Ensuring software reliability
Ann Marie Neufelder
Publisher: New York : Dekker, c1993.
ISBN: 0824787625 DDC: 5 LCC: QA76.76 Edition: (alk. paper)

Ensuring software reliability
Ann Marie Neufelder
Publisher: New York : Dekker, c1993.
ISBN: 0585158517 DDC: 5 LCC: QA76.76 Edition: (electronic bk.)

Proceedings
Proceedings: Fourth International Symposium on Software Reliability Engineering, November 3-6, 1993 Denver, Colorado
Spons. by IEEE Computer Society, Technical Committee on Software Engineering, Subcommittee on Software Reliability Engineering
Publisher: Los Alamitos, Calif : IEEE Computer Society Press, c1993
ISBN: 0818640103 DDC: 5 LCC: QA76.76 Edition: (paper)

Software reuse
Software reuse: guidelines and methods
James W. Hooper and Rowena O. Chester
Publisher: New York : Plenum Press, c1991.
ISBN: 0306439182 DDC: 5 LCC: QA76.76

Working with Unicenter TNG
Richard Sturm, Audrey Rasmussen, Robert H. Taylor
Publisher: Indianapolis, Ind. : Que ; c1999.
ISBN: 0789720825 DDC: 5 Edition: (pbk.) :£36.99

Foundations of software technology and theoretical computer science
Foundations of software technology and theoretical computer science: 11th conference, New Delhi, India, December 17-19, 1991: proceedings
S. Biswas, K. V. Nori (eds.)
Publisher: Berlin ; Springer-Verlag, c1991.
ISBN: 0387549676 DDC: 5 LCC: QA76.751 Edition: (New York)

Program correctness over abstract data types, with error-state semantics
J. V. Tucker, J. I. Zucker
Publisher: Amsterdam ; North-Holland ; 1988.
ISBN: 0444703403 DDC: 5 LCC: QA76.6 Edition: (U.S.)

Programmentwicklung und Verifikation
Gerald Futschek
Publisher: Wien ; Springer-Verlag, c1989.
ISBN: 0387818677 DDC: 5 LCC: QA76.6 Edition: (U.S.)

Programmers at work
Publisher: Redmond, Wash. : Microsoft Press ; c1986-
ISBN: 0914845713 DDC: 5 LCC: QA76.6 Edition: (pbk. : v. 1)

1985 Symposium on Logic Programming
1985 Symposium on Logic Programming: July 15-18, 1985, Sheraton Boston Hotel, Boston, Massachusetts
sponsored by IEEE Computer Society, Technical Committee on Computer Languages
Publisher: Washington, D.C. : IEEE Computer Society Press ; c1985.
ISBN: 0818606363 DDC: 5 LCC: QA76.6 Edition: (pbk.)

Books on the Same Shelf