ARCS 2016
: 29th International Conference on Architecture of Computing Systems : April 4-7, 2016, Nuremberg, Germany, Friedrich-Alexander University Erlangen-Nürnberg / Ana Lucia Varbanescu, University of Amsterdam, The Netherlands (editor). - Berlin : VDE Verlag GmbH, 2016. - 1 CD-ROM
ISBN 978-3-8007-4157-1 / 3-8007-4157-1 : EUR 101.80 (AT), EUR 99.00 (DE)
Quelle: DNB
ARCS 2017
: 30th International Conference on Architecture of Computing Systems : workshop proceedings : April, 3-6, 2017, Vienna University of Technology, Vienna, Austria / Carsten Trinitis, Technische Universität München, Thilo Pionteck, Otto-von-Guericke-Universität Magdeburg (editors). - Berlin : VDE Verlag GmbH, 2017. - 1 CD-ROM
ISBN 978-3-8007-4395-7 / 3-8007-4395-7 : EUR 52.00 (DE), EUR 52.50 (AT)
Quelle: DNB
ARCS 2018
: 31th International Conference on Architecture of Computing Systems : workshop proceedings : April, 9-12, 2018, Technische Universität Braunschweig, Braunschweig, Germany / organized by: Technical University of Braunschweig ; Carsten Trinitis, Technische Universität München, Thilo Pionteck, Otto-von-Guericke Universität Magdeburg (editors). - Berlin : VDE VERLAG GMBH, 2018. - 1 CD-ROM
ISBN 978-3-8007-4559-3 / 3-8007-4559-3 : EUR 64.00 (DE), EUR 64.00 (AT)
Quelle: DNB
ARCS 2019
: 32nd International Conference on Architecture of Computing Systems : workshop proceedings : May 20- 21, 2019, Technical University of Denmark, Copenhagen, Denmark / Carsten Trinitis, Technische Universität München, Thilo Pionteck, Otto-von-Guericke Universität Magdeburg (editors). - Berlin : VDE VERLAG GMBH, 2019. - 1 CD-ROM; 56 g
ISBN 978-3-8007-4957-7 / 3-8007-4957-2 : EUR 94.00 (DE), EUR 94.00 (AT)
Quelle: DNB
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
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
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
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
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
Component based software development for embedded systems
: an overview of current research trends / Colin Atkinson ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3778)
ISBN 978-3-540-31614-5
Lizenzpflichtig
Quelle: DNB