skip to main content
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling

Sankaranarayanan, Sriram ; Vicario, Enrico

Formal Modeling and Analysis of Timed Systems, 2015, Vol.9268, p.108-123 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

2
X.509 Forensics: Detecting and Localising the SSL/TLS Men-in-the-Middle
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

X.509 Forensics: Detecting and Localising the SSL/TLS Men-in-the-Middle

Holz, Ralph ; Riedmaier, Thomas ; Kammenhuber, Nils ; Carle, Georg

Computer Security – ESORICS 2012, p.217-234 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

3
Scratching the Scale Labyrinth
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Scratching the Scale Labyrinth

Milne, Andrew J. ; Carlé, Martin ; Sethares, William A. ; Noll, Thomas ; Holland, Simon

Mathematics and Computation in Music, p.180-195 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Buscando em bases de dados remotas. Favor aguardar.