skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Lista de Todas as Versões Computer Programming remover Academic OneFile remover Lista de Todas as Versões Computer Science, Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Tabled evaluation with delaying for general logic programs
Tabled evaluation with delaying for general logic programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Tabled evaluation with delaying for general logic programs

CHEN, W ; WARREN, D. S

Journal of the ACM, 1996, Vol.43 (1), p.20-74 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
2
Early Prediction for At-Risk Students in an Introductory Programming Course Based on Student Self-Efficacy
Early Prediction for At-Risk Students in an Introductory Programming Course Based on Student Self-Efficacy
Material Type:
Artigo 		Adicionar ao Meu Espaço

Early Prediction for At-Risk Students in an Introductory Programming Course Based on Student Self-Efficacy

Jamjoom, Mona ; Alabdulkreem, Eatedal ; Hadjouni, Myriam ; Karim, Faten ; Qarh, Maha

Informatica (Ljubljana), 2021-09, Vol.45 (6), p.1-9 [Periódico revisado por pares]

Ljubljana: Slovenian Society Informatika / Slovensko drustvo Informatika

Texto completo disponível

Citações Citado por
3
Flowchart-Based Cross-Language Source Code Similarity Detection
Flowchart-Based Cross-Language Source Code Similarity Detection
Material Type:
Artigo 		Adicionar ao Meu Espaço

Flowchart-Based Cross-Language Source Code Similarity Detection

Zhang, Feng ; Li, Guofan ; Liu, Cong ; Song, Qian Gou, Jianping ; Jianping Gou

Scientific programming, 2020, Vol.2020, p.1-15 [Periódico revisado por pares]

New York: Hindawi

Texto completo disponível

Citações Citado por
4
Model Checking Higher-Order Programs
Model Checking Higher-Order Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model Checking Higher-Order Programs

KOBAYASHI, Naoki

Journal of the ACM, 2013-06, Vol.60 (3), p.1-62 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
5
ACM Turing Award for 2020 Honors Alfred Vaino Aho and Jeffrey David Ullman
ACM Turing Award for 2020 Honors Alfred Vaino Aho and Jeffrey David Ullman
Material Type:
Artigo 		Adicionar ao Meu Espaço

ACM Turing Award for 2020 Honors Alfred Vaino Aho and Jeffrey David Ullman

Gams, Matjaz

Informatica (Ljubljana), 2021-07, Vol.45 (5), p.601-601 [Periódico revisado por pares]

Ljubljana: Slovenian Society Informatika / Slovensko drustvo Informatika

Texto completo disponível

Citações Citado por
6
Polymorphism and type inference in database programming
Polymorphism and type inference in database programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Polymorphism and type inference in database programming

BUNEMAN, P ; OHORI, A

ACM transactions on database systems, 1996-03, Vol.21 (1), p.30-76 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
7
Automatically Identifying Calling-Prone Higher-Order Functions of Scala Programs to Assist Testers
Automatically Identifying Calling-Prone Higher-Order Functions of Scala Programs to Assist Testers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automatically Identifying Calling-Prone Higher-Order Functions of Scala Programs to Assist Testers

Xu, Yi-Sen ; Jia, Xiang-Yang ; Wu, Fan ; Li, Lingbo ; Xuan, Ji-Feng

Journal of computer science and technology, 2020-11, Vol.35 (6), p.1278-1294 [Periódico revisado por pares]

Singapore: Springer Singapore

Texto completo disponível

Citações Citado por
8
Design and Implementation of Music Teaching System Based on J2EE
Design and Implementation of Music Teaching System Based on J2EE
Material Type:
Artigo 		Adicionar ao Meu Espaço

Design and Implementation of Music Teaching System Based on J2EE

Zhu, Yuanyuan ; Liang, Shuo Li, Lianhui ; Lianhui Li

Scientific programming, 2022-09, Vol.2022, p.1-10 [Periódico revisado por pares]

New York: Hindawi

Texto completo disponível

Citações Citado por
9
Program termination analysis in polynomial time
Program termination analysis in polynomial time
Material Type:
Artigo 		Adicionar ao Meu Espaço

Program termination analysis in polynomial time

Ben-Amram, Amir M. ; Lee, Chin Soon

ACM transactions on programming languages and systems, 2007, Vol.29 (1), p.1-37 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
10
Monadic datalog and the expressive power of languages for Web information extraction
Monadic datalog and the expressive power of languages for Web information extraction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Monadic datalog and the expressive power of languages for Web information extraction

Gottlob, Georg ; Koch, Christoph

Journal of the ACM, 2004-01, Vol.51 (1), p.74-113 [Periódico revisado por pares]

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (110)

Refinar Meus Resultados

Tipo de Recurso 

  1. magazinearticle  (455)
  2. Artigos  (206)
  3. Resenhas  (3)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1991  (57)
  2. 1991Até1998  (246)
  3. 1999Até2006  (246)
  4. 2007Até2015  (65)
  5. Após 2015  (51)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.