skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Feldspar: Application and Implementation

Axelsson, Emil ; Sheeran, Mary

Lecture Notes in Computer Science, 2012, Vol.7241, pp.402-439 [Periódico revisado por pares]

Texto completo disponível

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Framing Sustainability as a Property of Software Quality

Lago, P. ; Kocak, S. A. ; Crnkovic, Ivica ; Penzenstadler, B.

Communications of the ACM, 2015, Vol.58(10), pp.70-78 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
3
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Tip: Tools for inductive provers

Rosén, Dan ; Smallbone, Nicholas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.9450, pp.219-232 [Periódico revisado por pares]

2015

Texto completo disponível

Ver todas as versões
4
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Automating Inductive Proofs using Theory Exploration

Lindström Claessen, Koen ; Rosén, Dan ; Johansson, Moa ; Smallbone, Nicholas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.7898, pp.392-406 [Periódico revisado por pares]

2013

Texto completo disponível

Ver todas as versões
5
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A Classification of Value for Software Architecture Decisions

Eklund, Ulrik ; Arts, Thomas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.6285, pp.368-375 [Periódico revisado por pares]

2010

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

ROMA: A Middleware Framework for Seamless Handover

Popescu, Adrian ; Erman, David ; Vogeleer, Karel De ; Popescu, Alexandru ; Fiedler, Markus Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation

Lecture Notes in Computer Science, 2011, Vol. 5233, pp. 784-794 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

Feldspar: Application and Implementation

Axelsson, Emil ; Sheeran, Mary

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, Vol.7241, pp.402-439 [Periódico revisado por pares]

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Feldspar: Application and Implementation

Axelsson, Emil ; Sheeran, Mary

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, Vol.7241, pp.402-439 [Periódico revisado por pares]

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Side-effect localization for lazy, purely functional languages via aspects

Chen, Kung ; Weng, Shu-Chun ; Lin, Jia-Yin ; Wang, Meng ; Khoo, Siau-Cheng

Higher-Order and Symbolic Computation, 2011 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Experiences with QuickCheck: testing the hard stuff and staying sane

Hughes, John

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.9600, pp.169-186 [Periódico revisado por pares]

2016

Texto completo disponível

Ver todas as versões
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 (266)

Refinar Meus Resultados

Tipo de Recurso 

  1. Dissertações  (3.199)
  2. Anais de Congresso  (477)
  3. Artigos  (223)
  4. Livros  (96)
  5. Recursos Textuais  (90)
  6. Book Chapters  (21)
  7. Outros  (13)
  8. Resenhas  (2)
  9. Patentes  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1997  (67)
  2. 1997Até2002  (230)
  3. 2003Até2008  (670)
  4. 2009Até2015  (1.866)
  5. Após 2015  (1.266)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (3.683)
  2. Sueco  (853)
  3. Alemão  (2)
  4. Norueguês  (2)
  5. Italiano  (1)
  6. Japonês  (1)
  7. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.