skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings
Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings

Urban, Caterina ; Singh, Gagandeep

Cham: Springer Nature Switzerland

Sem texto completo

Citações Citado por
2
Accelerator Programming Using Directives: 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings
Accelerator Programming Using Directives: 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Accelerator Programming Using Directives: 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings

Bhalachandra, Sridutt ; Melesse Vergara, Verónica ; Daley, Christopher

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
3
Inductive Logic Programming: 30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings
Inductive Logic Programming: 30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive Logic Programming: 30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings

Artikis, Alexander ; Katzouris, Nikos

Cham: Springer International Publishing 2022

Sem texto completo

Citações Citado por
4
Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers
Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers

Zsók, Viktória ; Hughes, John

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
5
Accelerator Programming Using Directives: 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings
Accelerator Programming Using Directives: 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Accelerator Programming Using Directives: 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings

Bhalachandra, Sridutt ; Chandrasekaran, Sunita ; Wienke, Sandra ; Juckeland, Guido

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
6
Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Deshmukh, Jyotirmoy ; Ničković, Dejan

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
7
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Chang, Bor-Yuh Evan

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
8
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

Peltier, Nicolas ; Sofronie-Stokkermans, Viorica

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
9
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Peltier, Nicolas ; Sofronie-Stokkermans, Viorica

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
10
Accelerator Programming Using Directives: 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers
Accelerator Programming Using Directives: 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Accelerator Programming Using Directives: 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers

Wienke, Sandra ; Bhalachandra, Sridutt

Cham: Springer International Publishing

Sem texto completo

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (12.054)
  2. Revistas revisadas por pares (11.385)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (9.827)
  2. Livros  (1.935)
  3. Anais de Congresso  (1.153)
  4. Reports  (43)
  5. Resenhas  (43)
  6. Book Chapters  (7)
  7. magazinearticle  (7)
  8. Dissertações  (5)
  9. Recursos Textuais  (2)
  10. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1977  (40)
  2. 1977Até1987  (249)
  3. 1988Até1998  (636)
  4. 1999Até2010  (1.789)
  5. Após 2010  (10.375)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (12.941)
  2. Japonês  (246)
  3. Alemão  (90)
  4. Francês  (3)
  5. Norueguês  (3)
  6. Tcheco  (2)
  7. Português  (1)
  8. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.