|
391 |
Parallel algorithms for verification on large systems Weber, Michael. - Aachen : RWTH, Department of Computer Science, 2006
|
|
|
392 |
Quality oriented execution and optimization of cooperative processes Greiner, Ulrike, 2006
|
|
|
393 |
Representations of lattice point sets Hemmecke, Raymond, 2006
|
|
|
394 |
Robust digital image watermarking algorithms for copyright protection Terzija, Nataša, 2006
|
|
|
395 |
Scheduling unrelated parallel machines Wotzlaw, Andreas, 2006
|
|
|
396 |
Searching for distant galaxy clusters Falter, Siegfried, 2006
|
|
|
397 |
Sensitivity analysis and efficient algorithms for some economic lot sizing and scheduling problems Chubanov, Sergei, 2006
|
|
|
398 |
Some methods and algorithms for computational linguistics Schmid, Helmut, 2006
|
|
|
399 |
Stochastic local search algorithms for multiobjective combinatorial optimization Paquete, Luís F.. - Berlin : Aka, 2006
|
|
|
400 |
The domatic number problem: Boolean hierarchy completeness and exact exponential time algorithms Riege, Tobias, 2006
|
|