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
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

12
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

13
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 Thiagarajan, P. S.

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

14
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

15
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.

16
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. Sloot, Peter ; Hertzberger, Bob

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

17
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 Delp, Scott ; Colchester, Alan ; Wells, William M.

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

18
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. Taylor, Chris ; Colchester, Alain

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

19
Communication Topology Analysis for Concurrent Programs
Material Type:
Artigo
Adicionar ao Meu Espaço

Communication Topology Analysis for Concurrent Programs

Martel, Matthieu ; Gengler, Marc Visser, Willem ; Havelund, Klaus ; Penix, John

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

20
Towards an execution system for distributed business processes in a virtual enterprise
Material Type:
Artigo
Adicionar ao Meu Espaço

Towards an execution system for distributed business processes in a virtual enterprise

CAMARINHA-MATOS, L. M ; PANTOJA-LIMA, C

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

Berlin: Springer

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  (817)
  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  (632)
  5. Após 2011  (111)
  6. Mais opções open sub menu

Idioma 

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

Buscando em bases de dados remotas. Favor aguardar.