Home Books
Books : Page 85039
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
- English
- Year: 2006
- Author: Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)
An elementary treatise on the theory of equations: with a collection of examples.
- DJVU
- English
- Year: 1875
- Author: I. Todhunter
J-holomorphic curves and quantum cohomology
- DJVU
- English
- Year: 1994
- Author: Dusa McDuff and Dietmar Salamon
Software Engineering — ESEC '93: 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings
- English
- Year: 1993
- Author: Professor J. N. Buxton (auth.), Ian Sommerville, Manfred Paul (eds.)
