Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Algorithms"
Treffer 83 von 406
|
|
| Link zu diesem Datensatz | https://d-nb.info/931215528 |
| Titel | Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien |
| Person(en) | Curien, Pierre-Louis (Verfasser) |
| Ausgabe | 2. ed. |
| Verlag | Boston ; Basel ; Berlin : Birkhäuser |
| Zeitliche Einordnung | Erscheinungsdatum: 1993 |
| Umfang/Format | XX, 403 S. ; 25 cm |
| ISBN/Einband/Preis |
978-3-7643-3654-7 (Basel ...) Pp. : sfr 118.00 3-7643-3654-4 (Basel ...) Pp. : sfr 118.00 978-0-8176-3654-8 (Boston) Pp. 0-8176-3654-4 (Boston) Pp. |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Progress in theoretical computer science ; 9 |
| Anmerkungen |
Literaturverz. S. 381 - 394 Status nach VGG: lieferbar |
| Schlagwörter | Funktionale Programmiersprache ; Lambda-Kalkül ; Kategorientheorie |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 1993 A 13222
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1993 A 13222
Bereitstellung in Leipzig |
Treffer 83 von 406
Administration
