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.)
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.)
Distributed Applications Engineering: Building New Applications and Managing Legacy Applications with Distributed Technologies
  • PDF
  • English
  • Year: 1998
  • Author: Indrajit Wijegunaratne BSc, MEng, MSc, PhD, George Fernandez MSc (auth.)
Machine Vision for the Inspection of Natural Products
  • PDF
  • English
  • Year: 2003
  • Author: B. G. Batchelor (auth.), Mark Graves MEng, PhD, Bruce Batchelor BSc, PhD, DSc, CEng (eds.)
Advances in Health care Technology Care Shaping the Future of Medical
  • PDF
  • English
  • Year: 2006
  • Author: Robert Gossink PhD, Jacques Souquet PhD (auth.), Gerhard Spekowius PhD, Thomas Wendler PhD (eds.)
search