Types for proofs and programs
: selected papers / International Workshop TYPES '94, B°astad, Sweden, June 6 - 10, 1994. Peter Dybjer ... (ed.). - Berlin : Springer, 1995. - X, 202 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 996)
ISBN 978-3-540-60579-9 / 3-540-60579-7 kart. : DM 54.00
Literaturangaben
Quelle: DNB
Types for proofs and programs
: international workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24 - 28, 2002 ; selected papers / Herman Geuvers ; Freek Wiedijk (ed.). - Berlin : Springer, 2003. - VIII, 330 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2646)
ISBN 978-3-540-14031-3 / 3-540-14031-X kart. : EUR 49.22
Literaturangaben
Quelle: DNB
Types for proofs and programs
: international workshop, types 2006, Nottingham, UK, April 18 - 21, 2006 ; revised selected papers / Thorsten Altenkirch ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4502)
ISBN 978-3-540-74464-1
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international workshop, types 2006, Nottingham, UK, April 18 - 21, 2006 ; revised selected papers / Thorsten Altenkirch ; Conor McBride (ed.). - Berlin : Springer, 2007. - VIII, 268 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4502)
ISBN 978-3-540-74463-4 / 3-540-74463-0 kart. : EUR 48.15 (freier Pr.), ca. sfr 78.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Types in compilation
: second international workshop ; proceedings / TIC '98, Kyoto, Japan, March 1998. Xavier Leroy ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1473)
ISBN 978-3-540-68308-7
Lizenzpflichtig
Quelle: DNB
Types in compilation
: third international workshop ; revised selected papers / TIC 2000, Montreal, Canada, September 21, 2000. R. Harper (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2071)
ISBN 978-3-540-45332-1
Lizenzpflichtig
Quelle: DNB
Bollwage, Max: Typografie kompakt
: vom richtigen Umgang mit Schrift am Computer / Max Bollwage. - 2., überarb. Aufl. - Berlin : Springer, 2005. - 141 S. : Ill., graph. Darst.; 26 cm - (X.media.press)
ISBN 3-540-22376-2 Pp. : EUR 29.95, sfr 51.00
Quelle: DNB
Bollwage, Max: Typografie kompakt
: vom richtigen Umgang mit Schrift am Computer / Max Bollwage. - Berlin : Springer, 2001. - 141 S. : graph. Darst.; 26 cm - (X.media.press)
ISBN 3-540-62885-1 Pp. : DM 59.90
Quelle: DNB
Typografische Animation für Studium und Praxis
/ F. Hegewald .... - Berlin : Springer, 2011. - 395 S. : Ill., graph. Darst.; 27 cm - (X.media.press)
ISBN 978-3-540-87913-8 Pp. : EUR 49.95, sfr 77.50 (freier Pr.)
Literaturangaben
Quelle: DNB
Typographie interaktiv!
/ Anja Kiehn ; Ina Titzmann. In Zusammenarbeit mit Wolfgang Zeitvogel. - Berlin : Springer, 1998. - 1 CD-ROM : farb.; 12 cm
ISBN 978-3-540-62879-8 : DM 89.00
Systemvoraussetzungen Apple Macintosh: 68040 Prozessor oder höher; System 7.x. - Systemvoraussetzungen IBM-kompatibler PC: 80486 Prozessor oder höher; 8 MB RAM verfügbar; Windows 95; Double-Speed-CD-ROM-Laufwerk, 17-Zoll-Monitor; 16-Bit-Graphikkarte, 800x
Quelle: DNB
