Home Advanced Search

Advanced Search - Page 1

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
Warren's Abstract Machine: A Tutorial Reconstruction
  • PDF
  • English
  • Year: 1991
  • Author: Hassan Ait-Kaci
Warren's Abstract Machine: a tutorial reconstruction
  • DJVU
  • English
  • Year: 1991
  • Author: Hassan Aït-Kaci
Warren's abstract machine.A tutorial reconstruction
  • PDF
  • English
  • Year: 1991
  • Author: Hassan Aït-Kaci
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.)
Lifetime Environmental Impact of Buildings
  • PDF
  • English
  • Year: 2014
  • Author: Marc Méquignon, Hassan Ait Haddou (auth.)
Outils logiques pour l'intelligence artificielle
  • DJVU
  • French
  • Year: 1986.
  • Author: Jean-Paul Delahaye ; préface de Maurice Nivat.
Ecological Transition in Education and Research
  • PDF
  • English
  • Year: 2022
  • Author: Hassan Ait Haddou, Dimitri Toubanos, Philippe Villien
search