skip to main content
Sua busca inicial resultou em poucos registros ou nenhum resultado. Os resultados abaixo foram encontrados ao expandir sua busca.
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Applicative programming with effects
Material Type:
Artigo
Adicionar ao Meu Espaço

Applicative programming with effects

MCBRIDE, CONOR ; PATERSON, ROSS

Journal of functional programming, 2008-01, Vol.18 (1), p.1-13 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

2
José Meseguer: Scientist and Friend Extraordinaire
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

José Meseguer: Scientist and Friend Extraordinaire

Martí-Oliet, Narciso ; Ölveczky, Peter Csaba ; Talcott, Carolyn

Logic, Rewriting, and Concurrency, 2015, Vol.9200, p.1-47 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

3
Open-Ended Evolution: Perspectives from the OEE Workshop in York
Material Type:
Artigo
Adicionar ao Meu Espaço

Open-Ended Evolution: Perspectives from the OEE Workshop in York

Taylor, Tim ; Bedau, Mark ; Channon, Alastair ; Ackley, David ; Banzhaf, Wolfgang ; Beslon, Guillaume ; Dolson, Emily ; Froese, Tom ; Hickinbotham, Simon ; Ikegami, Takashi ; McMullin, Barry ; Packard, Norman ; Rasmussen, Steen ; Virgo, Nathaniel ; Agmon, Eran ; Clark, Edward ; McGregor, Simon ; Ofria, Charles ; Ropella, Glen ; Spector, Lee ; Stanley, Kenneth O. ; Stanton, Adam ; Timperley, Christopher ; Vostinar, Anya ; Wiser, Michael

Artificial life, 2016-08, Vol.22 (3), p.408-423 [Periódico revisado por pares]

One Rogers Street, Cambridge, MA 02142-1209, USA: MIT Press

Texto completo disponível

4
Data types à la carte
Material Type:
Artigo
Adicionar ao Meu Espaço

Data types à la carte

SWIERSTRA, WOUTER

Journal of functional programming, 2008-07, Vol.18 (4), p.423-436 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

5
Recognizing Materials Using Perceptually Inspired Features
Material Type:
Artigo
Adicionar ao Meu Espaço

Recognizing Materials Using Perceptually Inspired Features

Sharan, Lavanya ; Liu, Ce ; Rosenholtz, Ruth ; Adelson, Edward H.

International journal of computer vision, 2013-07, Vol.103 (3), p.348-371 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

6
Combining effects: Sum and tensor
Material Type:
Artigo
Adicionar ao Meu Espaço

Combining effects: Sum and tensor

Hyland, Martin ; Plotkin, Gordon ; Power, John

Theoretical computer science, 2006-07, Vol.357 (1), p.70-99 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

7
Annotating a broad range of anaphoric phenomena, in a variety of genres: the ARRAU Corpus
Material Type:
Artigo
Adicionar ao Meu Espaço

Annotating a broad range of anaphoric phenomena, in a variety of genres: the ARRAU Corpus

Uryupina, Olga ; Artstein, Ron ; Bristot, Antonella ; Cavicchio, Federica ; Delogu, Francesca ; Rodriguez, Kepa J. ; Poesio, Massimo

Natural language engineering, 2020-01, Vol.26 (1), p.95-128 [Periódico revisado por pares]

Cambridge: Cambridge University Press

Texto completo disponível

8
A comparison of creativity and innovation metrics and sample validation through in-class design projects
Material Type:
Artigo
Adicionar ao Meu Espaço

A comparison of creativity and innovation metrics and sample validation through in-class design projects

Oman, Sarah K. ; Tumer, Irem Y. ; Wood, Kris ; Seepersad, Carolyn

Research in engineering design, 2013-01, Vol.24 (1), p.65-92 [Periódico revisado por pares]

London: Springer-Verlag

Texto completo disponível

9
Non-monotonic spatial reasoning with answer set programming modulo theories
Material Type:
Artigo
Adicionar ao Meu Espaço

Non-monotonic spatial reasoning with answer set programming modulo theories

WAŁĘGA, PRZEMYSŁAW ANDRZEJ ; SCHULTZ, CARL ; BHATT, MEHUL

Theory and practice of logic programming, 2017-03, Vol.17 (2), p.205-225 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

10
Constructing a small category of setoids
Material Type:
Artigo
Adicionar ao Meu Espaço

Constructing a small category of setoids

WILANDER, OLOV

Mathematical structures in computer science, 2012-02, Vol.22 (1), p.103-121 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (3.013)
  2. Anais de Congresso  (712)
  3. Book Chapters  (331)
  4. Verbetes  (97)
  5. magazinearticle  (32)
  6. Resenhas  (20)
  7. Livros  (3)
  8. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1997  (110)
  2. 1997Até2002  (572)
  3. 2003Até2008  (1.191)
  4. 2009Até2015  (1.549)
  5. Após 2015  (946)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (4.199)
  2. Ndongo  (41)
  3. Alemão  (10)
  4. Espanhol  (10)
  5. Japonês  (8)
  6. Francês  (7)
  7. Português  (7)
  8. Italiano  (1)
  9. Norueguês  (1)
  10. Turco  (1)
  11. Letão  (1)
  12. Africâner  (1)
  13. Catalão  (1)
  14. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.