Author books / Книги автора Thomas Kropf » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Thomas Kropf

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

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

pdf

Author: Thomas Kropf
Language: German
Year: 1986

00

01.03.2024

0

0

book Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

pdf

Author: Gérard Berry (auth.) Laurence Pierre Thomas Kropf (eds.)
Language: English
Year: 1999

00

27.01.2024

0

0

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

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

pdf

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

00

27.01.2024

0

0

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

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

pdf

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

00

27.01.2024

0

0

book Introduction to Formal Hardware Verification

Introduction to Formal Hardware Verification

pdf

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

00

27.01.2024

0

0

book Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

pdf

Author: Gérard Berry (auth.) Laurence Pierre Thomas Kropf (eds.)
Language: English
Year: 1999

00

27.01.2024

0

0

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

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

djvu

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

00

27.01.2024

0

0

book Formal Hardware Verification: Methods and Systems in Comparison

Formal Hardware Verification: Methods and Systems in Comparison

djvu

Author: Scott Hazelhurst Carl-Johan H. Seger (auth.) Thomas Kropf (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

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

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

pdf

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

00

26.01.2024

0

0