Home Advanced Search

Advanced Search - Page 1

Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Thomas W. Getzinger (auth.), Baudouin Le Charlier (eds.)
Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Thomas W. Getzinger (auth.), Baudouin Le Charlier (eds.)
Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier (auth.), Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (eds.)
Ocean Energy: Tide and Tidal Power
  • PDF
  • English
  • Year: 2009
  • Author: Roger H. Charlier, Charles W. Finkl (auth.)
Ocean Energy: Tide and Tidal Power
  • PDF
  • English
  • Year: 2009
  • Author: Roger H. Charlier, Charles W. Finkl (auth.)
Sepsis
  • PDF
  • English
  • Year: 2008
  • Author: Simon V. Baudouin MBBS, MD, FRCP (auth.), Simon V. Baudouin MBBS, MD, FRCP (eds.)
Handbook of Stressful Transitions Across the Lifespan
  • PDF
  • English
  • Year: 2010
  • Author: Thomas W. Miller (auth.), Thomas W. Miller (eds.)
Lectures on Transcendental Numbers
  • PDF
  • English
  • Year: 1976
  • Author: Kurt Mahler (auth.), B. Diviš, W. J. Le Veque (eds.)