Home Books

Books : Page 39429

Extensional Constructs in Intensional Type Theory
  • PDF
  • English
  • Year: 1997
  • Author: Martin Hofmann PhD (auth.)
Secure Multi-Party Non-Repudiation Protocols and Applications
  • PDF
  • English
  • Year: 2009
  • Author: José A. Onieva, Javier Lopez, Jianying Zhou (auth.)
Nanostructured Soft Matter: Experiment, Theory, Simulation and Perspectives
  • PDF
  • English
  • Year: 2007
  • Author: Wiebke F. C. Sager (auth.), Dr. Andrei V. Zvelindovsky (eds.)
Non-Centrosymmetric Superconductors: Introduction and Overview
  • PDF
  • English
  • Year: 2012
  • Author: E. Bauer, P. Rogl (auth.), Ernst Bauer, Manfred Sigrist (eds.)
Неравновесная термодинамика
  • DJVU
  • Russian
  • Year: 1964
  • Author: де Гроот С., Мазур П.
Статистические методы прогнозирования
  • DJVU
  • Russian
  • Year: 1977
  • Author: Четыркин Е.М.
CAM: Algorithmen und Decision Support für die Fertigungssteuerung
  • PDF
  • German
  • Year: 1989
  • Author: Priv. Doz. Dr.-Ing. Günter Schmidt (auth.)
Information and Communication Technologies in Tourism 2010: Proceedings of the International Conference in Lugano, Switzerland, February 10–12, 2010
  • PDF
  • English
  • Year: 2010
  • Author: Peter O’Connor, Jamie Murphy (auth.), Dr. Ulrike Gretzel, Dr. Rob Law, Prof. Matthias Fuchs (eds.)
Advances on Computational Intelligence: 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part I
  • PDF
  • English
  • Year: 2012
  • Author: Carlos Cernuda, Edwin Lughofer, Lisbeth Suppan, Thomas Röder, Roman Schmuck (auth.), Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager (eds.)
Balanced Automation Systems for Future Manufacturing Networks: 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: M. Victoria de-la-Fuente, Lorenzo Ros (auth.), Ángel Ortiz, Rubén Darío Franco, Pedro Gómez Gasquet (eds.)