|
61.
|
SOFTWARE DEVELOPMENT
by Jones, Clifford B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 382p.Publisher: Englewood Cliffs, N. J. Prentice-Hall International 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 J712s] (1).
|
|
62.
|
STRUCTURED SYSTEM PROGRAMMING
by Welsh, Jim | Mckeag, Michael. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,324.Publisher: Englewood Cliffs Prentice-Hall 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 W465s] (1).
|
|
63.
|
A model implementation of standard Pascal
by Welsh, Jim | Hay, Atholl. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 463p.Publisher: Englewood Cliffs Prentice-Hall International 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W465m] (1).
|
|
64.
|
Program construction and verification
by Backhouse, Roland C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall International 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1).
|
|
65.
|
Program construction and verification
by Backhouse, Roland C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1).
|
|
66.
|
Denotational semantics : the Scott-Strachey approach to programming language theory
by Stoy, Joseph E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxx, 414p.Publisher: Cambridge Mit Press 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 St79d] (2).
|
|
67.
|
PRINCIPLES OF PROGRAMMING LANGUAGES
by Tennent, R. D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,271.Publisher: Englewood Cliffs Prentice-Hall 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 T256p] (1).
|
|
68.
|
INTRODUCTORY ADA
by Texel, Putnam P. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,441.Publisher: Belmont Wadsworth 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 T312i] (1).
|
|
69.
|
Computing in the humanities
by | Patton, Peter C.,Ed | Holoien, Renee A., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 404p.Publisher: Lexington, Massachusetts Lexington Books 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.302854 C739] (1).
|
|
70.
|
COMPUTATIONAL CATEGORY THEORY
by Rydeheard, David E | Burstall, Rod M. Material type: Book Description: xiii,257.Publisher: New York Prentice Hall c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 R972] (1).
|
|
71.
|
DESIGN AND IMPLEMENTATION OF CONCURRENT SMALLTALK
by Yokote, Yasuhiko. Material type: Book Description: xv,153.Publisher: Singapore World Scientific c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Y77d] (1).
|
|
72.
|
PROGRAMMING LANGUAGE CONCEPTS AND PARADIGMS
by Watt, David A. Material type: Book Description: xvi,322.Publisher: New York Prentice Hall c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W34p] (1).
|
|
73.
|
INFORMATION-THEORETIC INCOMPLETENESS
by Chaitin, G. J. Material type: Book Description: viii,227.Publisher: Singapore World Scientific c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 C349i] (1).
|
|
74.
|
PROGRAMMING LANGUAGE THEORY AND ITS IMPLEMENTATION
by Gordon, Michael J. C. Material type: Book Description: xiv,255.Publisher: New York Prentice Hall c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G657p] (1).
|
|
75.
|
Computer vision and shape recognition
by Krzyzak, Adam [Ed.] | Kasvand, Tony [Ed.] | Suen, Ching Y. [Ed.]. Material type: Book Description: ix, 451p.Publisher: Singapore World Scientific c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.534 C739] (1).
|
|
76.
|
Distributed systems and computer networks
by Sloman, Morris | Kramer, Jeff. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,336p.Publisher: Englewood Cliff Prentice-Hall 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 Sl54d] (1).
|
|
77.
|
INFORMATION RANDOMNESS & INCOMPLETENESS
by Chaitin, Gregory J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,272.Publisher: Singapore World Scientific 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C349i] (1).
|
|
78.
|
THE LOGICAL BASIS FOR COMPUTER PROGRAMMING
by Manna, Zohar | Waldinger, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2 v.Publisher: Reading, Mass. Addison-Wesley 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 M315L] (1).
|
|
79.
|
NEURAL NETWORKS IN COMPUTER INTELLIGENCE
by Fu,Limin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,460.Publisher: Mcgraw-Hill, New York 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 F95N] (1).
|
|
80.
|
LOGIC AND OBJECTS
by Mccabe,Francis G. Material type: Book Description: xxii,289.Publisher: Prentice-Hall, New York c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 M123L] (1).
|