Home Advanced Search

Advanced Search - Page 1

Mathematical Foundations of Computer Science 1979: Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3–7, 1979
  • PDF
  • English
  • Year: 1979
  • Author: J. W. de Bakker (auth.), Jiří Bečvář (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.)
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
  • PDF
  • English
  • Year: 1989
  • Author: Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
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.)
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.)
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.)
Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975
  • DJVU
  • English
  • Year: 1975
  • Author: J. M. Barzdin, J. J. Bičevskis (auth.), Dr. Jíří Bečvář (eds.)
Aspects of Vagueness
  • PDF
  • English
  • Year: 1984
  • Author: Jiři Bečvář (auth.), Heinz J. Skala, S. Termini, E. Trillas (eds.)
Clinical and Experimental Pathology of Lung Cancer
  • PDF
  • English
  • Year: 1985
  • Author: Heine H. Hansen (auth.), J. G. McVie, W. Bakker, Sj. Sc. Wagenaar, D. Carney (eds.)
Logic programming languages : constraints, functions, and objects
  • PDF
  • English
  • Year: 1993
  • Author: Krzysztof R Apt; J W de Bakker; J J M M Rutten
search