Top 129 berg sophia berg sophia PDF Book Page 5

book image

Objects and Databases: International Symposium Sophia Antipolis,France,June 13,2000 Revised Papers

Malcolm Atkinson (auth.), Klaus Dittrich, Giovanna Guerrini, Isabella Merlo, Marta Oliva, M.Elena Rodriguez (eds.)
·207 Pages
·2001
·1.614 MB

book image

Russia under Two Tsars 1682-1689: The Regency of Sophia Alekseevna

C. Bickford O'Brien
·183 Pages
·1952
·47.351 MB

book image

Active and Programmable Networks: IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers

Elisa Boschi, Matthias Bossardt, Thomas Dübendorfer (auth.), David Hutchison, Spyros Denazis, Laurent Lefevre, Gary J. Minden (eds.)
·271 Pages
·2009
·13.347 MB

book image

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

Martin Hofmann, Mariela Pavlova (auth.), Gilles Barthe, Cédric Fournet (eds.)
·410 Pages
·2008
·5.279 MB

book image

Recent Advances in Intrusion Detection: 7th International Symposium, RAID 2004, Sophia Antipolis, France, September 15 - 17, 2004. Proceedings

Lap Chung Lam, Tzi-cker Chiueh (auth.), Erland Jonsson, Alfonso Valdes, Magnus Almgren (eds.)
·324 Pages
·2004
·3.604 MB

book image

Hybrid Systems: Computation and Control: Second International Workshop, HSCC’99 Berg en Dal, The Netherlands, March 29–31, 1999 Proceedings

Philippe Baufreton (auth.), Frits W. Vaandrager, Jan H. van Schuppen (eds.)
·280 Pages
·1999
·4.364 MB

book image

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Andreas Abel, Ralph Matthes (auth.), Herman Geuvers, Freek Wiedijk (eds.)
·339 Pages
·2003
·2.936 MB

book image

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)
·394 Pages
·2011
·4.091 MB

book image

Parameterized and Exact Computation: 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

Russell Impagliazzo, Ramamohan Paturi (auth.), Gregory Gutin, Stefan Szeider (eds.)
·385 Pages
·2013
·4.264 MB