TeX, XML, and digital typography
: proceedings / International Conference on TeX, XML, and Digital Typography, held jointly with the 25th annual meeting of the TeX Users Group, TUG 2004, Xanthi, Greece, August 30 - September 3, 2004. Apostolos Syropoulos ... (ed.). - Berlin : Springer, 2004. - VIII, 263 S.; 24 cm - (Lecture notes in computer science; Vol. 3130)
ISBN 978-3-540-22801-1 / 3-540-22801-2 kart. : EUR 48.15 (freier Pr.), ca. sfr 82.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Romagnani, Sergio: The Th1, Th2 paradigm in disease
/ Sergio Romagnani. - New York : Springer, 1997. - 241 S. : Ill., graph. Darst.; 27 cm - (Molecular biology intelligence unit)
ISBN 978-3-540-61949-9 / 3-540-61949-6 Pp. : DM 154.00
Literaturverz. S. 167 - 235
Quelle: DNB
Thema Krebs
: [umfassende Information, verständliche Erklärungen, Antworten auf Ihre Fragen] / Hilke Stamatiadis-Smidt ... (Hrsg.). Mit Beitr. von Christian Beitel .... - 3., vollst. überarb. und erw. - Berlin [u.a.] : Springer, 2006. - XII, 263 S. : graph. Darst.
ISBN 3-540-25792-6 ca. Eur 24,95
Quelle: Stadtbibliothek Salzburg
Thema Krebs
: Fragen und Antworten / Hilke Stamatiadis-Smidt ; Almuth Sellschopp (Hrsg.). Autoren: Grit Brettschneider .... - 2., korr. Nachdr. - Berlin : Springer, 1993. - XX, 410 S. : Ill., graph. Darst.; 21 cm
ISBN 978-3-540-56959-6 / 3-540-56959-6 kart.
Quelle: DNB
Rudolf, Beate: Die thematischen Berichterstatter und Arbeitsgruppen der UN-Menschenrechtskommission
: ihr Beitrag zur Fortentwicklung des internationalen Menschenrechtsschutzes = The thematic rapporteurs and working groups of the UN Commission of Human Rights / Beate Rudolf. - Berlin : Springer, 2000. - XXVI, 662 S.; 24 cm - (Beiträge zum ausländischen öffentlichen Recht und Völkerrecht; Bd. 142)
ISBN 978-3-540-66837-4 / 3-540-66837-3 Pp. : DM 229.00, sfr 207.00, S 1672.00, ffr 863.00, L 88.00, lire 252910.00, $ 130.85
Quelle: DNB
Theorem provers in circuit design
: theory, practice and experience ; second international conference, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings / TPCD '94. Ramayya Kumar ; Thomas Kropf (ed.). - Berlin : Springer, 1995. - VIII, 303 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 901)
ISBN 978-3-540-59047-7 / 3-540-59047-1 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Theorem proving in higher order logics
: 17th international conference ; proceedings / TPHOLs 2004, Park City, Utah, USA, September 14 - 17, 2004. Konrad Slind ... (ed.). - Berlin : Springer, 2004. - VIII, 336 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3223)
ISBN 978-3-540-23017-5 / 3-540-23017-3 kart. : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Theorem proving in higher order logics
: 16th international conference ; proceedings / TPHOLs 2003, Rome, Italy, September 8 - 12, 2003. David Basin ; Burkhart Wolff (ed.). - Berlin : Springer, 2003. - X, 366 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2758)
ISBN 978-3-540-40664-8 / 3-540-40664-6 kart. : EUR 53.50 (freier Pr.), sfr 86.00
Literaturangaben
Quelle: DNB
Theorem proving in higher order logics
: 16th international conference ; proceedings / TPHOLs 2003, Rome, Italy, September 8 - 12, 2003. David Basin ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2758)
ISBN 978-3-540-45130-3
Lizenzpflichtig
Quelle: DNB
Theorem proving in higher order logics
: 15th international conference ; proceedings / TPHOLs 2002, Hampton, VA, USA, August 20 - 23, 2002. V. A. Carreño (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2410)
ISBN 978-3-540-45685-8
Lizenzpflichtig
Quelle: DNB
