|
|
4601.
|
Anemona
: a multi-agent methodology for holonic manufacturing systems
by Botti, Vicente | Giret, Adriana. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xv, 214p.Publisher: London Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 670.285 B659a] (1).
|
|
|
4602.
|
3D graphics for game programming
by Han, Junghyun. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 318p.Publisher: Boca Raton Crc Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 794.81526 H19t] (1).
|
|
|
4603.
|
Knowledge based systems for test and diagnosis
: proceedings ...
by | IFIP WG 10.5 International Workshop on Knowledge Based Systems for Test and Diagnosis Grenoble, France 1988 | Saucier, G., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 257p.Publisher: Amsterdam North-Holland 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 In8k] (1).
|
|
|
4604.
|
Spyware and adware
by Aycock, John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 145p.Publisher: New York Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.8 Ay18s] (1).
|
|
|
4605.
|
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).
|
|
|
4606.
|
Design of logic-based intelligent systems
by Truemper, Klaus. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 352p.Publisher: Hoboken John Wiley & Sons 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 T768d] (1).
|
|
|
4607.
|
A guide to experimental algorithmics
by Mcgeoch, Catherine C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 261p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 M459g] (1).
|
|
|
4608.
|
Cooperative management of enterprise networks
by Ray, Pradeep. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 187p.Publisher: New York Kluwer Academic 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.0546 R212c] (1).
|
|
|
4609.
|
A history of personal workstations
by | Goldberg, Adele, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 537p.Publisher: New York Acm Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 H629] (1).
|
|
|
4610.
|
Geometric spanner networks
by Narasimhan, Giri | Smid, Michiel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 500p.Publisher: Cambridge Cambridge University Press 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 N164g] (1).
|
|
|
4611.
|
C++ primer plus
by Prata, Stephen. Edition: 5thMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 1202p.Publisher: Indianapolis Sams 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.133 P887c5] (1).
|
|
|
4612.
|
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).
|
|
|
4613.
|
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).
|
|
|
4614.
|
Hybrid neural network and expert systems
by Medsker, L.R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 240p.Publisher: Boston Kluwer Academic 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 M469h] (1).
|
|
|
4615.
|
New software engineering paradigm based on complexity science
: an introduction to NSE
by Xiong, Jay. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxxv, 746p.Publisher: New York Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 X47n] (1).
|
|
|
4616.
|
Process assessment and improvement
: a practical guide
by Loon, Han Van. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 293p.Publisher: New York Springer 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005 L873p2] (1).
|
|
|
4617.
|
Simply scheme
: introducing computer science
by Harvey, Brian | Wright, Matthew. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxxii, 579p.Publisher: Cambridge Mit Press 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.133 H262s2] (1).
|
|
|
4618.
|
Verification by error modeling
: using testing techniques in hardware verification
by Radecka, Katarzyna | Zilic, Zeljko. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 216p.Publisher: Boston Kluwer Academic Publishers 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 R117v] (1).
|
|
|
4619.
|
Sketch-based interfaces and modeling
by | Jorge, Joaquim, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 402p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.437 Sk2] (1).
|
|
|
4620.
|
Fundamentals of scientific computing
by Gustafsson, Bertil. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 316p.Publisher: New York Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.3 G978f] (1).
|
