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

Your search returned 16162 results. Subscribe to this search

|
8981. Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring

by Boule, Marc | Zilic, Zeljko.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx, 279p.Publisher: U.K. Springer Science+Business Media 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3815 B664g] (1).

8982. A theory of objects

by Abadi, Martin | Luca Cardelli.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 396p.Publisher: New York Springer 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 Ab14t] (1).

8983. Smart sensors and sensing technology

by | Mukhopadhyay, Subhas Chandra,Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxii,411p.Publisher: Berlin Springer-Verlag 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.89 Sm29] (1).

8984. Wireless transceiver systems design

by Eberle, Wolfgang.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 289p.Publisher: New York Springer Science+Business Media 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.384 Eb37w] (1).

8985. Digital noise monitoring of defect origin

by Aliev, Telman.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 223p.Publisher: New York Springer Science+Business Media 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3 Al42d] (1).

8986. Analysis and design of quadrature oscillators

by | Oliveira, Luis B.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,162p.Publisher: New York Springer Science+Business Media 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381533 An13] (1).

8987. Adaptive multi-standard RF front-ends

by | Vidojkovic, Vojkan.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii,191p.Publisher: New York Springer Science+Business Media 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.384131 Ad19] (1).

8988. Computational intelligence for remote sensing

by | Grana, Manuel. Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: x, 391p.Publisher: Heidelberg Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 C739] (1).

8989. Earth structures : in transport, water and environmental engineering

by Vanicek, Ivan | Vanicek, Martin.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,637p.Publisher: New York Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 624.15136 V318e] (1).

8990. Inorganic and organometallic macromolecules : design and applications

by | Abd-El-Aziz, Alaa S.,Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 475p.Publisher: New York Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 546 In711] (1).

8991. Composites with micro-and nano-structures : computational modeling and experiments

by | Onate, D., Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix,300p.Publisher: New York Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.118015118 C738] (1).

8992. Continuum mechanics

by Irgens, Fridtjov.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii, 661p.Publisher: Berlin Springer Verlag 2008Availability: No items available Checked out (1).

8993. Digital image processing : an algorithmic introduction using java

by Burger, Wilhelm | Burge, Mark James.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx,564p.Publisher: New York Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.367 B911d] (1).

8994. The painleve handbook

by Conte, Robert | Musette, Micheline.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxiii, 256p.Publisher: The Netherlands Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.355 C767p] (1).

8995. Signal processing techniques for knowledge extraction and information fusion

by | Mandic, Danilo, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxii, 320p.Publisher: New York Springer Science+Business Media 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3822 Si261m] (1).

8996. Electron microscopy of polymers

by Michler, Goerg H.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx, 473p.Publisher: New York Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 547.7 M583e] (1).

8997. Computational acoustics of noise propagation in fluids : finite and boundary element methods

by | Marburg, Steffen, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 578 p.Publisher: New York Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.250151 C739] (1).

8998. Simulation and inference for stochastic differential equations : with R examples

by Iacus, Stefano M.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii, 284 p.Publisher: New York Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.9 Ia1s] (1).

8999. Complex nonlinearity : chaos, phase transitions, topology change and path integrals

by Ivancevic, Vladimir G | Ivancevic, Tijana T.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,844p.Publisher: Berlin Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.836 Iv1c] (1).

9000. Polymer microscopy

by Sawyer, Linda C | Grubb, David T.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 540p.Publisher: New York Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 547.7 Sa97p3] (1).

Powered by Koha