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
(2)
Bartl, Peter
(1)
Glöde, Dirk
(1)
Hegewald, Eberhard
(1)
Koutzevlov, Atanas
(1)
Schubert, Wolfgang
(1)
Erscheinungsjahr
1994 (4)
(entfernen)
Dokumenttyp
Wissenschaftlicher Artikel
(3)
Monographie/Sammelband
(1)
Sprache
Deutsch (4)
(entfernen)
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
20
10
20
50
100
Sortieren nach
Jahr
Jahr
Titel
Titel
Autor*in
Autor*in
ESF-Abschlußbericht
(1994)
Schubert, Wolfgang
;
Glöde, Dirk
;
Hegewald, Eberhard
;
Koutzevlov, Atanas
Ein effizientes Verfahren für die Logikvertifikation
(1994)
Kunz, Wolfgang
Ein neuer Ansatz für die Optimierung mehrstufiger loischer Schaltungen
(1994)
Kunz, Wolfgang
Sachbericht zum Vorgängerprojekt von MOSVO
(1994)
Bartl, Peter
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.