|
|
1141.
|
MEMORY STORAGE PATTERNS IN PARALLEL PROCESSING
by Mace, Mary E. Material type:  Book Description: 139.Publisher: Boston Kluwer c1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 M15m] (1).
|
|
|
1142.
|
SPECIFICATION OF COMPUTER PROGRAMS
by Turski, Wladyslaw M | Maibaun, Thomas S. E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,278.Publisher: Wokingham Addison-Wesley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 T869s] (1).
|
|
|
1143.
|
PRINCIPLES OF DATABASE AND KNOWLEDGE-BASE SYSTEMS
by Ullman, Jeffrey D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2 v.Publisher: Rockville Computer Science Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 U15pd] (1).
|
|
|
1144.
|
STRUCTURE OF THE RELATIONAL DATABASE MODEL
by Paredaens, Jan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,231.Publisher: Berlin Springer-Verlag 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 St89] (1).
|
|
|
1145.
|
COMMON LISP PROGRAMMING FOR ARTIFICIAL INTELLIGENCE
by Hasemer, Tony | Domingue, John. Material type: Book Description: xiii,444.Publisher: Wokingham Addison-Wesley c1989Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 H272c] (1).
|
|
|
1146.
|
The clausal theory of types
by Wolfram, D. A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 124p.Publisher: Cambridge Cambridge University Press 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W833c] (1).
|
|
|
1147.
|
APPLICATIONS OF FINITE FIELDS
by Menezes,Alfred J.[ed.]. Material type: Book Description: xi,218.Publisher: Boston Kluwer Academic Pub. c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.54 Ap58] (1).
|
|
|
1148.
|
DATABASE THEORY AND PRACTICE
by Frank, Lars | Helmersen, Ole. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,374.Publisher: Wokingham Addison-Wesley 1988Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 F851dE] (1).
|
|
|
1149.
|
DISTRIBUTED SYSTEMS
by Coulouris, George F | Dollimore, Jean. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,366.Publisher: Workingham Addison Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 C832d] (1).
|
|
|
1150.
|
DISTRIBUTED SYSTEMS
by Coulouris, George F | Dollimore, Jean. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,366.Publisher: Workingham Addison Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 C832d] (1).
|
|
|
1151.
|
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).
|
|
|
1152.
|
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).
|
|
|
1153.
|
SYNTHESIZER GENERATOR
by Reps, Thomas W | Teitelbam, Tim. Material type: Book Description: xiii,317.Publisher: New York Springer Verlag c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 R299s] (1).
|
|
|
1154.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,513.Publisher: Springer-Verlag,Berlin 1995Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1155.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,526.Publisher: Springer-Verlag, Berlin 1996Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1156.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,410.Publisher: Springer-Verlag,Berlin 1995Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1157.
|
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).
|
|
|
1158.
|
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).
|
|
|
1159.
|
Functional programming
by Field, Anthony J | Harrison, Peter G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 602p.Publisher: Wokingham, England Addison-Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 F453f] (1).
|
|
|
1160.
|
SUN USER'S GUIDE
by Beer, Stephen | Coffield, David. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,220.Publisher: Basingstoke Macmillan Education 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 B392s] (1).
|
