English
Home
Suchen
Browsen
Einreichen
Sitemap
Schließen
Organisationseinheiten
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Filtern
Volltext vorhanden
nein
(4)
Autor*in
Kunz, Wolfgang (4)
(entfernen)
Erscheinungsjahr
1996 (4)
(entfernen)
Dokumenttyp
Wissenschaftlicher Artikel
(3)
Dissertation
(1)
Sprache
Englisch
(4)
Gehört zur Bibliographie
ja
(4)
Institut
Institut für Informatik und Computational Science
(4)
4
Treffer
1
bis
4
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Sortieren nach
Jahr
Jahr
Titel
Titel
Autor*in
Autor*in
Testing techniques in logic synthesis
(1996)
Kunz, Wolfgang
Efficient logic verification in a synthesis environment
(1996)
Kunz, Wolfgang
;
Reddy, S. M.
;
Subodh, M.
;
Pradhan, D. K.
Implication-based gate-level synthesis for low-power
(1996)
Pradhan, D. K.
;
Chatterjee, M.
;
Swarna, M.
;
Kunz, Wolfgang
Logic equivalence checking by optimization techniues
(1996)
Stoffel, Dominik
;
Kunz, Wolfgang
1
bis
4
Verstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.