Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
On the Scalability of Constraint Solving for Static/Off-Line Real-Time SchedulingSankaranarayanan, Sriram ; Vicario, EnricoFormal Modeling and Analysis of Timed Systems, 2015, Vol.9268, p.108-123 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
X.509 Forensics: Detecting and Localising the SSL/TLS Men-in-the-MiddleHolz, Ralph ; Riedmaier, Thomas ; Kammenhuber, Nils ; Carle, GeorgComputer Security – ESORICS 2012, p.217-234 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Scratching the Scale LabyrinthMilne, Andrew J. ; Carlé, Martin ; Sethares, William A. ; Noll, Thomas ; Holland, SimonMathematics and Computation in Music, p.180-195 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |