skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Science, Theory & Methods remover assunto: Exact Sciences And Technology remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The state of the art in end-user software engineering
The state of the art in end-user software engineering
Material Type:
Artigo 		Adicionar ao Meu Espaço

The state of the art in end-user software engineering

Ko, Andrew ; Abraham, Robin ; Beckwith, Laura ; Blackwell, Alan ; Burnett, Margaret ; Erwig, Martin ; Scaffidi, Chris ; Lawrance, Joseph ; Lieberman, Henry ; Myers, Brad ; Rosson, Mary ; Rothermel, Gregg ; Shaw, Mary ; Wiedenbeck, Susan

ACM computing surveys, 2011-04, Vol.43 (3), p.1-44 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
2
Version models for software configuration management
Version models for software configuration management
Material Type:
Artigo 		Adicionar ao Meu Espaço

Version models for software configuration management

Conradi, Reidar ; Westfechtel, Bernhard

ACM computing surveys, 1998-06, Vol.30 (2), p.232-282 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
3
Procedural content generation for games: A survey
Procedural content generation for games: A survey
Material Type:
Artigo 		Adicionar ao Meu Espaço

Procedural content generation for games: A survey

Hendrikx, Mark ; Meijer, Sebastiaan ; Van Der Velden, Joeri ; Iosup, Alexandru

ACM transactions on multimedia computing communications and applications, 2013-02, Vol.9 (1), p.1-22 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
4
Adding nesting structure to words
Adding nesting structure to words
Material Type:
Artigo 		Adicionar ao Meu Espaço

Adding nesting structure to words

Alur, Rajeev ; Madhusudan, P

Journal of the ACM, 2009-05, Vol.56 (3), p.1-43 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
5
Compositional Shape Analysis by Means of Bi-Abduction
Compositional Shape Analysis by Means of Bi-Abduction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Compositional Shape Analysis by Means of Bi-Abduction

Calcagno, Cristiano ; Distefano, Dino ; O'Hearn, Peter W ; Yang, Hongseok

Journal of the ACM, 2011-12, Vol.58 (6), p.1-66 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
6
Most Tensor Problems Are NP-Hard
Most Tensor Problems Are NP-Hard
Material Type:
Artigo 		Adicionar ao Meu Espaço

Most Tensor Problems Are NP-Hard

Hillar, Christopher J ; Lim, Lek-Heng

Journal of the ACM, 2013-11, Vol.60 (6), p.1-39 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
7
From agents to organizations: An organizational view of multi-agent systems
From agents to organizations: An organizational view of multi-agent systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

From agents to organizations: An organizational view of multi-agent systems

FERBER, Jacques ; GUTKNECHT, Olivier ; MICHEL, Fabien

Lecture notes in computer science, 2004, p.214-230 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
8
ProB: A Model Checker for B
ProB: A Model Checker for B
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

ProB: A Model Checker for B

Leuschel, Michael ; Butler, Michael

FME 2003: Formal Methods, 2003, p.855-874 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
A Tutorial on Uppaal
A Tutorial on Uppaal
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Tutorial on Uppaal

Behrmann, Gerd ; David, Alexandre ; Larsen, Kim G.

Formal Methods for the Design of Real-Time Systems, 2004, p.200-236 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
A survey of combinatorial testing
A survey of combinatorial testing
Material Type:
Artigo 		Adicionar ao Meu Espaço

A survey of combinatorial testing

Nie, Changhai ; Leung, Hareton

ACM computing surveys, 2011-01, Vol.43 (2), p.1-29 [Periódico revisado por pares]

New York, NY: ACM

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 (14.580)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (7.318)
  2. Artigos  (5.987)
  3. Book Chapters  (2.532)
  4. magazinearticle  (1.535)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (1.335)
  2. 1988Até1993  (1.741)
  3. 1994Até1999  (3.542)
  4. 2000Até2006  (8.807)
  5. Após 2006  (2.001)
  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.