Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 5 von 680
    Datensatz exportieren als...
  • BibTeX
Logic synthesis and verification : prep. for the Tenth International Workshop on Logic and Synthesis in November 2000
The Kluwer international series in engineering and computer science : 654 (Alle Bände)
2002
Signatur: TTQ002613

Details

Autor(en) / Beteiligte
Titel
Logic synthesis and verification : prep. for the Tenth International Workshop on Logic and Synthesis in November 2000
Ist Teil von
Ort / Verlag
Boston [u.a.] : Kluwer
Erscheinungsjahr
2002
Beschreibungen/Notizen
  • Hier auch später erschienene, unveränderte Nachdrucke
Sprache
Englisch
Identifikatoren
ISBN: 0792376064
OCLC-Nummer: 1069202277, 1069202277
Titel-ID: 990008752790106463
Format
XIV, 454 S. : graph. Darst.
Systemstelle
TTQ
Schlagworte
Logischer Entwurf, Logiksynthese, Verifikation, Logic circuits, Logic design

Lade weitere Informationen...