TY - JOUR A1 - Schubert, Wolfgang A1 - Glöde, Dirk A1 - Hegewald, Eberhard A1 - Koutzevlov, Atanas T1 - ESF-Abschlußbericht Y1 - 1994 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 - JOUR A1 - Kunz, Wolfgang T1 - Ein effizientes Verfahren für die Logikvertifikation Y1 - 1994 ER - TY - JOUR A1 - Kunz, Wolfgang T1 - Ein neuer Ansatz für die Optimierung mehrstufiger loischer Schaltungen Y1 - 1994 ER - TY - JOUR A1 - Liers, Achim A1 - Michel, Mathias T1 - Erfassung und Bewertung der Elektroenergiequalität in Netzen mit transienten Vorgängen Y1 - 1995 ER - TY - THES A1 - Schmidt, Henning T1 - Dynamisch veränderbare Betriebssystemstrukturen Y1 - 1995 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 - THES A1 - Morosov, Andrej T1 - Entwurf von selbstprüfenden digitalen Schaltungen mit monoton unabhängigen Ausgängen Y1 - 1996 ER - TY - JOUR A1 - Schmidt, Henning A1 - Berg, Ralph A1 - Büttner, Lars A1 - Cordson, Jörg A1 - Luther, Eva-Maria A1 - Schön, Friedrich T1 - PEACE - Beispiel einer anwendungsorientierten Betriebssystemstruktur Y1 - 1996 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 - JOUR A1 - Reinke, Thomas T1 - Objektorientierte Modellierung eines Sicherheitskonzeptes für Verwaltungsvorgänge JF - MOSVO-Bericht Y1 - 1996 VL - UP.014.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 - THES A1 - Gohlke, Mario T1 - Konzept, Entwurf und Anwendungsanalyse eines fehlertoleranten modellbasierten Objekterkennungssystems zur Auswertung von Farbbildern Y1 - 1996 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 - Kupries, Mario T1 - Datenhaltung und Evolution objektorientierter Modelle von Geschäftsprozessen im Datenverwaltungssystem O2 T3 - MOSVO-Bericht Y1 - 1996 VL - UP.019.1 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Liers, Achim A1 - Michel, Mathias A1 - Stavenhagen, Tilo T1 - Zwischenbericht MUBOSE Y1 - 1996 PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Horn, Erika A1 - Kupries, Mario A1 - Glöde, Dirk T1 - Eigenschaften und Modelle von Software-Agenten und Agenten-Systemen JF - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1997 SN - 0946-7580 VL - 1997, 06 PB - Inst. für Informatik CY - Potsdam ER - TY - BOOK A1 - Wilhelm, Otto ED - Budach, Lothar T1 - Theoretische Grundlagen der Informatik : ein vorlesungsbegleitendes Manuskript für den internen Gebrauch am Institut ; Bd. 1 Automaten und Umwelten Y1 - 1997 PB - Univ. CY - Potsdam ER - TY - BOOK T1 - Schülerduden, Informatik Y1 - 1997 SN - 3-411-04483-7 PB - Dudenverl. CY - Mannheim ER - TY - JOUR A1 - Schwill, Andreas T1 - Grafische Datenverarbeitung : eine fruchtbare Verbindung von Mathematik und Informatik Y1 - 1997 ER - TY - JOUR A1 - Morosov, Andrej A1 - Saposhnikov, V. V. A1 - Saposhnikov, Vl. V. A1 - Gössel, Michael T1 - Ein Transformationsalgorithmus einer kombinatorischen Schaltung in eine monotone Schaltung Y1 - 1997 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 ED - Horn, Erika ED - Kupries, Mario ED - Bartl, Peter T1 - UTW-Workshop "Soziotechnischer Zugang bei der Konstruktion, Einführung und Anwendung von Workflow- Management-Systemen" T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1998 SN - 0946-7580 VL - 1998, 02 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 - JOUR A1 - Volkmann, Gerald A1 - Linke, Thomas A1 - Waschulzik, Thomas A1 - Ohmes, Rick A1 - Schaub, Torsten H. A1 - Wischnewsky, M. T1 - HExProSA - ein hybrides Expertensystem zur Prozeßkontrolle und Störfallanalyse von Abwasserbehandlungsanlagen : Erfahrungen bei der Evaluierung eines Prototypen Y1 - 1998 UR - http://home.zait.uni-bremen.de/~gerald/papers/pius-papers.html ER - TY - JOUR A1 - Seuring, Markus A1 - Gössel, Michael A1 - Sogomonyan, Egor S. T1 - Ein strukturelles Verfahren zur Kompaktierung von Schaltungsausgaben für online-Fehlererkennungen und Selbstests Y1 - 1998 ER - TY - JOUR A1 - Gössel, Michael A1 - Sogomonyan, Egor S. T1 - On-line Test auf der Grundlage eines die Parität erhaltenden Signaturanalysators Y1 - 1998 ER - TY - JOUR A1 - Horn, Erika A1 - Reinke, Thomas T1 - Musterarchitekturen und Entwicklungsmethoden für Multiagentensysteme in betriebswirtschaftlichen Anwendungen Y1 - 1999 UR - http://www.cs.uni-potsdam.de/ ER - TY - JOUR A1 - Horn, Erika A1 - Reinke, Thomas A1 - Kupries, Mario T1 - Software-Agentsysteme : Konzepte, Anwendungsgebiete, Nutzen Y1 - 1999 SN - 3-929642-28-x ER - TY - BOOK A1 - Pupka, Reiner A1 - Bartl, Peter A1 - Keller, Vera A1 - Kupries, Mario A1 - Reichel, Ingrid A1 - Schmidt, Maren A1 - Tiede, Gabriele T1 - Abschlußbericht zum Verbundprojekt "Rechnergestützte Modellierung und Steuerung der Vorgangsbearbeitung in verteilten Verwaltungs- und Organisationssystemen" T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1999 SN - 0946-7580 VL - 1999, 01 PB - Univ. CY - Potsdam ER - TY - BOOK ED - Schwill, Andreas T1 - Informatik und Schule : fachspezifische und fachübergreifende didaktische Konzepte Y1 - 1999 SN - 3-540-66300-2 U6 - https://doi.org/10.1007/978-3-642-60238-2 PB - Springer CY - Berlin, Heidelberg ER - TY - THES A1 - Petrasch, Roland T1 - Entwicklung von Modelltypen für das Qualitätsmanagement in der Software-Entwicklung am Beispiel von ausgewählten Qualitätssicherungsmaßnahmen Y1 - 1999 ER - TY - THES A1 - Moschanin, Wladimir T1 - Entwurf selbstdualer digitaler Schaltungen zur Fehlererkennung Y1 - 1999 CY - Potsdam ER - TY - BOOK A1 - Zendler, Andreas T1 - Multiple einzelfallanalytische Versuchspläne der Biometrie zur Durchführung softwaretechnischer Experimente T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1999 SN - 0946-7580 VL - 1999, 11 PB - Univ. CY - Potsdam 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 - CHAP T1 - 11. Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen BT - vom 28. Februar bis 2. März, Potsdam-Hermannswerder, Inselhotel Y1 - 1999 SN - 978-3-9806494-1-4 PB - Universitätsverlag Potsdam CY - Potsdam 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 - JOUR A1 - Gössel, Michael A1 - Dimitriev, Alexej A1 - Saposhnikov, V. V. A1 - Saposhnikov, Vl. V. T1 - Eine selbsttestende Struktur zur on-line Fehlererkennung in kombinatorischen Schaltungen Y1 - 1999 ER - TY - BOOK A1 - Zendler, Andreas T1 - X/Frame : Softwareentwicklungsumgebung für taxonomische Objektsysteme T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 2000 SN - 0946-7580 VL - 1999, 12 PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Horn, Erika A1 - Reinke, Thomas T1 - Musterarchitekturen und Entwicklungsmethoden für Multiagentensysteme Y1 - 2000 SN - 0170-4516 ER - TY - THES A1 - Kupries, Mario T1 - Interagentenkonnektionen in Multi-Agentensystemen Y1 - 2000 ER - TY - JOUR A1 - Schwill, Andreas T1 - Bericht zur Arbeitsgruppe "Modellbildung und fächerübergreifender Unterricht" Y1 - 2000 SN - 3-88120-314-1 ER - TY - JOUR A1 - Schwill, Andreas T1 - Modellbildung im Schulfach Informatik Y1 - 2000 SN - 3-88120-301-x 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 - THES A1 - Hartje, Hendrik T1 - Schaltungsoptimierung durch Logiktransformationen während des Layoutentwurfs Y1 - 2001 ER - TY - THES A1 - Kalkbrenner, Gerrit T1 - Lernen und Lehren an der virtuellen Universität Y1 - 2001 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 - JOUR A1 - Schwill, Andreas T1 - Ab wann kann man mit Indern Informatik machen? : eine Studie über informatische Fähigkeiten von Kindern Y1 - 2001 UR - http://www.informatica-didactica.de/Forschung/Schriften/INFOS2001Paderborn.pdf ER - TY - JOUR A1 - Schwill, Andreas T1 - Gedanken zur Lehramtsausbildung Informatik Y1 - 2001 UR - http://www.informatica-didactica.de/Forschung/ME2001.htm SN - 3-85133-022-6 ER - TY - JOUR A1 - Schwill, Andreas T1 - Die Vielfalt der Modelle in der Informatik Y1 - 2001 SN - 3-88579-334-2 ER -