skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Distance-edge-monitoring sets of networks
Material Type:
Artigo
Adicionar ao Meu Espaço

Distance-edge-monitoring sets of networks

Yang, Gang ; Zhou, Jiannan ; He, Changxiang ; Mao, Yaping

Acta informatica, 2024-06, Vol.61 (2), p.183-198 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

2
Approximating subset sum ratio via partition computations
Material Type:
Artigo
Adicionar ao Meu Espaço

Approximating subset sum ratio via partition computations

Alonistiotis, Giannis ; Antonopoulos, Antonis ; Melissinos, Nikolaos ; Pagourtzis, Aris ; Petsalakis, Stavros ; Vasilakis, Manolis

Acta informatica, 2024-06, Vol.61 (2), p.101-113 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

3
Exact distributed quantum algorithm for generalized Simon’s problem
Material Type:
Artigo
Adicionar ao Meu Espaço

Exact distributed quantum algorithm for generalized Simon’s problem

Li, Hao ; Qiu, Daowen ; Luo, Le ; Mateus, Paulo

Acta informatica, 2024-06, Vol.61 (2), p.131-159 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

4
An encoding of the λ-calculus in the String MultiSet Rewriting calculus
Material Type:
Artigo
Adicionar ao Meu Espaço

An encoding of the λ-calculus in the String MultiSet Rewriting calculus

Bagossy, Attila ; Battyányi, Péter

Acta informatica, 2024-06, Vol.61 (2), p.161-181 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

5
New families of Laplacian borderenergetic graphs
Material Type:
Artigo
Adicionar ao Meu Espaço

New families of Laplacian borderenergetic graphs

Dede, Cahit

Acta informatica, 2024-06, Vol.61 (2), p.115-129 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

6
Neighborhood mutual remainder: self-stabilizing distributed implementation and applications
Material Type:
Artigo
Adicionar ao Meu Espaço

Neighborhood mutual remainder: self-stabilizing distributed implementation and applications

Dolev, Shlomi ; Kamei, Sayaka ; Katayama, Yoshiaki ; Ooshita, Fukuhito ; Wada, Koichi

Acta informatica, 2024-03, Vol.61 (1), p.83-100 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
A decision procedure for string constraints with string/integer conversion and flat regular constraints
Material Type:
Artigo
Adicionar ao Meu Espaço

A decision procedure for string constraints with string/integer conversion and flat regular constraints

Wu, Hao ; Chen, Yu-Fang ; Wu, Zhilin ; Xia, Bican ; Zhan, Naijun

Acta informatica, 2024-03, Vol.61 (1), p.23-52 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

8
Balancing m-ary search trees with compressions on the fringe
Material Type:
Artigo
Adicionar ao Meu Espaço

Balancing m-ary search trees with compressions on the fringe

Gao, Shuyang ; Hatem, Leen ; Mahmoud, Hosam

Acta informatica, 2024-03, Vol.61 (1), p.53-66 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

9
n-PS-codes, 2-infix-outfix codes and some related classes of codes
Material Type:
Artigo
Adicionar ao Meu Espaço

n-PS-codes, 2-infix-outfix codes and some related classes of codes

Liu, Haiyan ; Cui, Rongdong ; Zhang, Tianjie

Acta informatica, 2024-03, Vol.61 (1), p.67-81 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

10
Discovering workflow nets of concurrent iterative processes
Material Type:
Artigo
Adicionar ao Meu Espaço

Discovering workflow nets of concurrent iterative processes

Tapia-Flores, Tonatiuh ; López-Mellado, Ernesto

Acta informatica, 2024-03, Vol.61 (1), p.1-21 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (1.472)
  2. Artigos  (438)
  3. Anais de Congresso  (414)
  4. Book Chapters  (8)
  5. Reports  (1)
  6. Dissertações  (1)
  7. Recursos Textuais  (1)
  8. magazinearticle  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1985  (18)
  2. 1985Até1993  (113)
  3. 1994Até2002  (526)
  4. 2003Até2012  (955)
  5. Após 2012  (936)
  6. Mais opções open sub menu

Idioma 

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

Buscando em bases de dados remotas. Favor aguardar.