Resultados de 11 a 20 de 1.187 para Busca Geral
Mostrar Somente
Refinado por:
Base de dados/Biblioteca:
Springer Nature - Springer Computer Science eBooks 2016 English International
Springer Books
tipo de recurso:
Book Chapters
Springer Books
tipo de recurso:
Book Chapters
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
Material Type: Capítulo de Livro
|
|
Branching Bisimulation GamesAlbert, Elvira ; Lanese, Ivan Albert, Elvira ; Lanese, Ivan ; Lanese, Ivan ; Albert, ElviraFormal Techniques for Distributed Objects, Components, and Systems, 2016, Vol.9688, p.142-157 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 12 |
Material Type: Capítulo de Livro
|
|
Playing with Our CAT and Communication-Centric ApplicationsAlbert, Elvira ; Lanese, Ivan Albert, Elvira ; Lanese, Ivan ; Lanese, Ivan ; Albert, ElviraFormal Techniques for Distributed Objects, Components, and Systems, 2016, Vol.9688, p.62-73 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 13 |
Material Type: Capítulo de Livro
|
|
A Type Theory for Robust Failure Handling in Distributed SystemsAlbert, Elvira ; Lanese, Ivan Albert, Elvira ; Lanese, Ivan ; Lanese, Ivan ; Albert, ElviraFormal Techniques for Distributed Objects, Components, and Systems, 2016, Vol.9688, p.96-113 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 14 |
Material Type: Capítulo de Livro
|
|
Specification-Based Synthesis of Distributed Self-Stabilizing ProtocolsAlbert, Elvira ; Lanese, Ivan Albert, Elvira ; Lanese, Ivan ; Lanese, Ivan ; Albert, ElviraFormal Techniques for Distributed Objects, Components, and Systems, 2016, Vol.9688, p.124-141 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 15 |
Material Type: Capítulo de Livro
|
|
Ransomware Steals Your Phone. Formal Methods Rescue ItAlbert, Elvira ; Lanese, Ivan Albert, Elvira ; Lanese, Ivan ; Lanese, Ivan ; Albert, ElviraFormal Techniques for Distributed Objects, Components, and Systems, 2016, Vol.9688, p.212-221 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 16 |
Material Type: Capítulo de Livro
|
|
On the Power of Attribute-Based CommunicationAlbert, Elvira ; Lanese, Ivan Albert, Elvira ; Lanese, Ivan ; Lanese, Ivan ; Albert, ElviraFormal Techniques for Distributed Objects, Components, and Systems, 2016, Vol.9688, p.1-18 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 17 |
Material Type: Capítulo de Livro
|
|
A Framework for Certified Self-StabilizationAlbert, Elvira ; Lanese, Ivan Albert, Elvira ; Lanese, Ivan ; Lanese, Ivan ; Albert, ElviraFormal Techniques for Distributed Objects, Components, and Systems, 2016, Vol.9688, p.36-51 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 18 |
Material Type: Capítulo de Livro
|
|
Developing Honest Java Programs with DiogenesAlbert, Elvira ; Lanese, Ivan Albert, Elvira ; Lanese, Ivan ; Lanese, Ivan ; Albert, ElviraFormal Techniques for Distributed Objects, Components, and Systems, 2016, Vol.9688, p.52-61 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 19 |
Material Type: Capítulo de Livro
|
|
An Energy Efficient Algorithm for Virtual Machine Allocation in Cloud DatacentersAli, Ahmad ; Lu, Li ; Zhu, Yanmin ; Yu, Jiadi Li, Lian ; Wu, JunJie ; Wu, Junjie ; Li, LianAdvanced Computer Architecture, 2016, Vol.626, p.61-72 [Periódico revisado por pares]Singapore: Springer Singapore Pte. LimitedTexto completo disponível |
| 20 |
Material Type: Capítulo de Livro
|
|
Nonrepudiation Protocols Without a Trusted PartyAli, Muqeet ; Reaz, Rezwana ; Gouda, Mohamed G. Abdulla, Parosh Aziz ; Delporte-Gallet, Carole ; Abdulla, Parosh Aziz ; Delporte-Gallet, CaroleNetworked Systems, 2016, Vol.9944, p.1-15 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
Resultados de 11 a 20 de 1.187 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Information Architecture (668)
- Science & Technology (414)
- Computer Science (382)
- Technology (314)
- Software Engineering (190)
- Computer Science, Theory & Methods (183)
- Computer Architecture & Logic Design (177)
- Computer Science, Hardware & Architecture (162)
- Computer Science, Software Engineering (156)
- Computer Science, Information Systems (151)
- Computer Security (130)
- Data Encryption (122)
- User Interface Design & Usability (120)
- Graphical & Digital Media Applications (111)
- Mathematics (104)
- Physical Sciences (102)
- Science & Technology - Other Topics (101)
- Multidisciplinary Sciences (100)
- Physics (100)
- Physics, Mathematical (100)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (462)
- SpringerLINK Lecture Notes in Computer Science (2016) (461)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (461)
- Lecture Notes in Computer Science Archive (through to 1996) (166)
- OAPEN (15)
- DOAB: Directory of Open Access Books (15)
- Recercat (6)
- NORA - Norwegian Open Research Archives (3)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 