Home Advanced Search

Advanced Search - Page 1

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993
  • PDF
  • English
  • Year: 1994
  • Author: Douglas R. Smith (auth.), Yves Deville (eds.)
Numerical Simulation of 3-D Incompressible Unsteady Viscous Laminar Flows: A GAMM-Workshop
  • PDF
  • English
  • Year: 1992
  • Author: M. Deville, T. H. Lê, Y. Morchoisne (auth.), Michel Deville, Thien-Hiep Lê, Yves Morchoisne (eds.)
Logic Programming: Systematic Program Development (International Series in Logic Programming)
  • DJVU
  • English
  • Year: 1990
  • Author: Yves Deville
High Integrity Software
  • PDF
  • English
  • Year: 2001
  • Author: Douglas R. Smith (auth.), Victor L. Winter, Sourav Bhattacharya (eds.)
MEMS and Nanotechnology, Volume 2: Proceedings of the 2010 Annual Conference on Experimental and Applied Mechanics
  • PDF
  • English
  • Year: 2011
  • Author: Jon R. Pratt, Gordon A. Shaw, Douglas T. Smith (auth.), Tom Proulx (eds.)
Modeling the Hydrogen Bond
  • PDF
  • English
  • Year: 1994
  • Author: Douglas A. Smith (Eds.)
Neuronal Death by Accident or by Design
  • PDF
  • English
  • Year: 2001
  • Author: D. W. Ethell, D. R. Green (auth.), Christopher E. Henderson Ph. D., Douglas R. Green Ph. D., Jean Mariani Ph. D., Yves Christen Ph. D. (eds.)
Wirelessly Powered Sensor Networks and Computational RFID
  • PDF
  • English
  • Year: 2013
  • Author: Joshua R. Smith (auth.), Joshua R. Smith (eds.)
Memory Management: International Workshop IWMM 92 St. Malo, France, September 17–19, 1992 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Paul R. Wilson (auth.), Yves Bekkers, Jacques Cohen (eds.)
Memory Management: International Workshop IWMM 92 St. Malo, France, September 17–19, 1992 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Paul R. Wilson (auth.), Yves Bekkers, Jacques Cohen (eds.)
search