Your search returned 970 results. Subscribe to this search

|
301. Open Verification Methodology Cookbook [electronic resource] / by Mark Glasser.

by Glasser, Mark | SpringerLink (Online service).

Edition: 1.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2009Online access: Click here to access online Availability: No items available
302. RF and Microwave Microelectronics Packaging [electronic resource] / edited by Ken Kuang, Franklin Kim, Sean S. Cahill.

by Kuang, Ken | Kim, Franklin | Cahill, Sean S | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
303. Cellular Nanoscale Sensory Wave Computing [electronic resource] / edited by Chagaan Baatar, Wolfgang Porod, Tamás Roska.

by Baatar, Chagaan | Porod, Wolfgang | Roska, Tamás | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
304. C Compilers for ASIPs [electronic resource] : Automatic Compiler Generation with LISA / by Manuel Hohenauer, Rainer Leupers.

by Hohenauer, Manuel | Leupers, Rainer | 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, 2010Online access: Click here to access online Availability: No items available
305. Security in Embedded Devices [electronic resource] / by Catherine H. Gebotys.

by Gebotys, Catherine H | SpringerLink (Online service).

Edition: 1.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
306. Design and Verification of Microprocessor Systems for High-Assurance Applications [electronic resource] / edited by David S. Hardin.

by Hardin, David S | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
307. Fundamentals of III-V Semiconductor MOSFETs [electronic resource] / edited by Serge Oktyabrsky, Peide Ye.

by Oktyabrsky, Serge | Ye, Peide | SpringerLink (Online service).

Edition: 1.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
308. Embedded Software Design and Programming of Multiprocessor System-on-Chip [electronic resource] : Simulink and System C Case Studies / by Katalin Popovici, Frédéric Rousseau, Ahmed A. Jerraya, Marilyn Wolf.

by Popovici, Katalin | Rousseau, Frédéric | Jerraya, Ahmed A | Wolf, Marilyn | 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, 2010Online access: Click here to access online Availability: No items available
309. Advanced Power MOSFET Concepts [electronic resource] / by B. Jayant Baliga.

by Baliga, B. Jayant | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
310. Scalable Techniques for Formal Verification [electronic resource] / by Sandip Ray.

by Ray, Sandip | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
311. A Practical Introduction to Hardware/Software Codesign [electronic resource] / by Patrick R. Schaumont.

by Schaumont, Patrick R | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
312. MEMS Linear and Nonlinear Statics and Dynamics [electronic resource] / by Mohammad I. Younis.

by Younis, Mohammad I | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available
313. Nano-Bio-Sensing [electronic resource] / edited by Sandro Carrara.

by Carrara, Sandro | 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, 2011Online access: Click here to access online Availability: No items available
314. Processor and System-on-Chip Simulation [electronic resource] / edited by Rainer Leupers, Olivier Temam.

by Leupers, Rainer | Temam, Olivier | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
315. Reliability of Nanoscale Circuits and Systems [electronic resource] : Methodologies and Circuit Architectures / by Miloš Stanisavljević, Alexandre Schmid, Yusuf Leblebici.

by Stanisavljević, Miloš | Schmid, Alexandre | Leblebici, Yusuf | 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, 2011Online access: Click here to access online Availability: No items available
316. High-Speed DSP and Analog System Design [electronic resource] / by Thanh T. Tran.

by Tran, Thanh T | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
317. FPGA Design [electronic resource] : Best Practices for Team-based Design / by Philip Simpson.

by Simpson, Philip | 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, 2010Online access: Click here to access online Availability: No items available
318. Power-efficient System Design [electronic resource] / by Preeti Ranjan Panda, B. V. N. Silpa, Aviral Shrivastava, Krishnaiah Gummidipudi.

by Panda, Preeti Ranjan | Silpa, B. V. N | Shrivastava, Aviral | Gummidipudi, Krishnaiah | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
319. Switched Time-Delay Systems [electronic resource] : Stability and Control / by Magdi S. Mahmoud.

by Mahmoud, Magdi S | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
320. Synthesis of Embedded Software [electronic resource] : Frameworks and Methodologies for Correctness by Construction / edited by Sandeep K. Shukla, Jean-Pierre Talpin.

by Shukla, Sandeep K | Talpin, Jean-Pierre | SpringerLink (Online service).

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