Zurück zum KVK
ERGEBNISANZEIGE
KVK jetzt von DFG gefördert - Weitere Informationen...


1. BVB - BibliotheksVerbund Bayern Solr-Zugang  
1. Logic Synthesis and Verification Algorithms ; Springer US / Hachtel, Gary D. / 1996 Digitalisat
2. Logic synthesis and verification algorithms ; Springer / Hachtel, Gary D. / 2006
Total Number of Matches: 2 Time needed: 0.963 seconds
Seitenanfang


2. German National Library of Science and Technology (TIB)  
1. Logic synthesis and verification algorithms / Hachtel, Gary D. / 2006
Total Number of Matches: 1 Time needed: 0.942 seconds
Seitenanfang


3. German national library  
1. Logic Synthesis and Verification Algorithms / Gary D. Hachtel ; Fabio Somenzi / Hachtel, Gary D. [Verfasser]
Total Number of Matches: 1 Time needed: 0.985 seconds
Seitenanfang


4. Union Catalog Austria  
. Logic synthesis and verification algorithms / Hachtel, Gary D. [VerfasserIn] / 2006
Total Number of Matches: 1 Time needed: 1.050 seconds
Seitenanfang


5. HeBIS, Union Catalog Hesse  
1. Logic synthesis and verification algorithms / / Hachtel, Gary D.. - New York, NY : Springer, 2006
2. Logic Synthesis and Verification Algorithms / / Hachtel, Gary D. - Boston, MA : Springer US, 1996 Digitalisat
Total Number of Matches: 2 Time needed: 1.382 seconds
Seitenanfang


6. SWB, Union Catalog Southwest Germany  
1. Logic synthesis and verification algorithms / Hachtel, Gary D. ; Somenzi, Fabio. - 1st softcover ed. - New York, NY : Springer, 2006 /
Total Number of Matches: 1 Time needed: 4.379 seconds
Seitenanfang


7. Union Catalogue of Swedish Libraries LIBRIS  
1. Logic Synthesis and Verification Algorithms [Elektronisk resurs] / 1996
Total Number of Matches: 1 Time needed: 1.025 seconds
Seitenanfang


8. Catalogo del Servizio Bibliotecario Nazionale  
1. Logic synthesis and verification algorithms / by Gary D. Hachtel, Fabio Somenzi
Total Number of Matches: 1 Time needed: 1.243 seconds
Seitenanfang


9. Amazon.de - English Books  
1. Logic Synthesis and Verification Algorithms / Hachtel, Gary D. / 2010
Total Number of Matches: 1 Time needed: 1.242 seconds
Seitenanfang


10. Amazon.de - German Books  
1. Logic Synthesis and Verification Algorithms / Hachtel, Gary D. / 2010
Total Number of Matches: 1 Time needed: 1.287 seconds
Seitenanfang


11. abebooks  
1. Logic Synthesis and Verification Algorithms / Somenzi, Fabio,Hachtel, Gary D. / 4.44 USD
2. Logic Synthesis and Verification Algorithms / Hachtel, Gary D., Somenzi, Fabio / 5.91 USD
3. Logic Synthesis and Verification Algorithms / Hachtel, Gary D., Somenzi, Fabio / 5.91 USD
4. Logic Synthesis and Verification Algorithms / Gary D. Hachtel; Fabio Somenzi / 7.17 USD
5. Logic Synthesis and Verification Algorithms / Hachtel, Gary D.; Somenzi, Fabio / 12.18 USD
6. Logic Synthesis and Verification Algorithms / Hachtel, Gary D.; Somenzi, Fabio / 12.32 USD
7. Logic Synthesis and Verification Algorithms / Hachtel, Gary D., Somenzi, Fabio / 33.8 USD
8. Logic Synthesis And Verification Algorithms / Gary D. Hachtel / 79.33 USD
9. Logic Synthesis and Verification Algorithms / Hachtel, Gary D.; Somenzi, Fabio / 92.4 USD
Total Number of Matches: 9 Time needed: 1.311 seconds
Seitenanfang


12. Jisc Library Hub Discover (formerly Copac)  
. Logic synthesis and verification algorithms / Hachtel, Gary D.
Total Number of Matches: 1 Time needed: 1.474 seconds
Seitenanfang


13. GBV, Union Catalog Northern Germany  
1. Logic synthesis and verification algorithms / Hachtel, Gary D.. - 1st softcover ed. - New York, NY : Springer, 2006
2. Logic Synthesis and Verification Algorithms / Hachtel, Gary D.. - Online-Ausg.. - Boston, MA : Springer Science+Business Media, Inc, 1996 Digitalisat
Total Number of Matches: 2 Time needed: 2.820 seconds
Seitenanfang


