Home Advanced Search

Advanced Search - Page 1

Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Wolfram Büttner (auth.), Dominique Borrione, Wolfgang Paul (eds.)
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009
  • PDF
  • English
  • Year: 2010
  • Author: Frédéric Mallet, Charles André, Robert de Simone (auth.), Dominique Borrione (eds.)
Computer Hardware Description Languages and their Applications. Proceedings of the 1992 International Conference on Artificial Neural Networks (Icann–92), Brighton, United Kingdom, 4–7 September, 1992
  • PDF
  • English
  • Year: 1991
  • Author: Dominique Borrione, Ronald Waxman
CONLAN Report
  • PDF
  • English
  • Year: 1983
  • Author: Robert Piloty, Dominique Borrione, Mario R. Barbacci, D. L. Dietmeyer, Frederick J. Hill, Patrick Skelly (auth.)
The Power of Images in Early Modern Science
  • PDF
  • English
  • Year: 2003
  • Author: Jochen Büttner, Peter Damerow, Jürgen Renn, Matthias Schemmel (auth.), Wolfgang Lefèvre, Jürgen Renn, Urs Schoepflin (eds.)
Braunkohlentagebau und Rekultivierung: Landschaftsokologie — Folgenutzung — Naturschutz
  • PDF
  • German
  • Year: 1998
  • Author: Wolfram Pflug (auth.), Wolfram Pflug (eds.)
Computers Helping People with Special Needs: 9th International Conference, ICCHP 2004, Paris, France, July 7-9, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Jef Raskin (auth.), Klaus Miesenberger, Joachim Klaus, Wolfgang L. Zagler, Dominique Burger (eds.)
Computers Helping People with Special Needs: 9th International Conference, ICCHP 2004, Paris, France, July 7-9, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Jef Raskin (auth.), Klaus Miesenberger, Joachim Klaus, Wolfgang L. Zagler, Dominique Burger (eds.)
Combinatoire et Représentation du Groupe Symétrique: Actes de la Table Ronde du C.N.R.S. tenue à l'Université Louis-Pasteur de Strasbourg, 26 au 30 avril 1976
  • PDF
  • English-French-German
  • Year: 1977
  • Author: Dominique Foata (auth.), Dominique Foata (eds.)
search