skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Reflections on Monadic Lenses
Material Type:
Artigo
Adicionar ao Meu Espaço

Reflections on Monadic Lenses

Abou-Saleh, Faris ; Cheney, James ; Gibbons, Jeremy ; McKinna, James ; Stevens, Perdita

arXiv.org, 2016-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

2
Notions of bidirectional computation and entangled state monads
Material Type:
Artigo
Adicionar ao Meu Espaço

Notions of bidirectional computation and entangled state monads

Abou-Saleh, Faris ; Cheney, James ; Gibbons, Jeremy ; McKinna, James ; Stevens, Perdita

arXiv.org, 2015-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

3
Coalgebraic Aspects of Bidirectional Computation
Material Type:
Artigo
Adicionar ao Meu Espaço

Coalgebraic Aspects of Bidirectional Computation

Abou-Saleh, Faris ; McKinna, James ; Gibbons, Jeremy

Journal of object technology, 2017, Vol.16 (1), p.1

Texto completo disponível

4
Automated Student Assessment for Cybersecurity Courses
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Automated Student Assessment for Cybersecurity Courses

Ajjimaporn, Pann ; Gibbons, Michael ; Stoick, Brandon ; Straub, Jeremy

2019 14th Annual Conference System of Systems Engineering (SoSE), 2019, p.93-95

IEEE

Sem texto completo

5
Genetics: hereditary hemochromatosis
Material Type:
Artigo
Adicionar ao Meu Espaço

Genetics: hereditary hemochromatosis

Allanson, Judith ; Honeywell, Christina ; Blaine, Sean M ; Cremin, Carol ; Dorman, Heather ; Gibbons, Clare A ; Grimshaw, Jeremy ; Meschino, Wendy S ; Permaul, Joanne ; Wilson, Brenda J ; Carroll, June C

Canadian family physician, 2009-01, Vol.55 (1), p.53-53 [Periódico revisado por pares]

Canada: College of Family Physicians of Canada

Texto completo disponível

6
Dissecting mechanisms of fecal microbiota transplantation efficacy in disease
Material Type:
Artigo
Adicionar ao Meu Espaço

Dissecting mechanisms of fecal microbiota transplantation efficacy in disease

Andary, Catherine M. ; Al, Kait F. ; Chmiel, John A. ; Gibbons, Shaeley ; Daisley, Brendan A. ; Parvathy, Seema Nair ; Maleki Vareki, Saman ; Bowdish, Dawn M.E. ; Silverman, Michael S. ; Burton, Jeremy P.

Trends in molecular medicine, 2024-03, Vol.30 (3), p.209-222 [Periódico revisado por pares]

England: Elsevier Ltd

Texto completo disponível

7
Dinner with Darwin: Sharing the Evidence Bearing on the Origin of Humans
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Dinner with Darwin: Sharing the Evidence Bearing on the Origin of Humans

Ann Gibbons JEREMY M. DESILVA

A Most Interesting Problem, 2021, p.204

Princeton University Press

Sem texto completo

8
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : Revised Lectures
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : Revised Lectures

Backhouse, Roland ; Crole, Roy ; Gibbons, Jeremy Gibbons, Jeremy ; Backhouse, Roland ; Crole, Roy ; Backhouse, Roland ; Crole, Roy ; Gibbons, Jeremy

Berlin, Heidelberg: Springer Nature 2003

Texto completo disponível

9
Algebraic and coalgebraic methods in the mathematics of program construction (Oxford, 10-14 April 2000, revised lectures)
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Algebraic and coalgebraic methods in the mathematics of program construction (Oxford, 10-14 April 2000, revised lectures)

Backhouse, ROland ; Crole, Roy ; Gibbons, Jeremy

Lecture notes in computer science, 2002 [Periódico revisado por pares]

Berlin: Springer

Sem texto completo

10
Datatype-Generic Programming
Material Type:
Livro
Adicionar ao Meu Espaço

Datatype-Generic Programming

Backhouse, Roland ; Hinze, Ralf ; Gibbons, Jeremy ; Jeuring, Johan

Berlin: Springer 2007

Sem texto completo

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (202)
  2. Book Chapters  (127)
  3. Anais de Congresso  (63)
  4. Livros  (35)
  5. Conjunto de Dados  (2)
  6. Outros  (2)
  7. Dissertações  (2)
  8. Audio  (2)
  9. Resenhas  (2)
  10. Reports  (1)
  11. magazinearticle  (1)
  12. Imagens  (1)
  13. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1995  (9)
  2. 1995Até2001  (20)
  3. 2002Até2008  (113)
  4. 2009Até2016  (186)
  5. Após 2016  (116)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (437)
  2. Japonês  (21)
  3. Latim  (2)
  4. Português  (1)
  5. Alemão  (1)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.