Correct hardware design and verification methods
: 13th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005. Dominique Borrione ; Wolfgang Paul (ed.). - Berlin : Springer, 2005. - XII, 412 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3725)
ISBN 978-3-540-29105-3 / 3-540-29105-9 kart. : EUR 83.46 (freier Pr.), sfr 132.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Correct hardware design and verification methods
: 12th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003. Daniel Geist ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2860)
ISBN 978-3-540-39724-3
Lizenzpflichtig
Quelle: DNB
Correct hardware design and verification methods
: 11th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2001, Livingston, Scotland, UK, September 4 - 7, 2001. T. Margaria ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2144)
ISBN 978-3-540-44798-6
Lizenzpflichtig
Quelle: DNB
Correct hardware design and verification methods
: IFIP WG 10.5 advanced research working conference ; proceedings / CHARME '95, Frankfurt/Main, Germany, October 2 - 4, 1995. Paolo E. Camurati ; Hans Eveking (ed.). - Berlin : Springer, 1995. - VIII, 342 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 987)
ISBN 978-3-540-60385-6 / 3-540-60385-9 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Correct hardware design and verification methods
: 12th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003. Daniel Geist ; Enrico Tronci (ed.). - Berlin : Springer, 2003. - XII, 426 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2860)
ISBN 978-3-540-20363-6 / 3-540-20363-X kart. : EUR 77.04, sfr 119.50
Literaturangaben
Quelle: DNB
Correct hardware design and verification methods
: 13th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005. Dominique Borrione ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3725)
ISBN 978-3-540-32030-2
Lizenzpflichtig
Quelle: DNB
Correct system design
: recent insights and advances / E.-R. Olderog ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1710)
ISBN 978-3-540-48092-1
Lizenzpflichtig
Quelle: DNB
Correlation effects in low-dimensional electron systems
: proceedings of the 16th Taniguchi Symposium, Kashikojima, Japan, October 25 - 29, 1993 / A. Okiji ; N. Kawakami (ed.). - Berlin : Springer, 1994. - XI, 215 S. : graph. Darst.; 25 cm - (Springer series in solid-state sciences; 118)
ISBN 978-3-540-57878-9 / 3-540-57878-1 Pp. : DM 118.00
Literaturangaben
Quelle: DNB
Correlations between morphologic and clinical features in idiopathic perimembranous glomerulonephritis
- Berlin [West] : Springer, 1977. - VII, 203 S. : 119 Ill.; 25 cm - (Current topics in pathology; 65)
ISBN 978-3-540-08330-6 / 3-540-08330-8 geb. : DM 96.00
Literaturangaben
Quelle: DNB
Gogocij, Jurij G.: Corrosion of high performance ceramics
/ Yu. G. Gogotsi ; V. A. Lavrenko. With a foreword by F. Thümmler. [Transl.: T. A. Maximova]. - Berlin : Springer, 1992. - XIII, 181 S. : Ill., graph. Darst.; 25 cm
ISBN 978-3-540-55316-8 / 3-540-55316-9 Pp. : DM 139.00
Literaturverz. S. 163 - 176
Quelle: DNB
