Top 994 gregory castle PDF Book Page 39

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

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

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