Home Books

Books : Page 83254

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Antonia Balaa, Yves Bertot (auth.), Mark Aagaard, John Harrison (eds.)
Multiagent System Technologies: 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Lawrence Cabac (auth.), Paolo Petta, Jörg P. Müller, Matthias Klusch, Michael Georgeff (eds.)
Краевые задачи
  • DJVU
  • Russian
  • Year: 1963
  • Author: Гахов Ф.Д.
Programming Paradigms in Graphics: Proceedings of the Eurographics Workshop in Maastricht, The Netherlands, September 2–3, 1995
  • PDF
  • English
  • Year: 1995
  • Author: Ekkehard Beier (auth.), Dr. Remco C. Veltkamp, Dr. Edwin H. Blake (eds.)
The Performance Appraisal Question and Answer Book
  • PDF
  • English
  • Year: 2002
  • Author: Richard C. Grote
Einfuehrung in die Theorie der endlichen Graphen
  • DJVU
  • German
  • Year: 1970
  • Author: Sachs H.
Genetic Programming: 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Mathieu Autonès, Ariel Beck, Philippe Camacho, Nicolas Lassabe, Hervé Luga (auth.), Maarten Keijzer, Una-May O’Reilly, Simon Lucas, Ernesto Costa, Terence Soule (eds.)