Showing
1 - 5
results of
5
for search '
Hachtel, Gary D.
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Hachtel, Gary D.
Showing
1 - 5
results of
5
for search '
Hachtel, Gary D.
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Logic Synthesis and Verification Algorithms
by
Hachtel
,
Gary
D
.
,
Somenzi, Fabio
Published 1996
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
2
Logic Minimization Algorithms for VLSI Synthesis
by
Brayton, Robert K.
,
Hachtel
,
Gary
D
.
Published 1984
Call Number:
Loading…
Located:
Loading…
Book
Loading…
3
Abstraction Refinement for Large Scale Model Checking
by
Wang, Chao
,
Hachtel
,
Gary
D
.
,
Somenzi, Fabio
Published 2006
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
4
Abstraction Refinement for Large Scale Model Checking
by
Wang, Chao
Published 2006
Other Authors:
“…
Hachtel
,
Gary
D
.…”
Call Number:
Loading…
Located:
Loading…
Get full text
Electronic
Kit
Book
5
Logic minimization algorithms for VLSI synthesis
by
Brayton, Robert K.
Published 1984
Other Authors:
“…
Hachtel
,
Gary
D
.…”
Call Number:
Loading…
Located:
Loading…
Book
Loading…
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Circuits and Systems
Computer-Aided Engineering (CAD, CAE) and Design
Engineering
Computer-aided engineering
Electrical Engineering
Electrical engineering
Electronic circuits
Computer aided design
Computer engineering
Computer logic
Computer science
Computers
Computing Methodologies
Discrete Mathematics in Computer Science
Electronic and Computer Engineering
INTEGRATED CIRCUITS
Logics and Meanings of Programs
Mathematics
Systems engineering
VLSI
Αλγόριθμοι
Λογικά κυκλώματα
Ολοκλήρωση πολύ μεγάλης κλίμακας
Ολοκληρωμένα κυκλώματα
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών