TY  - BOOK
A1  - Abrahamsson, Pekka
A1  - Baddoo, Nathan
A1  - Margaria, Tiziana
A1  - Messnarz, Richard
T1  - Software Process Improvement : 14th europea conference, EuroSpi 2007, Potsdam, Germany, September 26-28, 2007 ; Proceedings
T3  - Lecture Notes in Computer Science
Y1  - 2007
VL  - 4764
PB  - Springer
CY  - Berlin
ER  - 
TY  - BOOK
A1  - Al-Saffar, Loay Talib Ahmed
T1  - Where girls the role of boys in CS - attitudes of CS students in a female-dominated environment
Y1  - 2013
SN  - 978-3-86956-220-9
ER  - 
TY  - BOOK
A1  - Aydin, Suna
A1  - Jürgensen, Helmut
A1  - Robbins, L. E.
T1  - Dialogues as co-operating grammars
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2001
SN  - 0946-7580
VL  - 2001, 1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Balan, Sakthin M.
A1  - Jürgensen, Helmut
T1  - Peptide computing : universality and theoretical model
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2006
SN  - 0946-7580
VL  - 2006, 1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Balan, Sakthin M.
A1  - Jürgensen, Helmut
T1  - On the universality of peptide computing
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2006
SN  - 0946-7580
VL  - 2006, 9
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Bartl, Peter
T1  - Sachbericht zum Vorgängerprojekt von MOSVO
Y1  - 1994
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Bartl, Peter
A1  - Horn, Erika
A1  - Reinke, Thomas
T1  - Modelltypen, Ausdrucksmittel, Beispiele für die Modellierung von Verwaltungsvorgängen
T3  - MOSVO-Bericht
Y1  - 1995
VL  - UP.004.1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Bartl, Peter
A1  - Reinke, Thomas
T1  - Logisches Gesamtmodell der Vorgangsmodellierung
T3  - MOSVO-Bericht
Y1  - 1996
VL  - UP.015.2
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Becker, Basil
T1  - Model-based extension of AUTOSAR for architectural online reconfiguration
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Bensch, Suna
A1  - Boldt, Oliver
A1  - Bordihn, Henning
A1  - Jürgensen, Helmut
T1  - Workshop "Formale Methoden der Linguistik" und "14. Theorietag Automaten und Formale Sprachen"
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2004
SN  - 0946-7580
VL  - 2004, 2
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Bieber, Götz
A1  - Ebner, Roland
A1  - Lösler, Thomas
A1  - Schwill, Andreas
A1  - Thomas, Marco
A1  - Vollmost, Manfred
ED  - Ministerium für Bildung, Jugend und Sport Brandenburg
T1  - Rahmenlehrplan Informatik : Wahlpflichtbereich ; Sekundarstufe I
Y1  - 2002
UR  - http://www.plib.brandenburg.de/rpentws1/informatik/RLPInformatik.pdf
SN  - 3-89685-840-8
PB  - Wiss.-und-Technik-Verl.
CY  - Berlin
ER  - 
TY  - BOOK
A1  - Bobda, Christophe
T1  - Flexible Hochleistungsrechnersysteme : Antrittsvorlesung 2008-05-08
N2  - Rechnerarchitekten sind ständig bemüht, die besten Rechner für die Lösungen alltäglicher Probleme zu entwickeln. Als Maß für die Qualität der eingesetzten Verfahren gelten die Flexibilität und die Performanz. Während die Flexibilität die Fähigkeit einer Architektur für den Einsatz einer breiten Palette von Anwendungen misst, gibt die Performanz an, wie leistungsfähig ein Rechner ist. In dieser Vorlesung wird ein neues Rechenparadigma vorgestellt, das die zwei bis jetzt als Gegensätze betrachteten Qualitätsmaße Flexibilität und Performanz, in einer Architektur kombiniert.
Y1  - 2008
UR  - http://info.ub.uni-potsdam.de/multimedia/show_projekt.php?projekt_id=22
PB  - Univ.-Bibl.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Brauer, Uwe
A1  - Karp, Lavi
T1  - Well-posedness of Einstein-Euler Systems in asymptotically flat spacetimes
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2008
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Brzozowski, J. A.
A1  - Jürgensen, Helmut
T1  - Semilattices of fault semiautomata
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 02
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Böckling, Jens
T1  - eAssessment im Testcenter der Universität Bremen : Forum eLearning : Sonderveranstaltung 2010-05-27
Y1  - 2010
UR  - http://info.ub.uni-potsdam.de/multimedia/show_projekt.php?projekt_id=62
PB  - Univ.-Bibl.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Börner, Ferdinand
T1  - Kompaktierung von Daten aus Scanpfaden mit einem Faltungskompaktor
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2005
SN  - 0946-7580
VL  - 2005, 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
ED  - Gössel, Michael
T1  - Grundlagen digitaler Systeme
Y1  - 2001
SN  - 3-935024-34-7
SN  - 978-3-935024-34-1
PB  - Univ.-Bibliothek Publ.-Stelle
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  - Calame, Jens R.
T1  - Considerations on object oriented software testing
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2003
SN  - 0946-7580
VL  - 2003, 4
PB  - Univ.
CY  - Potsdam
ER  -