Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
8 Results Found Subscribe to search results
00000000DEFAULT
Print
1. 
Cover image for Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
Author 
Shukla, Sandeep K. editor. Talpin, Jean-Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6400-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Author 
Singh, Gaurav. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6481-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz
Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz
Author 
Ravi, S. S. editor. Shukla, Sandeep K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9688-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Ingredients for Successful System Level Design Methodology
Ingredients for Successful System Level Design Methodology
Author 
Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8472-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
Author 
Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117249
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Concentration Analysis and Applications to PDE ICTS Workshop, Bangalore, January 2012
Concentration Analysis and Applications to PDE ICTS Workshop, Bangalore, January 2012
Author 
Adimurthi, . editor. Sandeep, K. editor. Schindler, Ian. editor. Tintarev, Cyril. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332609.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0373-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Contemporary Computing Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings
Contemporary Computing Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings
Author 
Ranka, Sanjay. editor. Aluru, Srinivas. editor. Buyya, Rajkumar. editor. Chung, Yeh-Ching. editor. Dua, Sumeet. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03547-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Principles and Practice of Controlled Ovarian Stimulation in ART
Principles and Practice of Controlled Ovarian Stimulation in ART
Author 
Ghumman, Surveen. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519663.1)
Electronic Access 
https://doi.org/10.1007/978-81-322-1686-5
Format: 
Availability 
Online Library~1
Available:
Copies: