skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Online Dial-a-Ride Problems: Minimizing the Completion Time?
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Online Dial-a-Ride Problems: Minimizing the Completion Time?

Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.639-650 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

2
λ-Coloring of Graphs
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

λ-Coloring of Graphs

Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.395-406 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

3
Decidability of Reachability Problems for Classes of Two Counters Automata
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Decidability of Reachability Problems for Classes of Two Counters Automata

Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.346-357 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

4
The Data Broadcast Problem with Preemption
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

The Data Broadcast Problem with Preemption

Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.181-192 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

5
Linear Cellular Automata with Multiple State Variables
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Linear Cellular Automata with Multiple State Variables

Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.110-121 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

6
A New Algorithm for MAX-2-SAT?
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

A New Algorithm for MAX-2-SAT?

Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, Sophie

STACS 2000, 2000, Vol.1770, p.65-73 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

7
On the Performance of WEAK-HEAPSORT
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

On the Performance of WEAK-HEAPSORT

Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.254-266 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

8
Simulation and Bisimulation over One-Counter Processes
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Simulation and Bisimulation over One-Counter Processes

Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.334-345 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

9
Languages of Dot-Depth 3/2
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Languages of Dot-Depth 3/2

Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.555-566 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

10
Circuits versus Trees in Algebraic Complexity
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Circuits versus Trees in Algebraic Complexity

Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, Sophie

Lecture notes in computer science, 2000, Vol.1770, p.35-52 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Resultados 1 2 3 4 5 next page

Buscando em bases de dados remotas. Favor aguardar.