Resultados de 1 a 10 de 720 para Busca Geral
Mostrar Somente
Refinado por:
Base de dados/Biblioteca:
Science Citation Index Expanded (Web of Science)
tipo de recurso:
Anais de Congresso
tipo de recurso:
Anais de Congresso
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
26th European Congress on Obesity. Glasgow, UK, 28 April – 01 May, 2019: AbstractsObesity facts, 2019, Vol.12 (Suppl 1), p.1-298 [Periódico revisado por pares]Basel: S. Karger AGTexto completo disponível |
| 2 |
Material Type: Ata de Congresso
|
|
Abstract acceleration of general linear loopsJeannet, Bertrand ; Schrammel, Peter ; Sankaranarayanan, SriramProceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014, p.529-540New York, NY, USA: ACMTexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Abstract effects and proof-relevant logical relationsBenton, Nick ; Hofmann, Martin ; Nigam, VivekProceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014, p.619-631New York, NY, USA: ACMTexto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
Abstract satisfactionD'Silva, Vijay ; Haller, Leopold ; Kroening, DanielProceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014, p.139-150New York, NY, USA: ACMTexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
Abstracting abstract controlGlaze, Dionna ; Van Horn, DavidProceedings of the 10th ACM Symposium on Dynamic languages, 2015, p.11-22New York, NY, USA: ACMTexto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Accelerating spatially varying Gaussian filtersBaek, Jongmin ; Jacobs, David E.ACM SIGGRAPH Asia 2010 papers, 2010, p.1-10 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
ACDC-JS: explorative benchmarking of javascript memory managementAigner, Martin ; Hütter, Thomas ; Kirsch, Christoph M. ; Miller, Alexander ; Payer, Hannes ; Preishuber, MarioProceedings of the 10th ACM Symposium on Dynamic languages, 2015, p.67-78New York, NY, USA: ACMTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
Acquiring Graphic Design Knowledge with Nonmonotonic Inductive LearningChiba, Kazuya ; Ohwada, Hayato ; Mizoguchi, FumioInductive Logic Programming, 1999, p.56-67 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
Active feature selection using classesLiu, Huan ; Yu, Lei ; Dash, Manoranjan ; Motoda, Hiroshi Srivastava, Jaideep ; Jeon, Jongwoo ; Shim, Kyuseok ; Wang, Kyu-YoungLecture notes in computer science, 2003, p.474-485 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
Active middleware services in a decision support system for managing highly available distributed resourcesFakhouri, Sameh A. ; Jerome, William F. ; Naik, Vijay K. ; Raina, Ajay ; Varma, PradeepIFIP/ACM International Conference on Distributed systems platforms, 2000, p.349-371 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
Resultados de 1 a 10 de 720 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Technology (709)
- Computer Science (701)
- Computer Science, Software Engineering (441)
- Exact Sciences And Technology (341)
- Applied Sciences (322)
- Computer Science; Control Theory; Systems (306)
- Software (246)
- Computer Science, Theory & Methods (243)
- Computer Science, Information Systems (144)
- Computer Science, Artificial Intelligence (119)
- Memory Organisation. Data Processing (106)
- Information Systems. Data Bases (78)
- Computer Systems And Distributed Systems. User Interface (70)
- Artificial Intelligence (68)
- Software And Its Engineering -- Software Notations And Tools -- Compilers (52)
- Software Engineering (49)
- Learning And Adaptive Systems (40)
- Telecommunications (39)
- Telecommunications And Information Theory (34)
-
Mais opções
Data de Publicação
- Antes de1994 (5)
- 1994Até1998 (38)
- 1999Até2003 (232)
- 2004Até2011 (131)
- Após 2011 (315)
-
Mais opções
Base de Dados/Biblioteca
- ACM Digital Library Complete (431)
- SpringerLINK Lecture Notes in Computer Science (2015) (334)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (334)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (68)
- Springer Books (68)
- SpringerLink Books Lecture Notes in Computer Science Archive (67)
- Springer Books Online Archive (67)
- IngentaConnect Journals (52)
- ScienceDirect Journals (7)
- IEEE Electronic Library (IEL) Conference Proceedings (4)
- EZB Free E-Journals (4)
- AIP - American Institute of Physics (4)
- Elsevier All Access Books (2)
- Taylor & Francis Open access Read & Publish (2)
- Taylor & Francis (2)
- Taylor & Francis Journals Complete (2)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (1)
- DOAJ Directory of Open Access Journals (1)
- SCOAP3 Journals (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 