Home Advanced Search

Advanced Search - Page 1

Thirty Five Years of Automating Mathematics
  • PDF
  • English
  • Year: 2003
  • Author: Fairouz D. Kamareddine (eds.)
A Modern Perspective on Type Theory: From its Origins until Today
  • DJVU
  • English
  • Year: 2005
  • Author: Fairouz Kamareddine, Twan Laan, Rob Nederpelt
A Modern Perspective on Type Theory: From its Origins until Today
  • DJVU
  • English
  • Year: 2005
  • Author: Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Intelligent Technologies and Applications: First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Imran Sarwar Bajwa, Fairouz Kamareddine, Anna Costa
A Modern Perspective on Type Theory: From its Origins until Today
  • PDF
  • English
  • Year: 2005
  • Author: Fairouz Kamareddine, Twan Laan, Rob Nederpelt (auth.)
Software Testing: Concepts and Operations
  • PDF
  • English
  • Year: 2015
  • Author: Ali Mili, Fairouz Tchier
Software Testing: Concepts and Operations
  • PDF
  • English
  • Year: 2015
  • Author: Ali Mili, Fairouz Tchier
Software Testing: Concepts and Operations
  • PDF
  • English
  • Year: 2015
  • Author: Ali Mili, Fairouz Tchier
Walter Scott: Modern Judgements
  • PDF
  • English
  • Year: 1968
  • Author: D. D. Devlin (eds.)
Advances in Fracture Research. Proceedings of the 5th International Conference on Fracture (ICF5), Cannes, France, 29 March–3 April 1981
  • PDF
  • English
  • Year: 1982
  • Author: D. François (Eds.)
search