Resultados de 1 a 10 de 68 para Busca Geral
Mostrar Somente
Refinado por:
tipo de recurso:
Book Chapters
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Capítulo de Livro
|
|
Assembly of Molecular Solids via Non‐covalent InteractionsAakeröy, Christer B ; Schultheiss, Nate Grepioni, Fabrizia ; Braga, DarioMaking Crystals by Design, 2006, p.209-240Weinheim, Germany: Wiley‐VCH Verlag GmbH & Co. KGaATexto completo disponível |
| 2 |
Material Type: Capítulo de Livro
|
|
Asynchronous Coordination of Stateful Autonomic Managers in the CloudBraga, Christiano ; Ölveczky, Peter CsabaFormal Aspects of Component Software, 2016, Vol.9539, p.48-65 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 3 |
Material Type: Capítulo de Livro
|
|
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud ComputingBraga, Christiano ; Ölveczky, Peter CsabaFormal Aspects of Component Software, 2016, Vol.9539, p.66-85 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 4 |
Material Type: Capítulo de Livro
|
|
A Contract-Oriented MiddlewareBraga, Christiano ; Ölveczky, Peter CsabaFormal Aspects of Component Software, 2016, Vol.9539, p.86-104 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 5 |
Material Type: Capítulo de Livro
|
|
OnPlan: A Framework for Simulation-Based Online PlanningBraga, Christiano ; Ölveczky, Peter CsabaFormal Aspects of Component Software, 2016, Vol.9539, p.1-30 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 6 |
Material Type: Capítulo de Livro
|
|
A Robust Framework for Securing Composed Web ServicesBraga, Christiano ; Ölveczky, Peter CsabaFormal Aspects of Component Software, 2016, Vol.9539, p.105-122 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 7 |
Material Type: Capítulo de Livro
|
|
Combinatory Synthesis of Classes Using Feature GrammarsBraga, Christiano ; Ölveczky, Peter CsabaFormal Aspects of Component Software, 2016, Vol.9539, p.123-140 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL ModelsBraga, Christiano ; Ölveczky, Peter CsabaFormal Aspects of Component Software, 2016, Vol.9539, p.141-160 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 9 |
Material Type: Capítulo de Livro
|
|
An Operational Semantics of BPMN CollaborationBraga, Christiano ; Ölveczky, Peter CsabaFormal Aspects of Component Software, 2016, Vol.9539, p.161-180 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 10 |
Material Type: Capítulo de Livro
|
|
Crystal Polymorphism: Challenges at the Crossroads of Science and TechnologyBraga, Dario ; Bernstein, Joel Grepioni, Fabrizia ; Braga, DarioMaking Crystals by Design, 2006, p.293-314Weinheim, Germany: Wiley‐VCH Verlag GmbH & Co. KGaATexto completo disponível |
Resultados de 1 a 10 de 68 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Science & Technology (18)
- Technology (18)
- Computer Science (17)
- Science & Technology - Other Topics (17)
- Computer Science, Software Engineering (16)
- Software Engineering (16)
- Computer Science, Theory & Methods (16)
- Logic (16)
- Computer Science, Information Systems (15)
- Andalusia Spain (5)
- Guidebook (5)
- Iberian Peninsula (5)
- Almeria Spain (5)
- Tertiary (5)
- Cenozoic (5)
- Spain (5)
- Neogene (5)
- Europe (5)
- Southern Europe (5)
- Stratigraphy (4)
-
Mais opções
Data de Publicação
- Antes de2000 (2)
- 2000Até2005 (8)
- 2006Até2008 (26)
- 2009Até2015 (18)
- Após 2015 (32)
-
Mais opções
Base de Dados/Biblioteca
- Wiley Online Library All Obooks (32)
- SpringerLINK Lecture Notes in Computer Science (2015) (18)
- Lecture Notes in Computer Science Archive (through to 1996) (18)
- Springer Books (17)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (16)
- Springer Nature - Springer Computer Science eBooks 2016 English International (15)
- SpringerLINK Lecture Notes in Computer Science (2016) (15)
- JSTOR eBooks (12)
- DOAB: Directory of Open Access Books (12)
- JSTOR eBooks: Open Access (12)
- Wiley Online Book 2010 to present (11)
- ScienceDirect All Access ebooks (4)
- ScienceDirect eBooks (4)
- Springer Nature - Springer Journals All 2022 (1)
- ZORA (1)
- Springer Nature - Springer Medicine eBooks 2006 English International (1)
- Springer Nature - Springer Computer Science eBooks 2015 English International (1)
- SpringerLINK Lecture Notes in Computer Science (2014) (1)
- SpringerLink (Online service) (1)
-
Mais opções
Idioma
- Francês (1)
- Alemão (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 