skip to main content
Refinado por: Base de dados/Biblioteca: EZB Electronic Journals Library remover Base de dados/Biblioteca: Lecture Notes in Computer Science Archive (through to 1996) remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Minimal Obstructions for Partial Representations of Interval Graphs
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Minimal Obstructions for Partial Representations of Interval Graphs

Klavík, Pavel ; Saumell, Maria

Algorithms and Computation, 2014, p.401-413 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

2
Quantifying Information Leakage of Randomized Protocols
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Quantifying Information Leakage of Randomized Protocols

Biondi, Fabrizio ; Legay, Axel ; Malacaria, Pasquale ; Wąsowski, Andrzej

Theoretical computer science, 2013, p.68-87 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

3
On the Number of Connected Sets in Bounded Degree Graphs
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

On the Number of Connected Sets in Bounded Degree Graphs

Kratsch, Dieter ; Todinca, Ioan

Graph-Theoretic Concepts in Computer Science, 2014, Vol.8747, p.336-347 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

4
Using Models to Model-Check Recursive Schemes
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Using Models to Model-Check Recursive Schemes

Salvati, Sylvain ; Walukiewicz, Igor

Logical methods in computer science, 2013, Vol.11, p.189-204 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.