Home Advanced Search

Advanced Search - Page 1

Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Marsha Chechik, Jean-François Raskin (eds.)
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2016
  • Author: Sandrine Blazy, Marsha Chechik (eds.)
Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Joost-Pieter Katoen (auth.), Jean-François Raskin, P. S. Thiagarajan (eds.)
CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Joseph Y. Halpern (auth.), Franck van Breugel, Marsha Chechik (eds.)
Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2022
  • Author: Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar
Geomechanics Applied to the Petroleum Industry
  • PDF
  • English
  • Year: 2011
  • Author: Nauroy, Jean-François (Eds.)
Reasoning About Program Transformations: Imperative Programming and Flow of Data
  • PDF
  • English
  • Year: 2004
  • Author: Jean-François Collard (eds.)
New Generalized Functions and Multiplication of Distributions
  • PDF
  • Year: 1984
  • Author: Jean François Colombeau (Eds.)
Elementary Introduction to New Generalized Functions
  • PDF
  • Year: 1985
  • Author: Jean François Colombeau (Eds.)
search