Home Advanced Search

Advanced Search - Page 1

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.)
Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Gul Agha (auth.), J. W. de Bakker, W. P. de Roever, G. Rozenberg (eds.)
Semantics: Foundations and Applications: REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: R. J. R. Back, J. von Wright (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
Primary Care and Home Care Scenarios 1990–2005: Scenario report commissioned by the Steering Committee on Future Health Scenarios
  • PDF
  • English
  • Year: 1993
  • Author: Prof. E. Schadé, Dr. H. J. Wennink, S. E. Kooiker, W. G. W. Boerma, Dr. D. H. de Bakker, Dr. P. P. Groenewegen (auth.)
Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Martín Abadi, Ted Wobber (auth.), David de Frutos-Escrig, Manuel Núñez (eds.)
Insurance and Risk Theory
  • PDF
  • English
  • Year: 1986
  • Author: G. W. de Wit (auth.), M. Goovaerts, F. de Vylder, J. Haezendonck (eds.)
Trends in Colloid and Interface Science II
  • PDF
  • English
  • Year: 1988
  • Author: P. W. Rouw, A. Vrij, C. G. de Kruif (auth.), V. Degiorgio (eds.)
Petri Nets: Applications and Relationships to Other Models of Concurrency: Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986
  • PDF
  • English
  • Year: 1987
  • Author: W. Brauer, W. Reisig, G. Rozenberg (eds.)
Wolf-Rayet Stars: Observations, Physics, Evolution
  • PDF
  • English
  • Year: 1982
  • Author: P. S. Conti (auth.), C. W. H. De Loore, A. J. Willis (eds.)
search