Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
Treffer 874 von 962
|
|
| Link zu diesem Datensatz | https://d-nb.info/980750423 |
| Art des Inhalts | Konferenzschrift, 2006, Ilmenau |
| Titel | PCC '06 / 5th International Workshop on Proof, Computation, Complexity, Ilmenau, July 24 - 25, 2006. Ed. by Karl-Heinz Niggl ... [Technische Universität Ilmenau] |
| Person(en) | Niggl, Karl-Heinz (Herausgeber) |
| Organisation(en) |
PCC (5 : 2006 : Ilmenau) (Verfasser) Technische Universität Ilmenau (Herausgebendes Organ) |
| Verlag | Ilmenau : Univ.-Verl. |
| Zeitliche Einordnung | Erscheinungsdatum: 2006 |
| Umfang/Format | 57 S. : graph. Darst. ; 21 cm |
| ISBN/Einband/Preis |
978-3-939473-01-5 kart. 3-939473-01-4 kart. |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | Literaturangaben |
| Schlagwörter |
Beweistheorie ; Kongress ; Ilmenau <2006> Berechnungskomplexität ; Kongress ; Ilmenau <2006> |
| DDC-Notation | 511.36 [DDC22ger] |
| Sachgruppe(n) | 510 Mathematik ; 004 Informatik |
| Frankfurt |
Signatur: 2006 A 61383
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2006 A 80832
Bereitstellung in Leipzig |
Treffer 874 von 962
Administration
