-
Reconfigurable Computing: Architectures, Tools and Applications – 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
Koch, Andreas ; Krishnamurthy, Ram ; McAllister, John ; Woods, Roger ; El-Ghazawi, Tarek 2011 Springer Berlin Heidelberg
-
Runtime Verification – First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Barringer, Howard ; Rosu, Grigore ; Sokolsky, Oleg 2010 Springer Berlin Heidelberg
-
Embedded computer systems: architectures, modeling, and simulation – 9th international workshop, SAMOS 2009, Samos, Greece, July 20 - 23, 2009 ; proceedings
Bertels, Koen 2009 Springer
-
Advances in information security and its application – third international conference ; proceedings
Pak, Chong-hyun 2009 Springer
-
Numerical validation in current hardware architectures – international Dagstuhl seminar, Dagstuhl Castle, Germany, January 6 - 11, 2008 ; revised papers
Cuyt, Annie 2009 Springer
-
Runtime verification – 8th international workshop ; selected papers
Leucker, Martin 2008 Springer
-
Embedded computer systems: architectures, modeling, and simulation – 8th international workshop, Samos 2008, Samos, Greece, July 21 - 24, 2008 ; proceedings
Bereković, Mladen 2008 Springer
-
Information security theory and practices – smart cards, mobile and ubiquitous computing systems ; first IFIP TC6, WG 8.8, WG 11.2 international workshop ; proceedings
Sauveron, Damien 2007 Springer
-
Bioinspired in-sensor visual adaptation for accurate perception
Liao, Fuyou ; Zhou, Zheng ; Kim, Beom Jin ; Chen, Jiewei ; Wang, Jingli ; Wan, Tianqing ; Zhou, Yue ; Hoang, Anh Tuan ; Wang, Cong ; Kang, Jinfeng ; Ahn, Jong-Hyun ; Chai, Yang
-
Information security practice and experience – 4th international conference ; proceedings
Chen, Liqun 2008 Springer
-
Embedded computer systems: architectures, modeling, and simulation – 7th international workshop, Samos 2007, Samos, Greece, July 16 - 19, 2007 ; proceedings
Vassiliadis, Stamatis 2007 Springer
-
Information security, practice and experience – third international conference ; proceedings
Dawson, Ed 2007 Springer
-
Formal methods for hardware verification – advanced lectures
Bernardo, Marco 2006 Springer
-
Embedded computer systems: architectures, modeling, and simulation – 6th international workshop, Samos 2006, Samos, Greece, July 17 - 20, 2006 ; proceedings
Vassiliadis, Stamatis 2006 Springer
-
Information security practice and experience – second international conference ; proceedings
Chen, Kefei 2006 Springer
-
Embedded computer systems – architectures, modeling, and simulation ; 5th international workshop, SAMOS 2005, Samos, Greece, July 18 - 20, 2005 ; proceedings
Hämäläinen, Timo D. 2005 Springer
-
Regulatorische Handlungsfelder für mehr Flexibilität im österreichischen Stromsystem
Kalt, Gerald
-
Hardware and Lifecycle Requirements for Secure PROFINET Devices
Niemann, Karl-Heinz ; Schutter, Hendrik ; Leßmann, Gunnar ; Rovelli, Francesco ; Otto, Jens ; Specht, Felix ; Sikora, Axel 2025 Hochschule Hannover
-
Entwicklung eines maschinellen Gegenspielers für ein hardwarebasiertes Vier-Gewinnt-Spiel
Krüger, A. ; Höhne, J. ; Schumacher, I. ; Vögelein, L. ; Metzger, T. ; Stache, N. C. 2025 Hochschule für Technik, Wirtschaft und Kultur
-
Lehrbuch der Softwaretechnik
Balzert, Helmut ; Ebert, Christof 2026 Springer Berlin