|
2561.
|
Intelligent data handling
by Murdoch, S | Johnson, L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 177p.Publisher: London Chapman And Hall 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 M941i] (1).
|
|
2562.
|
The shape of algebra in the mirrors of mathematics
: a visual, computer-aided exploration of elementary algebra and beyond
by Katz, Gabriel | Nodelman, Vladimir. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv, 607p.Publisher: New Jersey World Scientific 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.9422 K159s] (1).
|
|
2563.
|
Statistical confidentiality
: principles and practice
by Duncan, George T | Elliot, Mark | Salazar-Gonzalez, Juan-Jose. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,197p.Publisher: New York Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.5 D912s] (1).
|
|
2564.
|
Biological sequence analysis using the SeqAn C++ library
by Gogol-Doring, Andreas | Reinert, Knut. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 311p.Publisher: Boca Raton Crc Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 611.0181663 G557b] (1).
|
|
2565.
|
Software engineering, artificial intelligence, networking and parallel/distributed computing
by | Roger Lee, Ed | 12th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing Sydney, N.S.W 2011. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 183p.Publisher: Berlin Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 So23] (1).
|
|
2566.
|
Network-aware source coding and communication
by | Sarshar, Nima. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 179p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 N389] (1).
|
|
2567.
|
Human resource information systems
: basics, applications and future directions
by | Kavanagh, Michael J., Ed. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii, 623p.Publisher: Los Angeles Sage 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.300285 H88r2] (1).
|
|
2568.
|
Reasoning in event-based distributed systems
by Helmer, Sven | Poulovassilis, Alexandra. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 308p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.36 H369r] (1).
|
|
2569.
|
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).
|
|
2570.
|
Temporal information processing technology and its applications
by Tang, Yong | Ye, Xiaoping | Tang, Na. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 349p.Publisher: New York Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.753 T156t] (1).
|
|
2571.
|
Effective polynomial computation
by Zippel, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 363p.Publisher: Boston Kluwer Academic Publishers 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.920285 Z68e] (1).
|
|
2572.
|
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).
|
|
2573.
|
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).
|
|
2574.
|
Symbolic model checking
by Mcmillan, Kenneth L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 194p.Publisher: Boston Kluwer Academic 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.392 M459s] (1).
|
|
2575.
|
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).
|
|
2576.
|
Handbook of web based energy information and control systems
by | Capehart, Barney L., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 565p.Publisher: Boca Raton Crc Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.26 H191] (1).
|
|
2577.
|
Advanced computational intelligence paradigms in healthcare 6
: virtual reality in psychotheraphy, rehabilation and assessment
by | Brahnam, Sheryl, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 289p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.8 Ad95] (1).
|
|
2578.
|
Kernel-based data fusion for machine learning
: methods and applications in bioinformatics and text mining
by | Yu, Shi. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 212p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.31 K459] (1).
|
|
2579.
|
Data-driven controller design
: the H2 approach
by Bazanella, Alexandre Sanfelice | Campestrini, Luciola. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 207p.Publisher: Dordrecht Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8312 B347d] (1).
|
|
2580.
|
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).
|