Suchergebnisse - Meyer, John-Jules Ch. 1954-

Epistemic logic for AI and computer science

von Meyer, John-Jules Ch. 1954-, Hoek, Wiebe van der

Order and metric in the stream semantics of element concurrency

von Bakker, Jacobus W. de 1939-2012, Meyer, John-Jules Ch. 1954-

Per Fernleihe bestellen

Metric semantics for concurrency

von Bakker, Jacobus W. de 1939-2012, Meyer, John-Jules Ch. 1954-

Per Fernleihe bestellen

Correctness of programs with function procedures

von Bakker, Jacobus W. de 1939-2012, Klop, Jan Willem 1945-, Meyer, John-Jules Ch. 1954-

Per Fernleihe bestellen

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-

Per Fernleihe bestellen

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-

Per Fernleihe bestellen

On specifying sets of integers

von Bergstra, Jan A. 1951-, Meyer, John-Jules Ch. 1954-

Per Fernleihe bestellen

On infinite computations in denotational semantics

von Bakker, Jacobus W. de 1939-2012, Meyer, John-Jules Ch. 1954-, Zucker, Jeffrey I.

Per Fernleihe bestellen

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

Weitere beteiligte Personen: “… Meyer, John-Jules Ch. 1954- …”
Online lesen (LMU)

In der Bibliothek der LMU nutzbar.

Online lesen (HM)

In der Bibliothek der Hochschule München (HM) nutzbar.

Per Fernleihe bestellen