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 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 - Schwill, Andreas A1 - Claus, Volker T1 - Duden Informatik : ein Fachlexikon für Studium und Praxis N2 - Die Informatik durchdringt zusehends fast alle Bereiche der Ausbildung und der Berufswelt. Die Stichwörter berücksichtigen die Geschichte der Informatik und den heutigen Stand ihrer Methoden und beziehen aktuelle und absehbare Entwicklungen mit ein. Das ausführliche Register sorgt dafür, dass man den gewünschten Begriff sofort im Blick hat. Rund 3 000 Stichwörter, etwa 700 Abbildungen, Register. Y1 - 2001 SN - 3-411-05233-3 PB - Dudenverl. CY - Mannheim ER - TY - BOOK A1 - Schubert, Wolfgang A1 - Koutzevlov, Atanas A1 - Horn, Erika A1 - Rätsch, Gunnar A1 - Tschapek, Alexej T1 - Aspekte der Flexibilisierung von Systemen für den Hardwaretest T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1999 SN - 0946-7580 VL - 1999, 04 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Schubert, Sigrid A1 - Schwill, Andreas T1 - Didaktik der Informatik Y1 - 2011 SN - 978-3-8274-2652-9 PB - Spektrum Akademischer Verlag CY - Heidelberg ER - TY - BOOK A1 - Schröder-Preikschat, Wolfgang T1 - The logical design of parallel operating systems Y1 - 1994 PB - Prentice Hall International CY - Englewood Cliffs ER - TY - BOOK A1 - Schnor, Bettina T1 - Seminarband: Sensornetze T3 - Technischer Bericht Y1 - 2004 SN - 0946-7580 PB - Universität Potsdam, Institut für Informatik CY - Potsdam ER - TY - BOOK A1 - Schaub, Torsten T1 - The automation of reasoning with incomplete information : from semantic foundations to efficient computation T3 - Lecture notes in computer science Y1 - 1999 SN - 3-540-64515-2 U6 - https://doi.org/10.1007/BFb0054963 VL - 1409 PB - Springer CY - Berlin ER - TY - BOOK A1 - Sapoznikov, V. V. A1 - Sapoznikov, VL. V. A1 - Gössel, Michael T1 - Samodvojstvennye diskretnye ustrojstva Y1 - 2001 SN - 5-283-04748-2 PB - ?nergoatomizdat CY - Sankt-Peterburg ER - TY - BOOK A1 - Saposhnikov, Vl. V. T1 - Self-dual duplication for error detection and testing T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1997 SN - 0946-7580 VL - 1997, 02 PB - Inst. für Informatik CY - Potsdam ER -