Top 710 castle PDF Book Page 28

book image

Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen (auth.), Stefan Leue, Tarja Johanna Systä (eds.)
·287 Pages
·2005
·3.537 MB

book image

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)
·248 Pages
·2001
·1.731 MB

book image

Sensor Based Intelligent Robots: International Workshop Dagstuhl Castle, Germany, October 15–20, 2000 Selected Revised Papers

Yakov Keselman, Sven Dickinson (auth.), Gregory D. Hager, Henrik Iskov Christensen, Horst Bunke, Rolf Klein (eds.)
·381 Pages
·2002
·15.384 MB

book image

Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings

Scot Anderson, Peter Revesz (auth.), Jean-Daniel Zucker, Lorenza Saitta (eds.)
·387 Pages
·2005
·4.453 MB

book image

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)
·273 Pages
·2002
·2.81 MB

book image

Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers

Jürgen Wolff von Gudenberg (auth.), René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther (eds.)
·324 Pages
·2004
·4.158 MB

book image

Nuclear Astrophysics: Proceedings of a Workshop, Held at the Ringberg Castle Tegernsee, FRG, April 21–24, 1987

C. Rolfs (auth.), Wolfgang Hillebrandt, Rudolf Kuhfuß, Ewald Müller, James W. Truran (eds.)
·344 Pages
·1987
·13.979 MB

book image

Foundations of Information and Knowledge Systems: Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings

Ofer Arieli, Marc Denecker (auth.), Thomas Eiter, Klaus-Dieter Schewe (eds.)
·298 Pages
·2002
·2.435 MB

book image

Advances in Plan-Based Control of Robotic Agents: International Seminar Dagstuhl Castle, Germany, October 21–26, 2001 Revised Papers

Rachid Alami, Silvia Silva da Costa Bothelho (auth.), Michael Beetz, Joachim Hertzberg, Malik Ghallab, Martha E. Pollack (eds.)
·298 Pages
·2002
·3.37 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.