Mathematical and Engineering Methods in Computer ScienceAntonin Kucera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomas Vojnar, David Antos · First published 2013Open the Tome