|
|
201.
|
THE CHARACTERISTICS OF PARALLEL ALGORETHMS
by Jamieson, Leah H | Douglass, Robert J. Material type:  Book Description: 440.Publisher: Cambridge Mit Press c1987Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 C37] (1).
|
|
|
202.
|
INTRODUCTION TO COMPUTER SCIENCE
by Govindaraju, S. Material type: Book Description: xi,235.Publisher: New Delhi Wiley Eastern c1992Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 In8] (1).
|
|
|
203.
|
TRANSPUTER RESEARCH AND APPLICATIONS 5
by Veronis, Andrew M | Paker, Yakup. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 337.Publisher: Amsterdam Ios Press 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 T687r] (1).
|
|
|
204.
|
TRANSPUTER SYSTEMS-ONGOING RESEARCH
by Allen, Alastain. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,266.Publisher: Amsterdam Ios Press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 T687s] (1).
|
|
|
205.
|
MODULAR CONSTRUCTION AND PARTIAL ORDER SEMANTICS OF PETRI NETS
by Vogler, W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,252.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
206.
|
HYPEREDGE REPLACEMENT
by Habel, A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,214.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
207.
|
RELATIONAL MATCHING
by Vosselman, G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,190.Publisher: Barlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
208.
|
LIVE DATA STRUCTURES IN LOGIC PROGRAMS
by Mulkers, Anne. Material type: Book Description: viii,211.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).
|
|
|
209.
|
Theories and methods of spatio-temporal reasoning in gepgraphic space: proceedings
by Frank, A. U | International conference GIS-from space to territory:theories and methods of spatio-temporal reasoning Pisa, italy September 1992 | Formentini, U., series ed., Campari,I. series ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,431.Publisher: Berlin: Springer-Verlag, 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.639] (1).
|
|
|
210.
|
SPECIFYING MESSAGE PASSING AND TIMECRITICAL SYSTEMS WITH TEMPORAL LOGIC
by Koymans, Ron. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 164.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
211.
|
NEURAL NETWORKS
by Antognetti, Paolo | Milutinovic, Veljko. Material type: Book Description: xii,227.Publisher: New Jersey Prentice Hall c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 N398] (1).
|
|
|
212.
|
A GUIDE TO COMMERCIAL ARTIFICIAL INTELLIGENCE
by Rauch-Hindin, Wendy B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvi,523.Publisher: Englewood Cliffs Prentice Hall 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 R19g] (1).
|
|
|
213.
|
AUTOMATING KNOWLEDGE ACQUISITION FOR EXPERT SYSTEMS
by Marcus, Sandra. Material type: Book Description: xvi,270.Publisher: Boston Kluwer Academic Pub. c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1).
|
|
|
214.
|
Expert systems
: principles and practice
by Bonnet, A | Haton, J-P | Truong-Ngoc, J-M | Howlett, Jack [Tr.]. Material type: Book Description: x, 228p.Publisher: New York Prentice Hall c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 B643sE] (1).
|
|
|
215.
|
KNOWLEDGE ACQUISITION
by Brule, James F. Material type: Book Description: xxvii,253.Publisher: New York Mcgraw-Hill c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 B834k] (1).
|
|
|
216.
|
HANDBOOK OF THEORETICAL COMPUTER SCIENCE
by Leeuwen, Jan Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2v.Publisher: Amsterdam Elsevier 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6 H191] (1).
|
|
|
217.
|
KNOWLEDGE ACQUISITION
by Mcgraw, Karen L | Harbison-Briggskaran. Material type: Book Description: xvi,379.Publisher: Englewood Cliffs Prentice Hall c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 M178k] (1).
|
|
|
218.
|
Managing artificial intelligence and expert systems
by Salvo, Daniel A. De | Liebowitz, Jay. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 212p.Publisher: Englewood Cliffs Yourdon Press 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 M311] (1).
|
|
|
219.
|
Building expert systems
: a tutorial
by Martin, James | Oxman, Steven. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 457 p.Publisher: Englewood Cliffs, N.J. Prentice-Hall, c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 M363b] (1).
|
|
|
220.
|
HANDBOOK OF THEORETICAL COMPUTER SCIENCE
by Leeuwen, Jan Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2v.Publisher: Amsterdam Elsevier 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6 H191] (1).
|
