skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer Algebra in Scientific Computing: 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Algebra in Scientific Computing: 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

Koepf, Wolfram ; Seiler, Werner M. ; England, Matthew ; Sadykov, Timur M. ; Vorozhtsov, Evgenii V.

Cham: Springer International Publishing 2019

Sem texto completo

2
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

Laarman, Alfons ; Sokolova, Ana

Cham: Springer International Publishing

Sem texto completo

3
Computer Algebra in Scientific Computing: 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Algebra in Scientific Computing: 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Gerdt, Vladimir P. ; Vorozhtsov, Evgenii V. ; Koepf, Wolfram ; Seiler, Werner M.

Cham: Springer International Publishing 2018

Sem texto completo

4
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

5
Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

Fisman, Dana ; Feng, Lu

Cham: Springer International Publishing

Sem texto completo

6
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Finkbeiner, Bernd ; Mariani, Leonardo

Cham: Springer International Publishing 2019

Sem texto completo

7
Product-Focused Software Process Improvement: 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Product-Focused Software Process Improvement: 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings

Morisio, Maurizio ; Ardito, Luca ; Jedlitschka, Andreas ; Torchiano, Marco

Cham: Springer International Publishing

Sem texto completo

8
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

Falcone, Yliès ; Sánchez, César S'nchez, C'sar ; Falcone, Yli's ; Sánchez, César ; Falcone, Yliès

Cham: Springer Nature 2016

Texto completo disponível

9
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Leucker, Martin ; Colombo, Christian

Cham: Springer International Publishing

Sem texto completo

10
Software Architecture: 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Software Architecture: 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings

Weyns, Danny ; Navarro, Elena ; Sirjani, Marjan ; Biffl, Stefan ; Mirandola, Raffaela ; Löwe, Welf

Cham: Springer International Publishing

Sem texto completo

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 (2.319)
  2. Revistas revisadas por pares (933)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (2.485)
  2. Anais de Congresso  (8)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1990  (37)
  2. 1990Até1997  (108)
  3. 1998Até2005  (922)
  4. 2006Até2014  (1.391)
  5. Após 2014  (600)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.