skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Nature - Springer Lecture Notes in Computer Science eBooks remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Lambers, Leen ; Uchitel, Sebastián

Cham: Springer Nature 2023

Texto completo disponível

Citações Citado por
2
Mare-Wint : New Materials and Reliability in offshore Wind Turbine Technology
Mare-Wint : New Materials and Reliability in offshore Wind Turbine Technology
Material Type:
Livro 		Adicionar ao Meu Espaço

Mare-Wint : New Materials and Reliability in offshore Wind Turbine Technology

Ostachowicz, Wiesław ; McGugan, Malcolm ; Schröder-Hinrichs, Jens-Uwe Schröder-Hinrichs, Jens-Uwe ; McGugan, Malcolm ; Luczak, Marcin ; Ostachowicz, Wiesław

Cham: Springer Open 2016

Texto completo disponível

Citações Citado por
3
The Price of Uncertainty in Present-Biased Planning
The Price of Uncertainty in Present-Biased Planning
Material Type:
Livro 		Adicionar ao Meu Espaço

The Price of Uncertainty in Present-Biased Planning

R. Devanur, Nikhil ; Lu, Pinyan

Web and Internet Economics, 2017, Vol.10660, p.325-339 [Periódico revisado por pares]

Switzerland: Springer Open

Texto completo disponível

Citações Citado por
4
Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Bauer, Lujo ; Küsters, Ralf K'sters, Ralf ; Bauer, Lujo ; Küsters, Ralf

Cham: Springer Open 2018

Texto completo disponível

Citações Citado por
5
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Beyer, Dirk ; Huisman, Marieke Huisman, Marieke ; Beyer, Dirk

Cham: Springer Nature 2018

Texto completo disponível

Citações Citado por
6
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Beyer, Dirk ; Huisman, Marieke Huisman, Marieke ; Beyer, Dirk

Cham: Springer Nature 2018

Texto completo disponível

Citações Citado por
7
Computational Science – ICCS 2022: 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part III
Computational Science – ICCS 2022: 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part III
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational Science – ICCS 2022: 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part III

Groen, Derek ; Sloot, Peter M. A ; Dongarra, Jack J ; Krzhizhanovskaya, Valeria V ; Paszynski, Maciej ; de Mulatier, Clélia

Cham: Springer Nature 2022

Texto completo disponível

Citações Citado por
8
Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings
Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings

de Supinski, Bronis R ; Abramson, David

Springer Nature 2019

Texto completo disponível

Citações Citado por
9
Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Sobocinski, Pawel ; Kupferman, Orna

Cham: Springer Nature 2023

Texto completo disponível

Citações Citado por
10
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I

Sankaranarayanan, Sriram ; Sharygina, Natasha

Cham: Springer Nature 2023

Texto completo disponível

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

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2014  (3)
  2. 2014Até2015  (3)
  3. 2016Até2017  (14)
  4. 2018Até2022  (17)
  5. Após 2022  (14)
  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.