Your search returned 7 results. Subscribe to this search

|
1. 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
2. Ingredients for Successful System Level Design Methodology [electronic resource] / 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: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available
3. Fundamental Problems in Computing [electronic resource] : Essays in Honor of Professor Daniel J. Rosenkrantz / edited by S. S. Ravi, Sandeep K. Shukla.

by Ravi, S. S | Shukla, Sandeep K | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available
4. 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
5. Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications [electronic resource] / by Gaurav Singh, Sandeep K. Shukla.

by Singh, Gaurav | Shukla, Sandeep K | 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
6. 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 [editor.] | Talpin, Jean-Pierre [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
7. Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications [electronic resource] / by Gaurav Singh, Sandeep K. Shukla.

by Singh, Gaurav [author.] | Shukla, Sandeep K [author.] | 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

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