|
2021.
|
VLSI for artificial intelligence
by | Delgado--Frias, Jose G., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 274p.Publisher: Boston Kluwer Academic 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 V62] (1).
|
|
2022.
|
INFORMATION-BASED COMPLEXITY
by Traub, J. F | Wasilkowski, G. W. Material type: Book Description: xiii,523.Publisher: Boston Academic Pr. c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 T692i] (1).
|
|
2023.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G | Hartmanis, J. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Springer-Verlag 1990Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L4967 V.411] (1).
|
|
2024.
|
CONCURRENT PROGRAMMING
by Gehani, Narain | Mcgettrick, Andrew D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,621.Publisher: Workingham Addison-Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C749] (1).
|
|
2025.
|
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).
|
|
2026.
|
Logic and computation
: interactive proof with Cambridge LCF
by Paulson, Lawrence C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 302p.Publisher: Cambridge Cambridge University Press 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 P285l] (1).
|
|
2027.
|
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).
|
|
2028.
|
CRYSTAL ENGINEERING
by Desiraju, Gautam R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,312.Publisher: Amsterdam Elsevier 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 541.0421 D46c] (1).
|
|
2029.
|
PHASE TRANSFORMATIONS IN MATERIALS
by Haasen, Peter. Material type: Book Description: 648.Publisher: Weinheim Vch Verlagsgeselischaft c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.11 P495t] (1).
|
|
2030.
|
Concurrency control in distributed database systems
by Cellary, Wojciech | Gelenbe, Erol | Morzy, Tadeusz. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 349p.Publisher: Amsterdam North-Holland 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C33c] (1).
|
|
2031.
|
Object-oriented database programming
by Alagic, Suad. Material type: Book Description: xv, 320p.Publisher: New York Springer c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Al11o] (1).
|
|
2032.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G | Hartmanis, J. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Springer-Verlag 1990Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.412] (1).
|
|
2033.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G | Hartmanis, J. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Springer-Verlag 1990Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.439] (1).
|
|
2034.
|
THIN LIQUID FILMS
by Ivanov, I. B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,1126.Publisher: New York Marcel Dekker 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 541.3453 T348i] (1).
|
|
2035.
|
Solid-state physics source book
by Parker, Sybil P [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 381p.Publisher: New York Mcgraw-Hill Book Company 1987Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 530.41 So44] (1).
|
|
2036.
|
REFERENCE SERVICE
by Ranganathan, Shiyali Ramamrita. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 432.Publisher: Bombay Asia Pub. House 1961Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 025.52 R162r2] (1).
|
|
2037.
|
Understanding Z : a specification language and its formal semantics
by Spivey, J. M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,131p.Publisher: Cambridge Cambridge University Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sp49u] (1).
|
|
2038.
|
CHAOTIC LOGIC
by Goertzel,Ben | Klir,George J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,278.Publisher: Plenum Press, New York 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.7 G553C] (1).
|
|
2039.
|
SYNTHESIS AND PROPERTIES OF BORON NITRIDE
by Pouch, John J | Alterovitz, Samuel A. Material type: Book Description: viii,415.Publisher: New York Plenum Press C1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 546.671 Sy78] (1).
|
|
2040.
|
FINITE FIELDS FOR COMPUTER SCIENTISTS AND ENGINEERS
by Mceliece, Robert J. Material type: Book Description: x,207.Publisher: Boston Kluwer Academic Pub. c1987Availability: No items available Withdrawn (1).
|