skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Lecture Notes in Computer Science Archive (through to 1996) remover tipo de recurso: Livros remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries: 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, September 27, 2021, Revised Selected Papers, Part I
Material Type:
Livro
Adicionar ao Meu Espaço

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries: 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, September 27, 2021, Revised Selected Papers, Part I

Bakas, Spyridon ; Crimi, Alessandro

Cham: Springer Nature 2022

Texto completo disponível

2
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

3
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

4
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

5
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

6
Programming Languages and Systems: 31st European Symposium on Programming, ESOP 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

Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

Sergey, Ilya Sergey, Ilya

Cham: Springer Nature 2022

Texto completo disponível

7
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

8
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I
Material Type:
Livro
Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

Fisman, Dana ; Rosu, Grigore Rosu, Grigore ; Fisman, Dana

Cham: Springer Nature 2022

Texto completo disponível

9
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
Material Type:
Livro
Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Fisman, Dana ; Rosu, Grigore Rosu, Grigore ; Fisman, Dana

Cham: Springer Nature 2022

Texto completo disponível

10
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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1.244)

Data de Publicação 

De até
  1. Antes de1981  (44)
  2. 1981Até1990  (264)
  3. 1991Até2000  (1.238)
  4. 2001Até2011  (2.242)
  5. Após 2011  (1.597)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (4)
  2. Alemão  (2)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.