Resultados de 1 a 10 de 11 para Busca Geral
Mostrar Somente
- Recursos Online (2)
Refinado por:
Base de dados/Biblioteca:
Springer Books
ACM Digital Library
idioma:
Japonês
Springer Nature - Springer Lecture Notes in Computer Science eBooks
ACM Digital Library
idioma:
Japonês
Springer Nature - Springer Lecture Notes in Computer Science eBooks
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
A quantitative method for revealing and comparing places in the homeAipperspach, Ryan ; Rattenbury, Tye ; Woodruff, Allison ; Canny, John Dourish, Paul ; Friday, AdrianLecture notes in computer science, 2006, p.1-18 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagSem texto completo |
| 2 |
Material Type: Artigo
|
|
The application of grid computing to real-time functional MRI analysisBagarinao, E. ; Sarmenta, L. ; Tanaka, Y. ; Matsuo, K. ; Nakai, T. Cao, Jiannong ; Yang, Laurence T. ; Guo, Minyi ; Lau, FrancisLecture notes in computer science, 2004-01, p.290-302 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagSem texto completo |
| 3 |
Material Type: Ata de Congresso
|
|
CarpetLAN: a novel indoor wireless(-like) networking and positioning systemFukumoto, Masaaki ; Shinagawa, Mitsuru Beigl, Michael ; Rekimoto, Jun ; Tokuda, Hideyuki ; Intille, StephenLecture notes in computer science, 2005, p.1-18 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagSem texto completo |
| 4 |
Material Type: Artigo
|
|
VIOLIN: virtual internetworking on overlay infrastructureJiang, Xuxian ; Xu, Dongyan Cao, Jiannong ; Yang, Laurence T. ; Guo, Minyi ; Lau, FrancisLecture notes in computer science, 2004-01, p.937-946 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagSem texto completo |
| 5 |
Material Type: Ata de Congresso
|
|
Delimited control in OCaml, abstractly and concretely: system descriptionKiselyov, Oleg Vidal, Germán ; Blume, Matthias ; Kobayashi, NaokiFunctional and Logic Programming, 2010, Vol.6009, p.304-320 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagSem texto completo |
| 6 |
Material Type: Ata de Congresso
|
|
Automatic parallelization of recursive functions using quantifier eliminationMorihata, Akimasa ; Matsuzaki, Kiminori Vidal, Germán ; Blume, Matthias ; Kobayashi, NaokiFunctional and Logic Programming, 2010, Vol.6009, p.321-336 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagSem texto completo |
| 7 |
Material Type: Ata de Congresso
|
|
UbiREAL: realistic smartspace simulator for systematic testingNishikawa, Hiroshi ; Yamamoto, Shinya ; Tamai, Morihiko ; Nishigaki, Kouji ; Kitani, Tomoya ; Shibata, Naoki ; Yasumoto, Keiichi ; Ito, Minoru Dourish, Paul ; Friday, AdrianLecture notes in computer science, 2006, p.459-476 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagSem texto completo |
| 8 |
Material Type: Ata de Congresso
|
|
Contory: a middleware for the provisioning of context information on smart phonesRiva, Oriana Steen, Maarten ; Henning, MichiLecture notes in computer science, 2006, p.219-239 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagSem texto completo |
| 9 |
Material Type: Ata de Congresso
|
|
Automatically generating counterexamples to naive free theoremsSeidel, Daniel ; Voigtländer, Janis Vidal, Germán ; Blume, Matthias ; Kobayashi, NaokiFunctional and Logic Programming, 2010, Vol.6009, p.175-190 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagSem texto completo |
| 10 |
Material Type: Capítulo de Livro
|
|
ISAMAP: instruction mapping driven by dynamic binary translationSouza, Maxwell ; Nic$#225;cio, Daniel ; Araújo, Guido Varbanescu, Ana Lucia ; Nieuwpoort, Rob ; Molnos, AncaComputer Architecture, 2012, p.117-138 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
Resultados de 1 a 10 de 11 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (2)
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (8)
- Artigos (2)
- Book Chapters (1)
-
Mais opções
Assunto
- Computer Science (9)
- Computer Science, Theory & Methods (9)
- Science & Technology (9)
- Technology (9)
- Software (6)
- Applied Sciences (6)
- Exact Sciences And Technology (6)
- Computer Systems And Distributed Systems. User Interface (6)
- Computer Science; Control Theory; Systems (6)
- Software And Its Engineering (4)
- Networks (3)
- Software And Its Engineering -- Software Organization And Properties (3)
- Software And Its Engineering -- Software Organization And Properties -- Software System Structures (3)
- Networks -- Network Types -- Mobile Networks (2)
- Networks -- Network Types (2)
- Automatic Parallelization (1)
- Candidate Place (1)
- Branch Instruction (1)
- Binary Translation (1)
- Abstract Machine (1)
-
Mais opções
Data de Publicação
- Antes de2004 (1)
- 2004Até2004 (2)
- 2005Até2005 (1)
- 2006Até2010 (6)
- Após 2010 (2)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (11)
- SpringerLINK Lecture Notes in Computer Science (11)
- Science Citation Index Expanded (Web of Science) (5)
- SpringerLINK Lecture Notes in Computer Science (2012) (2)
- Springer Nature - Springer Computer Science eBooks 2012 English International (2)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 