Library Services | Technical University of Kenya Search for 'su:{Computer-Aided Engineering CAD, CAE and Design.}'

Mixed-Signal Layout Generation Concepts

By Lin, Chieh.. Boston, MA : Springer US, 2005 9780306487255

Place Hold on Mixed-Signal Layout Generation Concepts

System-Level Design Techniques for Energy-Efficient Embedded Systems

By Schmitz, Marcus T.. Boston, MA : Springer US, 2005 9780306487361

Place Hold on System-Level Design Techniques for Energy-Efficient Embedded Systems

Evolutionary Optimization: the µGP toolkit

By Sanchez, Ernesto.. Boston, MA : Springer US, 2011 9780387094267

Place Hold on Evolutionary Optimization: the µGP toolkit

Computer-Aided Innovation (CAI)

By Cascini, Gaetano.. Boston, MA : Springer US, 2008 9780387096971

Place Hold on Computer-Aided Innovation (CAI)

Tutorials on Emerging Methodologies and Applications in Operations Research

By G, H J.. New York, NY : Springer New York, 2005 9780387228273

Place Hold on Tutorials on Emerging Methodologies and Applications in Operations Research

Distributed Network Systems

By Jia, Weijia.. Boston, MA : Springer US, 2005 9780387238401

Place Hold on Distributed Network Systems

Taxonomies for the Development and Verification of Digital Systems

By Bailey, Brian.. Boston, MA : Springer US, 2005 9780387240213

Place Hold on Taxonomies for the Development and Verification of Digital Systems

Semiconductor Modeling

By Leventhal, Roy G.. Boston, MA : Springer US, 2006 9780387241609

Place Hold on Semiconductor Modeling

Verification Methodology Manual for SystemVerilog

By Bergeron, Janick.. Boston, MA : Springer US, 2006 9780387255569

Place Hold on Verification Methodology Manual for SystemVerilog

Advances in Design and Specification Languages for SoCs

By Boulet, Pierre.. Boston, MA : Springer US, 2005 9780387261515

Place Hold on Advances in Design and Specification Languages for SoCs

Functional Verification of Programmable Embedded Architectures

By Mishra, Prabhat.. Boston, MA : Springer US, 2005 9780387263991

Place Hold on Functional Verification of Programmable Embedded Architectures

Electromagnetic Compatibility of Integrated Circuits

By Ben Dhia, Sonia.. Boston, MA : Springer US, 2006 9780387266015

Place Hold on Electromagnetic Compatibility of Integrated Circuits

Systemverilog for Verification

By Spear, Chris.. Boston, MA : Springer US, 2006 9780387270388

Place Hold on Systemverilog for Verification

Leakage in Nanometer CMOS Technologies

By Narendra, Siva G.. Boston, MA : Springer US, 2006 9780387281339

Place Hold on Leakage in Nanometer CMOS Technologies

The Finite Element Method and Applications in Engineering Using Ansys®

By Madenci, Erdogan.. Boston, MA : Springer US, 2006 9780387282909

Place Hold on The Finite Element Method and Applications in Engineering Using Ansys®

Design of Embedded Control Systems

By Adamski, Marian Andrzej.. Boston, MA : Springer US, 2005 9780387283272

Place Hold on Design of Embedded Control Systems

Curves and Surfaces for Computer Graphics

By Salomon, David.. New York, NY : Springer New York, 2006 9780387284521

Place Hold on Curves and Surfaces for Computer Graphics

Rapid Prototyping of Digital Systems

By Hamblen, James O.. Boston, MA : Springer US, 2006 9780387289656

Place Hold on Rapid Prototyping of Digital Systems

Interconnect Noise Optimization in Nanometer Technologies

By Elgamel, Mohamed A.. Boston, MA : Springer US, 2006 9780387293660

Place Hold on Interconnect Noise Optimization in Nanometer Technologies

Thermal and Power Management of Integrated Circuits

By Vassighi, Arman.. Boston, MA : Springer US, 2006 9780387297491

Place Hold on Thermal and Power Management of Integrated Circuits

Scalable Hardware Verification with Symbolic Simulation

By Bertacco, Valeria.. Boston, MA : Springer US, 2006 9780387299068

Place Hold on Scalable Hardware Verification with Symbolic Simulation

Embedded System Design

By Marwedel, Peter.. Boston, MA : Springer US, 2006 9780387300870

Place Hold on Embedded System Design

New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design

By Rettberg, Achim.. Boston, MA : Springer US, 2005 9780387307619

Place Hold on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design

Constraint-Based Verification

By Yuan, Jun.. Boston, MA : Springer US, 2006 9780387307848

Place Hold on Constraint-Based Verification

Writing Testbenches using System Verilog

By Bergeron, Janick.. Boston, MA : Springer US, 2006 9780387312750

