|
1141.
|
Computing with logic
: logic programming with Prolog
by Maier, David | Warren, David S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 535p.Publisher: California Benjamin/Cummings Publishing 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M281c] (1).
|
|
1142.
|
Functional programming
: practice and theory
by Maclennan, Bruce J. Material type: Book Description: xii, 596p.Publisher: Reading, Massachusetts Addison-Wesley 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M224f] (1).
|
|
1143.
|
Functional programming
: practice and theory
by Maclennan, Bruce J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 596p.Publisher: Reading, Massachusetts Addison-Wesley 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M224f] (1).
|
|
1144.
|
Programming logics
: an introduction to verification and semantics
by Gumb, Raymond D. Material type: Book Description: xvii, 334p.Publisher: New York John Wiley 1989Availability: No items available Checked out (1).
|
|
1145.
|
OBJECT-ORIENTED CONCEPTS, DATABASES AND APPLICATIONS
by Kim, Won | Lochovsky, Frederich H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,602.Publisher: New York Acm Press 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Ob3] (1).
|
|
1146.
|
Logic and computer science
by Odifreddi, Piergiorgio [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 430p.Publisher: London Academic Press 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L829] (1).
|
|
1147.
|
PREDICATE TRANSFORMER SEMANTICS
by Manes, Ernest G. Material type: Book Description: 223.Publisher: Cambridge Cambridge Univ. Press c1992Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M313p] (1).
|
|
1148.
|
Implementation of functional programming languages
by Jones, Simon L. Peyton. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 445p.Publisher: London Prentice-Hall International Pub. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 J69i] (1).
|
|
1149.
|
INTRODUCTION TO SYSTEM SOFTWARE
by Dhamdhere, D. M. Material type: Book Description: viii,400.Publisher: New Delhi Tata Mcgraw-Hill c1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 D535i] (1).
|
|
1150.
|
UNIX and C
: a tutorial introduction
by Cornes, Philip. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 270p.Publisher: London Van Nostrand Reinhold (International) 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 C815u] (1).
|
|
1151.
|
INTRODUCTION TO PROGRAMMING AND PROBLEM SOLVING WITH PASCAL
by Schneider, G. Michael | Perlman, David M. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: ix,467.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).
|
|
1152.
|
INTRODUCTION TO PROGRAMMING AND PROBLEM SOLVING WITH PASCAL
by Schneider, G. Michael | Perlman, David M. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: ix,467.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).
|
|
1153.
|
An introduction to programming and problem solving with pascal
by Schneider, G. Michael | Perlman, David M. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: ix,467p.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).
|
|
1154.
|
INTRODUCTION TO PROGRAMMING AND PROBLEM SOLVING WITH PASCAL
by Schneider, G. Michael | Perlman, David M. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: ix,467.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).
|
|
1155.
|
INTRODUCTION TO PROGRAMMING AND PROBLEM SOLVING WITH PASCAL
by Schneider, G. Michael | Perlman, David M. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: ix,467.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).
|
|
1156.
|
Principles of visual programming systems
by | Chang, Shi-Kuo, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 372p.Publisher: Englewood Cliffs, New Jersey Prentice Hall 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 P935c] (1).
|
|
1157.
|
Guidebook to Fortran on supercomputers
by Levesque, John M | Williamson, Joel W. Material type: Book Description: vii, 218p.Publisher: San Diego Academic Press 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 L577g] (1).
|
|
1158.
|
PARALLEL PROGRAMMING AND COMPILERS
by Polychronopoulos, C. D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,240.Publisher: Boston Kluwer 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 P768p] (1).
|
|
1159.
|
COMPUTER-AIDED SOFTWARE ENGINEERING
by Gane, Chris. Material type: Book Description: xiv,220.Publisher: Englewood Cliffs Prentice Hall c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 G154c] (1).
|
|
1160.
|
FORMAL SPECIFICATION AND DESIGN
by Feijs, L. M. G | Jonkers, H. B. M. Material type: Book Description: xvi,335.Publisher: Cambridge Cambridge Univ. Press c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 F324f] (1).
|