Home Books

Books : Page 83463

Reasoning with Logic Programming
  • PDF
  • English
  • Year: 1996
  • Author: José Júlio Alferes, Luís Moniz Pereira (eds.)
Applied Metallography
  • PDF
  • English
  • Year: 1987
  • Author: George F. Vander Voort (auth.), George F. Vander Voort (eds.)
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
  • PDF
  • English
  • Year: 2007
  • Author: Arnon Avron, Anna Zamansky (auth.), Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra (eds.)
Computational Solid State Physics: Proceedings of an International Symposium Held October 6–8, 1971, in Wildbad, Germany
  • PDF
  • English
  • Year: 1972
  • Author: Otfried Madelung (auth.), Frank Herman, Norris W. Dalton, Thomas R. Koehler (eds.)
Finland at War 1939 - 45 (Elite)
  • DJVU
  • English
  • Year: 2006
  • Author: Philip Jowett, Brent Snodgrass, Raffaele Ruggeri
History of Nordic Computing: IFIP WG9.7 First Working Conference on the History of Nordic Computing (HiNC1), June 16–18, 2003, Trondheim, Norway
  • PDF
  • English
  • Year: 2005
  • Author: Börje Langefors (auth.), Janis Bubenko Jr, John Impagliazzo, Arne Sølvberg (eds.)
Network and System Security: 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Rafael A. Rodríguez-Gómez, Gabriel Maciá-Fernández, Pedro García-Teodoro (auth.), Javier Lopez, Xinyi Huang, Ravi Sandhu (eds.)
Statistical Models for Data Analysis
  • PDF
  • English
  • Year: 2013
  • Author: Claudio Agostinelli, Mario Romanazzi (auth.), Paolo Giudici, Salvatore Ingrassia, Maurizio Vichi (eds.)
Propagators in Quantum Chemistry
  • DJVU
  • English
  • Year: 2004
  • Author: Jan Linderberg, Yngve Öhrn
An Introduction to Digital Audio
  • PDF
  • English
  • Year: 1994
  • Author: John Watkinson
search