Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Just fast keying in the Pi calculusABADI, Martin ; BLANCHET, Bruno ; FOURNET, CédricLecture notes in computer science, 2004, p.340-354 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
2 |
Material Type: Artigo
|
MobiCoin: Digital Cash for M-CommerceAbbadasari, Ranjit ; Mukkamala, Ravi ; Kumari, V. ValliDistributed Computing and Internet Technology, 2004, Vol.3347, p.441-451 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
3 |
Material Type: Artigo
|
Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Petri NetsAbdulla, Parosh ; Mahata, Pritha ; Mayr, RichardFSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004, p.58-70 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
4 |
Material Type: Artigo
|
Flaws in Some Robust Optimistic Mix-NetsAbe, Masayuki ; Imai, HidekiInformation Security and Privacy, 2003, p.39-50 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
5 |
Material Type: Artigo
|
Router Handoff: An Approach for Preemptive Route Repair in Mobile Ad Hoc NetworksAbhilash, P. ; Perur, Srinath ; Iyer, SridharHigh Performance Computing — HiPC 2002, 2002, p.347-357 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
6 |
Material Type: Artigo
|
Distributed information management with XML and Web servicesABITEBOUL, SergeLecture notes in computer science, 2004, p.1-11 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
7 |
Material Type: Artigo
|
Computing Boolean Functions via Quantum HashingAblayev, Farid ; Vasiliev, AlexanderComputing with New Resources, p.149-160 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
8 |
Material Type: Artigo
|
Fixed-Distortion Orthogonal Dirty Paper Coding for Perceptual Still Image WatermarkingAbrardo, Andrea ; Barni, MauroInformation Hiding, 2004, p.52-66 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
9 |
Material Type: Artigo
|
Placental Flattening via Volumetric ParameterizationAbulnaga, S. Mazdak ; Abaci Turk, Esra ; Bessmeltsev, Mikhail ; Grant, P. Ellen ; Solomon, Justin ; Golland, PolinaMedical Image Computing and Computer Assisted Intervention – MICCAI 2019, 2019-10, Vol.11767, p.39-47 [Periódico revisado por pares]Cham: Springer International PublishingSem texto completo |
|
10 |
Material Type: Artigo
|
The Complexity of Checking Consistency of Pedigree Information and Related ProblemsAceto, Luca ; Hansen, Jens A. ; Ingólfsdóttir, Anna ; Johnsen, Jacob ; Knudsen, JohnLecture notes in computer science, 2003, p.174-187 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |