Výsledky vyhledávání

1

Approximation, randomization, and combinatorial optimization : algorithms and techniques : 10th International Workshop, APPROX 2007 and 11th International Workshop, RANDOM 2007 : Princeton, NJ, USA, August 20-22, 2007 : proceedings /

Vydáno 2007

Kniha

2

External Memory LTL Model Checking

Autor Šimeček, Pavel
Vydáno 2010

Získat plný text

VŠ práce nebo rukopis

3

Programming Sudoku

Autor Lee, Wei Meng
Vydáno 2006

Kniha

4

The design and analysis of computer algorithms /

Autor Aho, Alfred V., Hopcroft, John E., 1939-, Ullman, Jeffrey D., 1942-
Vydáno 1974

Kniha

5

Nine algorithms that changed the future : the ingenious ideas that drive today's computers /

Autor MacCormick, John, 1972-
Vydáno 2012

Kniha

6

An Introduction to computer science : an algorithmic approach /

Autor Tremblay, Jean Paul, Bunt, Richard B., 1946-
Vydáno 1979

Kniha

7

Randomized algorithms for matrices and data /

Autor Mahoney, Michael W.
Vydáno 2011

Kniha

8

Companion to the papers of Donald Knuth /

Autor Knuth, Donald Ervin, 1938-
Vydáno 2011

Kniha

9

Elements of programming /

Autor Stepanov, Aleksandr Aleksandrovič, 1950-, McJones, Paul
Vydáno 2009

Kniha

10

Rewriting techniques and applications : 19th International Conference, RTA 2008 : Hagenberg, Austria, July 15-17, 2008 : proceedings /

Vydáno 2008

Kniha

11

Approximation, randomization, and combinatorial optimization : algorithms and techniques : 11th International Workshop, APPROX 2008 and 12th International Workshop, RANDOM 2008 : Boston, MA, USA, August 25-27, 2008 : proceedings /

Vydáno 2008

Kniha

12

Multigrid methods on GPUs : high performance GPGPU solvers for partial differential equations /

Autor Thoman, Peter.
Vydáno 2008

Kniha

13

Handbook of finite state based models and applications /

Vydáno 2013

Kniha

14

The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milano, Italy, July 1-5, 2013 : proceedings /

Vydáno 2013

Kniha

15

Introduction to linear programming /

Autor Vaserstein, Leonid Nison, Byrne, Christopher Cattelier
Vydáno 2003

Kniha

16

Algorithms sequential and parallel : a unified approach /

Autor Miller, Russ, Boxer, Laurence
Vydáno 2013

Kniha

17

Reinforcement learning : state of the art /

Autor Wiering, Marco
Vydáno 2012

Kniha

Upřesnit hledání