@book{SogomonyanMarienfeldOcheretnijetal.2003, author = {Sogomonyan, Egor S. and Marienfeld, Daniel and Ocheretnij, V. and G{\"o}ssel, Michael}, title = {A new self-checking sum-bit duplicated carry-select adder}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 5}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {10 S.}, year = {2003}, language = {en} } @book{PolyvyanyyKuropka2007, author = {Polyvyanyy, Artem and Kuropka, Dominik}, title = {A Quantitative Evalution of the Enhanced Topic-based Vector Space Model}, series = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, volume = {19}, journal = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-939469-95-7}, issn = {1613-5652}, pages = {88 S.}, year = {2007}, language = {en} } @book{SeuringGoesselSogomonyan1997, author = {Seuring, Markus and G{\"o}ssel, Michael and Sogomonyan, Egor S.}, title = {A structural approach for space compaction for concurrent checking and BIST}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1997, 01}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ. Potsdam}, address = {Potsdam [u.a.]}, issn = {0946-7580}, pages = {19 S. : Ill.}, year = {1997}, language = {en} } @book{SeuringGoessel1998, author = {Seuring, Markus and G{\"o}ssel, Michael}, title = {A structural approach for space compaction for sequential circuits}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1998, 05}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {16 Bl. : graph. Darst.}, year = {1998}, language = {en} } @book{PupkaBartlKelleretal.1999, author = {Pupka, Reiner and Bartl, Peter and Keller, Vera and Kupries, Mario and Reichel, Ingrid and Schmidt, Maren and Tiede, Gabriele}, title = {Abschlußbericht zum Verbundprojekt "Rechnergest{\"u}tzte Modellierung und Steuerung der Vorgangsbearbeitung in verteilten Verwaltungs- und Organisationssystemen"}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1999, 01}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {120, [21] Bl. : graph. Darst.}, year = {1999}, language = {de} } @book{OPUS4-11818, title = {Accessible Media : Pre-Proceedings of a Workshop Potsdam 8-9 May, 2006}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 7}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, editor = {J{\"u}rgensen, Helmut}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, year = {2006}, language = {en} } @book{OPUS4-19402, title = {Advances in neural information processing systems 12 : proceedings of the 1999 conference}, editor = {Solla, Sara A. and M{\"u}ller, Klaus-Robert}, publisher = {MIT Press}, address = {Cambridge, Mass.}, isbn = {0-262-19450-3}, year = {2000}, language = {en} } @book{Lerch2012, author = {Lerch, Alexander}, title = {An introduction to audio content analysis : applications in signal processing and music informatics}, publisher = {Wiley}, address = {Hoboken, N.J}, isbn = {978-1-118-26682-3}, doi = {10.1002/9781118393550}, pages = {248 S.}, year = {2012}, language = {en} } @book{Kuhrmann2003, author = {Kuhrmann, Marco}, title = {Analyse und Aufbereitung der Framework Class Library am Beispiel PMS}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 3}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {49 S.}, year = {2003}, language = {de} } @book{FedosovSchulzeTarchanov2000, author = {Fedosov, Boris V. and Schulze, Bert-Wolfgang and Tarchanov, Nikolaj N.}, title = {Analytic index formulas for elliptic corner operators}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {70 S.}, year = {2000}, language = {en} } @book{HornKupriesReinke1998, author = {Horn, Erika and Kupries, Mario and Reinke, Thomas}, title = {Architekturtypen f{\"u}r Agentenanwendungssysteme}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1998, 01}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, year = {1998}, language = {de} } @book{SchubertKoutzevlovHornetal.1999, author = {Schubert, Wolfgang and Koutzevlov, Atanas and Horn, Erika and R{\"a}tsch, Gunnar and Tschapek, Alexej}, title = {Aspekte der Flexibilisierung von Systemen f{\"u}r den Hardwaretest}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1999, 04}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {24 S. : graph. Darst.}, year = {1999}, language = {de} } @book{JeskeBrehmerMengeetal.2006, author = {Jeske, Janin and Brehmer, Bastian and Menge, Falko and H{\"u}ttenrauch, Stefan and Adam, Christian and Sch{\"u}ler, Benjamin and Schult, Wolfgang and Rasche, Andreas and Polze, Andreas}, title = {Aspektorientierte Programmierung : {\"U}berblick {\"u}ber Techniken und Werkzeuge}, series = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, volume = {14}, journal = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {3-939469-23-8}, issn = {1613-5652}, pages = {88 S.}, year = {2006}, language = {de} } @book{MargariaKubczakSteffen2007, author = {Margaria, Tiziana and Kubczak, Christian and Steffen, Bernhard}, title = {Bio-jETI: a Service Integration, Design, and Provisioning Platform for Orchestrated Bioinformatics Processes - ("part of From Components to Processes")}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2007, 4}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {16 S.}, year = {2007}, language = {en} } @book{HarutjunjanSchulze2004, author = {Harutjunjan, Gohar and Schulze, Bert-Wolfgang}, title = {Boundary problems with meromorphic symbols in cylindrical domains}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {19 S.}, year = {2004}, language = {en} } @book{LiuSchulze2004, author = {Liu, Xiaochun and Schulze, Bert-Wolfgang}, title = {Boundary value problems in edge representation}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {43 S.}, year = {2004}, language = {en} } @book{Weske2007, author = {Weske, Mathias}, title = {Business Process Management : Concepts, Languages, Architectures}, publisher = {Springer-Verlag Berlin Heidelberg}, address = {Berlin, Heidelberg}, isbn = {978-3-540-73521-2}, doi = {10.1007/978-3-540-73522-9}, pages = {368 S.}, year = {2007}, language = {en} } @book{Juergensen2006, author = {J{\"u}rgensen, Helmut}, title = {Complexity, information, energy}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 6}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {5 S.}, year = {2006}, language = {en} } @book{HornReinke1996, author = {Horn, Erika and Reinke, Thomas}, title = {Componentware-orientierte Softwarearchitektur unter Nutzung der CORBA-implemenation Orbix}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1996, 06}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, pages = {30 Bl. : graph. Darst.}, year = {1996}, language = {de} } @book{Calame2003, author = {Calame, Jens R.}, title = {Considerations on object oriented software testing}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 4}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {71 S.}, year = {2003}, language = {en} } @book{Krahmer2006, author = {Krahmer, Sebastian}, title = {Control flow integrity with ptrace()}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 2}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {16 S.}, year = {2006}, language = {en} } @book{Kupries1996, author = {Kupries, Mario}, title = {Datenhaltung und Evolution objektorientierter Modelle von Gesch{\"a}ftsprozessen im Datenverwaltungssystem O2}, series = {MOSVO-Bericht}, volume = {UP.019.1}, journal = {MOSVO-Bericht}, publisher = {Univ.}, address = {Potsdam}, year = {1996}, language = {de} } @book{Tepoyan2000, author = {Tepoyan, Liparit}, title = {Degenerated operator equations og higher order}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {13 S.}, year = {2000}, language = {en} } @book{Margaria2006, author = {Margaria, Tiziana}, title = {Denken in Services : Antrittsvorlesung 2006-12-14}, publisher = {Univ.-Bibl.}, address = {Potsdam}, year = {2006}, abstract = {Denken in Services ist der Schl{\"u}ssel zu einer gemeinsamen Sicht f{\"u}r IT Experten, Business Experten und Manager auf bestehende und entstehende Anwendungen und damit zu einer engeren Zusammenarbeit, die heutige Arbeitsabl{\"a}ufe revolutionieren kann: Auf der Service-Ebene ist es erstmals m{\"o}glich, Fachexperten kontinuierlich w{\"a}hrend des gesamten Lebens-zyklus einer Anwendung einzubinden. Ihren Ursprung hat die service- orientierte Denkweise in der Telekommunikation, wo sie die Grundlage der modernsten Anwendungen f{\"u}r mobile und feste Plattformen war, insbesondere der so genannten Mehrwertdienste, wie Televoting, Freephone (die 0800 Nummern), Virtual Private Network. Nur durch die f{\"u}r die service-orientierung charakteristische konsequente Virtualisierung der Infrastrukturen und die lose Kopplung der Funktionalit{\"a}ten war es m{\"o}glich, die hochgradig heterogene Landschaft der Telefonie zu beherrschen. Dieselben Prinzipien sind aber viel allgemeiner anwendbar, zum Beispiel auch f{\"u}r Dienste in weniger technischen Gesch{\"a}ftsbereichen wie e-commerce, Logistik, Gesundheitswesen oder Verwaltung. Ihre konsequente Umsetzung als neues Paradigma f{\"u}r die Konzeption, den Entwurf und das Management komplexer Anwendungen hat das Potential, der Gesellschaft eine neue Generation personalisierter, sicherer, hochverf{\"u}gbarer und effizienter (Internet-) Dienstleistungen zu bescheren. Damit werden viele Gesch{\"a}ftsbereiche revolutioniert, {\"a}hnlich wie bereits die Email in vielen Bereichen die klassische Kommunikation per Post revolutioniert hat.}, language = {de} } @book{Lehker2009, author = {Lehker, Christoph}, title = {Deutsch+ - flexibel, lernerzentriert, anwendungsorientiert : das Lernarrangement f{\"u}r Doktoranden : eLearning UP 2009 : Sonderveranstaltung 2009-11-25}, publisher = {Univ.-Bibl.}, address = {Potsdam}, year = {2009}, language = {de} } @book{AydinJuergensenRobbins2001, author = {Aydin, Suna and J{\"u}rgensen, Helmut and Robbins, L. E.}, title = {Dialogues as co-operating grammars}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2001, 1}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {16 S.}, year = {2001}, language = {en} } @book{SchubertSchwill2011, author = {Schubert, Sigrid and Schwill, Andreas}, title = {Didaktik der Informatik}, publisher = {Spektrum Akademischer Verlag}, address = {Heidelberg}, isbn = {978-3-8274-2652-9}, pages = {417 S.}, year = {2011}, language = {de} } @book{MeinelSack2009, author = {Meinel, Christoph and Sack, Harald}, title = {Digitale Kommunikation : Vernetzen, Multimedia, Sicherheit}, series = {Media Press}, journal = {Media Press}, publisher = {Springer-Verlag Berlin Heidelberg}, address = {Berlin, Heidelberg}, isbn = {978-3-540-92922-2}, issn = {1439-3107}, doi = {10.1007/978-3-540-92923-9}, pages = {422 S.}, year = {2009}, language = {de} } @book{deCarvalhoJuergensen2008, author = {de Carvalho, Jackson Marques and J{\"u}rgensen, Helmut}, title = {Document authoring environments and authoring mathematics}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2008, 1}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {8 S.}, year = {2008}, language = {en} } @book{OPUS4-33866, title = {Dsign thinking research : studying co-creation in practice}, editor = {Plattner, Hasso and Meinel, Christoph and Leifer, Larry}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, isbn = {978-3-642-21642-8}, doi = {10.1007/978-3-642-21643-5}, pages = {277 S.}, year = {2012}, language = {en} } @book{SchwillClaus2001, author = {Schwill, Andreas and Claus, Volker}, title = {Duden Informatik : ein Fachlexikon f{\"u}r Studium und Praxis}, publisher = {Dudenverl.}, address = {Mannheim}, isbn = {3-411-05233-3}, pages = {762 S.}, year = {2001}, abstract = {Die Informatik durchdringt zusehends fast alle Bereiche der Ausbildung und der Berufswelt. Die Stichw{\"o}rter ber{\"u}cksichtigen die Geschichte der Informatik und den heutigen Stand ihrer Methoden und beziehen aktuelle und absehbare Entwicklungen mit ein. Das ausf{\"u}hrliche Register sorgt daf{\"u}r, dass man den gew{\"u}nschten Begriff sofort im Blick hat. Rund 3 000 Stichw{\"o}rter, etwa 700 Abbildungen, Register.}, language = {de} } @book{MarquesdeCarvalhoJuergensen1998, author = {Marques de Carvalho, Jackson W. and J{\"u}rgensen, Helmut}, title = {Dynamic multi-purpose mathematics notation}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1998, 04}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {14 Bl. : graph. Darst.}, year = {1998}, language = {en} } @book{LinckelsMeinel2011, author = {Linckels, Serge and Meinel, Christoph}, title = {E-Librarian service : user-friendly semantic search in digital libraries}, publisher = {Springer-Verlag Berlin Heidelberg}, address = {Berlin, Heidelberg}, isbn = {978-3-642-17742-2}, doi = {10.1007/978-3-642-17743-9}, pages = {212 S.}, year = {2011}, language = {en} } @book{Boeckling2010, author = {B{\"o}ckling, Jens}, title = {eAssessment im Testcenter der Universit{\"a}t Bremen : Forum eLearning : Sonderveranstaltung 2010-05-27}, publisher = {Univ.-Bibl.}, address = {Potsdam}, year = {2010}, language = {de} } @book{Richter1996, author = {Richter, Peter}, title = {Efficient deterministic approaches solving the general layout problem in graphs : Forschungsbericht}, publisher = {Univ.}, address = {Potsdam}, pages = {20 Bl.}, year = {1996}, language = {en} } @book{MeyerKulisch2003, author = {Meyer, Harald and Kulisch, Marian}, title = {Ein experimenteller Vergleich objekt-orientierter und funktionaler Analysetechniken}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 6}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {17 S.}, year = {2003}, language = {de} } @book{KnobelsdorfKreitz2013, author = {Knobelsdorf, Maria and Kreitz, Christoph}, title = {Ein konstruktivistischer Lehransatz f{\"u}r die Einf{\"u}hrungsveranstaltung der Theoretische Informatik}, isbn = {978-3-86956-220-9}, year = {2013}, language = {de} } @book{Grell2010, author = {Grell, Petra}, title = {Einf{\"u}hrung zur Tagung 2009 : eLearning interaktiv, kooperativ und studierendenzentriert nutzen : eLeaning UP 2009 : Sonderveranstaltung 2009-11-25}, publisher = {Univ.-Bibl.}, address = {Potsdam}, year = {2010}, language = {de} } @book{NazajkinskijSavinSchulzeetal.2004, author = {Nazajkinskij, Vladimir E. and Savin, Anton and Schulze, Bert-Wolfgang and Sternin, Boris}, title = {Elliptic theory on manifolds with edges}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {48 S.}, year = {2004}, language = {en} } @book{HoofReinke1999, author = {Hoof, Karsten and Reinke, Thomas}, title = {Entwurf und Realisierung einer komplexen verteilten Bankanwendung mit Hilfe der CORBA-Implementation Orbix}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1999, 06}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {V, 75 S. : graph. Darst.}, year = {1999}, language = {de} } @book{MihahnSchnor2004, author = {Mihahn, Michael and Schnor, Bettina}, title = {Fault-Tolerant Grid Peer Services}, series = {Technischer Bericht}, journal = {Technischer Bericht}, publisher = {Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, address = {Potsdam}, issn = {0946-7580}, year = {2004}, language = {en} } @book{SogomonyanMarienfeldGoessel2006, author = {Sogomonyan, Egor S. and Marienfeld, Daniel and G{\"o}ssel, Michael}, title = {Fehlerkorrektur und Fehlererkennung}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 3}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {31, 8 S.}, year = {2006}, language = {de} } @book{JuergensenStaiger1999, author = {J{\"u}rgensen, Helmut and Staiger, Ludwig}, title = {Finite automata : encoding geometric figures}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1999, 07}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {8 S. : graph. Darst.}, year = {1999}, language = {en} } @book{Bobda2008, author = {Bobda, Christophe}, title = {Flexible Hochleistungsrechnersysteme : Antrittsvorlesung 2008-05-08}, publisher = {Univ.-Bibl.}, address = {Potsdam}, year = {2008}, abstract = {Rechnerarchitekten sind st{\"a}ndig bem{\"u}ht, die besten Rechner f{\"u}r die L{\"o}sungen allt{\"a}glicher Probleme zu entwickeln. Als Maß f{\"u}r die Qualit{\"a}t der eingesetzten Verfahren gelten die Flexibilit{\"a}t und die Performanz. W{\"a}hrend die Flexibilit{\"a}t die F{\"a}higkeit einer Architektur f{\"u}r den Einsatz einer breiten Palette von Anwendungen misst, gibt die Performanz an, wie leistungsf{\"a}hig ein Rechner ist. In dieser Vorlesung wird ein neues Rechenparadigma vorgestellt, das die zwei bis jetzt als Gegens{\"a}tze betrachteten Qualit{\"a}tsmaße Flexibilit{\"a}t und Performanz, in einer Architektur kombiniert.}, language = {de} } @book{Dietze2003, author = {Dietze, Stefan}, title = {Formalisierte Darstellung generalisierter Softwareentwicklungsprozesse im Kontext von Open Source Software}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 9}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {132 S.}, year = {2003}, language = {de} } @book{CoriascoPanarese2000, author = {Coriasco, S. and Panarese, P.}, title = {Fourier integral operators defined by classical symbols with exit behaviour}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {17 S.}, year = {2000}, language = {en} } @book{HuettenrauchKylauGrundetal.2006, author = {H{\"u}ttenrauch, Stefan and Kylau, Uwe and Grund, Martin and Queck, Tobias and Ploskonos, Anna and Schreiter, Torben and Breest, Martin and Haubrock, S{\"o}ren and Bouche, Paul}, title = {Fundamentals of Service-Oriented Engineering}, series = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsdam}, volume = {18}, journal = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsdam}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {3-939469-35-1}, issn = {1613-5652}, year = {2006}, language = {en} } @book{LamprechtMagariaSteffenetal.2007, author = {Lamprecht, Anna-Lena and Magaria, Tiziana and Steffen, Bernhard and Sczyrba, Alexander and Hartmeier, Sven and Giegerich, Robert}, title = {GeneFisher-P}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2007, 3}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {17 S.}, year = {2007}, language = {en} } @book{Krahmer2006, author = {Krahmer, Sebastian}, title = {Generating runtime call graphs}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 8}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {16 S.}, year = {2006}, language = {en} } @book{GilKrainerMendoza2004, author = {Gil, J. B. and Krainer, Thomas and Mendoza, A.}, title = {Geometry and Spectra of closed extensions of elliptic cone operators}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {47 S.}, year = {2004}, language = {en} } @book{OPUS4-14421, title = {Grundfragen Multimedialen Lehrens und Lernens : 2. Workshop GML2 2004}, editor = {Rebensburg, Klaus}, publisher = {Books on Demand}, address = {Norderstedt}, isbn = {3-8334-1573-8}, pages = {293 S. : Ill., graph. Darst.}, year = {2004}, abstract = {Tagungsband vom 2. Workshop GML² 2005 Dem Lernen und Lehren mit Neuen Medien werden in Zeiten der Informationsgesellschaft oft sagenhafte Eigenschaften zugeschrieben: es sei anschaulicher, attraktiver, motivierender, effizienter, kosteng{\"u}nstiger, gehe besser auf den Lernenden ein, steigere den Lernerfolg, orientiere sich mehr an den kognitiven Strukturen von Lernenden etc.. Damit wenigstens einige der genannten Vorteile wirksam werden, sind geeignete didaktische und methodische Modelle und Konzepte unverzichtbar. Hinzu kommen detaillierte Kenntnisse in der Gestaltung von Lernoberfl{\"a}chen, der technischen Realisierung von Lerninhalten, dem Aufbau lernf{\"o}rderlicher Strukturen und Betreuungskonzepte und dem Betrieb von teilweise virtuellen Universit{\"a}ten. Inwieweit gesteckte Ziele erreicht wurden, ist anhand von Evaluationsmaßnahmen zu ermitteln. S{\"a}mtliche Aspekte m{\"u}ssen bereits in die Planung entsprechender Angebote einbezogen werden.}, language = {de} } @book{OPUS4-15966, title = {Grundfragen multimedialer Lehre : Tagungsband des 1. Workshops GML2003 10. - 11. M{\"a}rz 2003 an der Universit{\"a}t Potsdam}, editor = {Schwill, Andreas}, publisher = {Univ. Lehrstuhl f{\"u}r Didaktik der Informatik}, address = {Potsdam}, isbn = {3-8330-0761-3}, pages = {208 S.}, year = {2003}, language = {de} } @book{Horn1998, author = {Horn, Erika}, title = {Grundlagen der Software-Entwicklung II : Objektorientierte Software-Architekturen}, publisher = {Univ.}, address = {Potsdam}, pages = {5/31 S.}, year = {1998}, language = {de} } @book{BoernerGoessel2005, author = {B{\"o}rner, Ferdinand and G{\"o}ssel, Michael}, title = {Grundlagen digitaler Systeme}, publisher = {Univ.-Verl.}, address = {Potsdam}, isbn = {978-3-937786-46-9}, pages = {95 S.}, year = {2005}, language = {de} } @book{BoernerGoessel2001, author = {B{\"o}rner, Ferdinand and G{\"o}ssel, Michael}, title = {Grundlagen digitaler Systeme}, editor = {G{\"o}ssel, Michael}, publisher = {Univ.-Bibliothek Publ.-Stelle}, address = {Potsdam}, isbn = {3-935024-34-7}, pages = {95 S. : graph. Darst.}, year = {2001}, language = {de} } @book{BoernerGoessel2000, author = {B{\"o}rner, Ferdinand and G{\"o}ssel, Michael}, title = {Grundlagen digitaler Systeme}, publisher = {Univ.-Bibliothek Publ.-Stelle}, address = {Potsdam}, isbn = {3-9806494-9-0}, pages = {61 S.}, year = {2000}, language = {de} } @book{Krahmer2006, author = {Krahmer, Sebastian}, title = {Hardend *OS exploitation techniques}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 4}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {8 S.}, year = {2006}, language = {en} } @book{NiuHan2004, author = {Niu, Pengcheng and Han, Yazhou}, title = {Hardy-Sobolev type inequalities on the Heisenberg Group}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {13 S.}, year = {2004}, language = {en} } @book{Tarkhanov2004, author = {Tarkhanov, Nikolai Nikolaevich}, title = {Harmonic integrals on domains with edges}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {41 S.}, year = {2004}, language = {en} } @book{PlattnerZeier2011, author = {Plattner, Hasso and Zeier, Alexander}, title = {In-memory data managment : an inflection point for enterprise applications}, publisher = {Springer}, address = {Heidelberg, New York}, isbn = {978-3-642-19362-0}, pages = {236 S.}, year = {2011}, language = {en} } @book{OPUS4-20949, title = {Informatik und Schule : fachspezifische und fach{\"u}bergreifende didaktische Konzepte}, editor = {Schwill, Andreas}, publisher = {Springer}, address = {Berlin, Heidelberg}, isbn = {3-540-66300-2}, doi = {10.1007/978-3-642-60238-2}, pages = {231 S.}, year = {1999}, language = {de} } @book{Naumann2008, author = {Naumann, Felix}, title = {Informationsqualit{\"a}t : Antrittsvorlesung 2007-04-26}, publisher = {Univ.-Bibl.}, address = {Potsdam}, year = {2008}, abstract = {Sowohl in kommerziellen als auch in wissenschaftlichen Datenbanken sind Daten von niedriger Qualit{\"a}t allgegenw{\"a}rtig. Das kann zu erheblichen wirtschaftlichen Problemen f{\"u}hren", erl{\"a}utert der 35-j{\"a}hrige Informatik-Professor und verweist zum Beispiel auf Duplikate. Diese k{\"o}nnen entstehen, wenn in Unternehmen verschiedene Kundendatenbest{\"a}nde zusammengef{\"u}gt werden, aber die Integration mehrere Datens{\"a}tze des gleichen Kunden hinterl{\"a}sst. "Solche doppelten Eintr{\"a}ge zu finden, ist aus zwei Gr{\"u}nden schwierig: Zum einen ist die Menge der Daten oft sehr groß, zum anderen k{\"o}nnen sich Eintr{\"a}ge {\"u}ber die gleiche Person leicht unterscheiden", beschreibt Prof. Naumann h{\"a}ufig auftretende Probleme. In seiner Antrittsvorlesung will er zwei L{\"o}sungswege vorstellen: Erstens die Definition geeigneter {\"A}hnlichkeitsmaße und zweitens die Nutzung von Algorithmen, die es vermeiden, jeden Datensatz mit jedem anderen zu vergleichen. Außerdem soll es um grundlegende Aspekte der Verst{\"a}ndlichkeit, Objektivit{\"a}t, Vollst{\"a}ndigkeit und Fehlerhaftigkeit von Daten gehen.}, language = {de} } @book{ZendlerSteipe2003, author = {Zendler, Andreas and Steipe, Boris}, title = {Integrationstechnologien f{\"u}r die life science-informatik (State-of-the-art-report)}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 2}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {38 S.}, year = {2003}, language = {de} } @book{MeinelSack2012, author = {Meinel, Christoph and Sack, Harald}, title = {Internetworking : technische Grundlagen und Anwendungen}, publisher = {Springer-Verlag Berlin Heidelberg}, address = {Berlin, Heidelberg}, isbn = {978-3-540-92939-0}, doi = {10.1007/978-3-540-92940-6}, pages = {978 S.}, year = {2012}, language = {de} } @book{HartmannSelbig2009, author = {Hartmann, Stefanie and Selbig, Joachim}, title = {Introductory Bioinformatics}, publisher = {Books on Demand}, address = {Norderstedt}, isbn = {978-3-8370-5189-6}, pages = {246 S.}, year = {2009}, language = {en} } @book{Boerner2005, author = {B{\"o}rner, Ferdinand}, title = {Kompaktierung von Daten aus Scanpfaden mit einem Faltungskompaktor}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2005, 3}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {39 S.}, year = {2005}, language = {de} } @book{ZendlerSchmidtKrueger2003, author = {Zendler, Andreas and Schmidt, Silke and Kr{\"u}ger, Klaus}, title = {Komponentenorientierte Softwareentwicklungstechniken}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 1}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {55 S.}, year = {2003}, language = {de} } @book{BartlReinke1996, author = {Bartl, Peter and Reinke, Thomas}, title = {Logisches Gesamtmodell der Vorgangsmodellierung}, series = {MOSVO-Bericht}, volume = {UP.015.2}, journal = {MOSVO-Bericht}, publisher = {Univ.}, address = {Potsdam}, year = {1996}, language = {de} } @book{WuKarriKuznetsovetal.2003, author = {Wu, K. and Karri, R. and Kuznetsov, Grigory and G{\"o}ssel, Michael}, title = {Low Cost Concurrent Error Detection for the Advanced Encryption Standart}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 8}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {10 S.}, year = {2003}, language = {en} } @book{JuergensenKatsuraKonstantinidis1999, author = {J{\"u}rgensen, Helmut and Katsura, M. and Konstantinidis, Stavros}, title = {Maximal solid codes}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1999, 03}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {23 Bl.}, year = {1999}, language = {en} } @book{Dietze2003, author = {Dietze, Stefan}, title = {Metamodell zur Analyse und formalisierten Modellierung von Softwareentwicklungsprozessen}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 7}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {36 S.}, year = {2003}, language = {de} } @book{Becker2010, author = {Becker, Basil}, title = {Model-based extension of AUTOSAR for architectural online reconfiguration}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{BartlHornReinke1995, author = {Bartl, Peter and Horn, Erika and Reinke, Thomas}, title = {Modelltypen, Ausdrucksmittel, Beispiele f{\"u}r die Modellierung von Verwaltungsvorg{\"a}ngen}, series = {MOSVO-Bericht}, volume = {UP.004.1}, journal = {MOSVO-Bericht}, publisher = {Univ.}, address = {Potsdam}, year = {1995}, language = {de} } @book{Vogel2010, author = {Vogel, Thomas}, title = {Models at runtime for Monitoring and adapting software systems}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{JuergensenKariThierrin1999, author = {J{\"u}rgensen, Helmut and Kari, L. and Thierrin, G.}, title = {Morphisms preserving densities}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1999, 09}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {21 Bl.}, year = {1999}, language = {en} } @book{Horn1996, author = {Horn, Erika}, title = {MOSVO-Rechnergest{\"u}tzte Modellierung und Steuerung der Vorgangsbearbeitung in verteilten Verwaltungs- und Organisationsstrukturen : Statusseminar}, publisher = {BMBF-Verl.}, address = {Bonn}, year = {1996}, language = {de} } @book{Zendler1999, author = {Zendler, Andreas}, title = {Multiple einzelfallanalytische Versuchspl{\"a}ne der Biometrie zur Durchf{\"u}hrung softwaretechnischer Experimente}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1999, 11}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {18 S.}, year = {1999}, language = {de} } @book{SaposhnikovSaposhnikovMorozovetal.2004, author = {Saposhnikov, V. V. and Saposhnikov, Vl. V. and Morozov, Alexei and G{\"o}ssel, Michael}, title = {Necessary and Sufficient Conditions for the Existence of Self-Checking Circuits ba Use of Complementary Circuits}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2004, 1}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {11 S.}, year = {2004}, language = {en} } @book{Linke2000, author = {Linke, Thomas}, title = {New foundations for automation of default reasoning}, volume = {237}, publisher = {Akad. Verl.-Ges. Aka}, address = {Berlin}, isbn = {3-89838-237-0}, pages = {VII, 182 S.}, year = {2000}, language = {en} } @book{GoesselOcheretnySogomonyanetal.2008, author = {Goessel, Michael and Ocheretny, Vitaly and Sogomonyan, Egor S. and Marienfeld, Daniel}, title = {New methods of concurrent checking}, series = {Frontiers in electronic testing}, volume = {42}, journal = {Frontiers in electronic testing}, publisher = {Springer}, address = {Dordrecht; Heidelberg}, isbn = {978-1-402-08419-5}, doi = {10.1007/978-1-4020-8420-1}, pages = {250 S.}, year = {2008}, language = {en} } @book{Feinbube2010, author = {Feinbube, Frank}, title = {On Programming models for multi-core computers}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{EgorovKondratievSchulze2004, author = {Egorov, Yu. and Kondratiev, V. A. and Schulze, Bert-Wolfgang}, title = {On the completeness of root functions of elliptic boundary problems in a domain with conical points on the boundary}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {21 S.}, year = {2004}, language = {en} } @book{NazajkinskijSavinSchulzeetal.2004, author = {Nazajkinskij, Vladimir E. and Savin, Anton and Schulze, Bert-Wolfgang and Sternin, Boris}, title = {On the homotopy classification of elliptic operators on manifolds with edges}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {26 S.}, year = {2004}, language = {en} } @book{BalanJuergensen2006, author = {Balan, Sakthin M. and J{\"u}rgensen, Helmut}, title = {On the universality of peptide computing}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 9}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {ca. 23 S.}, year = {2006}, language = {en} } @book{FeiderSchnor2004, author = {Feider, Henryk and Schnor, Bettina}, title = {PCG-Agreement Dokument}, series = {Technischer Bericht}, journal = {Technischer Bericht}, publisher = {Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, address = {Potsdam}, issn = {0946-7580}, year = {2004}, language = {de} } @book{BalanJuergensen2006, author = {Balan, Sakthin M. and J{\"u}rgensen, Helmut}, title = {Peptide computing : universality and theoretical model}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 1}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {15 S.}, year = {2006}, language = {en} } @book{KytmanovMyslivetsTarkhanov2004, author = {Kytmanov, Alexander M. and Myslivets, Simona and Tarkhanov, Nikolai Nikolaevich}, title = {Power sums of roots of a nonlinear system}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {12 S.}, year = {2004}, language = {en} } @book{Margaria2007, author = {Margaria, Tiziana}, title = {Proceedings / EuroSPI 2007, European Software Process Improvement, 26.-28.09.2007, University of Potsdam, Germany}, editor = {Messnarz, Richard}, publisher = {ASQF}, address = {Erlangen}, isbn = {978-3-9809145-6-7}, pages = {Getr. Z{\"a}hl.}, year = {2007}, language = {en} } @book{OPUS4-10652, title = {Proceedings of the 2nd International Workshop on e-learning and Virtual and Remote Laboratories}, series = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, volume = {21}, journal = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, editor = {Rabe, Bernhard and Rasche, Andreas}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-940793-17-1}, issn = {1613-5652}, pages = {98 S.}, year = {2008}, language = {en} } @book{OPUS4-18498, title = {Proceedings of the Fifth Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications, DGNMR'2001, Potsdam, 4. - 6. April 2001}, editor = {Brewka, Gerhard and Witteveen, Cees and Schaub, Torsten}, address = {Potsdam}, year = {2001}, language = {en} } @book{OPUS4-7534, title = {Process design for natural scientists}, series = {Communications in computer and information science ; 500}, journal = {Communications in computer and information science ; 500}, editor = {Lambrecht, Anna-Lena and Margaria, Tizian}, publisher = {Springer}, address = {Wiesbaden}, isbn = {978-3-662-45005-5}, pages = {X, 251}, year = {2014}, abstract = {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.}, language = {en} } @book{BieberEbnerLoesleretal.2002, author = {Bieber, G{\"o}tz and Ebner, Roland and L{\"o}sler, Thomas and Schwill, Andreas and Thomas, Marco and Vollmost, Manfred}, title = {Rahmenlehrplan Informatik : Wahlpflichtbereich ; Sekundarstufe I}, editor = {Ministerium f{\"u}r Bildung, Jugend und Sport Brandenburg}, publisher = {Wiss.-und-Technik-Verl.}, address = {Berlin}, isbn = {3-89685-840-8}, pages = {58 S.}, year = {2002}, language = {de} } @book{GilKrainerMendoza2004, author = {Gil, J. B. and Krainer, Thomas and Mendoza, A.}, title = {Resolvents of elliptic cone operators}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {46 S.}, year = {2004}, language = {en} } @book{Bartl1994, author = {Bartl, Peter}, title = {Sachbericht zum Vorg{\"a}ngerprojekt von MOSVO}, publisher = {Univ.}, address = {Potsdam}, year = {1994}, language = {de} } @book{SapoznikovSapoznikovGoessel2001, author = {Sapoznikov, V. V. and Sapoznikov, VL. V. and G{\"o}ssel, Michael}, title = {Samodvojstvennye diskretnye ustrojstva}, publisher = {?nergoatomizdat}, address = {Sankt-Peterburg}, isbn = {5-283-04748-2}, pages = {330 S.}, year = {2001}, language = {ru} } @book{OPUS4-24101, title = {Sch{\"u}lerduden, Informatik}, publisher = {Dudenverl.}, address = {Mannheim}, isbn = {3-411-04483-7}, pages = {575 S.}, year = {1997}, language = {de} } @book{MarienfeldSogomonyanOcheretnijetal.2005, author = {Marienfeld, Daniel and Sogomonyan, Egor S. and Ocheretnij, V. and G{\"o}ssel, Michael}, title = {Self-checking Output-duplicated Booth-2 Multiplier}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2005, 1}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, year = {2005}, language = {en} } @book{Saposhnikov1997, author = {Saposhnikov, Vl. V.}, title = {Self-dual duplication for error detection and testing}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1997, 02}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Inst. f{\"u}r Informatik}, address = {Potsdam}, issn = {0946-7580}, pages = {16 S. : graph. Darst.}, year = {1997}, language = {en} } @book{BrzozowskiJuergensen1999, author = {Brzozowski, J. A. and J{\"u}rgensen, Helmut}, title = {Semilattices of fault semiautomata}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1999, 02}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {13 Bl.}, year = {1999}, language = {en} } @book{Schnor2004, author = {Schnor, Bettina}, title = {Seminarband: Sensornetze}, series = {Technischer Bericht}, journal = {Technischer Bericht}, publisher = {Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, address = {Potsdam}, issn = {0946-7580}, year = {2004}, language = {de} }