Detailsuche
|
Home
|
Neuzugänge
|
Impressum
|
Login
Universitäts- und Landesbibliothek Sachsen-Anhalt
Elektronische Pflichtexemplare
Suchergebnis
Suche verändern
1 - 2
Inhalt
Informatik, Informations- wissenschaft, allgemeine Werke
(359)
Philosophie und Psychologie
(104)
Religion
(128)
Sozialwissenschaften
(6615)
Sprache
(14)
Naturwissenschaften und Mathematik
(1017)
Technik, Medizin, angewandte Wissenschaften
(1845)
Künste und Unterhaltung
(587)
Literatur
(545)
Geschichte und Geografie
(927)
Ohne Einordnung
(0)
2 Titel
Sortieren
Relevanz
Titel
Autor / Beteiligte
Körperschaft
Ort
Erscheinungsjahr
Autoren / Beteiligte
1
Keim, Martin
1
Scholl, Christoph
Verlagsorte
[Kein Filter]
2
Göttingen
2
Halle
Drucker / Verleger
[Kein Filter]
2
Department Mathematics Computer Science, Martin Luther University Halle-Wittenberg
Suchergebnis
Suche nach:
Serie = Reports und Sammlung = Elektronische Pflichtexemplare
Minimizing ROBDD sizes of incompletely specified Boolean functions by exploiting strong symmetries
Scholl, Christoph
Halle : Department of Mathematics and Computer Science, Martin Luther University Halle-Wittenberg, 1996 ;
Polynomial formal verification of multipliers
Keim, Martin
Halle : Department of Mathematics and Computer Science, Martin Luther University Halle-Wittenberg, 1997 ;