Showing
1 - 5
results of
5
for search '
Somenzi, Fabio
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Somenzi, Fabio
Showing
1 - 5
results of
5
for search '
Somenzi, Fabio
'
, query time: 0.03s
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 synthesis and verification algorithms
by
Hatchtel, Gary D.
,
Somenzi
,
Fabio
Published 1996
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:
“…
Somenzi
,
Fabio
…”
Call Number:
Loading…
Located:
Loading…
Get full text
Electronic
Kit
Book
5
Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
Published 2003
Other Authors:
“…
Somenzi
,
Fabio
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Circuits and Systems
Computer-Aided Engineering (CAD, CAE) and Design
Engineering
Computer logic
Computer-aided engineering
Computers
Electrical Engineering
Electrical engineering
Electronic circuits
Logics and Meanings of Programs
ALGORITHMS
Computer aided design
Computer engineering
Computer science
Computing Methodologies
Discrete Mathematics in Computer Science
Electronic and Computer Engineering
LOGIC SYNTHESIS
Logic Design
Logic design
Mathematical Logic and Formal Languages
Mathematical logic
Mathematics
Software Engineering
Software engineering
Special Purpose and Application-Based Systems
Special purpose computers
Systems engineering
Theory of Computation
ΕΠΕΑΕΚ
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών