Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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 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.)
Algorithmic Learning Theory: 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Michael M. Richter, Carl H. Smith, Rolf Wiehagen, Thomas Zeugmann (auth.), Michael M. Richter, Carl H. Smith, Rolf Wiehagen, Thomas Zeugmann (eds.)
Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
  • DJVU
  • English
  • Year: 1984
  • Author: G. H. Müller, M. M. Richter
Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980
  • PDF
  • English
  • Year: 1981
  • Author: Masazumi Hanazawa (auth.), Gert H. Müller, Gaisi Takeuti, Tosiyuki Tugué (eds.)
Image Analysis and Recognition: International Conference ICIAR 2004, Porto, Portugal, September 29- October 1, 2004, Proceedings, Part I
  • PDF
  • English
  • Year: 2004
  • Author: Andrei C. Jalba, Michael H. F. Wilkinson, Jos B. T. M. Roerdink (auth.), Aurélio Campilho, Mohamed Kamel (eds.)
search