|
1661.
|
A knowledge-based approach to program understanding
by Abd-El-Hafiz, Salwa K | Basili, Victor R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 119p.Publisher: Boston Kluwer Academic Publishers 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.15 Ab31k] (1).
|
|
1662.
|
Fault-tolerant real-time systems
: the problem of replica determinism
by Poledna, Stefan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 147p.Publisher: Boston Kluwer Academic 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.2548 P757f] (1).
|
|
1663.
|
Pattern recognition
: an algorithmic approach
by Murty, M. Narasimha | Devi, V. Susheela. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 263p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.4 M969p] (1).
|
|
1664.
|
Timed boolean functions
: a unified formalism for exact timing analysis
by Lam, William K. C | Brayton, Robert K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 273p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 L16t] (1).
|
|
1665.
|
Variation principle in informational macrodynamics
by Lerner, Vladimir S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 264p.Publisher: Boston Kluwer Academic 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 L562v] (1).
|
|
1666.
|
Lossy image compression
: domain decomposition-based algorithms
by Shukla, K.K | Prasad, M.V. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 89p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.6 Sh92l] (1).
|
|
1667.
|
Repairing and querying databases under aggregate constraints
by Flesca, Sergio | Furfaro, Filippo. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 61p.Publisher: New York Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.74068 F631r] (1).
|
|
1668.
|
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).
|
|
1669.
|
Principles of database and knowledge-base systems (vol.2)
by Ullman, Jeffrey D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 633p.-1137p.Publisher: Rockville, MD Computer Science Press 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 Ul5p v.2] (1).
|
|
1670.
|
Multithreaded computer architecture
: a summary of the state of the art
by | Iannucci, Robert A., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 400p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.32 M919] (1).
|
|
1671.
|
A formal approach to hardware design
by Staunstrup, Jorgen. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 232p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 St29f] (1).
|
|
1672.
|
Foundations of knowledge acquisition
: machine learning
by | Meyrowitz, Alan L., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 334p.Publisher: Boston Kluwer Academic Publishers 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.31 F825] (1).
|
|
1673.
|
The design and implementation of a log-structured file system
by Rosenblum, Mendel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 144p.Publisher: Massachusetts Kluwer Academic Publishers 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.43 R723d] (1).
|
|
1674.
|
Mobile computing
by Imielinski, Tomasz [ed.] | Korth, Henry F [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii, 728p.Publisher: Boston Kluwer Academic Publishers 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.6 M713] (1).
|
|
1675.
|
Neural network simulation environments
by | Skrzypek, Josef, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 251p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 N398] (1).
|
|
1676.
|
Machine learning
: a guide to current research
by | Mitchell, Tom M., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 429p.Publisher: Boston Kluwer Academic Press 1986Availability: No items available Checked out (1).
|
|
1677.
|
Smalltalk-80
by Mevel, A | Gueguen, T. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 179p.Publisher: Houndmills Macmillan Education 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M573s] (1).
|
|
1678.
|
Fully abstract models of programming languages
by Stoughton, Allen. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 123p.Publisher: London Pitman Publishing 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 St76f] (1).
|
|
1679.
|
Communications and networking
: an introduction
by Cowley, John. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xix, 251p.Publisher: London Springer-Verlag 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.6 C839c2] (1).
|
|
1680.
|
Introduction to video and image processing
: building real systems and applications
by Moeslund, Thomas B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 227p.Publisher: New York Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.367 M723i] (1).
|