Place Hold on Writing Testbenches using System Verilog

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management

By Wang, Kesheng.. Boston, MA : Springer US, 2006 9780387344034

Place Hold on Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management

Abstraction Refinement for Large Scale Model Checking

By Wang, Chao.. Boston, MA : Springer US, 2006 9780387346007

Place Hold on Abstraction Refinement for Large Scale Model Checking

The Core Test Wrapper Handbook

By Silva, Francisco.. Boston, MA : Springer US, 2006 9780387346090

Place Hold on The Core Test Wrapper Handbook

A Practical Introduction to PSL

By Eisner, Cindy.. Boston, MA : Springer US, 2006 9780387361239

Place Hold on A Practical Introduction to PSL

Hardware Verification with C++

By Mintz, Mike.. Boston, MA : Springer US, 2006 9780387362540

Place Hold on Hardware Verification with C++

SystemVerilog for Design

By Sutherland, Stuart.. Boston, MA : Springer US, 2006 9780387364957

Place Hold on SystemVerilog for Design

Inverse Problems in Electric Circuits and Electromagnetics

By Chechurin, V. L.. Boston, MA : Springer US, 2007 9780387460475

Place Hold on Inverse Problems in Electric Circuits and Electromagnetics

CMOS Current-Mode Circuits for Data Communications

By Yuan, Fei.. Boston, MA : Springer US, 2007 9780387476919

Place Hold on CMOS Current-Mode Circuits for Data Communications

Routing Congestion in VLSI Circuits: Estimation and Optimization

By Saxena, Prashant.. Boston, MA : Springer US, 2007 9780387485508

Place Hold on Routing Congestion in VLSI Circuits: Estimation and Optimization

Dynamics of Microelectromechanical Systems

By Lobontiu, Nicolae.. Boston, MA : Springer US, 2007 9780387681955

Place Hold on Dynamics of Microelectromechanical Systems

Creating Assertion-Based IP

By Foster, Harry D.. Boston, MA : Springer US, 2008 9780387683980

Place Hold on Creating Assertion-Based IP

Closing the Power Gap Between ASIC & Custom

By Chinnery, David.. Boston, MA : Springer US, 2007 9780387689531

Place Hold on Closing the Power Gap Between ASIC & Custom

Design for Manufacturability and Statistical Design

By Orshansky, Michael.. Boston, MA : Springer US, 2008 9780387690117

Place Hold on Design for Manufacturability and Statistical Design

SAT-Based Scalable Formal Verification Solutions

By Ganai, Malay K.. Boston, MA : Springer US, 2007 9780387691671

Place Hold on SAT-Based Scalable Formal Verification Solutions

Carbon Nanotube Electronics

By Kong, Jing.. Boston, MA : Springer US, 2009 9780387692852

Place Hold on Carbon Nanotube Electronics

SystemC: From the Ground Up

By Black, David C.. Boston, MA : Springer US, 2010 9780387699585

Place Hold on SystemC: From the Ground Up

Timing Optimization Through Clock Skew Scheduling

By Kourtev, Ivan S.. Boston, MA : Springer US, 2009 9780387710563

Place Hold on Timing Optimization Through Clock Skew Scheduling

Power Distribution Networks with On-Chip Decoupling Capacitors

By Popovich, Mikhhail.. Boston, MA : Springer US, 2008 9780387716015

Place Hold on Power Distribution Networks with On-Chip Decoupling Capacitors

Verilog and SystemVerilog Gotchas

By Sutherland, Stuart.. Boston, MA : Springer US, 2007 9780387717159

Place Hold on Verilog and SystemVerilog Gotchas

Standardized Functional Verification

By Wiemann, Alan.. Boston, MA : Springer US, 2008 9780387717333

Place Hold on Standardized Functional Verification

Hardware Verification with SystemVerilog

By Mintz, Mike.. Boston, MA : Springer US, 2007 9780387717401

Place Hold on Hardware Verification with SystemVerilog

Rapid Prototyping of Digital Systems

By Hamblen, James O.. Boston, MA : Springer US, 2008 9780387726717

Place Hold on Rapid Prototyping of Digital Systems

Rigid Body Dynamics Algorithms

By Featherstone, Roy.. Boston, MA : Springer US, 2008 9780387743158

Place Hold on Rigid Body Dynamics Algorithms

Nanometer Technology Designs High-Quality Delay Tests

By Tehranipoor, Mohammad.. Boston, MA : Springer US, 2008 9780387757285

Place Hold on Nanometer Technology Designs High-Quality Delay Tests

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits

By Patra, Priyardarsan.. Boston, MA : Springer US, 2008 9780387764740

Place Hold on Low-Power High-Level Synthesis for Nanoscale CMOS Circuits