skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: BACON - Mir@bel - GLOBAL_LIBRESACCES remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Prolegomena to an Operator Theory of Computation
Material Type:
Artigo
Adicionar ao Meu Espaço

Prolegomena to an Operator Theory of Computation

Burgin, Mark ; Dodig-Crnkovic, Gordana

Information (Basel), 2020-07, Vol.11 (7), p.349 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

2
A measure of individual role in collective dynamics
Material Type:
Artigo
Adicionar ao Meu Espaço

A measure of individual role in collective dynamics

Klemm, Konstantin ; Serrano, M Ángeles ; Eguíluz, Víctor M ; Miguel, Maxi San

Scientific reports, 2012-02, Vol.2 (1), p.292-292, Article 292 [Periódico revisado por pares]

England: Nature Publishing Group

Texto completo disponível

3
Foreword to the virtual special issue dedicated to the 3rd International Conference NUMTA 2019 “Numerical Computations: Theory and Algorithms”
Material Type:
Artigo
Adicionar ao Meu Espaço

Foreword to the virtual special issue dedicated to the 3rd International Conference NUMTA 2019 “Numerical Computations: Theory and Algorithms”

Brugnano, Luigi ; Sergeyev, Yaroslav D. ; Zhigljavsky, Anatoly

Journal of computational and applied mathematics, 2021-09, Vol.393, p.113545, Article 113545 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

4
Computation on Structures - The Challenge of Seamless Integration of Theory and Rigorous Scientific Practice
Material Type:
Artigo
Adicionar ao Meu Espaço

Computation on Structures - The Challenge of Seamless Integration of Theory and Rigorous Scientific Practice

Schewe, Klaus-Dieter

Frontiers in computer science (Lausanne), 2021-05, Vol.3 [Periódico revisado por pares]

Frontiers Media S.A

Texto completo disponível

5
Explicit arithmetic intersection theory and computation of Néron-Tate heights
Material Type:
Artigo
Adicionar ao Meu Espaço

Explicit arithmetic intersection theory and computation of Néron-Tate heights

van Bommel, Raymond ; Holmes, David ; Müller, J. Steffen

Mathematics of computation, 2020-01, Vol.89 (321), p.395-410 [Periódico revisado por pares]

Texto completo disponível

6
Preface to “Swarm and Evolutionary Computation—Bridging Theory and Practice”
Material Type:
Artigo
Adicionar ao Meu Espaço

Preface to “Swarm and Evolutionary Computation—Bridging Theory and Practice”

Kim, Yong-Hyuk ; Caraffini, Fabio

Mathematics (Basel), 2023-03, Vol.11 (5), p.1209 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

7
Verification of Flat FIFO Systems
Material Type:
Artigo
Adicionar ao Meu Espaço

Verification of Flat FIFO Systems

Alain Finkel ; M. Praveen

Logical methods in computer science, 2020-10, Vol.16, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

8
Simulations between Network Topologies in Networks of Evolutionary Processors
Material Type:
Artigo
Adicionar ao Meu Espaço

Simulations between Network Topologies in Networks of Evolutionary Processors

Sánchez Martín, José Ángel ; Mitrana, Victor

Axioms, 2021, Vol.10 (3), p.183 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

9
Evolutionary Computation: Theories, Techniques, and Applications
Material Type:
Artigo
Adicionar ao Meu Espaço

Evolutionary Computation: Theories, Techniques, and Applications

Cicirello, Vincent A

Applied sciences, 2024-03, Vol.14 (6), p.2542 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

10
Covering and separation for logical fragments with modular predicates
Material Type:
Artigo
Adicionar ao Meu Espaço

Covering and separation for logical fragments with modular predicates

Place, Thomas ; Ramanathan, Varun ; Weil, Pascal

Logical methods in computer science, 2019-01, Vol.15, Issue 2 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

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 (174.680)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (177.237)
  2. Anais de Congresso  (1.311)
  3. Resenhas  (362)
  4. magazinearticle  (115)
  5. Book Chapters  (8)
  6. Livros  (7)
  7. Reports  (7)
  8. Recursos Textuais  (5)
  9. Web Resources  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1959  (496)
  2. 1959Até1974  (614)
  3. 1975Até1990  (1.557)
  4. 1991Até2007  (16.412)
  5. Após 2007  (160.007)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (178.421)
  2. Japonês  (16.111)
  3. Francês  (1.064)
  4. Espanhol  (302)
  5. Português  (277)
  6. Alemão  (275)
  7. Norueguês  (246)
  8. Tcheco  (31)
  9. Russo  (20)
  10. Lituano  (10)
  11. Coreano  (10)
  12. Esloveno  (8)
  13. Croatian  (7)
  14. Chinês  (7)
  15. Africâner  (6)
  16. Catalão  (5)
  17. Holandês  (3)
  18. Latim  (2)
  19. Italiano  (2)
  20. Turco  (2)
  21. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.