Home Advanced Search

Advanced Search - Page 1

Outils logiques pour l'intelligence artificielle
  • DJVU
  • French
  • Year: 1986.
  • Author: Jean-Paul Delahaye ; préface de Maurice Nivat.
Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques
  • PDF
  • English
  • Year: 1989
  • Author: Hassan Ait-Kaci, Maurice Nivat
Rewriting Techniques. Resolution of Equations in Algebraic Structures
  • PDF
  • English
  • Year: 1989
  • Author: Hassan Ait-Kaci, Maurice Nivat
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.)
search