Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Towards a Plug and Play Architecture for TelecommunicationsAagesen, Finn Arve ; Helvik, Bjarne E. ; Wuwongse, Vilas ; Meling, Hein ; Bræk, Rolv ; Johansen, UlrikIntelligence in Networks, p.321-334Boston, MA: Springer USTexto completo disponível |
|
2 |
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 |
|
3 |
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 |
|
4 |
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 |
|
5 |
Material Type: Capítulo de Livro
|
Embedded System Design Issues in Ambient IntelligenceAarts, Emile ; Roovers, RafAmbient Intelligence: Impact on Embedded Sytem Design, p.11-29Boston, MA: Springer USTexto completo disponível |
|
6 |
Material Type: Livro
|
CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, ProceedingsAbadi, Martín ; de Alfaro, LucaBerlin, Heidelberg: Springer Berlin / Heidelberg 2005Sem texto completo |
|
7 |
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 |
|
8 |
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 |
|
9 |
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 |
|
10 |
Material Type: Livro
|
Public-Key Cryptography - PKC 2018: 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part IIAbdalla, Michel ; Dahab, RicardoCham: Springer International Publishing AG 2018Sem texto completo |