Home Advanced Search

Advanced Search - Page 1

Embedded Systems Specification and Design Languages: Selected contributions from FDL’07
  • PDF
  • English
  • Year: 2008
  • Author: Jens Brandt, Klaus Schneider (auth.), Prof. Eugenio Villar (eds.)
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Constance L. Heitmeyer (auth.), Klaus Schneider, Jens Brandt (eds.)
System Specification & Design Languages: Best of FDL’02
  • PDF
  • English
  • Year: 2004
  • Author: Ernst Christen (auth.), Eugenio Villar, Jean Mermet (eds.)
Curiosity and Exploration
  • PDF
  • English
  • Year: 1994
  • Author: Heidi Keller, Klaus Schneider, Bruce Henderson (auth.), Prof. Dr. Heidi Keller, Prof. Dr. Klaus Schneider, Prof. Dr. Bruce Henderson (eds.)
System on Chip Design Languages: Extended papers: best of FDL’01 and HDLCon’01
  • PDF
  • English
  • Year: 2002
  • Author: J. Bhasker, Paul J. Menchini (auth.), Anne Mignotte, Eugenio Villar, Lynn Horobin (eds.)
Advanced Techniques for Embedded Systems Design and Test
  • PDF
  • English
  • Year: 1998
  • Author: Eugenio Villar, Maite Veiga (auth.), Juan Carlos López, Román Hermida, Walter Geisselhardt (eds.)
Incidental Carcinoma of the Prostate
  • PDF
  • English
  • Year: 1991
  • Author: P. Faul (auth.), Prof. Dr. Jens E. Altwein, Prof. Dr. Peter Faul, Dr. Wolfgang Schneider (eds.)
Rechtswissenschaften
  • PDF
  • German
  • Year: 2001
  • Author: Prof. Dr. Edmund Brandt (auth.), Prof. Dr. Edmund Brandt (eds.)
Berichte zur Lebensmittelsicherheit 2009: Zoonosen-Monitoring
  • PDF
  • German
  • Year: 2010
  • Author: Prof. Dr. Dr. Peter Brandt (auth.), Peter Brandt (eds.)
Berichte zu Pflanzenschutzmitteln 2009: Wirkstoffe in Pflanzenschutzmitteln; Zulassungshistorie und Regelungen der Pflanzenschutz-Anwendungsverordnung
  • PDF
  • German
  • Year: 2010
  • Author: Prof. Dr. Dr. Peter Brandt (auth.), Peter Brandt (eds.)
search