|
1961.
|
Accelerating global supply chains with IT-innovation
: ITAIDE tools and methods
by | Tan. You-Hua, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 379 p.Publisher: Heidelberg Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.70285 Ac22] (1).
|
|
1962.
|
Statistics and data analysis for microarrays using R and bioconductor
by Draghici, Sorin. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xlviii, 1042p.Publisher: Boca Raton Crc Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 572.8626 D875s2] (1).
|
|
1963.
|
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).
|
|
1964.
|
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).
|
|
1965.
|
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).
|
|
1966.
|
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).
|
|
1967.
|
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).
|
|
1968.
|
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).
|
|
1969.
|
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).
|
|
1970.
|
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).
|
|
1971.
|
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).
|
|
1972.
|
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).
|
|
1973.
|
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).
|
|
1974.
|
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).
|
|
1975.
|
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).
|
|
1976.
|
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).
|
|
1977.
|
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).
|
|
1978.
|
Multivariate generalized linear mixed models using R
by Berridge, Damon M | Crouchley, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 280p.Publisher: Boca Raton Crc Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.35133 B459m] (1).
|
|
1979.
|
Signal processing methods for music transcription
by Klapuri, Anssi (Ed.) | Davy, Manuel (Ed.). Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 440p.Publisher: New York Springer 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 780.148 Si26] (1).
|
|
1980.
|
Signal processing for neuroscientists
: introduction to the analysis of physiological signals
by Drongelen, Wim Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 308p.Publisher: Amsterdam Elsevier 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 612.8 D836s] (1).
|