|
|
641.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type:  Book Description: viii,323.Publisher: Berlin Springer - Verlag c1993Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
642.
|
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).
|
|
|
643.
|
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).
|
|
|
644.
|
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).
|
|
|
645.
|
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).
|
|
|
646.
|
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).
|
|
|
647.
|
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).
|
|
|
648.
|
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).
|
|
|
649.
|
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).
|
|
|
650.
|
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).
|
|
|
651.
|
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).
|
|
|
652.
|
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).
|
|
|
653.
|
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).
|
|
|
654.
|
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).
|
|
|
655.
|
LOW-VOLTAGE CMOS OPERATIONAL AMPLIFIERS
by Sakurai,Satoshi | Ismail,Mohammed. Material type: Book Description: xvii,254.Publisher: Kluwer Academic Publishers, Boston c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 SA29L] (1).
|
|
|
656.
|
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).
|
|
|
657.
|
CURVES AND SURFACES FOR COMPUTER AIDED GEOMETRIC DESIGN
by Farin, Gerald. Edition: 2ndMaterial type: Book Description: xvii,444.Publisher: Boston Academic Press c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 F227c2] (1).
|
|
|
658.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G | Hartmanis, J. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin 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.440] (1).
|
|
|
659.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G | Hartmanis, J. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin Springer-Verlag 1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.401] (1).
|
|
|
660.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G | Hartmanis, J. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin Springer-Verlag 1991Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.556] (1).
|
