Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Wuppertal"
Treffer 106 von 216
|
|
| Link zu diesem Datensatz | https://d-nb.info/948453818 |
| Art des Inhalts | Hochschulschrift |
| Titel | Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten Programmierumgebungen / vorgelegt von Andreas Steins |
| Person(en) | Steins, Andreas (Verfasser) |
| Ausgabe | [Mikrofiche-Ausg.] |
| Zeitliche Einordnung | Erscheinungsdatum: 1995 |
| Umfang/Format | 95 Bl. : graph. Darst. |
| Hochschulschrift | Wuppertal, Univ., Diss., 1996 |
| Anmerkungen | Mikrofiche-Ausg.: 1 Mikrofiche : 24x |
| Schlagwörter | Arithmetischer Ausdruck ; Computeralgebra ; Mikroform |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 27 Mathematik |
| Frankfurt |
Signatur: H 1996 MF 1843
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: H 1996 MF 1843
Bereitstellung in Leipzig |
Treffer 106 von 216
Administration
