Suche in der Hochschulbibliografie

Treffer 1-2 von 2

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
  dedupmrg123612225949GBVUOB_ALMA21151317480003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21151317480003501
  Buch
  Berichte aus dem Department für Informatik der Fakultät II, Informatik, Wirtschafts- und Rechtswissenschaften: Type checking C template instantiation by graph programs (long version)

  von Karl Azab ; Karl-Heinz Pennemann

  2007

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Pennemann, Karl-Heinz ([2004-])Azab, Karl

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

  Umfang: 24, 6 S. graph. Darst..

  Schlagwörter: Forschungsbericht

  Ü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 ; 2007, 4

  Sprache: Englisch
• 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