Treffer 1 - 4 von 4 für Suche 'MacCaull, Wendy', Suchdauer: 0,20s Treffer weiter einschränken
  1. 1
    Verification of careflow management systems with timed BDI-CTL logic
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A Model Based Slicing Technique for Process Mining Healthcare Information
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Foundations of health information engineering and systems : third international symposium, FHIES 2013, Macau, China, August 21-23, 2013 ; revised selected papers
    Veröffentlicht 2014
    Inhaltsverzeichnis
    Inhaltstext
    Cover
    Volltext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers
    Veröffentlicht 2006
    Inhaltstext
    Verlagsangaben
    Inhaltsverzeichnis
    Cover
    Inhaltstext
    Volltext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: