5 treff
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings
TPHOLs 2005
Bok Engelsk 2005
Expeditions-Atlas : die grössten Abenteuer unserer Zeit : Roald Amundsen, Jaques-Yves Cousteau, Dian Fossey, Jane Goodall, Reinhold Messner, Bertrand Picard, Ernest Shackleton und viele mehr
[Übersetzung aus dem Amerikanischen: Fran...
Bok Tysk 2001
Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
CHARME 2001
Bok Engelsk 2001
Alaska's wildlife treasures
by Tom Melham ; prepared by the Book Divi...
Bok Engelsk 1994
John Muir's wild America
by Tom Melham ; photographed by Farrell G...
Bok Engelsk 1976