|
|
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; Format:
electronic
available online
 ; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: No items available
|
