Author books / Книги автора Wolfram Büttner (auth.) Dominique Borrione Wolfgang Paul (eds.) » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Wolfram Büttner (auth.) Dominique Borrione Wolfgang Paul (eds.) » Page 2

book 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

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

Author: Wolfram Büttner (auth.) Dominique Borrione Wolfgang Paul (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

pdf

Author: Mauro Gargano Mark Hillebrand Dirk Leinenbach Wolfgang Paul (auth.) Joe Hurd Tom Melham (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Stochastic processes: from physics to finance

Stochastic processes: from physics to finance

djvu

Author: Wolfgang Paul Jörg Baschnagel
Language: English
Year: 1999

00

26.01.2024

3

0