PKK Library catalog › Results of search for 'su:{Computer-Aided engineering}'

Refine your search

Availability
- Limit to currently available items.
Authors
- Choi,Chang-Koon,Yun,Chung-Bang (4)
- Kwak,Hyo-Gyoung (4)
- Salomon, David. (2)
- Spear, Chris. (2)
- Sutherland, Stuart. (2)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (143)
Home libraries
- PK Kelkar Library, IIT Kanpur (141)
Item types
- Books (22)
- E books (112)
- EBK (3)
- EBK (6)
- Text Books (1)
Series
Topics
- Circuits and Systems. (47)
- Computer-Aided Engineering (CAD, CAE) and Design. (111)
- Computer-aided engineering. (111)
- Electronic circuits. (47)
- Engineering. (75)
- Show more

	81.	Multibody Mechanics and Visualization : [electronic resource] / by Dankowicz, Harry J [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; 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). Place hold Add to cart (remove)
	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; Format: electronic available online ; 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). Place hold Add to cart (remove)
	83.	The Universal Generating Function in Reliability Analysis and Optimization : [electronic resource] / by Levitin, Gregory [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; 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). Place hold Add to cart (remove)
	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; Format: electronic available online ; 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). Place hold Add to cart (remove)
	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; Format: electronic available online ; 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). Place hold Add to cart (remove)
	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; Format: electronic available online ; 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). Place hold Add to cart (remove)
	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; Format: electronic available online ; 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). Place hold Add to cart (remove)
	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; Format: electronic available online ; 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). Place hold Add to cart (remove)
	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; Format: electronic available online ; 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). Place hold Add to cart (remove)
	90.	Leakage in Nanometer CMOS Technologies : [electronic resource] / by Narendra, Siva G [author.] \| Chandrakasan, Anantha [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; 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). Place hold Add to cart (remove)
	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; Format: electronic available online ; 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). Place hold Add to cart (remove)
	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; Format: electronic available online ; 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). Place hold Add to cart (remove)
	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; Format: electronic available online ; 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). Place hold Add to cart (remove)
	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; Format: electronic available online ; 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). Place hold Add to cart (remove)
	95.	Scalable Hardware Verification with Symbolic Simulation : [electronic resource] / by Bertacco, Valeria [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; 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). Place hold Add to cart (remove)
	96.	Embedded System Design : [electronic resource] / by Marwedel, Peter [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; 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). Place hold Add to cart (remove)
	97.	Constraint-Based Verification : [electronic resource] / by Yuan, Jun [author.] \| Pixley, Carl [author.] \| Aziz, Adnan [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; 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). Place hold Add to cart (remove)
	98.	Writing Testbenches using System Verilog : [electronic resource] / by Bergeron, Janick [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; 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). Place hold Add to cart (remove)
	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; Format: electronic available online ; 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). Place hold Add to cart (remove)
	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; Format: electronic available online ; 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). Place hold Add to cart (remove)

PKK Library

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

Refine your search

Authors

Item types

Series

Topics