Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo
|
Edge insertion for optimal triangulationsBern, 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 |
Material Type: Artigo
|
Applications of a new space-partitioning techniqueAgarwal, Pankaj K. ; Sharir, MichaDiscrete & computational geometry, 1993-01, Vol.9 (1), p.11-38 [Periódico revisado por pares]Texto completo disponível |
|
13 |
Material Type: Artigo
|
Decidability of timed language-inclusion for networks of real-time communicating sequential processesYi, 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 HeidelbergTexto completo disponível |
|
14 |
Material Type: Artigo
|
Graph decompositions and secret sharing schemesBLUNDO, C ; DE SANTIS, A ; STINSON, D. R ; VACARRO, UJournal of cryptology, 1995-12, Vol.8 (1), p.39-64 [Periódico revisado por pares]New York, NY: SpringerTexto completo disponível |
|
15 |
Material Type: Livro
|
Formal Foundations for Software Engineering MethodsHeinrich HussmannSpringer Berlin Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
|
16 |
Material Type: Artigo
|
Geographic information systems applications on an ATM-based distributed high performance computing systemHawick, 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, BobHigh-Performance Computing and Networking, 1997-01, p.1035-1037 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
17 |
Material Type: Artigo
|
Initial in-vivo analysis of 3D heterogeneous brain computations for model-updated image-guided neurosurgeryMiga, 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 HeidelbergTexto completo disponível |
|
18 |
Material Type: Artigo
|
Model-Updated Image-Guided Neurosurgery Using the Finite Element Method: Incorporation of the Falx CerebriMiga, Michael I. ; Paulsen, Keith D. ; Kennedy, Francis E. ; Hartov, Alex ; Roberts, David W. Taylor, Chris ; Colchester, AlainMedical Image Computing and Computer-Assisted Intervention – MICCAI’99, 1999-09, p.900-909 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
19 |
Material Type: Artigo
|
Communication Topology Analysis for Concurrent ProgramsMartel, Matthieu ; Gengler, Marc Visser, Willem ; Havelund, Klaus ; Penix, JohnLecture notes in computer science, 2000, p.265-286 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
20 |
Material Type: Artigo
|
Towards an execution system for distributed business processes in a virtual enterpriseCAMARINHA-MATOS, L. M ; PANTOJA-LIMA, CLecture notes in computer science, 2000, p.149-162 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |