Home Advanced Search

Advanced Search - Page 1

Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings: Third International Workshop, WSA '93, ... 3rd

DJVU
English
Year: 1993
Author: Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy

Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings

PDF
English
Year: 1993
Author: Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier (auth.), Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (eds.)

Principles of abstract interpretation

EPUB
English
Year: 2021
Author: Patrick Cousot

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

PDF
English
Year: 2015
Author: Moreno Falaschi (eds.)

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

PDF
English
Year: 2005
Author: Patrick Cousot (auth.), Radhia Cousot (eds.)

Complex Systems Design & Management: Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012

PDF
English
Year: 2013
Author: Manfred Broy (auth.), Marc Aiguier, Yves Caseau, Daniel Krob, Antoine Rauzy (eds.)

Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

PDF
English
Year: 2000
Author: Patrick Cousot (auth.), Berthe Y. Choueiry, Toby Walsh (eds.)

Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

DJVU
English
Year: 1997
Author: M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (auth.), Michael Hanus, Jan Heering, Karl Meinke (eds.)

Repartition Modulo 1

DJVU
English
Year: 1975
Author: G. Rauzy

Rock : de l'histoire au mythe

PDF
French
Year: 1991
Author: Patrick Mignon; Antoine Hennion