schliessen

Filtern

 

Bibliotheken

Logic Synthesis and Verification Algorithms / by Gary D. Hachtel, Fabio Somenzi

PPN (Catalogue-ID): 524978948
Personen: Hachtel, Gary D. [VerfasserIn]
Somenzi, Fabio
Format: eBook eBook
Language: English
Published: Boston, MA, Springer Science+Business Media, Inc, 1996
Basisklassifikation: 53.52
53.55
54.51
31.11
31.12
Subjects:

VLSI / Entwurfsautomation / Hardwareverifikation / Sequenzieller Algorithmus / Automatentheorie

Physical Description: Online-Ressource, v.: digital.
Link: Inhaltsverzeichnis
ISBN: 978-0-387-31005-3
Sekundärausgabe Online-Ausg., Springer-11647

Similar Items

Vorhandene Hefte/Bände

more (+)

Informationen zur Verfügbarkeit werden geladen

Staff View
LEADER 03837cam a22007212 4500
001 524978948
003 DE-627
005 20200117234934.0
007 cr uuu---uuuuu
008 070227s1996 xx |||||o 00| ||eng c
020 |a 9780387310053  |9 978-0-387-31005-3 
024 7 |a 10.1007/0-387-31005-3  |2 doi 
035 |a (DE-627)524978948 
035 |a (DE-599)GBV524978948 
035 |a (DE-He213)978-0-387-31005-3 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
082 0 4 |a 510 
084 |a 53.52  |2 bkl 
084 |a 53.55  |2 bkl 
084 |a 54.51  |2 bkl 
084 |a 31.11  |2 bkl 
084 |a 31.12  |2 bkl 
100 1 |a Hachtel, Gary D.  |e verfasserin  |4 aut 
245 1 0 |a Logic Synthesis and Verification Algorithms  |c by Gary D. Hachtel, Fabio Somenzi 
264 1 |a Boston, MA  |b Springer Science+Business Media, Inc  |c 1996 
300 |a Online-Ressource  |b v.: digital 
336 |a nicht spezifiziert  |b zzz  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
533 |a Online-Ausg.  |f Springer-11647  |f Springer eBook Collection. Engineering 
689 0 0 |D s  |0 (DE-588)4117388-0  |0 (DE-627)104653582  |0 (DE-576)20950949X  |a VLSI  |2 gnd 
689 0 1 |D s  |0 (DE-588)4312536-0  |0 (DE-627)124346359  |0 (DE-576)211146684  |a Entwurfsautomation  |2 gnd 
689 0 2 |D s  |0 (DE-588)4214982-4  |0 (DE-627)105060739  |0 (DE-576)210223391  |a Hardwareverifikation  |2 gnd 
689 0 3 |D s  |0 (DE-588)4719581-2  |0 (DE-627)365788791  |0 (DE-576)215723287  |a Sequenzieller Algorithmus  |2 gnd 
689 0 4 |D s  |0 (DE-588)4003953-5  |0 (DE-627)106388215  |0 (DE-576)208853308  |a Automatentheorie  |2 gnd 
689 0 |5 (DE-627) 
700 1 |a Somenzi, Fabio  |4 oth 
776 1 |z 9780387310046  |9 978-0-387-31004-6 
856 4 0 |u http://dx.doi.org/10.1007/0-387-31005-3  |x Resolving-System  |3 Volltext 
856 4 2 |u http://www.gbv.de/dms/bowker/toc/9780387310046.pdf  |m V:DE-601  |m X:Bowker  |q pdf/application  |v 2011-12-23  |x Verlag  |y Inhaltsverzeichnis  |3 Inhaltsverzeichnis 
912 |a ZDB-2-ENG 
912 |a ZDB-2-ENG  |b 1996 
912 |a ZDB-2-BAE 
912 |a GBV_ILN_20 
912 |a SYSFLAG_1 
912 |a GBV_KXP 
912 |a GBV_ILN_60 
912 |a GBV_ILN_70 
936 b k |a 53.52  |j Elektronische Schaltungen  |0 (DE-627)106414070 
936 b k |a 53.55  |j Mikroelektronik  |0 (DE-627)10641853X 
936 b k |a 54.51  |j Programmiermethodik  |0 (DE-627)106418122 
936 b k |a 31.11  |j Ordnungen  |j allgemeine mathematische Systeme  |0 (DE-627)106407538 
936 b k |a 31.12  |j Kombinatorik  |j Graphentheorie  |0 (DE-627)106418963 
951 |a BO 
980 |2 20  |1 01  |b 1657087972  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |x 0084  |y z  |z 07-01-17 
980 |2 60  |1 01  |b 1599845229  |h SpringerLink  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |k Nur für Angehörige der HSU: Volltextzugang von außerhalb des Campus mit Anmeldung über Shibboleth mit Ihrer Bibliothekskennung  |x 0705  |y z  |z 09-02-16 
980 |2 70  |1 01  |b 153248643X  |h OLR-SBAEN  |k Campusweiter Zugriff (Universität Hannover). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |x 0089  |y z  |z 27-03-15 
981 |2 20  |1 01  |r http://dx.doi.org/10.1007/0-387-31005-3 
981 |2 60  |1 01  |y Volltextzugang Campus  |r http://dx.doi.org/10.1007/0-387-31005-3 
981 |2 70  |1 01  |r http://dx.doi.org/10.1007/0-387-31005-3 
995 |2 60  |1 01  |a SpringerLink 
995 |2 70  |1 01  |a OLR-SBAEN