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
Tyrosine phosphorylation, dephosphorylation and downstream signalling
: [proceedings of the Nato Advanced Study Institute on Tyrosine Phosphorylation, Dephosphorylation and Downstream Signalling, held at Acquafredda di Maratea, Italy, September 1 - 12, 1992] / ed. by Ludwig M. G. Heilmeyer. Publ. in cooperation with Nato Scientific Affairs Division. - Berlin : Springer, 1993. - XI, 376 S. : Ill., graph. Darst.; 24 cm - (NATO ASI series : Series H, Cell biology; Vol. 76)
ISBN 978-3-540-56745-5 / 3-540-56745-3 Pp. : DM 258.00
Literaturangaben
Quelle: DNB
Bernatzik, Edmund: Über den Begriff der juristischen Person
: kritische Studien über den Begriff der juristischen Person und über die juristische Persönlichkeit der Behörden insbesondere / Edmund Bernatzik. - Wien : Springer, 1996. - XIV, 116 S.; 24 cm - (Forschungen aus Staat und Recht; 113)
ISBN 978-3-211-82866-3 / 3-211-82866-4 kart. : DM 49.00, S 345.00
Literaturverz. S. 111 - 114
Quelle: DNB
Chuaqui, Benedicto: Über den Krankheitsbegriff, dargestellt an der Typologie menschlicher Missbildungen
/ Benedicto Chuaqui. - Berlin : Springer, 1991. - 59 S. : Ill., graph. Darst.; 25 cm - (Sitzungsberichte der Heidelberger Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse; Jg. 1991, Abh. 2)
ISBN 978-3-540-53728-1 / 3-540-53728-7 geh. : DM 29.00
Literaturverz. S. 51 - 57
Quelle: DNB
