Your search returned 3255 results. Subscribe to this search

|
641. Advanced BDD Optimization [electronic resource] / by Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler.

by Ebendt, Rüdiger | Fey, Görschwin | Drechsler, Rolf | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
642. Principles of Computer Graphics [electronic resource] : Theory and Practice Using OpenGL and Maya® / by Shalini Govil-Pai.

by Govil-Pai, Shalini | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
643. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
644. Introduction to Advanced System-on-Chip Test Design and Optimization [electronic resource] / by Erik Larsson.

by Larsson, Erik | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
645. Fault Diagnosis of Analog Integrated Circuits [electronic resource] / by Prithviraj Kabisatpathy, Alok Barua, Satyabroto Sinha.

by Kabisatpathy, Prithviraj | Barua, Alok | Sinha, Satyabroto | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
646. UML for SOC Design [electronic resource] / edited by Grant Martin, Wolfgang Müller.

by Martin, Grant | Müller, Wolfgang | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
647. Analog Design Essentials [electronic resource] / by Willy M. C. Sansen.

by Sansen, Willy M. C | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
648. MEMS/NEMS [electronic resource] : Handbook Techniques and Applications / edited by Cornelius T. Leondes.

by Leondes, Cornelius T | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
649. Dynamic Characterisation of Analogue-to-Digital Converters [electronic resource] / by Dominique Dallet, José Machado Silva.

by Dallet, Dominique | Silva, José Machado | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
650. Reconfigurable Computing [electronic resource] : Accelerating Computation with Field-Programmable Gate Arrays / by Maya Gokhale, Paul S. Graham.

by Gokhale, Maya | Graham, Paul S | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
651. Greening the Industrial Facility [electronic resource] : Perspectives, Approaches, and Tools / by Thomas E. Graedel, Jennifer A. Howard-Grenville.

by Graedel, Thomas E | Howard-Grenville, Jennifer A | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
652. Design of Very High-Frequency Multirate Switched-Capacitor Circuits [electronic resource] : Extending the Boundaries of CMOS Analog Front-End Filtering / by Seng-Pan U, Rui Paulo Martins, José Epifânio Franca.

by U, Seng-Pan | Martins, Rui Paulo | Franca, José Epifânio | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
653. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
654. Transaction Level Modeling with SystemC [electronic resource] : TLM Concepts and Applications for Embedded Systems / edited by Frank Ghenassia.

by Ghenassia, Frank | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
655. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
656. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
657. Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan.

by McIver, Annabelle | Morgan, Carroll | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
658. 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
659. Structural Sensitivity Analysis and Optimization 1 [electronic resource] : Linear Systems / by Kyung K. Choi, Nam Ho Kim.

by Choi, Kyung K | Kim, Nam Ho | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
660. Structural Sensitivity Analysis and Optimization 2 [electronic resource] : Nonlinear Systems and Applications / by Kyung K. Choi, Nam Ho Kim.

by Choi, Kyung K | Kim, Nam Ho | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue