Home Books
Books : Page 84870
Lectures on algebraic model theory
- DJVU
- English
- Year: 2002
- Author: Bradd Hart and Matthew Valeriote, Bradd T. Hart, Matthew Valeriote
Modular Specification and Verification of Object-Oriented Programs
- English
- Year: 2002
- Author: Peter Müller (eds.)
Parallele Datenverarbeitung mit dem Transputer: 5. Transputer-Anwender-Treffen TAT ’93, Aachen, 20.–22. September 1993
- German
- Year: 1994
- Author: Andreas vom Hemdt (auth.), Jens Hektor, Reinhard Grebe (eds.)
E-Commerce and Web Technologies: 9th International Conference, EC-Web 2008 Turin, Italy, September 3-4, 2008 Proceedings
- English
- Year: 2008
- Author: Gerald Madlmayr, Peter Kleebauer, Josef Langer, Josef Scharinger (auth.), Giuseppe Psaila, Roland Wagner (eds.)
Paganism and Christianity in Egypt
- English
- Year: 1913
- Author: Philip David Scott-Moncrieff; Norman McLean; L W King; H R Hall
Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings
- English
- Year: 1994
- Author: John Slaney (auth.), Alan Bundy (eds.)
