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
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Křetínský, Jan ; Kiefer, Stefan ; Kučera, Antonín

Cham: Springer Nature Switzerland 2024

Sem texto completo

Citações Citado por
2
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Bruynooghe, Maurice Bruynooghe, Maurice

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
3
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Berardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio Berardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
4
Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings
Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings

Cousot, Patrick ; Falaschi, Moreno ; Filé, Gilberto ; Rauzy, Antoine Cousot, Patrick ; Rauzy, Antoine ; Falaschi, Moreno ; Filé, Gilberto

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

Citações Citado por
5
Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings
Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings

Crnkovic, Ivica ; Stafford, Judith A ; Schmidt, Heinz W ; Wallnau, Kurt Wallnau, Kurt ; Stafford, Judith A. ; Crnkovic, Ivica ; Schmidt, Heinz W.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
6
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

Bowen, Jonathan P ; Hinchey, Michael G Bowen, Jonathan P. ; Hinchey, Michael G.

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
7
Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Roggenbach, Markus

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
8
Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Fiadeiro, José ; Țuțu, Ionuț Fiadeiro, José Luiz ; Țuțu, Ionuț

Cham: Springer International Publishing 2019

Sem texto completo

Citações Citado por
9
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Pacholski, Leszek ; Tiuryn, Jerzy Pacholski, Leszek ; Tiuryn, Jerzy

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
10
Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings

Casola, Valentina ; de Benedictis, Alessandra ; Rak, Massimiliano Casola, Valentina ; De Benedictis, Alessandra ; Rak, Massimiliano

Cham: Springer International Publishing 2020

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (1.667)
  2. Anais de Congresso  (1.167)
  3. Artigos  (439)
  4. Book Chapters  (10)
  5. Dissertações  (3)
  6. Recursos Textuais  (2)
  7. Reports  (1)
  8. magazinearticle  (1)
  9. Web Resources  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1985  (18)
  2. 1985Até1993  (122)
  3. 1994Até2002  (534)
  4. 2003Até2012  (1.090)
  5. Após 2012  (1.258)
  6. Mais opções open sub menu

Idioma 

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

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

Buscando em bases de dados remotas. Favor aguardar.