Your search returned 486 results. Subscribe to this search

|
101. Innovation in Life Cycle Engineering and Sustainable Development [electronic resource] / edited by Daniel Brissaud, Serge Tichkiewitch, Peggy Zwolinski.

by Brissaud, Daniel | Tichkiewitch, Serge | Zwolinski, Peggy | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2006Online access: Click here to access online Availability: No items available
102. A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta.

by DasGupta, Pallab | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2006Online access: Click here to access online Availability: No items available
103. Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms [electronic resource] / by Tim Kogel, Rainer Leupers, Heinrich Meyr.

by Kogel, Tim | Leupers, Rainer | Meyr, Heinrich | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2006Online access: Click here to access online Availability: No items available
104. Innovations in Design & Decision Support Systems in Architecture and Urban Planning [electronic resource] / edited by Jos P. Leeuwen, Harry J. P. Timmermans.

by Leeuwen, Jos P | Timmermans, Harry J. P | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2006Online access: Click here to access online Availability: No items available
105. Design Computing and Cognition ’06 [electronic resource] / edited by JOHN S. GERO.

by GERO, JOHN S | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2006Online access: Click here to access online Availability: No items available
106. Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits [electronic resource] / by R. CASTRO-LÓPEZ, F.V. FERNÁNDEZ, O. GUERRA-VINUESA, Á. RODRÍGUEZ-VÁZQUEZ.

by CASTRO-LÓPEZ, R | FERNÁNDEZ, F.V | GUERRA-VINUESA, O | RODRÍGUEZ-VÁZQUEZ, Á | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2006Online access: Click here to access online Availability: No items available
107. Design for Manufacturability and Yield for Nano-Scale CMOS [electronic resource] / by Charles C. Chiang, Jamil Kawa.

by Chiang, Charles C | Kawa, Jamil | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
108. Models for Computer Aided Tolerancing in Design and Manufacturing [electronic resource] : Selected Conference Papers from the 9th CIRP International Seminar on Computer-Aided Tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005 / edited by Joseph K. Davidson.

by Davidson, Joseph K | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
109. Global Specification and Validation of Embedded Systems [electronic resource] : Integrating Heterogeneous Components / edited by G. Nicolescu, A. A. Jerraya.

by Nicolescu, G | Jerraya, A. A | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
110. Full-Chip Nanometer Routing Techniques [electronic resource] / by Tsung-Yi Ho, Yao-Wen Chang, Sao-Jie Chen.

by Ho, Tsung-Yi | Chang, Yao-Wen | Chen, Sao-Jie | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
111. Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms [electronic resource] / edited by Zhe Ma, Pol Marchal, Daniele Paolo Scarpazza, Peng Yang, Chun Wong, José Ignacio Gómez, Stefaan Himpe, Chantal Ykman- Couvreur, Francky Catthoor.

by Ma, Zhe | Marchal, Pol | Scarpazza, Daniele Paolo | Yang, Peng | Wong, Chun | Gómez, José Ignacio | Himpe, Stefaan | Couvreur, Chantal Ykman- | Catthoor, Francky | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
112. Advances in Integrated Design and Manufacturing in Mechanical Engineering II [electronic resource] / edited by S. Tichkiewitch, M. Tollenaere, P. Ray.

by Tichkiewitch, S | Tollenaere, M | Ray, P | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
113. Field Models in Electricity and Magnetism [electronic resource] / by Paolo Barba, Antonio Savini, Slawomir Wiak.

by Barba, Paolo | Savini, Antonio | Wiak, Slawomir | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available
114. Interconnect-Centric Design for Advanced SoC and NoC [electronic resource] / edited by Jari Nurmi, Hannu Tenhunen, Jouni Isoaho, Axel Jantsch.

by Nurmi, Jari | Tenhunen, Hannu | Isoaho, Jouni | Jantsch, Axel | 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
115. Digital Design and Implementation with Field Programmable Devices [electronic resource] / by Zainalabedin Navabi.

by Navabi, Zainalabedin | 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
116. Functional Verification Coverage Measurement and Analysis [electronic resource] / by Andrew Piziali.

by Piziali, Andrew | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2008Online access: Click here to access online Availability: No items available
117. Assertion-Based Design [electronic resource] / by Harry Foster, Adam Krolnik, David Lacey.

by Foster, Harry | Krolnik, Adam | Lacey, David | SpringerLink (Online service).

Edition: Second Edition.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
118. Direct Transistor-level Layout for Digital Blocks [electronic resource] / by Prakash Gopalakrishnan, Rob A. Rutenbar.

by Gopalakrishnan, Prakash | Rutenbar, Rob 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
119. SystemC Kernel Extensions for Heterogeneous System Modeling [electronic resource] : A framework for Multi-MoC Modeling & Simulation / by Hiren D. Patel, Sandeep K. Shukla.

by Patel, Hiren D | Shukla, Sandeep K | 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
120. Reanalysis of Structures [electronic resource] : A Unified Approach for Linear, Nonlinear, Static and Dynamic Systems / by Uri Kirsch.

by Kirsch, Uri | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online 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