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.)
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.)
Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
  • PDF
  • English
  • Year: 1994
  • Author: Maurice Nivat, Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math., Teodor Rus PhD (auth.), Maurice Nivat, Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math., Teodor Rus PhD, Giuseppe Scollo PhD (eds.)
Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Peter Aczel (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)
Parallel Image Analysis: Second International Conference, ICPIA '92 Ube, Japan, December 21–23, 1992 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: François Charot, Patrice Frison, Eric Gautrin (auth.), Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick S. P. Wang, Katsushi Inoue (eds.)
Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: QingMing Ma, John C. Reynolds (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)
search