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
T1  - Grundlagen digitaler Systeme
Y1  - 2000
SN  - 3-9806494-9-0
PB  - Univ.-Bibliothek Publ.-Stelle
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  - 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  - 
TY  - BOOK
A1  - Coriasco, S.
A1  - Panarese, P.
T1  - Fourier integral operators defined by classical symbols with exit behaviour
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2000
SN  - 1437-739X
PB  - Univ.
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  - 
TY  - BOOK
A1  - Dietze, Stefan
T1  - Formalisierte Darstellung generalisierter Softwareentwicklungsprozesse im Kontext von Open Source Software
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2003
SN  - 0946-7580
VL  - 2003, 9
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Dietze, Stefan
T1  - Metamodell zur Analyse und formalisierten Modellierung von Softwareentwicklungsprozessen
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2003
SN  - 0946-7580
VL  - 2003, 7
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Egorov, Yu.
A1  - Kondratiev, V. A.
A1  - Schulze, Bert-Wolfgang
T1  - On the completeness of root functions of elliptic boundary problems in a domain with conical points on the boundary
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Fedosov, Boris V.
A1  - Schulze, Bert-Wolfgang
A1  - Tarchanov, Nikolaj N.
T1  - Analytic index formulas for elliptic corner operators
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2000
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Feider, Henryk
A1  - Schnor, Bettina
T1  - PCG-Agreement Dokument
T3  - Technischer Bericht
Y1  - 2004
SN  - 0946-7580
PB  - Universität Potsdam, Institut für Informatik
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Feinbube, Frank
T1  - On Programming models for multi-core computers
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Freischlad, Stefan
T1  - Entwicklung und Erprobung des Didaktischen Systems Internetworking im Informatikunterricht
N2  - Internetbasierte Informatiksysteme beeinflussen in steigendem Maße Situationen in unterschiedlichen Lebensbereichen. Kompetenzen zur Verwendung von Internetanwendungen und -diensten müssen explizit erworben werden, weil damit ein notwendiger Einblick in nicht beobachtbare Abläufe und nicht offen sichtbare Strukturen verbunden ist. Bisher gibt es Vorschläge für die Gestaltung schulischer Lehr-Lernprozesse zu ausgewählten Teilaspekten des Internets. Es fehlt eine systematische Analyse des Bildungsbedarfs und ein daraus resultierendes Unterrichtsmodell. In dieser Arbeit wird ein Gesamtkonzept für den Informatikunterricht in der Sekundarstufe II vorgestellt, das zu zielgerichteter und verantwortungsvoller Anwendung des Internets beiträgt. Die vorliegende Arbeit umfasst den Prozess von der Analyse erforderlicher Kompetenzen bis zur Realisierung von Lehr-Lernprozessen im Informatikunterricht in der Sekundarstufe II. Es werden der Beitrag der Informatik zu identifizierten Kompetenzen untersucht und Bildungsanforderungen bestimmt. Bildungsempfehlungen und Forschungsergebnisse zu erfolgreichen Unterrichtseinheiten werden im Hinblick auf die Bildungsziele analysiert. Der Informatikunterricht unterstützt die Kompetenzentwicklung zu internetbasierten digitalen Medien. Es wird die Entwicklung eines Unterrichtsmodells zu Internetworking beschrieben. Dazu wird der Ansatz der Didaktischen Systeme untersucht, weiter entwickelt und auf den Bereich Internetworking übertragen. Der theoretische Ansatz wird dazu in vier Unterrichtsprojekten zu Internetworking in der Praxis realisiert. Beziehungen zwischen Fachkonzepten zu Internetworking werden untersucht und durch Wissensstrukturen zur Planung von Unterrichtsprojekten eingesetzt und in der Praxis erprobt. Die Beschreibung von Lernaktivitäten erfolgt auf der Basis von Aufgabenklassen, die das notwendige Wissen zur Bearbeitung einer Aufgabenstellung repräsentieren. Auf der Grundlage des Ablaufs der Aufgabenbearbeitung werden Eigenschaften von Aufgaben beschrieben und zu deren Gestaltung nutzbar gemacht. Bisher nicht durchführbare Tätigkeiten im Unterricht werden durch die Entwicklung der Lernsoftware Filius ermöglicht. Die Reduktion der komplexen Wirklichkeit durch Simulation realer internetbasierter Informatiksysteme und die Auswahl geeigneter Sichten auf den Untersuchungsgegenstand werden mit Ergebnissen der Informatikdidaktik begründet. Unterrichtsprojekte zu den Zielen werden durchgeführt, um Lehr-Lernprozesse zu erkunden und das entwickelte Didaktische System zu erproben. Ausgehend von der theoretischen Fundierung erfolgt die praktische Realisierung von Lehr-Lernprozessen. Zur Erprobung im Informatikunterricht der Sekundarstufe II in Nordrhein-Westfalen werden Minimalziele aufgrund der Lehrvorgaben bestimmt. Die methodische Gestaltung in der Erprobung erfolgt unter Berücksichtigung der Vorgaben für den Informatikunterricht und allgemeinen Anforderungen der Fachdidaktik. Handlungsorientierte Unterrichtsmittel werden ausgewählt und in der Praxis zur Untersuchung der Lehr-Lernprozesse verwendet. Im Unterricht identifizierte Lernschwierigkeiten führen zur Modifikation der Wissensstrukturen und werden im Entwicklungsprozess von Filius berücksichtigt. Die Erkenntnisse aus Unterrichtsprojekten werden genutzt, um zu bestimmen, zu welchen Aufgabenklassen weitere Aufgaben erforderlich sind und inwieweit das aus den identifizierten Merkmalen abgeleitete Vorgehen zur Entwicklung niveaubestimmender Aufgaben genutzt werden kann. Die Erprobungen bestätigen die Tragfähigkeit des Didaktischen Systems Internetworking und leisten mit der Implementierung in der Praxis einen Beitrag zur Untersuchung von Kompetenzentwicklung im Informatikunterricht. Mit dem Didaktischen System Internetworking wird ein theoretisch fundiertes und empirisch erprobtes Unterrichtsmodell zur Entwicklung von Kompetenzen zur Einrichtung und Anwendung internetbasierter Informatiksysteme beschrieben.
N2  - Internet-based informatics systems increasingly influence real-life situations. Competencies for Internet applications and services have to be explicitly attained because not observable processes and invisible structures have to be considered. There are examples of successful learning processes for selected parts of the Internet. A systematic analysis of educational requirements and a derived didactic concept for general education is missing. An overall didactic concept for informatics in secondary education is presented in this work, which contributes to goal-oriented and responsible application of the Internet. This work comprises the process from analysis of necessary competencies to realisation of learning processes in classes in secondary education. The contribution of informatics to identified competencies is examined and educational requirements are determined. Recommendations for informatics education and research results of successfully introduced classes are analysed with regard to the learning objectives. Informatics courses support the development of competencies related to Internet-based digital media. The development of a didactic concept concerning Internetworking is described. The approach of Didactic Systems is examined, elaborated, and transferred to Internetworking. The theory-based approach is realised in practice during four classroom projects. Relations between concepts about Internetworking are analysed, applied to plan classroom projects, and evaluated by means of knowledge networks. Learning activities are described on the basis of exercise classes, which represent the necessary knowledge to solve an exercise. Properties of exercises are described and utilised. Learning activities that were not realizable up to this point are facilitated by the developed learning software Filius. The reduction of complexity of real informatics systems by simulation and the selection of appropriate views of the object of examination are based on results of didactics of informatics. Classroom projects are performed to explore learning processes and to evaluate the Didactic System Internetworking. Learning processes are put into practice based on the theoretic approach. Minimal objectives for the classroom projects are determined from educational guidelines of informatics in secondary education at North Rhine-Westfalia. The methodical design of the learning processes is based on the guidelines and general requirements of didactics of informatics. Activity-oriented learning material is selected and introduced into practice to examine learning processes. Identified learning difficulties result in modification of the knowledge structures and are considered during the development of Filius. Further findings allow conclusions regarding the necessity of exercises of identified exercise classes and regarding the applicability of determined exercise properties to design assignments to define the outcome of learning processes. The classroom projects confirm the viability of the Didactic System Internetworking and contribute to further analysis of the development of competencies in informatics education. The Didactic System Internetworking provides a theory-based empirically approved didactic concept for the development of competencies to establish and to use Internet-based informatics systems.
T3  - Commentarii informaticae didacticae (CID) - 3 
Y1  - 2009
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41851
SN  - 978-3-86956-058-8
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Gil, J. B.
A1  - Krainer, Thomas
A1  - Mendoza, A.
T1  - Geometry and Spectra of closed extensions of elliptic cone operators
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Gil, J. B.
A1  - Krainer, Thomas
A1  - Mendoza, A.
T1  - Resolvents of elliptic cone operators
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Goessel, Michael
A1  - Ocheretny, Vitaly
A1  - Sogomonyan, Egor S.
A1  - Marienfeld, Daniel
T1  - New methods of concurrent checking
T3  - Frontiers in electronic testing
Y1  - 2008
SN  - 978-1-402-08419-5
U6  - https://doi.org/10.1007/978-1-4020-8420-1
VL  - 42
PB  - Springer
CY  - Dordrecht; Heidelberg
ER  - 
TY  - BOOK
A1  - Grell, Petra
T1  - Einführung zur Tagung 2009 : eLearning interaktiv, kooperativ und studierendenzentriert nutzen : eLeaning UP 2009 : Sonderveranstaltung 2009-11-25
Y1  - 2010
UR  - http://info.ub.uni-potsdam.de/multimedia/show_projekt.php?projekt_id=50
PB  - Univ.-Bibl.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Hartmann, Stefanie
A1  - Selbig, Joachim
T1  - Introductory Bioinformatics
Y1  - 2009
SN  - 978-3-8370-5189-6
PB  - Books on Demand
CY  - Norderstedt
ER  - 
TY  - BOOK
A1  - Harutjunjan, Gohar
A1  - Schulze, Bert-Wolfgang
T1  - Boundary problems with meromorphic symbols in cylindrical domains
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Hentschel, Uwe M.Sc.
T1  - Services for real -time computing
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Hoof, Karsten
A1  - Reinke, Thomas
T1  - Entwurf und Realisierung einer komplexen verteilten Bankanwendung mit Hilfe der CORBA-Implementation Orbix
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 06
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Horn, Erika
T1  - Grundlagen der Software-Entwicklung II : Objektorientierte Software-Architekturen
Y1  - 1998
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Horn, Erika
T1  - MOSVO-Rechnergestützte Modellierung und Steuerung der Vorgangsbearbeitung in verteilten Verwaltungs- und Organisationsstrukturen : Statusseminar
Y1  - 1996
PB  - BMBF-Verl.
CY  - Bonn
ER  - 
TY  - BOOK
A1  - Horn, Erika
A1  - Kupries, Mario
A1  - Reinke, Thomas
T1  - Architekturtypen für Agentenanwendungssysteme
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1998
SN  - 0946-7580
VL  - 1998, 01
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Horn, Erika
A1  - Reinke, Thomas
T1  - Componentware-orientierte Softwarearchitektur unter Nutzung der CORBA-implemenation Orbix
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1996
VL  - 1996, 06
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Hübner, Sandra
T1  - Wie Online-Werkszeuge eine maßgeschneiderte Veranstaltungkonzeption unterstützen können
Y1  - 2009
UR  - http://info.ub.uni-potsdam.de/multimedia/show_projekt.php?projekt_id=56
PB  - Univ.-Bibl.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Hüttenrauch, Stefan
A1  - Kylau, Uwe
A1  - Grund, Martin
A1  - Queck, Tobias
A1  - Ploskonos, Anna
A1  - Schreiter, Torben
A1  - Breest, Martin
A1  - Haubrock, Sören
A1  - Bouche, Paul
T1  - Fundamentals of Service-Oriented Engineering
BT  - Proceedings of the Fall 2006 Workshop of the HPI Research School on Service-Oriented Systems Engineering
T3  - Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam
Y1  - 2006
SN  - 3-939469-35-1
SN  - 1613-5652
VL  - 18
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jeske, Janin
A1  - Brehmer, Bastian
A1  - Menge, Falko
A1  - Hüttenrauch, Stefan
A1  - Adam, Christian
A1  - Schüler, Benjamin
A1  - Schult, Wolfgang
A1  - Rasche, Andreas
A1  - Polze, Andreas
T1  - Aspektorientierte Programmierung : Überblick über Techniken und Werkzeuge
T3  - Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsda
Y1  - 2006
SN  - 3-939469-23-8
SN  - 1613-5652
VL  - 14
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
T1  - Complexity, information, energy
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2006
SN  - 0946-7580
VL  - 2006, 6
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
T1  - Synchronization
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2006
SN  - 0946-7580
VL  - 2006, 5
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
T1  - Towards computer science
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1998
SN  - 0946-7580
VL  - 1998, 03
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
A1  - Kari, L.
A1  - Thierrin, G.
T1  - Morphisms preserving densities
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 09
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
A1  - Katsura, M.
A1  - Konstantinidis, Stavros
T1  - Maximal solid codes
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 03
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
A1  - Staiger, Ludwig
T1  - Finite automata : encoding geometric figures
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 07
PB  - Univ.
CY  - Potsdam
ER  -