Suche in der Hochschulbibliografie

Treffer 1-3 von 3

Sortieren nach: JahrTitelVerfasser/in

Seite 1 von 1

Alle Titel auf dieser Seite auswählen

Ausgewählte Titel exportierenAlle Titel exportieren: [ Export-Format auswählen ]EndNote WebEndNoteRISBibTeXMS ExcelCOinSOK

• 1
  dedupmrg123781497549GBVUOB_ALMA21168889750003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21168889750003501
  Buch
  Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften: Ein System zur Transformation von Konsistenz - in Anwendungsbedingungen

  von Christian Zuckschwerdt

  2006

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Zuckschwerdt, Christian

  Verlag: Oldenburg: Carl-von-Ossietzky-Univ., Dept. für Informatik

  Umfang: II, 114, 5 Seiten graph. Darst..

  Weitere Angaben:

  Vollst. zugl.: Oldenburg, Univ., Dipl.-Arb.

  Schlagwörter: Hochschulschrift; ForschungsberichtGraphersetzungssystemKonsistenzReduktionssystem

  Übergeordnetes Werk: Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften

  Verknüpfte Titel: Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2006, 11

  Sprache: Deutsch
• 2
  49GBVUOB_ALMA2123663735000350149GBVUOB_ALMA21236637350003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236637350003501
  Artikel
  ENFORCe : a system for ensuring formal correctness of high-level programs

  von Karl Azab ; Annegret Habel ; Karl-Heinz Pennemann ; Christian Zuckschwerdt

  2006

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Habel, AnnegretPennemann, Karl-Heinz ([2004-])Zuckschwerdt, ChristianAzab, Karl

  Enthalten in: Preliminary proceedings / 3rd International Workshop on Graph Based Tools 2006 S. 82 - 93

  Sprache: Englisch

  >> Volltext
• 3
  49GBVUOB_ALMA2123649481000350149GBVUOB_ALMA21236494810003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236494810003501
  Artikel
  st-apps and EMILeA-stat : interactive visualizations in descriptive statistics

  von Katharina Kramer ; Udo Kamps ; Christian Zuckschwerdt

  2004

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Kamps, Udo ([-2004])Zuckschwerdt, Christian

  Enthalten in: Proceedings in computational statistics Heidelberg, 2004 S. 101 - 112

  Sprache: Englisch

  >> Volltext