E-LIB Suche - Ergebnisse für: Gerth van Wijk, R.

1

Reasoning of real-time distributed programming languages:

, In: Proceedings of the 5th international workshop on Software specification and design,

Shyamasundar, R. K. ; Hooman, J. ; Gerth, R. - p. 91-99 , 1989

Link: https://dl.acm.org/doi/1..

2

Rooting UNITY:

, In: Proceedings of the 5th international workshop on Software specification and design,

Gerth, R. ; Pnueli, A. - p. 11-19 , 1989

Link: https://dl.acm.org/doi/1..

3

Full abstraction of a real-time denotational semantics for ..:

, In: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages,

Huizing, C. ; Gerth, R. ; deRoever, W. P. - p. 223-236 , 1987

Link: https://dl.acm.org/doi/1..

4

Extrem kompaktes SoC-Konzept eines Gleichgewichtsorganes fü..:

, In: Verteilte Echtzeitsysteme; Informatik aktuell,

Strasser, R. ; Seebode, M. ; Albert, A.. - p. 49-58 , 2003

Link: https://doi.org/10.1007/..

5

Lament in the City:

, In: World Christianity and Covid-19,

George, Geomon K. ; George, Reji ; van den Berg, Sarah Gerth... - p. 35-46 , 2022

Link: https://doi.org/10.1007/..

6

Diagnostik der Herzrhythmusstörungen:

, In: Klinische Kardiologie,

Steinbeck, G. ; Hoffmann, E. ; Reithmann, C.... - p. 453-460 , 2000

Link: https://doi.org/10.1007/..

7

EKG-Klassifikation: Tachykardien:

, In: Klinische Kardiologie,

Dorwarth, U. ; Gerth, A. ; Haberl, R.... - p. 469-485 , 2000

Link: https://doi.org/10.1007/..

8

Therapie: Tachykardien:

, In: Klinische Kardiologie,

Dorwarth, U. ; Gerth, A. ; Haberl, R.... - p. 499-521 , 2000

Link: https://doi.org/10.1007/..

9

Pathogenese der Herzrhythmusstörungen:

, In: Klinische Kardiologie,

Steinbeck, G. ; Hoffmann, E. ; Reithmann, C.... - p. 445-451 , 2000

Link: https://doi.org/10.1007/..

10

EKG-Klassifikation: Bradykardien:

, In: Klinische Kardiologie,

Dorwarth, U. ; Gerth, A. ; Haberl, R.... - p. 461-467 , 2000

Link: https://doi.org/10.1007/..

11

Therapie: Bradykardien:

, In: Klinische Kardiologie,

Dorwarth, U. ; Gerth, A. ; Haberl, R.... - p. 487-497 , 2000

Link: https://doi.org/10.1007/..

12

Kurzberichte über die Teilprojekte:

, In: Optimierung von Deponieabdichtungssystemen,

Jessberger, Hans Ludwig ; Heibrock, G. ; Arslan, Ulvi... - p. 105-459 , 1998

Link: https://doi.org/10.1007/..

13

A metalanguage for interactive simulation:

, In: Proceedings of the 9th conference on Winter simulation - Volume 2,

Heterick, R. C. ; Gerth, J. A. ; Huebner, N. D. - p. 558-567 , 1977

Link: https://dl.acm.org/doi/1..