@book{Schaub1999, author = {Schaub, Torsten H.}, title = {The automation of reasoning with incomplete information : from semantic foundations to efficient computation}, series = {Lecture notes in computer science}, volume = {1409}, journal = {Lecture notes in computer science}, publisher = {Springer}, address = {Berlin}, isbn = {3-540-64515-2}, doi = {10.1007/BFb0054963}, pages = {XI, 159 S.}, year = {1999}, language = {en} } @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{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-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{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{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{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{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{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{OPUS4-22017, title = {Workshop on Implementing Automata : WIA99 - pre-proceedings ; Potsdam, Germany, 17 - 19. July 1999}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1999, 4}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, editor = {Boldt, Oliver and J{\"u}rgensen, Helmut and Robbins, L. E.}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {getr. Z{\"a}hl.}, year = {1999}, 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} }