Home Advanced Search

Advanced Search - Page 1

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
  • PDF
  • English
  • Year: 2001
  • Author: Jacques Fleuriot PhD, MEng (auth.)
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Michael Beeson (auth.), Tetsuo Ida, Jacques Fleuriot (eds.)
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Michael Beeson (auth.), Tetsuo Ida, Jacques Fleuriot (eds.)
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
  • PDF
  • English
  • Year: 2006
  • Author: Laura I. Meikle, Jacques D. Fleuriot (auth.), Hoon Hong, Dongming Wang (eds.)
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
  • PDF
  • English
  • Year: 2006
  • Author: Laura I. Meikle, Jacques D. Fleuriot (auth.), Hoon Hong, Dongming Wang (eds.)
Bounded Dynamic Stochastic Systems: Modelling and Control
  • PDF
  • English
  • Year: 2000
  • Author: Hong Wang BSc, MEng, PhD (auth.)
Nonlinear Identification and Control: A Neural Network Approach
  • PDF
  • English
  • Year: 2001
  • Author: G. P. Liu BEng, MEng, PhD (auth.)
Model-based Fault Diagnosis in Dynamic Systems Using Identification Techniques
  • PDF
  • English
  • Year: 2003
  • Author: Silvio Simani PhD, Cesare Fantuzzi PhD, Ronald Jon Patton Beng, MEng, PhD (auth.)
Foodborne Diseases
  • PDF
  • English
  • Year: 2007
  • Author: Jianghong Meng DVM, PhD, MPVM, Carl M. Schroeder PhD (auth.), Shabbir Simjee PhD (eds.)
Machine Vision Algorithms in Java: Techniques and Implementation
  • PDF
  • English
  • Year: 2001
  • Author: Paul F. Whelan BEng, MEng, PhD, Derek Molloy BEng (auth.)
search