Biologically inspired approaches to advanced information technology
: second international workshop ; proceedings / BioADIT 2006, Osaka, Japan 26 - 27, 2006. Auke Jan Ijspeert ... (ed.). - Berlin : Springer, 2006. - XIV, 388 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3853)
ISBN 978-3-540-31253-6 / 3-540-31253-6 kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Chryptographic hardware and embedded systems
: 4th international workshop ; revised papers / CHES 2002, Redwood Shores, CA, USA, August 13 - 15, 2002. B. S. Kaliski ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2523)
ISBN 978-3-540-36400-9
Lizenzpflichtig
Quelle: DNB
Chryptographic hardware and embedded systems
: 4th international workshop ; revised papers / CHES 2002, Redwood Shores, CA, USA, August 13 - 15, 2002. Burton S. Kaliski ... (ed.). - Berlin : Springer, 2003. - XIV, 612 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2523)
ISBN 978-3-540-00409-7 / 3-540-00409-2 kart. : EUR 72.76
Literaturangaben
Quelle: DNB
Müller, Silvia Melitta: Computer architecture
: complexity and correctness ; with 185 tables / Silvia M. Müller ; Wolfgang J. Paul. - Berlin : Springer, 2000. - XIII, 553 S. : graph. Darst.; 25 cm
ISBN 978-3-540-67481-8 / 3-540-67481-0 Pp. : DM 98.00
Literaturverz. S. 543 - 547
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 ; 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
: 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
