skip to main content
Idioma:
Resultados 1 2 3 4 next page
Refinado por: assunto: Telecommunication remover OAPEN remover Base de dados/Biblioteca: Springer Books remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet
High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet
Material Type:
Livro 		Adicionar ao Meu Espaço

High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet

Kołodziej, Joanna ; González-Vélez, Horacio Kołodziej, Joanna ; González-Vélez, Horacio

Netherlands: Springer Nature 2019

Texto completo disponível

Citações Citado por
2
Cyber Security: 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers
Cyber Security: 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Cyber Security: 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers

Lu, Wei ; Wen, Qiaoyan ; Zhang, Yuqing ; Lang, Bo ; Wen, Weiping ; Yan, Hanbing ; Li, Chao ; Ding, Li ; Li, Ruiguang ; Zhou, Yu Lu, Wei ; Lang, Bo ; Wen, Qiaoyan ; Zhang, Yuqing

Netherlands: Springer Nature 2021

Texto completo disponível

Citações Citado por
3
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
Material Type:
Livro 		Adicionar ao Meu Espaço

Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405

Ulidowski, Irek ; Lanese, Ivan ; Schultz, Ulrik Pagh ; Ferreira, Carla Lanese, Ivan ; Schultz, Ulrik Pagh ; Ulidowski, Irek ; Ferreira, Carla

Netherlands: Springer Nature 2020

Texto completo disponível

Citações Citado por
4
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

Groote, Jan Friso ; Larsen, Kim Guldstrand Groote, Jan Friso ; Larsen, Kim Guldstrand

Cham: Springer Nature 2021

Texto completo disponível

Citações Citado por
5
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

Groote, Jan Friso ; Larsen, Kim Guldstrand Groote, Jan Friso ; Larsen, Kim Guldstrand

Cham: Springer Nature 2021

Texto completo disponível

Citações Citado por
6
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Wehrheim, Heike ; Cabot, Jordi Wehrheim, Heike ; Cabot, Jordi

Netherlands: Springer Nature 2020

Texto completo disponível

Citações Citado por
7
The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings
The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings

Jmaiel, Mohamed ; Mokhtari, Mounir ; Abdulrazak, Bessam ; Aloulou, Hamdi ; Kallel, Slim Abdulrazak, Bessam ; Jmaiel, Mohamed ; Mokhtari, Mounir ; Aloulou, Hamdi

Netherlands: Springer Nature 2020

Texto completo disponível

Citações Citado por
8
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Lahiri, Shuvendu K ; Wang, Chao

Cham: Springer International Publishing AG 2020

Texto completo disponível

Citações Citado por
9
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Lahiri, Shuvendu K ; Wang, Chao

Cham: Springer International Publishing AG 2020

Texto completo disponível

Citações Citado por
10
The Hackable City: Digital Media and Collaborative City-Making in the Network Society
The Hackable City: Digital Media and Collaborative City-Making in the Network Society
Material Type:
Livro 		Adicionar ao Meu Espaço

The Hackable City: Digital Media and Collaborative City-Making in the Network Society

de Lange, Michiel ; de Waal, Martijn

Singapore: Springer Singapore Pte. Limited 2018

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2013  (3)
  2. 2013Até2015  (4)
  3. 2016Até2018  (9)
  4. 2019Até2021  (19)
  5. Após 2021  (1)
  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.