Resultados de 1 a 10 de 583 para Busca Geral
Mostrar Somente
- Recursos Online (581)
- Revistas revisadas por pares (205)
Refinado por:
Base de dados/Biblioteca:
SpringerLINK Lecture Notes in Computer Science (2016)
Springer Books
Springer Books
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Capítulo de Livro
|
|
An Incremental Proof-Based Process of the NetBill Electronic Commerce ProtocolAbdulla, Parosh Aziz ; Delporte-Gallet, CaroleNetworked Systems, 2016, Vol.9944, p.209-213 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 2 |
Material Type: Capítulo de Livro
|
|
Nonrepudiation Protocols Without a Trusted PartyAbdulla, 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 |
| 3 |
Material Type: Livro
|
|
Product-Focused Software Process Improvement: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, ProceedingsAbrahamsson, Pekka ; Jedlitschka, Andreas ; Nguyen Duc, Anh ; Felderer, Michael ; Amasaki, Sousuke ; Mikkonen, Tommi Jedlitschka, Andreas ; Felderer, Michael ; Nguyen Duc, Anh ; Abrahamsson, Pekka ; Jedlitschka, Andreas ; Nguyen Duc, Anh ; Felderer, Michael ; Abrahamsson, Pekka ; Amasaki, Sousuke ; Mikkonen, TommiCham: Springer Nature 2016Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Service-Oriented and Cloud Computing: 5th IFIP WG 2. 14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, ProceedingsAiello, Marco ; Johnsen, Einar Broch ; Dustdar, Schahram ; Georgievski, IlcheCham: Springer International Publishing AG 2016Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, ProceedingsAiello, Marco ; Johnsen, Einar Broch ; Dustdar, Schahram ; Georgievski, Ilche Aiello, Marco ; Georgievski, Ilche ; Dustdar, Schahram ; Johnsen, Einar Broch ; Dustdar, Schahram ; Aiello, Marco ; Georgievski, Ilche ; Johnsen, Einar BrochNetherlands: Springer Nature 2016Texto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Towards Cloud-Based Enactment of Safety-Related ProcessesAlajrami, Sami ; Gallina, Barbara ; Sljivo, Irfan ; Romanovsky, Alexander ; Isberg, PetterComputer Safety, Reliability, and Security, 2016, p.309-321 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
Software Development in the Post-PC Era: Towards Software Development as a ServiceAlajrami, Sami ; Romanovsky, Alexander ; Gallina, BarbaraLect. Notes Comput. Sci, 2016, p.662-671 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
Fencing Programs with Self-Invalidation and Self-DowngradeAlbert, Elvira ; Lanese, IvanFormal Techniques for Distributed Objects, Components, and Systems, 2016, Vol.9688, p.19-35 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 9 |
Material Type: Capítulo de Livro
|
|
A Type Theory for Robust Failure Handling in Distributed SystemsAlbert, Elvira ; Lanese, IvanFormal 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 |
| 10 |
Material Type: Capítulo de Livro
|
|
Branching Bisimulation GamesAlbert, Elvira ; Lanese, IvanFormal 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 |
Resultados de 1 a 10 de 583 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (581)
- Revistas revisadas por pares (205)
Refinar Meus Resultados
Tipo de Recurso
- Book Chapters (460)
- Livros (101)
- Anais de Congresso (21)
- Recursos Textuais (1)
-
Mais opções
Assunto
- Computer Science (322)
- Information Architecture (279)
- Computer Security (167)
- Technology (163)
- Science & Technology (162)
- Data Encryption (161)
- Computer Science, Theory & Methods (140)
- Software Engineering (133)
- Computer Architecture & Logic Design (112)
- Computer Science, Software Engineering (111)
- Computer Science, Information Systems (99)
- Computers (94)
- Network Hardware (94)
- Information Retrieval (92)
- Ebooks Springer Lecture Notes In Computer Science (88)
- E-Book Springer Lncs (88)
- Congresses (87)
- Computer Programming, Programs, Data (78)
- Business & Economics (69)
- Systems Analysis & Design (68)
-
Mais opções
Base de Dados/Biblioteca
- Springer Nature - Springer Computer Science eBooks 2016 English International (583)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (583)
- SpringerLINK Lecture Notes in Computer Science (2015) (583)
- Lecture Notes in Computer Science Archive (through to 1996) (270)
- OAPEN (17)
- DOAB: Directory of Open Access Books (17)
- Recercat (9)
- NORA - Norwegian Open Research Archives (3)
- SpringerLink Fully Open Access Books (1)
- SpringerOpen (1)
- Manchester University Research Explorer (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 