Suche in der Hochschulbibliografie

Treffer 31-40 von 51

Sortieren nach: JahrTitelVerfasser/in

• 
• 
Seite 4 von 6
• 
• 

Alle Titel auf dieser Seite auswählen

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

• 31
  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
• 32
  49GBVUOB_ALMA7141151358000350149GBVUOB_ALMA71411513580003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411513580003501
  Artikel
  Adhesive high-level replacement systems : a new categorical framework for graph transformation

  von Hartmut Ehrig ; Annegret Habel ; Julia Padberg ; Ulrike Prange

  2006

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Habel, Annegret

  Enthalten in: Fundamenta informaticae 74 (2006), 1, S. 1 - 29

  Sprache: Englisch
• 33
  49GBVUOB_ALMA7141149755000350149GBVUOB_ALMA71411497550003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411497550003501
  Artikel
  Theory of constraints and application conditions : from graphs to high-level structures

  von Hartmut Ehrig ; Karsten Ehrig ; Annegret Habel ; Karl-Heinz Pennemann

  2006

  Details anzeigen

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

  Enthalten in: Fundamenta informaticae 74 (2006), 1, S. 135 - 166

  Sprache: Englisch
• 34
  49GBVUOB_ALMA2123646068000350149GBVUOB_ALMA21236460680003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236460680003501
  Artikel
  Nested constraints and application conditions for high-level structures

  von Annegret Habel ; Karl-Heinz Pennemann

  2005

  Details anzeigen

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

  Enthalten in: Formal methods in software and systems modeling Berlin [u.a.], 2005 S. 293 - 308

  Sprache: Englisch

  >> Volltext
• 35
  49GBVUOB_ALMA2123696278000350149GBVUOB_ALMA21236962780003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236962780003501
  Artikel
  Modelling parametric contracts and the state space of composite components by graph grammars

  von Ralf Reussner ; Jens Happe ; Annegret Habel

  2005

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Happe, Jens ([2004-2008])Habel, AnnegretReussner, Ralf ([2003-2009])Reussner, Ralf H. Reussner, Ralf Heinrich Reussner, R. H.

  Enthalten in: Fundamental approaches to software engineering Berlin, 2005 S. 80 - 95

  Sprache: Englisch

  >> Volltext
• 36
  49GBVUOB_ALMA7141145001000350149GBVUOB_ALMA71411450010003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411450010003501
  Artikel
  Parallel independence in hierachical graph transformation

  von Annegret Habel ; Berthold Hoffmann

  2004

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Habel, Annegret

  Enthalten in: Graph transformations Berlin [u.a.], 2004 S. 178 - 193

  Sprache: Englisch
• 37
  49GBVUOB_ALMA2117514725000350149GBVUOB_ALMA21175147250003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21175147250003501
  Buch
  Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin: Adhesive high-level replacement categories and systems : long version

  2004

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Habel, Annegret

  Verlag: Berlin: Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4

  Umfang: [25] S.

  Schlagwörter: Forschungsbericht

  Übergeordnetes Werk: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin

  Verknüpfte Titel: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; Bericht-Nr. 2004,8

  Notation: inf 540

  Sprache: Englisch
• 38
  49GBVUOB_ALMA7141145125000350149GBVUOB_ALMA71411451250003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411451250003501
  Artikel
  Adhesive high-level replacement categories and systems

  von Hartmut Ehrig ; Annegret Habel ; Julia Padberg ; Ulrike Prange

  2004

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Habel, Annegret

  Enthalten in: Graph transformations Berlin [u.a.], 2004 S. 144 - 160

  Sprache: Englisch
• 39
  49GBVUOB_ALMA7141145052000350149GBVUOB_ALMA71411450520003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411450520003501
  Artikel
  Constraints and application conditions : from graphs to high-level structures

  von Hartmut Ehrig ; Karsten Ehrig ; Annegret Habel ; Karl-Heinz Pennemann

  2004

  Details anzeigen

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

  Enthalten in: Graph transformations Berlin [u.a.], 2004 S. 287 - 303

  Sprache: Englisch
• 40
  49GBVUOB_ALMA2123619944000350149GBVUOB_ALMA21236199440003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236199440003501
  Artikel
  Relabelling in graph transformation

  von Annegret Habel ; Detlef Plump

  2002

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Habel, Annegret

  Enthalten in: Graph transformation Berlin [u.a.], 2002 S. [135] - [147]

  Sprache: Englisch

  >> Volltext