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.)
Mathematical Foundations of Computer Science 1976: Proceedings, 5th Symposium, Gdańsk, September 6–10, 1976
  • DJVU
  • 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
  • PDF
  • 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
  • DJVU
  • 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.)
Mathematical Foundations of Computer Science 1979: Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3–7, 1979
  • DJVU
  • 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.)
CONCUR '97: Concurrency Theory: 8th International Conference Warsaw, Poland, July 1–4, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Jeremy Gunawardena (auth.), Antoni Mazurkiewicz, Józef Winkowski (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.)
search