Home Advanced Search

Advanced Search - Page 1

Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Mirian Andrés, Laureano Lambán, Julio Rubio (auth.), Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (eds.)
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Mirian Andrés, Laureano Lambán, Julio Rubio (auth.), Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (eds.)
Studien zur Evolutorischen Ökonomik IX: Evolutionsökonomische Grundsatzfragen, Makroökonomik und Institutionen
  • PDF
  • German
  • Year: 2004
  • Author: Kerber, Wolfgang
The Concrete Tetrahedron: Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates
  • PDF
  • English
  • Year: 2010
  • Author: Manuel Kauers, Peter Paule
Algorithmische Methoden: Zahlen, Vektoren, Polynome (Mathematik Kompakt)
  • PDF
  • German
  • Year: 2008
  • Author: Phillipp Kügler, Wolfgang Windsteiger
The Concrete Tetrahedron: Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates
  • PDF
  • English
  • Year: 2011
  • Author: Manuel Kauers, Peter Paule (auth.)
Nietzsche's Gay Science
  • PDF
  • English
  • Year: 2021
  • Author: Robert Miner
Dynamic Trading
  • DJVU
  • English
  • Author: Robert Miner
Aquinas on the passions
  • PDF
  • English
  • Year: 2009
  • Author: Robert Miner
search