Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=621.3*
Treffer 6208 von 6770
|
|
| Link zu diesem Datensatz | https://d-nb.info/1166512347 |
| Titel | SATRIX : Algorithmen für Boolesche Erfüllbarkeit |
| Person(en) |
Große, Daniel (Herausgeber) Fey, Görschwin (Herausgeber) Drechsler, Rolf (Herausgeber) |
| Ausgabe | 1. Auflage |
| Verlag | Aachen : Shaker |
| Zeitliche Einordnung | Erscheinungsdatum: 2007 |
| Umfang/Format | Online-Ressource, 138 Seiten : 18 Illustrationen (pdf) |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: SATRIX |
| Persistent Identifier | URN: urn:nbn:de:101:1-2018090907095196654125 |
| ISBN/Einband/Preis | 978-3-8322-6408-6 |
| Sprache(n) | Deutsch (ger) |
| Beziehungen | Technische Informatik |
| Anmerkungen | Lizenzpflichtig |
| Schlagwörter | Entwurfsautomation ; Testmustergenerierung ; Verifikation ; Korrektheit ; Erfüllbarkeitsproblem ; Boolesche Funktion |
| DDC-Notation | 621.395015113 [DDC22ger] |
| Sachgruppe(n) | 620 Ingenieurwissenschaften und Maschinenbau ; 510 Mathematik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 6208 von 6770
Administration
