Home Advanced Search

Advanced Search - Page 1

Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Jiří Wiedermann (auth.), Jos C. M. Baeten, Tom Ball, Frank S. de Boer (eds.)
Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Jiří Wiedermann (auth.), Jos C. M. Baeten, Tom Ball, Frank S. de Boer (eds.)
CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Pierre America (auth.), Jos C. M. Baeten, Jan Frisco Groote (eds.)
CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings
  • PDF
  • English
  • Year: 1991
  • Author: Pierre America (auth.), Jos C. M. Baeten, Jan Frisco Groote (eds.)
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
  • PDF
  • English
  • Year: 2003
  • Author: Erika Ábrahám, Frank S. de Boer (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
  • PDF
  • English
  • Year: 2003
  • Author: Erika Ábrahám, Frank S. de Boer (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
CONCUR 2012 – Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Jos C. M. Baeten, Bas Luttik, Paul van Tilburg (auth.), Maciej Koutny, Irek Ulidowski (eds.)
Models and Sets: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part I
  • PDF
  • English
  • Year: 1984
  • Author: Jos Baeten (auth.), Gert H. Müller, Michael M. Richter (eds.)
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
  • PDF
  • English
  • Year: 2013
  • Author: Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Christine Mayr, Uwe Zdun, Schahram Dustdar (auth.), Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.)
search