Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
Treffer 330 von 742
|
|
| Link zu diesem Datensatz | https://d-nb.info/1010221159 |
| Art des Inhalts | Hochschulschrift |
| Titel | Computational Complexity of SAT, XSAT and NAE-SAT : For linear and mixed Horn CNF formulas / Tatjana Schmidt |
| Person(en) | Schmidt, Tatjana (Verfasser) |
| Ausgabe | neue Ausg. |
| Verlag | Saarbrücken : Suedwestdeutscher Verlag fuer Hochschulschriften |
| Zeitliche Einordnung | Erscheinungsdatum: 2011 |
| Umfang/Format | Online-Ressource |
| Persistent Identifier | URN: urn:nbn:de:101:1-2011022318018 |
| URL | http://www.vdm-verlag.de (Verlag) |
| ISBN/Einband/Preis | 978-3-8381-2366-0 |
| Anmerkungen | Lizenzpflichtig. - Vom Verlag als Druckwerk on demand angeboten |
| DDC-Notation | 511.3 [DDC22ger] |
| Sachgruppe(n) | 510 Mathematik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 330 von 742
Administration
