skip to main content
Idioma:
Refinado por: Base de dados/Biblioteca: EBSCOhost Computers and Applied Sciences Complete remover Nome da Publicação: Lecture Notes In Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Multi-granularity Parallel Computing in a Genome-Scale Molecular Evolution Application
Multi-granularity Parallel Computing in a Genome-Scale Molecular Evolution Application
Material Type:
Artigo 		Adicionar ao Meu Espaço

Multi-granularity Parallel Computing in a Genome-Scale Molecular Evolution Application

Walters, Jesse D ; Bair, Thomas B ; Braun, Terry A ; Scheetz, Todd E ; Robinson, John P ; Casavant, Thomas L

The Journal of supercomputing, 2009-01, Vol.5698, p.49-59 [Periódico revisado por pares]

United States

Texto completo disponível

Citações Citado por
2
Collaborative design of web service networks in a multilingual user community
Collaborative design of web service networks in a multilingual user community
Material Type:
Artigo 		Adicionar ao Meu Espaço

Collaborative design of web service networks in a multilingual user community

Angelides, Marios C. ; Englmeier, Kurt

Personal and ubiquitous computing, 2005-09, Vol.9 (5), p.333-341 [Periódico revisado por pares]

London: Springer Nature B.V

Texto completo disponível

Citações Citado por
3
Graph decompositions and secret sharing schemes
Graph decompositions and secret sharing schemes
Material Type:
Artigo 		Adicionar ao Meu Espaço

Graph decompositions and secret sharing schemes

BLUNDO, C ; DE SANTIS, A ; STINSON, D. R ; VACARRO, U

Journal of cryptology, 1995-12, Vol.8 (1), p.39-64 [Periódico revisado por pares]

New York, NY: Springer

Texto completo disponível

Citações Citado por
4
Edge insertion for optimal triangulations
Edge insertion for optimal triangulations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Edge insertion for optimal triangulations

Bern, M. ; Edelsbrunner, H. ; Eppstein, D. ; Mitchell, S. ; Tan, T. S.

Discrete & computational geometry, 1992-01, Vol.10 (1), p.47-65 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
From ATP to timed graphs and hybrid systems
From ATP to timed graphs and hybrid systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

From ATP to timed graphs and hybrid systems

NICOLLIN, X ; SIFAKIS, J ; YOVINE, S

Acta informatica, 1993-02, Vol.30 (2), p.181-202 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
6
Practical zero-knowledge proofs: giving hints and using deficiencies
Practical zero-knowledge proofs: giving hints and using deficiencies
Material Type:
Artigo 		Adicionar ao Meu Espaço

Practical zero-knowledge proofs: giving hints and using deficiencies

BOYAR, J ; FRIEDL, K ; LUND, C

Journal of cryptology, 1991-01, Vol.4 (3), p.185-206 [Periódico revisado por pares]

New York, NY: Springer

Texto completo disponível

Citações Citado por
7
Avoiding Counting to Infinity in Distance Vector Routing
Avoiding Counting to Infinity in Distance Vector Routing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Avoiding Counting to Infinity in Distance Vector Routing

Schmid, Andreas ; Steigner, Christoph

Telecommunication systems, 2002-01, Vol.19 (3-4), p.497 [Periódico revisado por pares]

New York: Springer Nature B.V

Texto completo disponível

Citações Citado por
8
Applications of a new space-partitioning technique
Applications of a new space-partitioning technique
Material Type:
Artigo 		Adicionar ao Meu Espaço

Applications of a new space-partitioning technique

Agarwal, Pankaj K. ; Sharir, Micha

Discrete & computational geometry, 1993-01, Vol.9 (1), p.11-38 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
9
Context induction : a proof principle for behavioural abstractions and algebraic implementations
Context induction : a proof principle for behavioural abstractions and algebraic implementations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Context induction : a proof principle for behavioural abstractions and algebraic implementations

HENNICKER, R

Formal aspects of computing, 1991-10, Vol.3 (4), p.326-345 [Periódico revisado por pares]

London: Springer

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1992  (2)
  2. 1992Até1992  (1)
  3. 1993Até1994  (2)
  4. 1995Até2002  (2)
  5. Após 2002  (2)
  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.