gefundene Verfasser SELLINK, A

Sellink, Alex
Sellink, Manfred 1961-
Oberthaler, Elke
Pénot, Sabine
Spronk, Ron 1957-
Alle anzeigen »
Bruegel, Pieter de Oudere 1525-1569
Helmink, L.
Hoppe-Harnoncourt, Alice 1974-
Korver, Henri P.
Alkins, Ted

Treffer 1 - 15 von 15 für Suche 'SELLINK, A', Suchdauer: 0,51s Treffer weiter einschränken
  1. 1
    Bruegel in detail

    Bruegel in detail von Sellink, Manfred 1961-

    Veröffentlicht 2018
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Computer aided verification of protocols the type theoretic approach = Computer-ondersteund verifiëren van protocollen

    Computer aided verification of protocols the type theoretic approach = Computer-ondersteund verifiëren van protocollen von Sellink, Alex

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Confluence for process verification

    Confluence for process verification von Groote, Jan F., Sellink, Alex

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Proof-checking a data link protocol

    Proof-checking a data link protocol von Helmink, L., Sellink, Alex, Vaandrager, Frits W.

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    The sky is the limit het landschap in de Nederlanden

    The sky is the limit het landschap in de Nederlanden von Velde, Hildegard van de, Hout, Nico van, Sellink, Manfred 1961-, Härting, Ursula Alice 1954-, Boutsen, Elise, Neidhardt, Uta 1961-

    Veröffentlicht 2017
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Computer aided verification of protocols the type theoretic approach = Computer-ondersteund verifiëren van protocollen

    Computer aided verification of protocols the type theoretic approach = Computer-ondersteund verifiëren van protocollen von Sellink, Alex

    Veröffentlicht 1996
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Verifying process algebra proofs in type theory

    Verifying process algebra proofs in type theory von Sellink, Alex

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Formalising LPOs and invariants in Coq

    Formalising LPOs and invariants in Coq von Korver, Henri P., Sellink, Alex

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Verifying modal formulas over I/0-automata by means of type theory

    Verifying modal formulas over I/0-automata by means of type theory von Sellink, Alex

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    On automating process algebra proofs

    On automating process algebra proofs von Korver, Henri P., Sellink, Alex

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Proof-checking a data link protocol

    Proof-checking a data link protocol von Helmink, L., Sellink, Alex, Vaandrager, F. W.

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Bruegel - die Hand des Meisters eine Ausstellung des Kunsthistorischen Museums Wien 2. Oktober 2018 bis 13. Jänner 2019

    Bruegel - die Hand des Meisters eine Ausstellung des Kunsthistorischen Museums Wien 2. Oktober 2018 bis 13. Jänner 2019 von Oberthaler, Elke, Pénot, Sabine, Sellink, Manfred 1961-, Spronk, Ron 1957-, Hoppe-Harnoncourt, Alice

    Veröffentlicht 2018
    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications Amsterdam, 25 - 26 September 1997

    Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications Amsterdam, 25 - 26 September 1997

    Veröffentlicht 1998
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Bruegel the master

    Bruegel the master

    Veröffentlicht 2018
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Bruegel the hand of the master : essays in context

    Bruegel the hand of the master : essays in context

    Veröffentlicht 2019
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: