Hendrik Brinksma

Hendrik „Ed“ Brinksma (2016) mini|Hendrik „Ed“ Brinksma (2016) Hendrik „Ed“ Brinksma (* 16. September 1957 in Den Haag) ist ein niederländischer Professor für Informatik sowie Präsident der Erasmus-Universität Rotterdam. Veröffentlicht in Wikipedia
Treffer 1 - 20 von 22 für Suche 'Brinksma, Ed', Suchdauer: 0,30s Treffer weiter einschränken
  1. 1
    von Brinksma, Ed
    Veröffentlicht 1988
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Veröffentlicht 1994
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    von Brinksma, Ed.
    Veröffentlicht 1990
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Veröffentlicht 1994
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 ; selected papers
    Veröffentlicht 1995
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Computer aided verification : proceedings
    Veröffentlicht 2002
    Kapitel
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Tools and algorithms for the construction and analysis of systems : third international workshop ; proceedings
    Veröffentlicht 1997
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Tools and algorithms for the construction and analysis of systems : selected papers
    Veröffentlicht 1995
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS '97, Enschede, The Netherlands, April 2 - 4, 1997; proceedings
    Veröffentlicht 1997
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Computer aided verification : 14th international conference, CAV 2002, Copenhagen, Denmark, July 27 - 31, 2002 ; proceedings
    Veröffentlicht 2002
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Tools and algorithms for the construction and analysis of systems : third international workshop, TACAS '97, Enschede, The Netherlands, April 2 - 4, 1997 ; proceedings
    Veröffentlicht 1997
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Computer aided verification : 14th international conference ; proceedings
    Veröffentlicht 2002
    Inhaltsverzeichnis
    Kapitel 1
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occassion of his 60th birthday
    Veröffentlicht 2017
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    von Brinksma, Ed
    Veröffentlicht 1990
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3 - 7, 2000 ; revised lectures
    Veröffentlicht 2001
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Lectures on formal methods and performance analysis : revised lectures
    Veröffentlicht 2001
    Kapitel
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Tools and algorithms for the construction and analysis of systems : first international workshop ; Aarhus, Denmark, May 19 - 20, 1995 ; selected papers
    Veröffentlicht 1995
    Cover
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Lectures on formal methods and performance analysis : revised lectures
    Veröffentlicht 2001
    Inhaltsverzeichnis
    Kapitel 1
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Veröffentlicht 1994
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: