Home Advanced Search

Advanced Search - Page 1

Mathematical Foundations of Computer Science 1976: Proceedings, 5th Symposium, Gdańsk, September 6–10, 1976
  • PDF
  • English
  • Year: 1976
  • Author: K. R. Apt, J. W. de Bakker (auth.), Antoni Mazurkiewicz (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
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.)
Semantics: Foundations and Applications: REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: R. J. R. Back, J. von Wright (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
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.)
Current Trends in Concurrency: Overviews and Tutorials
  • PDF
  • English
  • Year: 1986
  • Author: A. J. Nijman (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995
  • PDF
  • English
  • Year: 1995
  • Author: J. W. de Bakker (auth.), Jörg Desel Dr. rer. nat. (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.)
Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings
  • PDF
  • 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.)
search