Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
PARLE '91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 ProceedingsAarts, Emile H. L ; Leeuwen, Jan van ; Rem, MartinBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
PARLE '91 Parallel Architectures and Languages Europe: Volume II: Parallel Languages Eindhoven, The Netherlands, June 10–13, 1991 ProceedingsAarts, Emile H. L ; Leeuwen, Jan van ; Rem, Martin Aarts, Emile H. L. ; Rem, Martin ; van Leeuwen, JanBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Parle '91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, the Netherlands, June 10-13, 1991 ProceedingsAarts, Emile H. L ; van Leeuwen, Jan ; Rem, Martin Aarts, Emile H. L. ; Rem, Martin ; van Leeuwen, JanBerlin, Heidelberg: Springer Berlin / Heidelberg 1987Texto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human ErrorsAbascal, Julio ; Barbosa, Simone ; Fetter, Mirko ; Gross, Tom ; Palanque, Philippe ; Winckler, MarcoHuman-Computer Interaction - INTERACT 2015, 2015, Vol.9299 (Part IV), p.192-212 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
Social Interaction Design Patterns for Urban Media ArchitectureAbascal, Julio ; Barbosa, Simone ; Fetter, Mirko ; Gross, Tom ; Palanque, Philippe ; Winckler, MarcoHuman-Computer Interaction - INTERACT 2015, 2015, Vol.9298 (Part III), p.596-613 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
Modelling Smart Buildings Using Fault Maintenance TreesAbate, Alessandro ; Budde, Carlos E. ; Cauchi, Nathalie ; van Harmelen, Arnaud ; Hoque, Khaza Anuarul ; Stoelinga, MariëlleComputer Performance Engineering, 2018, p.110-125 [Periódico revisado por pares]Cham: Springer International PublishingSem texto completo |
7 |
Material Type: Ata de Congresso
|
![]() |
A Survey on Testing for Cyber Physical SystemAbbaspour Asadollah, Sara ; Inam, Rafia ; Hansson, HansLecture Notes in Computer Science, 2015, Vol.LNCS-9447, p.194-207 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Direct interaction among active data structures: A tool for building AI systemsAbbruzzese, F. ; Minicozzi, E.Trends in Artificial Intelligence, 2005, p.365-374 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
Homomorphic Signatures and Message Authentication CodesAbdalla, Michel ; De Prisco, RobertoSecurity and Cryptography for Networks, 2014, Vol.8642Switzerland: Springer International Publishing AGTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Program Obfuscation via Multilinear MapsAbdalla, Michel ; De Prisco, RobertoSecurity and Cryptography for Networks, 2014, Vol.8642Switzerland: Springer International Publishing AGTexto completo disponível |