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

	121.	SAT-Based Scalable Formal Verification Solutions : [electronic resource] / by Ganai, Malay K [author.] \| Gupta, Aarti [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXX, 330 p. 118 illus. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	122.	Computer-Aided Design of User Interfaces V : [electronic resource] / by Calvary, Ga�lle [editor.1 ] \| Pribeanu, Costin [editor.1 ] \| Santucci, Giuseppe [editor.1 ] \| Vanderdonckt, Jean [editor.2 ] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 298 p. online resource.Dordrecht : Springer Netherlands, 2007. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	123.	Introduction to Scientific Visualization : [electronic resource] / by Wright, Helen [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIII, 147 p. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	124.	Software Visualization : Visualizing the Structure, Behaviour, and Evolution of Software / : [electronic resource] : by Diehl, Stephan [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 187 p. 124 illus., 75 illus. in color. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	125.	Model-Driven Architecture in Practice : A Software Production Environment Based on Conceptual Modeling / : [electronic resource] : by Pastor, Oscar [author.] \| Molina, Juan Carlos [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 302 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	126.	Computer-Aided Innovation (CAI) : IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy / : [electronic resource] : by Cascini, Gaetano [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 258 p. online resource.Publisher: Boston, MA : Springer US, 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)
	127.	Design Computing and Cognition '08 : Proceedings of the Third International Conference on Design Computing and Cognition / : [electronic resource] : by Gero, John S [editor.] \| Goel, Ashok K [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIII, 736 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)
	128.	Interactive Curve Modeling : With Applications to Computer Graphics, Vision and Image Processing / : [electronic resource] : by Sarfraz, M [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVII, 350 p. online resource.Publisher: London : Springer London, 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)
	129.	Introduction to Geometric Computing : [electronic resource] / by Ghali, Sherif [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVII, 340 p. online resource.Publisher: London : Springer London, 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)
	130.	Line Drawing Interpretation : [electronic resource] / by Cooper, Martin [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 262 p. 158 illus. online resource.Publisher: London : Springer London, 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)
	131.	Writing mental ray� Shaders : A Perceptual Introduction / : [electronic resource] : by Kopra, Andy [author.] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 635 p. 171 illus. in color. online resource.Vienna : Springer Vienna, 2008. Availability: Items available for loan: (1). Place hold Add to cart (remove)
	132.	The Art of Artificial Evolution : A Handbook on Evolutionary Art and Music / : [electronic resource] : by Romero, Juan [editor.] \| Machado, Penousal [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 459 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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)
	133.	Computer Aided Architectural Design Futures 2005 : Proceedings of the 11th International CAAD Futures Conference held at the Vienna University of Technology, Vienna, Austria, on June 20–22, 2005 / : [electronic resource] : by Martens, Bob [editor.] \| Brown, Andre [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 482 p. online resource.Publisher: Dordrecht : Springer Netherlands, 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)
	134.	Visualization of Digital Terrain and Landscape Data : A Manual / : [electronic resource] : by Mach, Rüdiger [author.] \| Petschek, Peter [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIX, 365 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	135.	Tutorials on Emerging Methodologies and Applications in Operations Research : Presented at Informs 2004, Denver, CO / : [electronic resource] : by G, H J [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 342 p. online resource.Publisher: New York, NY : Springer New York, 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)
	136.	Analytical Methods in Anisotropic Elasticity : with Symbolic Computational Tools / : [electronic resource] : by Rand, Omri [author.] \| Rovenski, Vladimir [author.2] \| SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 451 p. 167 illus. online resource.Publisher: Boston, MA : Birkh�user Boston, 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)
	137.	Mixed-Signal Layout Generation Concepts : [electronic resource] / by Lin, Chieh [author.] \| Roermund, Arthur H. M. van [author.] \| Leenaerts, Domine M. W [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: 210 p. online resource.Publisher: Boston, MA : Springer US, 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)
	138.	Taxonomies for the Development and Verification of Digital Systems : [electronic resource] / by Bailey, Brian [editor.] \| Martin, Grant [editor.] \| Anderson, Thomas [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 180 p. online resource.Publisher: Boston, MA : Springer US, 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)
	139.	Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL’04 / : [electronic resource] : by Boulet, Pierre [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 305 p. online resource.Publisher: Boston, MA : Springer US, 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)
	140.	Functional Verification of Programmable Embedded Architectures : A Top-Down Approach / : [electronic resource] : by Mishra, Prabhat [author.] \| Dutt, Nikil D [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIX, 180 p. online resource.Publisher: Boston, MA : Springer US, 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)

PKK Library

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

Refine your search

Authors

Item types

Series

Topics