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

Your search returned 143 results. Subscribe to this search

|
81. Multibody Mechanics and Visualization : [electronic resource] /

by Dankowicz, Harry J [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 504 p. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

82. Robust Control Design with MATLAB® : [electronic resource] /

by Gu, Da-Wei [author.] | Petkov, Petko Hristov [author.] | Konstantinov, Mihail Mihaylov [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 389 p. 288 illus. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

83. The Universal Generating Function in Reliability Analysis and Optimization : [electronic resource] /

by Levitin, Gregory [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 442 p. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

84. Computational Intelligence for Modelling and Prediction : [electronic resource] /

by Halgamuge, Saman K [editor.] | Wang, Lipo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: IX, 414 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

85. Classification and Clustering for Knowledge Discovery : [electronic resource] /

by Halgamuge, Saman K [editor.] | Wang, Lipo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 356 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

86. Field Models in Electricity and Magnetism : [electronic resource] /

by Barba, Paolo Di [author.] | Savini, Antonio [author.] | Wiak, Slawomir [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 174 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

87. Verification Methodology Manual for SystemVerilog : [electronic resource] /

by Bergeron, Janick [author.] | Cerny, Eduard [author.] | Hunter, Alan [author.] | Nightingale, Andrew [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVII, 503 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

88. Electromagnetic Compatibility of Integrated Circuits : Techniques for low emission and susceptibility / : [electronic resource] :

by Ben Dhia, Sonia [editor.] | Ramdani, Mohamed [editor.] | Sicard, Etienne [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIII, 473 p. online resource.Publisher: Boston, MA : Springer US : Imprint: Springer, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

89. Systemverilog for Verification : A Guide to Learning the Testbench Language Features / : [electronic resource] :

by Spear, Chris [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXXIV, 302 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

90. Leakage in Nanometer CMOS Technologies : [electronic resource] /

by Narendra, Siva G [author.] | Chandrakasan, Anantha [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 308 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

91. The Finite Element Method and Applications in Engineering Using Ansys® : [electronic resource] /

by Madenci, Erdogan [author.] | Guven, Ibrahim [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 686 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

92. Rapid Prototyping of Digital Systems : [electronic resource] /

by Hamblen, James O [author.] | Hall, Tyson S [author.1 ] | Furman, Michael D [author.2 ] | SpringerLink (Online service)0.

Edition: QUARTUS� II EDITION. Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 371 p. 234 illus. online resource.Boston, MA : Springer US, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

93. Interconnect Noise Optimization in Nanometer Technologies : [electronic resource] /

by Elgamel, Mohamed A [author.] | Bayoumi, Magdy A [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIX, 137 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

94. Thermal and Power Management of Integrated Circuits : [electronic resource] /

by Vassighi, Arman [author.] | Sachdev, Manoj [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 182 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

95. Scalable Hardware Verification with Symbolic Simulation : [electronic resource] /

by Bertacco, Valeria [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 180 p. 40 illus. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

96. Embedded System Design : [electronic resource] /

by Marwedel, Peter [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVII, 241 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

97. Constraint-Based Verification : [electronic resource] /

by Yuan, Jun [author.] | Pixley, Carl [author.] | Aziz, Adnan [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 254 p. 72 illus. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

98. Writing Testbenches using System Verilog : [electronic resource] /

by Bergeron, Janick [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXVI, 412 p. online resource.Publisher: Boston, MA : Springer US : Imprint: Springer, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

99. Abstraction Refinement for Large Scale Model Checking : [electronic resource] /

by Wang, Chao [author.] | Hachtel, Gary D [author.] | Somenzi, Fabio [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 179 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

100. The Core Test Wrapper Handbook : Rationale and Application of IEEE Std. 1500™ / : [electronic resource] :

by Silva, Francisco da [author.] | McLaurin, Teresa [author.] | Waayers, Tom [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIX, 276 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha