hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Hardwareentwurf
66 Treffer
Seite < 1 2 3 4 5 6 7 >
Cover

Advances in biologically inspired information systems

: models, methods, and tools ; with 14 tables / Falko Dressler ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Studies in computational intelligence; Vol. 69)

ISBN 978-3-540-72693-7

Lizenzpflichtig

Quelle: DNB

Cover

Advances in computing science - ASIAN 2000

: proceedings / 6th Asian Computing Science Conference, Penang, Malaysia, November 2000. Jifeng He ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1961)

ISBN 978-3-540-44464-0

Lizenzpflichtig

Quelle: DNB

Cover

Applied formal methods - FM trends 98

: proceedings / International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998. Dieter Hutter ... (ed.). - Berlin : Springer, 1999. - XI, 376 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1641)

ISBN 978-3-540-66462-8 / 3-540-66462-9 kart. : DM 86.00

Literaturangaben

Quelle: DNB

Cover

Automated technology for verification and analysis

: second international conference : proceedings / ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Farn Wang (ed.). - Berlin : Springer, 2004. - XII, 506 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3299)

ISBN 978-3-540-23610-8 / 3-540-23610-4 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Automated technology for verification and analysis

: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4218)

ISBN 978-3-540-47238-4

Lizenzpflichtig

Quelle: DNB

Cover

Automated technology for verification and analysis

: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ; Wenhui Zhang (ed.). - Berlin : Springer, 2006. - XIV, 540 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4218)

ISBN 978-3-540-47237-7 / 3-540-47237-1 kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Automated technology for verification and analysis

: third international symposium ; proceedings / ATVA 2005, Taipei, Taiwan, October 4 - 7, 2005. Doron A. Peled ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3707)

ISBN 978-3-540-31969-6

Lizenzpflichtig

Quelle: DNB

Cover

Automated technology for verification and analysis

: 6th international symposium ; proceedings / ATVA 2008, Seoul, Korea, October 20 - 23, 2008. Sungdeok (Steve) Cha ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5311)

ISBN 978-3-540-88387-6

Lizenzpflichtig

Quelle: DNB

Cover

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

Cover

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

Seite < 1 2 3 4 5 6 7 >
Projekte . Kooperationen