Home Books

Books : Page 75956

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)
Our dynamic planet: Earth and life
  • PDF
  • English
  • Year: 2007
  • Author: Rogers N., Cockell C. (eds.)
Odd characterisations of finite simple groups
  • DJVU
  • English
  • Year: 1968
  • Author: G Higman
Cumulative Subject and Author Indexes for Vols.1-49
  • DJVU
  • English
  • Year: 1999
  • Author: Marvin Zelkowitz Ph.D. MS BS.
Усреднение дифференциальных операторов
  • DJVU
  • Russian
  • Year: 1993
  • Author: Жиков В.В., Козлов С.М., Олейник О.А.
Impossible to Please How to Deal With Perf
  • PDF
  • English
  • Author: J. Lavender, Ph.d. & Alan A. Cavaiola, Ph.d. & Neil Lavender, Phd
Information Repositories
  • DJVU
  • English
  • Year: 2003
  • Author: Marvin Zelkowitz Ph.D. MS BS.
Studies in Computer Science: In Honor of Samuel D. Conte
  • PDF
  • English
  • Year: 1994
  • Author: John R. Rice (auth.), John Rice, Richard A. DeMillo (eds.)