Your search returned 9 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. Contemporary Computing [electronic resource] : Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings / edited by Sanjay Ranka, Srinivas Aluru, Rajkumar Buyya, Yeh-Ching Chung, Sumeet Dua, Ananth Grama, Sandeep K. S. Gupta, Rajeev Kumar, Vir V. Phoha.

by Ranka, Sanjay | Aluru, Srinivas | Buyya, Rajkumar | Chung, Yeh-Ching | Dua, Sumeet | Grama, Ananth | Gupta, Sandeep K. S | Kumar, Rajeev | Phoha, Vir V | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
7. Concentration Analysis and Applications to PDE [electronic resource] : ICTS Workshop, Bangalore, January 2012 / edited by Adimurthi, K. Sandeep, Ian Schindler, Cyril Tintarev.

by Adimurthi [editor.] | Sandeep, K [editor.] | Schindler, Ian [editor.] | Tintarev, Cyril [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2013Online access: Click here to access online Availability: No items available
8. 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
9. 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