Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 3002 results. Subscribe to this search

|
1961. Accelerating global supply chains with IT-innovation : ITAIDE tools and methods

by | Tan. You-Hua, Ed.

Material type: book 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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).

Powered by Koha