Home Books

Books : Page 65004

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)
Technischer Fortschritt, neue Güter und internationaler Handel
  • PDF
  • German
  • Year: 1990
  • Author: Dr. Uwe Cantner (auth.)
Математика и реальный мир
  • DJVU
  • Russian
  • Year: 1978
  • Author: Яглом И.М.
Der Lebensrückblick in Therapie und Beratung
  • PDF
  • German
  • Year: 2013
  • Author: Andreas Maercker, Andrea B. Horn (auth.), Andreas Maercker, Simon Forstmeier (eds.)
Невычислимость, неразрешимость, недоказуемость
  • DJVU
  • Russian
  • Year: 2001
  • Author: Сосинский А.Б.
Полимино
  • DJVU
  • Russian
  • Year: 1975
  • Author: Голомб С.В.(Golomb)
Soil carbon dynamics : an integrated methodology
  • PDF
  • English
  • Year: 2009
  • Author: Werner Kutsch; Michael Bahn; Andreas Heinemeyer
Optimization of Human Cancer Radiotherapy
  • PDF
  • English
  • Year: 1981
  • Author: George W. Swan (auth.)
Adaptive Multimedia Retrieval. Large-Scale Multimedia Retrieval and Evaluation: 9th International Workshop, AMR 2011, Barcelona, Spain, July 18-19, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Hisham Mohamed, Marc von Wyl, Eric Bruno, Stéphane Marchand-Maillet (auth.), Marcin Detyniecki, Ana García-Serrano, Andreas Nürnberger, Sebastian Stober (eds.)
Communication and Networking: International Conference, FGCN 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I
  • PDF
  • English
  • Year: 2012
  • Author: Muhammad Omer Farooq, Thomas Kunz (auth.), Tai-hoon Kim, Hojjat Adeli, Wai-chi Fang, Thanos Vasilakos, Adrian Stoica, Charalampos Z. Patrikakis, Gansen Zhao, Javier García Villalba, Yang Xiao (eds.)
search