Library Services | Technical University of Kenya catalog › Results of search for 'su:{computer aided design}'

Refine your search

Availability
- Limit to currently available items.
Authors
Item types
Locations
- General Stacks
- Reference
Series
Topics
Titles

	41.	Taxonomies for the Development and Verification of Digital Systems [electronic resource] / edited by Brian Bailey, Grant Martin, Thomas Anderson. by Bailey, Brian \| Martin, Grant \| Anderson, Thomas \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	42.	Semiconductor Modeling [electronic resource] : For Simulating Signal, Power, and Electromagnetic Integrity / by Roy G. Leventhal, Lynne Green. by Leventhal, Roy G \| Green, Lynne \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	43.	Verification Methodology Manual for SystemVerilog [electronic resource] / by Janick Bergeron, Eduard Cerny, Alan Hunter, Andrew Nightingale. by Bergeron, Janick \| Cerny, Eduard \| Hunter, Alan \| Nightingale, Andrew \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	44.	Advances in Design and Specification Languages for SoCs [electronic resource] : Selected Contributions from FDL’04 / edited by Pierre Boulet. by Boulet, Pierre \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	45.	Functional Verification of Programmable Embedded Architectures [electronic resource] : A Top-Down Approach / by Prabhat Mishra, Nikil D. Dutt. by Mishra, Prabhat \| Dutt, Nikil D \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	46.	Electromagnetic Compatibility of Integrated Circuits [electronic resource] : Techniques for low emission and susceptibility / edited by Sonia Ben Dhia, Mohamed Ramdani, Etienne Sicard. by Ben Dhia, Sonia \| Ramdani, Mohamed \| Sicard, Etienne \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	47.	Systemverilog for Verification [electronic resource] : A Guide to Learning the Testbench Language Features / by Chris Spear. by Spear, Chris \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	48.	Leakage in Nanometer CMOS Technologies [electronic resource] / by Siva G. Narendra, Anantha Chandrakasan. by Narendra, Siva G \| Chandrakasan, Anantha \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	49.	The Finite Element Method and Applications in Engineering Using Ansys® [electronic resource] / by Erdogan Madenci, Ibrahim Guven. by Madenci, Erdogan \| Guven, Ibrahim \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	50.	Design of Embedded Control Systems [electronic resource] / by Marian Andrzej Adamski, Andrei Karatkevich, Marek Wegrzyn. by Adamski, Marian Andrzej \| Karatkevich, Andrei \| Wegrzyn, Marek \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	51.	Curves and Surfaces for Computer Graphics [electronic resource] / by David Salomon. by Salomon, David \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	52.	Rapid Prototyping of Digital Systems [electronic resource] / by James O. Hamblen, Tyson S. Hall, Michael D. Furman. by Hamblen, James O \| Hall, Tyson S \| Furman, Michael D \| SpringerLink (Online service). Edition: QUARTUS® II EDITION.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	53.	Interconnect Noise Optimization in Nanometer Technologies [electronic resource] / by Mohamed A. Elgamel, Magdy A. Bayoumi. by Elgamel, Mohamed A \| Bayoumi, Magdy A \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	54.	Thermal and Power Management of Integrated Circuits [electronic resource] / by Arman Vassighi, Manoj Sachdev. by Vassighi, Arman \| Sachdev, Manoj \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	55.	Scalable Hardware Verification with Symbolic Simulation [electronic resource] / by Valeria Bertacco. by Bertacco, Valeria \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	56.	Embedded System Design [electronic resource] / by Peter Marwedel. by Marwedel, Peter \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	57.	New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design [electronic resource] : IFIP TC10 Working Conference: EduTech 2005, October 20–21, Perth, Australia / edited by Achim Rettberg, Christophe Bobda. by Rettberg, Achim \| Bobda, Christophe \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	58.	Constraint-Based Verification [electronic resource] / by Jun Yuan, Carl Pixley, Adnan Aziz. by Yuan, Jun \| Pixley, Carl \| Aziz, Adnan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	59.	Writing Testbenches using System Verilog [electronic resource] / by Janick Bergeron. by Bergeron, Janick \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	60.	Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management [electronic resource] : Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China / edited by Kesheng Wang, George L. Kovacs, Michael Wozny, Minglun Fang. by Wang, Kesheng \| Kovacs, George L \| Wozny, Michael \| Fang, Minglun \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics

Titles