skip to main content
Idioma:
Resultados 1 2 3 next page
Refinado por: Base de dados/Biblioteca: DOAB: Directory of Open Access Books remover tipo de recurso: Livros remover SpringerLINK Lecture Notes in Computer Science (2015) remover Springer Books remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet
High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet
Material Type:
Livro 		Adicionar ao Meu Espaço

High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet

Kołodziej, Joanna ; González-Vélez, Horacio Kołodziej, Joanna ; González-Vélez, Horacio

Netherlands: Springer Nature 2019

Texto completo disponível

Citações Citado por
2
Participative Urban Health and Healthy Aging in the Age of AI: 19th International Conference, ICOST 2022, Paris, France, June 27–30, 2022, Proceedings
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

Citações Citado por
3
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
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

Citações Citado por
4
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II
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

Citações Citado por
5
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
Material Type:
Livro 		Adicionar ao Meu Espaço

Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405

Ulidowski, Irek ; Lanese, Ivan ; Schultz, Ulrik Pagh ; Ferreira, Carla Lanese, Ivan ; Schultz, Ulrik Pagh ; Ulidowski, Irek ; Ferreira, Carla ; Ulidowski, Irek ; Ferreira, Carla

Netherlands: Springer Nature 2020

Texto completo disponível

Citações Citado por
6
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

Biere, Armin ; Parker, David

Cham: Springer International Publishing AG 2020

Texto completo disponível

Citações Citado por
7
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
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

Citações Citado por
8
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

Biere, Armin ; Parker, David

Cham: Springer International Publishing AG 2020

Texto completo disponível

Citações Citado por
9
Supercomputing Frontiers: 7th Asian Conference, SCFA 2022, Singapore, March 1–3, 2022, Proceedings
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

Citações Citado por
10
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Wehrheim, Heike ; Cabot, Jordi Wehrheim, Heike ; Cabot, Jordi

Netherlands: Springer Nature 2020

Texto completo disponível

Citações Citado por
Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2014  (3)
  2. 2014Até2017  (2)
  3. 2018Até2019  (12)
  4. 2020Até2022  (11)
  5. Após 2022  (1)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.