Treffer 1 – 9 von 9 für Suche 'Meyer, John-Jules Ch. 1954-', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Order and metric in the stream semantics of element concurrency

    Order and metric in the stream semantics of element concurrency von Bakker, Jacobus W. de 1939-2012, Meyer, John-Jules Ch. 1954-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Infinite streams and finite observations in the semantics of uniform concurrency

    Infinite streams and finite observations in the semantics of uniform concurrency von Bakker, Jacobus W. de 1939-2012, Meyer, John-Jules Ch. 1954-, Olderog, Ernst-Rüdiger 1955-

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Infinite streams and finite observations in the semantics of uniform concurrency

    Infinite streams and finite observations in the semantics of uniform concurrency von Bakker, Jacobus W. de 1939-2012, Meyer, John-Jules Ch. 1954-, Olderog, Ernst-Rüdiger 1955-

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    On specifying sets of integers

    On specifying sets of integers von Bergstra, Jan A. 1951-, Meyer, John-Jules Ch. 1954-

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    On infinite computations in denotational semantics

    On infinite computations in denotational semantics von Bakker, Jacobus W. de 1939-2012, Meyer, John-Jules Ch. 1954-, Zucker, Jeffrey I.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Epistemic logic for AI and computer science

    Epistemic logic for AI and computer science von Meyer, John-Jules Ch. 1954-, Hoek, Wiebe van der

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Metric semantics for concurrency

    Metric semantics for concurrency von Bakker, Jacobus W. de 1939-2012, Meyer, John-Jules Ch. 1954-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Correctness of programs with function procedures

    Correctness of programs with function procedures von Bakker, Jacobus W. de 1939-2012, Klop, Jan Willem 1945-, Meyer, John-Jules Ch. 1954-

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Intelligent technologies for interactive entertainment 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28-30, 2016 : revised selected papers

    Intelligent technologies for interactive entertainment 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28-30, 2016 : revised selected papers

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: