Feedback
FAQs
Toggle navigation
Home
About
Introduction
Objectives
Features & Functionalities
Books
Theses
Serials
OCS
Contribute Your Data
Statistics
Download
IndCat Manual
OCS Manual_SOUL
OCS Manual_Koha
Contact us
All
Title
Researcher
Guide
University
Year
Subject
Department
Language
Place
Free Text
Exact-Search
Full-Text
University
Indian Institute of Science, Bangaluru [1]
Subject
Automation [1]
Digital Computers [1]
Electronics Engineering [1]
Engineering [1]
Short and Long Wave Electronics [1]
View Less...
View More...
Language
English [1]
Year
1982 [1]
Researcher
Parameswaran, N [1]
Guide
Priti Shankar [1]
Place
Bangalore [1]
Per Page:
10
20
30
50
100
Sort By:
Title Asc
Title Desc
|<
1
>|
Search results for
' ' (0.002 seconds )
Total Hits :
1
1
Symbolic verification of digital hardware designs
Researcher:
P
a
r
a
m
e
s
w
a
r
a
n
,
N
Guide:
P
r
i
t
i
S
h
a
n
k
a
r
University:
Indian Institute of Science
Language:
E
n
g
l
i
s
h
