PKK Library catalog › Results of search for 'su:{Cad}'

Refine your search

Availability
- Limit to currently available items.
Authors
- Foundyller, Charles M. (3)
- Groover, Mikell P. (8)
- Leondes, Cornelius [ed.] (7)
- Murphy, Ruth D. (3)
- Zimmers, Emory W. (8)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (215)
Home libraries
- PK Kelkar Library, IIT Kanpur (213)
Item types
- Books (76)
- E books (116)
- EBK (6)
- Reference (7)
- Text Books (5)
- Show more
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

	161.	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)
	162.	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)
	163.	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)
	164.	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)
	165.	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)
	166.	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)
	167.	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)
	168.	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)
	169.	A Practical Introduction to PSL : [electronic resource] / by Eisner, Cindy [author.] \| Fisman, Dana [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 240 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)
	170.	Hardware Verification with C++ : A Practitioner’s Handbook / : [electronic resource] : by Mintz, Mike [author.] \| Ekendahl, Robert [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXI, 341 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)
	171.	SystemVerilog for Design : A Guide to Using SystemVerilog for Hardware Design and Modeling / : [electronic resource] : by Sutherland, Stuart [author.] \| Davidmann, Simon [author.] \| Flake, Peter [author.] \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXX, 418 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)
	172.	Innovation in Life Cycle Engineering and Sustainable Development : [electronic resource] / by Brissaud, Daniel [editor.] \| Tichkiewitch, Serge [editor.] \| Zwolinski, Peggy [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 448 p. online resource.Publisher: Dordrecht : Springer Netherlands, 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)
	173.	A Roadmap for Formal Property Verification : [electronic resource] / by DasGupta, Pallab [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 252 p. online resource.Publisher: Dordrecht : Springer Netherlands, 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)
	174.	Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms : [electronic resource] / by Kogel, Tim [author.] \| Leupers, Rainer [author.] \| Meyr, Heinrich [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 186 p. online resource.Publisher: Dordrecht : Springer Netherlands, 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)
	175.	Innovations in Design & Decision Support Systems in Architecture and Urban Planning : [electronic resource] / by Leeuwen, Jos P. Van [editor.] \| Timmermans, Harry J. P [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXII, 502 p. online resource.Publisher: Dordrecht : Springer Netherlands, 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)
	176.	Design Computing and Cognition ’06 : [electronic resource] / by GERO, JOHN S [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 714 p. online resource.Publisher: Dordrecht : Springer Netherlands, 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)
	177.	Assembly Line Design : The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms / : [electronic resource] : by Rekiek, Brahim [author.] \| Delchambre, Alain [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 160 p. 95 illus. online resource.Publisher: London : Springer London, 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)
	178.	Condition Monitoring and Control for Intelligent Manufacturing : [electronic resource] / by Wang, Lihui [editor.] \| Gao, Robert X [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 400 p. 261 illus. online resource.Publisher: London : Springer London, 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)
	179.	Practical Grey-box Process Identification : Theory and Applications / : [electronic resource] : by Bohlin, Torsten [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 351 p. 186 illus. online resource.Publisher: London : Springer London, 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)
	180.	The Structure of Paintings : [electronic resource] / by Leyton, Michael [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: VI, 237 p. With numerous illus., partly in color. online resource.Publisher: Vienna : Springer Vienna, 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