skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: OAPEN remover tipo de recurso: Livros remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Modern Cryptography Volume 1: A Classical Introduction to Informational and Mathematical Principle
Modern Cryptography Volume 1: A Classical Introduction to Informational and Mathematical Principle
Material Type:
Livro 		Adicionar ao Meu Espaço

Modern Cryptography Volume 1: A Classical Introduction to Informational and Mathematical Principle

Zheng, Zhiyong

Singapore: Springer Nature 2022

Texto completo disponível

Citações Citado por
2
Algorithms for Big Data: DFG Priority Program 1736
Algorithms for Big Data: DFG Priority Program 1736
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithms for Big Data: DFG Priority Program 1736

Bast, Hannah ; Korzen, Claudius ; Meyer, Ulrich ; Penschuck, Manuel Penschuck, Manuel ; Meyer, Ulrich ; Bast, Hannah ; Korzen, Claudius

Cham: Springer Nature 2022

Texto completo disponível

Citações Citado por
3
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 ; de Mulatier, Clélia ; Paszynski, Maciej ; Krzhizhanovskaya, Valeria V ; Dongarra, Jack J ; Sloot, Peter M. A Groen, Derek ; Sloot, Peter M. A ; Dongarra, Jack J ; Krzhizhanovskaya, Valeria V ; Paszynski, Maciej ; de Mulatier, Clélia ; Groen, Derek ; Paszynski, Maciej ; Sloot, Peter M. A. ; Dongarra, Jack J. ; Krzhizhanovskaya, Valeria V. ; de Mulatier, Clélia

Cham: Springer Nature 2022

Texto completo disponível

Citações Citado por
4
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

Biere, Armin ; Parker, David

Cham: Springer International Publishing AG 2020

Texto completo disponível

Citações Citado por
5
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

Biere, Armin ; Parker, David

Cham: Springer International Publishing AG 2020

Texto completo disponível

Citações Citado por
6
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 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

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Goubault-Larrecq, Jean ; König, Barbara Goubault-Larrecq, Jean ; König, Barbara

Netherlands: Springer Nature 2020

Texto completo disponível

Citações Citado por
7
Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 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

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Baier, Christel ; Dal Lago, Ugo Baier, Christel ; Dal Lago, Ugo

Cham: Springer Open 2018

Texto completo disponível

Citações Citado por
8
Finite Difference Computing With Pdes : a Modern Software Approach
Finite Difference Computing With Pdes : a Modern Software Approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Finite Difference Computing With Pdes : a Modern Software Approach

Langtangen, Hans Petter ; Linge, Svein Linge, Svein

Cham: Springer Open 2017

Texto completo disponível

Citações Citado por
9
Variant Construction from Theoretical Foundation to Applications
Variant Construction from Theoretical Foundation to Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Variant Construction from Theoretical Foundation to Applications

Zheng, Jeffrey Zheng, Jeffrey

Singapore: Springer Nature 2019

Texto completo disponível

Citações Citado por
10
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Bojańczyk, Mikołaj ; Simpson, Alex Simpson, Alex ; Bojańczyk, Mikołaj

Netherlands: Springer Nature 2019

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

Data de Publicação 

De até
Refinar
  1. Antes de2009  (13)
  2. 2009Até2011  (20)
  3. 2012Até2014  (21)
  4. 2015Até2018  (87)
  5. Após 2018  (270)
  6. Mais opções open sub menu

Idioma 

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

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

Buscando em bases de dados remotas. Favor aguardar.