Resultados de 1 a 10 de 76 para Busca Geral
Ordenado por:
Ordenado por:
Mais acessadosOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
assunto:
Computer Programming
Algorithms
Academic OneFile
assunto:
Computer Science, Hardware & Architecture
Algorithms
Academic OneFile
assunto:
Computer Science, Hardware & Architecture
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Model Checking Higher-Order ProgramsKOBAYASHI, NaokiJournal of the ACM, 2013-06, Vol.60 (3), p.1-62 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Automatically Identifying Calling-Prone Higher-Order Functions of Scala Programs to Assist TestersXu, Yi-Sen ; Jia, Xiang-Yang ; Wu, Fan ; Li, Lingbo ; Xuan, Ji-FengJournal of computer science and technology, 2020-11, Vol.35 (6), p.1278-1294 [Periódico revisado por pares]Singapore: Springer SingaporeTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
The benefits of relaxing punctualityALUR, R ; FEDER, T ; HENZINGER, T. AJournal of the ACM, 1996, Vol.43 (1), p.116-146 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Design and Implementation of an Extended Collectives Library for Unified Parallel CTeijeiro, Carlos ; Taboada, Guillermo L. ; Touriño, Juan ; Doallo, Ramón ; Mouriño, José C. ; Mallón, Damián A. ; Wibecan, BrianJournal of computer science and technology, 2013, Vol.28 (1), p.72-89 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Probabilistic parsing strategiesNEDERHOF, Mark-Jan ; SATTA, GiorgioJournal of the ACM, 2006-05, Vol.53 (3), p.406-436 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Autoepistemic logicMAREK, W ; TRUSZCZYNSKI, MJournal of the ACM, 1991-07, Vol.38 (3), p.588-619 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Parametricity and local variablesO'HEARN, P. W ; TENNENT, R. DJournal of the ACM, 1995-05, Vol.42 (3), p.658-709 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
From Algol to polymorphic linear lambda-calculusO'Hearn, Peter W ; Reynolds, John CJournal of the ACM, 2000-01, Vol.47 (1), p.167-223 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Purely functional, real-time deques with catenationKaplan, Haim ; Tarjan, Robert EJournal of the ACM, 1999-09, Vol.46 (5), p.577-603 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Parallel RAMs with owned global memory and deterministic context-free language recognitionDymond, Patrick W ; Ruzzo, Walter LJournal of the ACM, 2000-01, Vol.47 (1), p.16-45 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
Resultados de 1 a 10 de 76 para Busca Geral
Ordenado por:
Ordenado por:
Mais acessadosOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Computer Science, Theory & Methods (69)
- Computer Science, Information Systems (38)
- Software (37)
- Studies (36)
- Exact Sciences And Technology (35)
- Applied Sciences (33)
- Computer Science; Control Theory; Systems (32)
- Theory (28)
- Programming Languages (27)
- Artificial Intelligence (23)
- Mathematical Models (18)
- Theoretical Computing (16)
- Mathematical Analysis (13)
-
Mais opções
Data de Publicação
- Antes de1993 (18)
- 1993Até1997 (26)
- 1998Até2003 (15)
- 2004Até2012 (9)
- Após 2012 (9)
-
Mais opções
Base de Dados/Biblioteca
- Gale Academic OneFile Select (76)
- Science Citation Index Expanded (Web of Science) (72)
- ACM Digital Library Complete (69)
- Computers & Applied Sciences Complete - EBSCO (69)
- Business Source Complete (EB_SDU_P3) (69)
- SpringerLink Journals (6)
- Springer Nature - Springer Journals All 2022 (6)
- Materials Research Database (2)
- Materials Business File (1)
- Open Access: Freely Accessible Journals by multiple vendors (1)
-
Mais opções
Nome da Publicação
- Journal Of The Acm (39)
- Communications Of The Acm (31)
- 计算机科学技术学报 (6)
- Journal Of Computer Science And Technology (6)
- 计算机科学技术学报:英文版 (5)
- Commun. Acm; (1)
- Datamation (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 