Home Advanced Search

Advanced Search - Page 1

Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Michael Mislove (auth.), Maurice Nivat (eds.)
Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Michael Mislove (auth.), Maurice Nivat (eds.)
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: J. S. Fitzgerald (auth.), Martin Wirsing, Maurice Nivat (eds.)
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: David Gries (auth.), V. S. Alagar, Maurice Nivat (eds.)
Combinatorial Image Analysis: 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Andrea Frosini, Maurice Nivat (auth.), Reinhard Klette, Joviša Žunić (eds.)
Combinatorial Image Analysis: 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Andrea Frosini, Maurice Nivat (auth.), Reinhard Klette, Joviša Žunić (eds.)
Combinatorial Image Analysis: 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Andrea Frosini, Maurice Nivat (auth.), Reinhard Klette, Joviša Žunić (eds.)
Mathematical Foundations of Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85)
  • DJVU
  • English
  • Year: 1985
  • Author: Hartmut Ehrig (auth.), Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher (eds.)
Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985
  • PDF
  • English
  • Year: 1985
  • Author: Christiane Floyd (auth.), Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher (eds.)
Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985
  • DJVU
  • English
  • Year: 1985
  • Author: Christiane Floyd (auth.), Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher (eds.)
search