Home Books

Books : Page 43729

Markov chains: Gibbs fields, Monte Carlo simulation, and queues
  • DJVU
  • English
  • Year: 1999
  • Author: Pierre Bremaud
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Lawrence C. Paulson (auth.), Lennart Beringer, Amy Felty (eds.)
Forschung erfolgreich vermarkten: Ein Ratgeber für die Praxis
  • PDF
  • German
  • Year: 2003
  • Author: (auth.)
Kryptographie in C und C++: Zahlentheoretische Grundlagen, Computer-Arithmetik mit großen Zahlen, kryptographische Tools
  • PDF
  • German
  • Year: 2001
  • Author: Michael Welschenbach (auth.)
Controlling mit SAP R3® : Eine praxisorientierte Einführung mit umfassender Fallstudie and beispielhaften Controlling-Anwendungen
  • PDF
  • German
  • Year: 2002
  • Author: Gunther Friedl, Christian Hilz, Burkhard Pedell (auth.)
Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2012
  • Author: Trevor Bench-Capon (auth.), Alexander Artikis, Robert Craven, Nihan Kesim Çiçekli, Babak Sadighi, Kostas Stathis (eds.)
Algorithms in Real Algebraic Geometry
  • PDF
  • English
  • Year: 2003
  • Author: Saugata Basu, Richard Pollack, Marie-Franco̧ise Roy (auth.)
Model-Based Reasoning in Scientific Discovery
  • PDF
  • English
  • Year: 1999
  • Author: Nancy J. Nersessian (auth.), Lorenzo Magnani, Nancy J. Nersessian, Paul Thagard (eds.)
Evolutionary Algorithms: The Role of Mutation and Recombination
  • PDF
  • English
  • Year: 2000
  • Author: Dr. William M. Spears (auth.)
Artificial Intelligence: Methodology, Systems, and Applications: 8th International Conference, AIMSA’98 Sozopol, Bulgaria, September 21–23, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Galia Angelova, Ognyan Kalaydjiev (auth.), Fausto Giunchiglia (eds.)
search