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

Refine your search

Availability
- Limit to currently available items.
Authors
- Bergeron, Janick. (2)
- Choi,Chang-Koon,Yun,Chung-Bang (4)
- Kwak,Hyo-Gyoung (4)
- 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
- Appl.Mathematics/Computational Methods of Engineering. (18)
- Applied mathematics. (18)
- Artificial Intelligence (incl. Robotics). (15)
- Artificial intelligence. (15)
- Circuits and Systems. (47)
- Computer Hardware. (15)
- Computer science. (31)
- Computer Science. (28)
- Computer-Aided Engineering (CAD, CAE) and Design. (111)
- Computer-aided engineering. (111)
- Electrical engineering. (43)
- Electrical Engineering. (42)
- Electronic circuits. (47)
- Electronics and Microelectronics, Instrumentation. (18)
- Electronics. (18)
- Engineering Design. (19)
- Engineering design. (19)
- Engineering mathematics. (18)
- Engineering. (75)
- Microelectronics. (18)

	101.	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)
	102.	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)
	103.	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)
	104.	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)
	105.	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)
	106.	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)
	107.	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)
	108.	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)
	109.	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)
	110.	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)
	111.	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)
	112.	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)
	113.	Feature Extraction : Foundations and Applications / : [electronic resource] : by Guyon, Isabelle [editor.1] \| Nikravesh, Masoud [editor.1] \| Gunn, Steve [editor.1] \| Zadeh, Lotfi A [editor.2] \| SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XXIV, 778 p. 14 illus. in color. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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)
	114.	Inverse Problems in Electric Circuits and Electromagnetics : [electronic resource] / by Chechurin, V. L [author.] \| Korovkin, N. V [author.] \| Hayakawa, M [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 332 p. 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)
	115.	CMOS Current-Mode Circuits for Data Communications : [electronic resource] / by Yuan, Fei [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 290 p. 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)
	116.	Routing Congestion in VLSI Circuits: Estimation and Optimization : [electronic resource] / by Saxena, Prashant [author.] \| Shelar, Rupesh S [author.] \| Sapatnekar, Sachin S [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 250 p. 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)
	117.	Dynamics of Microelectromechanical Systems : [electronic resource] / by Lobontiu, Nicolae [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 403 p. 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)
	118.	Closing the Power Gap Between ASIC & Custom : Tools and Techniques for Low Power Design / : [electronic resource] : by Chinnery, David [author.] \| Keutzer, Kurt [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 388 p. 138 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)
	119.	Verilog and SystemVerilog Gotchas : 101 Common Coding Errors and How to Avoid Them / : [electronic resource] : by Sutherland, Stuart [author.] \| Mills, Don [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXII, 218 p. 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)
	120.	Hardware Verification with SystemVerilog : An Object-Oriented Framework / : [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: XXII, 314 p. 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)

PKK Library

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

Refine your search

Authors

Item types

Series

Topics