skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Participative Urban Health and Healthy Aging in the Age of AI: 19th International Conference, ICOST 2022, Paris, France, June 27–30, 2022, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Participative Urban Health and Healthy Aging in the Age of AI: 19th International Conference, ICOST 2022, Paris, France, June 27–30, 2022, Proceedings

Aloulou, Hamdi ; Abdulrazak, Bessam ; de Marassé-Enouf, Antoine ; Mokhtari, Mounir Aloulou, Hamdi ; Abdulrazak, Bessam ; de Marassé-Enouf, Antoine ; Mokhtari, Mounir

Cham: Springer Nature 2022

Texto completo disponível

2
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

Shoham, Sharon ; Vizel, Yakir Shoham, Sharon ; Vizel, Yakir

Cham: Springer Nature 2022

Texto completo disponível

3
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Shoham, Sharon ; Vizel, Yakir Shoham, Sharon ; Vizel, Yakir

Cham: Springer Nature 2022

Texto completo disponível

4
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings

Cavalcanti, Ana ; Beyer, Dirk

Cham: Springer Nature 2024

Texto completo disponível

5
Supercomputing Frontiers: 7th Asian Conference, SCFA 2022, Singapore, March 1–3, 2022, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Supercomputing Frontiers: 7th Asian Conference, SCFA 2022, Singapore, March 1–3, 2022, Proceedings

Panda, Dhabaleswar K ; Sullivan, Michael Sullivan, Michael ; Panda, Dhabaleswar K

Cham: Springer Nature 2022

Texto completo disponível

6
The Once-Only Principle: The TOOP Project
Material Type:
Livro
Adicionar ao Meu Espaço

The Once-Only Principle: The TOOP Project

Krimmer, Robert ; Prentza, Andriana ; Mamrot, Szymon Mamrot, Szymon ; Krimmer, Robert ; Prentza, Andriana ; Mamrot, Szymon ; Prentza, Andriana

Netherlands: Springer Nature 2021

Texto completo disponível

7
Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

Johnsen, Einar Broch ; Wimmer, Manuel Wimmer, Manuel ; Johnsen, Einar Broch

Cham: Springer Nature 2022

Texto completo disponível

8
Cybersecurity of Digital Service Chains: Challenges, Methodologies, and Tools
Material Type:
Livro
Adicionar ao Meu Espaço

Cybersecurity of Digital Service Chains: Challenges, Methodologies, and Tools

Kołodziej, Joanna ; Repetto, Matteo ; Duzha, Armend Duzha, Armend ; Kołodziej, Joanna ; Repetto, Matteo ; Repetto, Matteo ; Duzha, Armend ; Kołodziej, Joanna

Cham: Springer Nature 2022

Texto completo disponível

9
Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Ahmed, Amal Ahmed, Amal

Cham: Springer Open 2018

Texto completo disponível

10
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Material Type:
Livro
Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Beyer, Dirk ; Huisman, Marieke Huisman, Marieke ; Beyer, Dirk

Cham: Springer Nature 2018

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de2012  (1)
  2. 2012Até2013  (1)
  3. 2014Até2015  (1)
  4. 2016Até2018  (5)
  5. Após 2018  (9)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.