Top 494 sophia berg PDF Book Page 20

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

Advances in Multimedia Modeling : 15th International Multimedia Modeling Conference, MMM 2009, Sophia-Antipolis, France, January 7-9, 2009. Proceedings.

Marcel Worring (auth.), Benoit Huet, Alan Smeaton, Ketan Mayer-Patel, Yannis Avrithis (eds.)
·513 Pages
·2009
·22.681 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

book image

Numerical Simulation of Combustion Phenomena: Proceedings of the Symposium Held at INRIA Sophia-Antipolis, France May 21–24, 1985

K. N. C. Bray (auth.), Roland Glowinski, Bernard Larrouturou, Roger Temam (eds.)
·402 Pages
·1985
·12.939 MB

book image

Ad-hoc, Mobile and Wireless Networks: 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings

Andreas Wiese, Evangelos Kranakis (auth.), David Coudert, David Simplot-Ryl, Ivan Stojmenovic (eds.)
·511 Pages
·2008
·14.072 MB

book image

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Christine Mayr, Uwe Zdun, Schahram Dustdar (auth.), Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.)
·307 Pages
·2009
·6.672 MB

book image

System Modeling and Optimization: Proceedings of the 21st IFIP TC7 Conference held in July 21st–25th, 2003, Sophia Antipolis, France

A. V. Balakrishnan (auth.), John Cagnol, Jean-Paul Zolésio (eds.)
·315 Pages
·2005
·3.935 MB

book image

Computer Security – ESORICS 2004: 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September 13 - 15, 2004. Proceedings

Shiping Chen, Duminda Wijesekera, Sushil Jajodia (auth.), Pierangela Samarati, Peter Ryan, Dieter Gollmann, Refik Molva (eds.)
·467 Pages
·2004
·7.777 MB