Klaus Beck's Documents

Klaus Beck's Documents

Theorem Proving in Higher Order Logics, 20 conf., TPHOLs 2007

Theorem Proving in Higher Order Logics, 20 conf., TPHOLs 2007
Read more
Lattices over Orders II

Lattices over Orders II
Read more
Der japanische Markt. Herausforderungen und Perspektiven für deutsche Unternehmen

Der japanische Markt. Herausforderungen und Perspektiven für deutsche Unternehmen
Read more
Acquisition Strategies in European Emerging Markets

Acquisition Strategies in European Emerging Markets
Read more
Heizung und Kuhlung (Baukonstruktionen, 15)

Heizung und Kuhlung (Baukonstruktionen, 15)
Read more
Zeit für die Wahrheit

Zeit für die Wahrheit
Read more
SOA und WebServices (Informatik im Fokus)

SOA und WebServices (Informatik im Fokus)
Read more
Raumklimatechnik: Band 3: Raumheiztechnik (VDI-Buch) (German Edition)

Raumklimatechnik: Band 3: Raumheiztechnik (VDI-Buch) (German Edition)
Read more
Computers Helping People with Special Needs, Part II: 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings (Lecture Notes in Computer Science: Information Systems and Applications, incl. Internet Web, and HCI)

Computers Helping People with Special Needs, Part II: 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings (Lecture Notes in Computer Science: Information Systems and Applications, incl. Internet Web, and HCI)
Read more
Computers Helping People with Special Needs, 9 conf., ICCHP 2004

Computers Helping People with Special Needs, 9 conf., ICCHP 2004
Read more
Arbeitsbuch Mathematik: Multiple-Choice-Aufgaben

Arbeitsbuch Mathematik: Multiple-Choice-Aufgaben
Read more
Computers Helping People with Special Needs: 9th International Conference, ICCHP 2004, Paris, France, July 7-9, 2004, Proceedings (Lecture Notes in Computer Science: Information Systems and Applications, incl. Internet Web, and HCI)

Computers Helping People with Special Needs: 9th International Conference, ICCHP 2004, Paris, France, July 7-9, 2004, Proceedings (Lecture Notes in Computer Science: Information Systems and Applications, incl. Internet Web, and HCI)
Read more
Computers Helping People with Special Needs: 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008, Proceedings

Computers Helping People with Special Needs: 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008, Proceedings
Read more
Computers Helping People with Special Needs, Part I: 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings ... Applications, incl. Internet Web, and HCI)

Computers Helping People with Special Needs, Part I: 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings ... Applications, incl. Internet Web, and HCI)
Read more
Plant Ecology

Plant Ecology
Read more
Plant Ecology

Plant Ecology
Read more
Plant Ecology

Plant Ecology
Read more
Plant Ecology

Plant Ecology
Read more
Public-Private Partnerships: Managing Risks and Opportunities

Public-Private Partnerships: Managing Risks and Opportunities
Read more
After the first full moon in April: a sourcebook of herbal medicine from a California Indian elder

After the first full moon in April: a sourcebook of herbal medicine from a California Indian elder
Read more
Inverse heat conduction: ill-posed problems

Inverse heat conduction: ill-posed problems
Read more
Dynamic Reconfigurable Architectures and Transparent Optimization Techniques: Automatic Acceleration of Software Execution

Dynamic Reconfigurable Architectures and Transparent Optimization Techniques: Automatic Acceleration of Software Execution
Read more
The ASCRS Textbook of Colon and Rectal Surgery

The ASCRS Textbook of Colon and Rectal Surgery
Read more
Historical Atlas of the American West

Historical Atlas of the American West
Read more
Plant Desiccation Tolerance

Plant Desiccation Tolerance
Read more
A Figure of Speech: A Festschrift for John Laver

A Figure of Speech: A Festschrift for John Laver
Read more
Avant-Garde and Criticism. (Avant-Garde Critical Studies)

Avant-Garde and Criticism. (Avant-Garde Critical Studies)
Read more
Approximation and online algorithms: first international workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003 : revised papers (Lecture Notes in Computer Science)

Approximation and online algorithms: first international workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003 : revised papers (Lecture Notes in Computer Science)
Read more
Darwin meets Business: Evolutionäre und bionische Lösungen für die Wirtschaft

Darwin meets Business: Evolutionäre und bionische Lösungen für die Wirtschaft
Read more
Nümbrechter Osteoporose Schule

Nümbrechter Osteoporose Schule
Read more