Types for proofs and programs
: selected papers ; international Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 / [International Workshop TYPES '95]. Stefano Berardi ... (ed.). - Berlin : Springer, 1996. - X, 296 S.; 24 cm - (Lecture notes in computer science; Vol. 1158)
ISBN 978-3-540-61780-8 / 3-540-61780-9 kart. : DM 70.00
Literaturangaben
Quelle: DNB
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
