Zobrazuji výsledky
1 - 2
z
2
pro vyhledávání '
Hachtel, Gary D.
'
Přeskočit na obsah
Toggle navigation
Home
Feedback
Váš účet
Zpět
Váš účet
Oblíbené
Výpůjčky
Rezervace a objednávky
Upomínky
Profil
Uložená vyhledávání
Odhlásit
Přihlásit
Jazyk
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Search:
Vše
Název
Autor
Téma
Signatura
ISBN/ISSN
Tag
Hledat
Pokročilé
Autor
Hachtel, Gary D.
Zobrazuji výsledky
1 - 2
z
2
pro vyhledávání '
Hachtel, Gary D.
'
, doba hledání: 0,26 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Signatury
Autor
Název
Vybrat vše | Vybrané:
Poslat emailem
Exportovat
Vytisknout
Uložit
Vybrat výsledek číslo 1
1
Logic synthesis and verification algorithms /
Autor
Hachtel
,
Gary
D
.
Vydáno 1996
Signatura:
Načítá se...
Umístění:
Načítá se...
Kniha
Načítá se...
Přidat do oblíbených
Uloženo v:
Vybrat výsledek číslo 2
2
Abstraction Refinement for Large Scale Model Checking
Autor
Wang, Chao.
,
Wang, Chao.
,
Hachtel
,
Gary
D
.
,
Somenzi, Fabio.
Vydáno 2006
Další autoři:
“
...
Hachtel
,
Gary
D
....
”
Signatura:
Načítá se...
Umístění:
Načítá se...
Získat plný text
Elektronický zdroj
E-kniha
Přidat do oblíbených
Uloženo v:
Vybrat vše | Vybrané:
Poslat emailem
Exportovat
Vytisknout
Uložit
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Související témata
Circuits and Systems
Computer-Aided Engineering (CAD, CAE) and Design
Computer-aided design
Computer-aided engineering
Data processing
Design
Electrical Engineering
Electrical engineering
Electronic circuits
Integrated circuits
Logic design
Verification
Very large scale integration
×
Načítá se...
