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.)

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.)

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.)

Suburbanisierung in Deutschland: Aktuelle Tendenzen

PDF
German
Year: 2001
Author: Klaus Brake, Jens S. Dangschat, Günter Herfert (auth.), Prof. Dr. rer. pol. Klaus Brake, Prof. Dr. Jens S. Dangschat, Dr. Günter Herfert (eds.)

Strukturwandel internationaler Beziehungen: Zum Verhältnis von Staat und internationalem System seit dem Westfälischen Frieden

PDF
German
Year: 2000
Author: Jens Siegelberg (auth.), Jens Siegelberg, Klaus Schlichte (eds.)