Shukla, Sandeep K.
Overview
Works: | 0 works in 0 publications in 0 languages |
---|
Titles
Ingredients for Successful System Level Design Methodology
by:
Patel, Hiren D.; Shukla, Sandeep K.; SpringerLink (Online service)
(Electronic resources)
Synthesis of embedded softwareframeworks and methodologies for correctness by construction /
by:
Shukla, Sandeep K.; SpringerLink (Online service); Talpin, Jean-Pierre.
(Electronic resources)
Fundamental problems in computingessays in honor of Professor Daniel J. Rosenkrantz /
by:
Ravi, S. S.; Shukla, Sandeep K.; SpringerLink (Online service)
(Electronic resources)
Low power hardware synthesis from concurrent action-oriented specifications
by:
Shukla, Sandeep K.; Singh, Gaurav.; SpringerLink (Online service)
(Electronic resources)
Nano, quantum, and molecular computingimplications to high level design and validation /
by:
Bahar, R. Iris.; Shukla, Sandeep K.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Quantum computers.
Software Engineering/Programming and Operating Systems.
Nanotechnology.
Low voltage integrated circuits.
Special Purpose and Application-Based Systems.
Molecular computers.
Programming Languages, Compilers, Interpreters.
Logic Design.
Computer-Aided Engineering (CAD, CAE) and Design.
Circuits and Systems.
Embedded computer systems
Engineering.
Computer Science.
Computer science.