Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Quantum Distributed Computing Applied to Grover’s Search AlgorithmGoswami, Debabrata Calude, Cristian S. ; Freivalds, Rūsiņš ; Kazuo, IwamaComputing with New Resources, p.192-199 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
2 |
Material Type: Livro
|
![]() |
Applied formal methods-FM-trends 98International Workshop on Current Trends in Applied Formal Methods, FM trends 98 1998 Boppard Dieter HutterGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1999Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1641 )(Acessar) |
3 |
Material Type: Artigo
|
![]() |
The Aniketos Design-Time Framework Applied – A Case in Air Traffic ManagementPaul, Stéphane ; Tedeschi, Alessandra ; Gjære, Erlend Andreas ; Herrera, Ivonne Giorgini, Paolo ; Rios, Erkuden ; Meland, Per Håkon ; Brucker, Achim D. ; Dalpiaz, FabianoSecure and Trustworthy Service Composition, p.203-218 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Benchmarking Applied Semantic Inference: The PASCAL Recognising Textual Entailment ChallengesBar-Haim, Roy ; Dagan, Ido ; Szpektor, Idan Nissan, Ephraim ; Dershowitz, NachumLanguage, Culture, Computation. Computing - Theory and Technology, p.409-424 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Anthropometric and Anthropomorphic Features Applied to a Mechanical FingerPrudencio, Alejandro ; Morales, Eduardo ; García, Mario A. ; Lozano, Alejandro Liu, Honghai ; Wang, Nianfeng ; Chen, Zhong ; Zhang, XianminIntelligent Robotics and Applications, p.254-265 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
6 |
Material Type: Livro
|
![]() |
Applied algebra, algebraic algorithms and error-correcting codesInternational Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-13, 13 1999 Honolulu Marc FossorierGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1999Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1719 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Applied parallel computing large scale scientific and industrial problemsInternational Workshop on Applied Parallel Computing, PARA'98, 4 1998 Umea Bo KagstromGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1998Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1541 )(Acessar) |
8 |
Material Type: Artigo
|
![]() |
Kademlia: A peer-to-peer information system based on the XOR metricMAYMOUNKOV, Petar ; MAZIERES, DavidLecture notes in computer science, 2002, p.53-65 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
ActiveBelt: Belt-type wearable tactile display for directional navigationTSUKADA, Koji ; YASUMURA, MichiakiLecture notes in computer science, 2004, p.384-399 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Security and Privacy Aspects of Low-Cost Radio Frequency Identification SystemsWeis, Stephen A. ; Sarma, Sanjay E. ; Rivest, Ronald L. ; Engels, Daniel W. Hutter, Dieter ; Stephan, Werner ; Ullmann, Markus ; Müller, GünterLecture notes in computer science, 2004, p.201-212 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |