Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Libro
|
Online Dial-a-Ride Problems: Minimizing the Completion Time?Ascheuer, Norbert ; Krumke, Sven O. ; Rambau, Jörg Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.639-650 [Revista revisada por pares]Germany: Springer Berlin / HeidelbergTexto completo disponible |
|
2 |
Material Type: Capítulo de Libro
|
λ-Coloring of GraphsBodlaender, Hans L. ; Kloks, Ton ; Tan, Richard B. ; van Leeuwen, Jan Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.395-406 [Revista revisada por pares]Germany: Springer Berlin / HeidelbergTexto completo disponible |
|
3 |
Material Type: Capítulo de Libro
|
Decidability of Reachability Problems for Classes of Two Counters AutomataFinkel, Alain ; Sutre, Grégoire Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.346-357 [Revista revisada por pares]Germany: Springer Berlin / HeidelbergTexto completo disponible |
|
4 |
Material Type: Capítulo de Libro
|
Linear Cellular Automata with Multiple State VariablesKari, Jarkko Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.110-121 [Revista revisada por pares]Germany: Springer Berlin / HeidelbergTexto completo disponible |
|
5 |
Material Type: Capítulo de Libro
|
On the Performance of WEAK-HEAPSORTEdelkamp, Stefan ; Wegener, Ingo Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.254-266 [Revista revisada por pares]Germany: Springer Berlin / HeidelbergTexto completo disponible |
|
6 |
Material Type: Capítulo de Libro
|
Languages of Dot-Depth 3/2GLASSER, C ; SCHMITZ, H Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.555-566 [Revista revisada por pares]Germany: Springer Berlin / HeidelbergTexto completo disponible |
|
7 |
Material Type: Capítulo de Libro
|
Distance Labeling Schemes for Well-Separated Graph ClassesKatz, Michal ; Katz, Nir A. ; Peleg, David Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.516-528 [Revista revisada por pares]Germany: Springer Berlin / HeidelbergTexto completo disponible |
|
8 |
Material Type: Capítulo de Libro
|
Polynomial Time Approximation Schemes for the Multiprocessor Open and Flow Shop Scheduling Problem?Jansen, Klaus ; Sviridenko, Maxim I. Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.455-465 [Revista revisada por pares]Germany: Springer Berlin / HeidelbergTexto completo disponible |
|
9 |
Material Type: Capítulo de Libro
|
Circuits versus Trees in Algebraic ComplexityKoiran, Pascal Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.35-52 [Revista revisada por pares]Germany: Springer Berlin / HeidelbergTexto completo disponible |
|
10 |
Material Type: Capítulo de Libro
|
A Classification of Symbolic Transition Systems?Henzinger, Thomas A. ; Majumdar, Rupak Reichel, Horst ; Tison, Sophie ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.13-34 [Revista revisada por pares]Germany: Springer Berlin / HeidelbergTexto completo disponible |