Home Books

Books : Page 36066

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2009
  • Author: Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)
Artificial Intelligence in Perspective
  • PDF
  • English
  • Year: 1994
  • Author: Daniel G. Bobrow
Traffic Management and Traffic Engineering for the Future Internet: First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 11-12, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Zlatka Avramova, Danny De Vleeschauwer, Kathleen Spaey, Sabine Wittevrongel (auth.), Rui Valadas, Paulo Salvador (eds.)
Artificial Intelligence and Learning Environments
  • PDF
  • English
  • Year: 1990
  • Author: William J. Clancey, Elliot Soloway
Современные авианосцы
  • DJVU
  • Russian
  • Year: 2001
  • Author: Никольский Михаил Владимирович
Computing: A Concise History
  • PDF
  • English
  • Year: 2012
  • Author: Paul E. Ceruzzi
Catre sine insusi
  • PDF
  • Romanian
  • Year: 1999
  • Author: Marc Aureliu
Inner Models and Large Cardinals
  • PDF
  • English
  • Year: 2001
  • Author: Martin Zeman
Устройство и летная эксплуатация самолета Ан-26
  • DJVU
  • Russian
  • Year: 1987
  • Author: Комаров А.А., Рычкина В.П., Мамошин П.Н.
Network Control and Optimization: Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Carl Graham, Philippe Robert, Maaike Verloop (auth.), Rudesindo Núñez-Queija, Jacques Resing (eds.)