|
81.
|
INTRODUCTION TO PROGRAMMING IN PROLOG
by Crookes, Danny. Material type: Book Description: xii,226.Publisher: New York Prentice Hall c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 C882i] (1).
|
|
82.
|
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).
|
|
83.
|
COMMUNICATION AND CONCURRENCY
by Milner, Robin. Material type: Book Description: ix,260.Publisher: New York Prentice-Hall c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 M636c] (1).
|
|
84.
|
MATHEMATICAL LOGIC FOR COMPUTER SCIENCE
by Zhongwan,Lu. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xi,244.Publisher: World Scientific, Singapore 1998Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 005.131 Z61M2] (1).
|
|
85.
|
INTRODUCTION TO THEORETICAL COMPUTER SCIENCE
by Ma,Xiwen. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,108.Publisher: World Scientific, Singapore 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 M11I] (1).
|
|
86.
|
INFORMATION RANDOMNESS AND INCOMPLETENESS
by Chaitin,G J. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: v,320.Publisher: World Scientific,Singapore 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C349I2] (1).
|
|
87.
|
Software engineering
: a practitioners approach
by Pressman, Roger S. Edition: 5thMaterial type: Book; Literary form: Description: xxviii, 860p.Publisher: Boston Mc Graw Hill 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 P926s5] (1).
|
|
88.
|
Advances in Ad Hoc networking
by | Cuenca, Pedro, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 238p.Publisher: New York Springer Science+Business Media 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.6 Ad95] (1).
|
|
89.
|
A perspective in theoretical computer science
: commemorative volume for gift siromoney
by Narasimhan, R [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 438p.Publisher: Singapore World Scientific 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 P432] (1).
|
|
90.
|
ELEMENTS OF DIGITAL COMPUTER PROGRAMMING
by Reilly, Edwin D | Federighi, F. D. Material type: Book Description: x,222.Publisher: San Francisco Holden-Day c1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 651.8 R273e] (1).
|
|
91.
|
DIGITAL COMPUTER PROGRAMMING
by Thatcher, Charles Manson | Capato, Anthony J. Material type: Book Description: 159.Publisher: Reading, Mass. Addison-Wesley Pub. 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 651.8 T329d] (1).
|
|
92.
|
Introduction to digital electronics
by Lo, Arthur W. Material type: Book Description: viii, 223p.Publisher: Reading, Massachusetts Addision-Wesley Publishing 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381958 L78i] (1).
|
|
93.
|
SEQUENTIAL MACHINES
by Burks, Arthur W | Moore, Edward F. Material type: Book Description: 266.Publisher: Reading, Mass. Addison-Wesley Pub. 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8082 M782s] (1).
|
|
94.
|
NUMERICAL METHODS AND COMPUTERS
by Kuo, Shan Sun. Material type: Book Description: 341.Publisher: Reading, Mass. Addison-Wesley 1965Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 510.7834 K964n] (1).
|
|
95.
|
PRINCIPLES OF COMPUTATION
by Calingaert, Peter. Material type: Book Description: 200.Publisher: Reading, Mass. Addison-Wesley Pub. Co. 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.78 C129p] (1).
|
|
96.
|
THE APPROXIMATION OF FUNCTIONS
by Rice, John Rischard. Material type: Book Description: 1 v.Publisher: Reading, Mass. Addison-Wesley Pub. Co. 1964-Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 517.57 R363a] (1).
|
|
97.
|
Symbolic and algebraic computation by computers
by 2nd RIKEN International Symposium Wako-shi,Japan 1984 | Inada, N [ed.] Soma, T [ed.]. Description: viii, 246p.Publisher: Singapore World Scientific 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.140285 R449s] (1).
|
|
98.
|
Nearest Neighbor Search
: A Database Perspective /
: [electronic resource] :
by Papadopoulos, Apostolos N [author.] | Manolopoulos, Yannis [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 170 p. 77 illus. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
99.
|
Soft Real-Time Systems
: Predictability vs. Efficiency /
: [electronic resource] :
by Buttazzo, Giorgio [author.] | Lipari, Giuseppe [author.] | Abeni, Luca [author.] | Caccamo, Marco [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 275 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|