Home Advanced Search

Advanced Search - Page 1

Systems and Software Verification: Model-Checking Techniques and Tools
  • DJVU
  • English
  • Year: 2001
  • Author: B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
Systems and Software Verification: Model-Checking Techniques and Tools
  • PDF
  • English
  • Year: 2001
  • Author: B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
Systems and Software Verification: Model-Checking Techniques and Tools
  • PDF
  • English
  • Year: 2001
  • Author: Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre McKenzie (auth.)
Systems and software verification
  • DJVU
  • English
  • Year: 2001
  • Author: Berard B., Bidoit M., Finkel A., et al. (eds.)
Navajo Coyote Tales: The Curly Tó Aheedlíinii Version
  • EPUB
  • English
  • Year: 2014
  • Author: Father Berard Haile, O. F. M.
Aging and Cognitive Processes
  • PDF
  • English
  • Year: 1982
  • Author: Ted L. Petit (auth.), F. I. M. Craik, Sandra Trehub (eds.)
A focus on fractions: bringing research to the classroom
  • PDF
  • English
  • Year: 2016
  • Author: Ebby, Caroline B.; Laird, Robert E.; Marsden, Edwin L.; Petit, Marjorie M
A Focus on Fractions: Bringing Mathematics Education Research to the Classroom
  • PDF
  • English
  • Year: 2022
  • Author: Marjorie M. Petit; Robert E. Laird; Caroline B. Ebby; Edwin L. Marsden
A Focus on Multiplication and Division: Bringing Research to the Classroom
  • PDF
  • English
  • Year: 2017
  • Author: Elizabeth T. Hulbert, Marjorie M. Petit, Caroline B. Ebby, Elizabeth P. Cunningham, Robert E. Laird
Industrial Applications of Homogeneous Catalysis
  • PDF
  • English
  • Year: 1987
  • Author: M. Röper (auth.), A. Mortreux, F. Petit (eds.)
search