Home Advanced Search

Advanced Search - Page 1

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

DJVU
English
Year: 1995
Author: Thomas Kropf (auth.), Ramayya Kumar, Thomas Kropf (eds.)

Kommunikative Funktionen des Dialekts im Unterricht: Theorie und Praxis in der deutschen Schweiz

PDF
German
Year: 1986
Author: Thomas Kropf

Introduction to Formal Hardware Verification

PDF
English
Year: 1999
Author: Dr. Thomas Kropf (auth.)

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

PDF
English
Year: 1999
Author: Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)

Controlling für Electronic-Business-Geschäftsmodelle: Ein ganzheitliches Steuerungssystem von der Strategie bis zur Umsetzung

PDF
German
Year: 2004
Author: Dr. Martin Kropf (auth.)

Management Technologies for E-Commerce and E-Business Applications: 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2002 Montreal, Canada, October 21–23, 2002 Proceedings

PDF
English
Year: 2002
Author: Jacques Nantel (auth.), Metin Feridun, Peter Kropf, Gilbert Babin (eds.)

Authorship as Alchemy: Subversive Writing in Pushkin, Scott, and Hoffmann

PDF
English
Year: 2022
Author: David Glenn Kropf

Distributed Communities on the Web: Third International Workshop, DCW 2000 Quebec City, Canada, June 19–21, 2000 Proceedings

PDF
English
Year: 2000
Author: John Plaice, Herwig Unger (auth.), Peter G. Kropf, Gilbert Babin, John Plaice, Herwig Unger (eds.)

Digitale Bewertungspraktiken: Für eine Bewertungssoziologie des Digitalen

PDF
German
Year: 2019
Author: Jonathan Kropf, Stefan Laser

Raising the Hunley: The Remarkable History and Recovery of the Lost Confederate Submarine

EPUB
English
Year: 2007
Author: Brian Hicks; Schuyler Kropf