Lectures on proof verification and approximation algorithms /

Autor Mayr, Ernst W., 1950-
Vydáno 1998

What evolution is /

Autor Mayr, Ernst W., 1950-
Vydáno 2001

Computer algebra in scientific computing : 8th international workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, proceedings /

Vydáno 2005

Computer algebra in scientific computing : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007 : proceedings /

Vydáno 2007

Computer algebra in scientific computing : 9th international workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, proceedings /

Vydáno 2006