skip to main content
previous page 1 Resultados 2 3 4 5 next page
Refinado por: Nome da Publicação: Lecture Notes in Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
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

12
Decidability of timed language-inclusion for networks of real-time communicating sequential processes
Material Type:
Artigo
Adicionar ao Meu Espaço

Decidability of timed language-inclusion for networks of real-time communicating sequential processes

Yi, Wang ; Jonsson, Bengt

Foundation of Software Technology and Theoretical Computer Science, 1994-01, p.243-255 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

13
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

14
Formal Foundations for Software Engineering Methods
Formal Foundations for Software Engineering Methods
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Foundations for Software Engineering Methods

Heinrich Hussmann

Springer Berlin Heidelberg 1997

Acesso online. A biblioteca também possui exemplares impressos.

15
Geographic information systems applications on an ATM-based distributed high performance computing system
Material Type:
Artigo
Adicionar ao Meu Espaço

Geographic information systems applications on an ATM-based distributed high performance computing system

Hawick, K. A. ; James, H. A. ; Maciunas, K. J. ; Vaughan, F. A. ; Wendelborn, A. L. ; Buchhorn, M. ; Rezny, M. ; Taylor, S. R. ; Wilson, M. D.

High-Performance Computing and Networking, 1997-01, p.1035-1037 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

16
Initial in-vivo analysis of 3D heterogeneous brain computations for model-updated image-guided neurosurgery
Material Type:
Artigo
Adicionar ao Meu Espaço

Initial in-vivo analysis of 3D heterogeneous brain computations for model-updated image-guided neurosurgery

Miga, Michael ; Paulsen, Keith ; Kennedy, Francis ; Hoopes, Jack ; Hartov, Alex ; Roberts, David

Medical Image Computing and Computer-Assisted Intervention — MICCAI’98, 1998-10, p.743-752 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

17
Model-Updated Image-Guided Neurosurgery Using the Finite Element Method: Incorporation of the Falx Cerebri
Material Type:
Artigo
Adicionar ao Meu Espaço

Model-Updated Image-Guided Neurosurgery Using the Finite Element Method: Incorporation of the Falx Cerebri

Miga, Michael I. ; Paulsen, Keith D. ; Kennedy, Francis E. ; Hartov, Alex ; Roberts, David W.

Medical Image Computing and Computer-Assisted Intervention – MICCAI’99, 1999-09, p.900-909 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

18
Parallelization of irregular problems based on hierarchical domain representation
Material Type:
Artigo
Adicionar ao Meu Espaço

Parallelization of irregular problems based on hierarchical domain representation

BAIARDI, F ; CHITI, S ; MORI, P ; RICCI, L

Lecture notes in computer science, 2000, p.71-80 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

19
Analysis and Results of the 1999 DARPA Off-Line Intrusion Detection Evaluation
Material Type:
Artigo
Adicionar ao Meu Espaço

Analysis and Results of the 1999 DARPA Off-Line Intrusion Detection Evaluation

Lippmann, Richard ; Haines, Joshua W. ; Fried, David J. ; Korba, Jonathan ; Das, Kumar

Lecture notes in computer science, 2000, p.162-182 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

20
On Distribution-Specific Learning with Membership Queries versus Pseudorandom Generation
Material Type:
Artigo
Adicionar ao Meu Espaço

On Distribution-Specific Learning with Membership Queries versus Pseudorandom Generation

Köbler, Johannes ; Lindner, Wolfgang

FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, 2000, p.336-347 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (818)
  2. Livros  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1993  (5)
  2. 1993Até1997  (5)
  3. 1998Até2001  (66)
  4. 2002Até2011  (634)
  5. Após 2011  (110)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (50)
  2. Russo  (1)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.