Shukla, Sandeep K.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Ingredients for Successful System Level Design Methodology
by:
Patel, Hiren D.; Shukla, Sandeep K.; SpringerLink (Online service)
(書目-電子資源)
Synthesis of embedded softwareframeworks and methodologies for correctness by construction /
by:
Shukla, Sandeep K.; SpringerLink (Online service); Talpin, Jean-Pierre.
(書目-電子資源)
Fundamental problems in computingessays in honor of Professor Daniel J. Rosenkrantz /
by:
Ravi, S. S.; Shukla, Sandeep K.; SpringerLink (Online service)
(書目-電子資源)
Low power hardware synthesis from concurrent action-oriented specifications
by:
Shukla, Sandeep K.; Singh, Gaurav.; SpringerLink (Online service)
(書目-電子資源)
Nano, quantum, and molecular computingimplications to high level design and validation /
by:
Bahar, R. Iris.; Shukla, Sandeep K.; SpringerLink (Online service)
(書目-電子資源)
主題
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.