Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
15 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

15 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Authenticity and provability - a formal framework
    Sigrid Gürgens ; Peter Ochsenschläger ; Carsten Rudolph. GMD-Forschungszentrum Informationstechnik GmbH
    Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 2001
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Schlichte Homomorphismen auf präfixstabilen partiell kommutativen Sprachen
    Peter Ochsenschläger
    Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1997
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Role based specification and security analysis of cryptographic protocols using asynchronous product automata
    Sigrid Gürgens ; Peter Ochsenschläger ; Carsten Rudolph. GMD-Forschungszentrum Informationstechnik GmbH
    Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 2001
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Approximately satisfied properties of systems and simple language homomorphisms
    Ulrich Nitsche ; Peter Ochsenschläger
    Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1995
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    EINE BEMERKUNG UEBER UNSICHERE KOMMUNIKATION
    BERND BAUMGARTEN ; PETER OCHSENSCHLAEGER
    Sankt Augustin: GES. FUER MATHEMATIK U. DATENVERARBEITUNG, 1983
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Binding telecooperation: a formal model for electronic commerce
    Rüdiger Grimm ; Peter Ochsenschläger
    Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 2000
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Die Produktnetzmaschine: eine Übersicht
    Peter Ochsenschläger
    St. Augustin, 1991
    Monographie, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Kooperationsprodukte formaler Sprachen und schlichte Homomorphismen
    Peter Ochsenschläger
    Sankt Augustin: GMD-Publ.-Vertrieb, 1996
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Modulhomomorphismen, [1]
    Peter Ochsenschläger
    St. Augustin, 1990
    Monographie, Teil eines Werkes, keine Angabe
  10. Detailansicht für Treffer 10 öffnen
    Modulhomomorphismen, 2
    Peter Ochsenschläger
    St. Augustin, 1991
    Monographie, Teil eines Werkes, keine Angabe
  11. Detailansicht für Treffer 11 öffnen
    Kompositionelle Verifikation kooperierender Systeme
    Peter Ochsenschläger
    Sankt Augustin, 1994
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Verifikation kooperierender Systeme mittels schlichter Homomorphismen
    Peter Ochsenschläger
    Sankt Augustin, 1992
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Projektionen und reduzierte Erreichbarkeitsgraphen
    Ochsenschläger, Peter
    Sankt Augustin: Ges. für Mathematik u. Datenverarbeitung, 1988
    Monographie, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    The SH verrification [verification] tool
    Ulrich Nitsche ; Peter Ochsenschläger ; Jürgen Repp
    Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1996
    Monographie, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Entwurf und Analyse von Produktnetzen
    Ute Faltin ; Peter Ochsenschläger ; Christa Paule
    Sankt Augustin: Ges. für Mathematik u. Datenverarbeitung, 1988
    Monographie, Gedruckte Ressource

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -