TY  - BOOK
A1  - Saposhnikov, V. V.
A1  - Saposhnikov, Vl. V.
A1  - Morozov, Alexei
A1  - Gössel, Michael
T1  - Necessary and Sufficient Conditions for the Existence of Self-Checking Circuits ba Use of Complementary Circuits
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2004
SN  - 0946-7580
VL  - 2004, 1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Marienfeld, Daniel
A1  - Sogomonyan, Egor S.
A1  - Ocheretnij, V.
A1  - Gössel, Michael
T1  - Self-checking Output-duplicated Booth-2 Multiplier
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2005
SN  - 0946-7580
VL  - 2005, 1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Sogomonyan, Egor S.
A1  - Marienfeld, Daniel
A1  - Gössel, Michael
T1  - Fehlerkorrektur und Fehlererkennung
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2006
SN  - 0946-7580
VL  - 2006, 3
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Börner, Ferdinand
A1  - Gössel, Michael
T1  - Grundlagen digitaler Systeme
Y1  - 2005
SN  - 978-3-937786-46-9
PB  - Univ.-Verl.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Börner, Ferdinand
A1  - Gössel, Michael
T1  - Grundlagen digitaler Systeme
Y1  - 2000
SN  - 3-9806494-9-0
PB  - Univ.-Bibliothek Publ.-Stelle
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Seuring, Markus
A1  - Gössel, Michael
T1  - A structural approach for space compaction for sequential circuits
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1998
SN  - 0946-7580
VL  - 1998, 05
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Seuring, Markus
A1  - Gössel, Michael
A1  - Sogomonyan, Egor S.
T1  - A structural approach for space compaction for concurrent checking and BIST
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1997
SN  - 0946-7580
VL  - 1997, 01
PB  - Univ. Potsdam
CY  - Potsdam [u.a.]
ER  - 
TY  - BOOK
ED  - Lambrecht, Anna-Lena
ED  - Margaria, Tizian
T1  - Process design for natural scientists
BT  - an agile model-driven approach
T3  - Communications in computer and information science ; 500
N2  - This book presents an agile and model-driven approach to manage scientific workflows. The approach is based on the Extreme Model Driven Design (XMDD) paradigm and aims at simplifying and automating the complex data analysis processes carried out by scientists in their day-to-day work. Besides documenting the impact the workflow modeling might have on the work of natural scientists, this book serves three major purposes: 1. It acts as a primer for practitioners who are interested to learn how to think in terms of services and workflows when facing domain-specific scientific processes. 2. It provides interesting material for readers already familiar with this kind of tools, because it introduces systematically both the technologies used in each case study and the basic concepts behind them. 3. As the addressed thematic field becomes increasingly relevant for lectures in both computer science and experimental sciences, it also provides helpful material for teachers that plan similar courses.
Y1  - 2014
SN  - 978-3-662-45005-5
PB  - Springer
CY  - Wiesbaden
ER  - 
TY  - BOOK
ED  - Rabe, Bernhard
ED  - Rasche, Andreas
T1  - Proceedings of the 2nd International Workshop on e-learning and Virtual and Remote Laboratories
T3  - Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsda
Y1  - 2008
SN  - 978-3-940793-17-1
SN  - 1613-5652
VL  - 21
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - de Carvalho, Jackson Marques
A1  - Jürgensen, Helmut
T1  - Document authoring environments and authoring mathematics
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2008
SN  - 0946-7580
VL  - 2008, 1
PB  - Univ.
CY  - Potsdam
ER  -