Home Advanced Search

Advanced Search - Page 1

Correct Hardware Design and Verification Methods: IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Viktor Cingel (auth.), George J. Milne, Laurence Pierre (eds.)
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: George J. Milne (auth.), Miriam Leeser, Geoffrey Brown (eds.)
Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)
Distributions with given Marginals and Moment Problems
  • PDF
  • English
  • Year: 1997
  • Author: George A. Anastassiou (auth.), Viktor Beneš, Josef à těpán (eds.)
Ethical Frontiers of the State: An Essay in Political Philosophy
  • PDF
  • English
  • Year: 1998
  • Author: A. J. M. Milne (auth.)
People, Place and Power on the Nineteenth-Century Waterfront: Sailortown
  • PDF
  • English
  • Year: 2016
  • Author: Graeme J. Milne (auth.)
The Environments of the Sun and the Stars
  • PDF
  • English
  • Year: 2013
  • Author: Laurence Rezeau (auth.), Jean-Pierre Rozelot, Coralie Neiner (eds.)
Statistical and Computational Techniques in Manufacturing
  • PDF
  • English
  • Year: 2012
  • Author: Viktor P. Astakhov (auth.), J. Paulo Davim (eds.)
Tribology in Manufacturing Technology
  • PDF
  • English
  • Year: 2013
  • Author: Viktor P. Astakhov (auth.), J. Paulo Davim (eds.)
Machining of Hard Materials
  • PDF
  • English
  • Year: 2011
  • Author: Viktor P. Astakhov (auth.), J. Paulo Davim (eds.)
search