14. oria.no - BIBSYS  
1. Logic Synthesis and Verification Algorithms / Hachtel, Gary D.
Total Number of Matches: 1 Time needed: 1.670 seconds
Seitenanfang


15. Worldcat  
1. Logic synthesis and verification algorithms / Autor: Gary D Hachtel; Fabio Somenzi
2. Heuristic Minimization of Two-Level Circuits
3. Synthesis of Two-Level Circuits
4. Logic Synthesis and Verification Algorithms / New York Springer-Verlag 1996
5. Multi-Level Logic Synthesis
6. Automatic Test Generation for Combinational Circuits
7. Boolean Algebras
8. Introduction
9. Synthesis and Verification of Finite State Machines
10. Multi-Level Minimization
More Matches...
Total Number of Matches: 15 Time needed: 1.865 seconds
Seitenanfang


Status  
Your query was: ISBN: 9780387310046.
64 Catalogs have been selected.
49 of them could not be successfully processed (or not completely) or no records could be found:
 
• UNBEKANNT Catalog Configuration File not found or corrupted.
VD17, Bibliography of German Imprints of the 17th Century
ZDB - Zeitschriftendatenbank
• UNBEKANNT Catalog Configuration File not found or corrupted.
• UNBEKANNT Catalog Configuration File not found or corrupted.
• UNBEKANNT Catalog Configuration File not found or corrupted.
• UNBEKANNT Catalog Configuration File not found or corrupted.
NEBIS The usage of this Catalog requires Cookies and JavaScript to be activated in your Browser.
HBZ, NRW-Verbundkatalog via GVI No records found.
Library Network of Western Switzerland Problem during the connection.
VD16 - FAST-Zugang No records found.
Canada Institute for Scientific and Technical Information (CISTI) Problem during the connection.
• UNBEKANNT Catalog Configuration File not found or corrupted.
Czech National Library The usage of this Catalog requires Cookies and JavaScript to be activated in your Browser.
• UNBEKANNT Catalog Configuration File not found or corrupted.
Union Catalogue of Finnish University Libraries The usage of this Catalog requires Cookies and JavaScript to be activated in your Browser.
Hungrian National Library The usage of this Catalog requires Cookies and JavaScript to be activated in your Browser.
Israel Union List The usage of this Catalog requires Cookies and JavaScript to be activated in your Browser.
EDIT16 data base
Die Österreichischen Landesbibliotheken No records found.
Italian Periodical Cataloque
HeBIS-Retro / Digitalisierte Zettelkataloge No records found.
British Library Catalog is not available at this time.
• UNBEKANNT Catalog Configuration File not found or corrupted.
IDS Bale/Berne The analysis of the Catalog response did not generate a result.
The National Library of Medicine of the USA Catalog is not available at this time.
Bielefeld Academic Search Engine No records found.
• UNBEKANNT Catalog Configuration File not found or corrupted.
Swiss National Library No records found.
National Library of France No records found.
Det Kongelige Bibliotek, Denmark No records found.
Verbundkatalog Öffentlicher Bibliotheken No records found.
National Library Of The Netherlands No records found.
Verbundkatalog Luxemburg - bibnet.lu No records found.
The National Library of Poland No records found.
ZVAB - Catalogue of antiquarian Books No records found.
Booklooker.de No records found.
EROMM Classic No records found.
Staatsbibliothek zu Berlin No records found.
SUDOC, French Union Catalog No records found.
eBooks - DFG-Nationallizenzen No records found.
Aufsätze - DFG-Nationallizenzen No records found.
National Library of Spain - Libros modernos desde 1831 No records found.
National Library of Australia No records found.
PORBASE - Portuguese Union Catalogue No records found.
KNV Buchkatalog.de No records found.
Libri.de Problem during the connection.
Russian State Library Internal error while establishing the connection.
Catálogo Colectivo REBIUN Internal error while establishing the connection.
 
Besides other reasons, a Catalog cannot be successfully processed if it does not respond within the Timeout (30 seconds).
Total Number of Matches displayed (Single Matches excluded): 35 Total Time needed: 18.027 seconds

Fragen und Anmerkungen an: Uwe Dierolf (dierolf@ubka.uni-karlsruhe.de)

Preise und Auszeichnungen:
KVK erhält InetBib Award Innovation 1999 - Weitere Informationen...
Pressestimmen zum KVK