skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algorithm design with Haskell
Algorithm design with Haskell
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithm design with Haskell

Bird Gibbons; Jeremy Gibbons

Cambridge University Press 2020

Acesso online

2
Foundations of Health Information Engineering and Systems
Foundations of Health Information Engineering and Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of Health Information Engineering and Systems

Wendy MacCaull Jeremy Gibbons Wendy MacCaull

Springer Berlin Heidelberg 2014

Acesso online

3
Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedings
Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedings

International Conference on Integrated Formal Methods (6th 2007 Oxford, UK) Jim Davies; Jeremy Gibbons

Berlin Springer 2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4591 )(Acessar)

4
Generic Programming
Generic Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Generic Programming

Roland Backhouse Roland C Backhouse; Jeremy Gibbons

Springer Berlin Heidelberg 2003

Acesso online

5
Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
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

School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 University of Oxford) Roland C Backhouse 1948-; Roy L Crole; Jeremy Gibbons 1966-

Berlin Springer New York c2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2297 ) e outros locais(Acessar)

6
Datatype-generic programming international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures
Datatype-generic programming international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Datatype-generic programming international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures

SSDGP 2006 (2006 Nottingham, England) Jeremy Gibbons; Ralf Hinze; Johan Jeuring; Roland C Backhouse 1948

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4719 )(Acessar)

7
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction Roland C Backhouse; Roy L Crole; Jeremy Gibbons; Roy Crole

Springer Berlin Heidelberg 2002

Acesso online

8
Review of “Algorithm Design with Haskell” by Richard Bird and Jeremy Gibbons, Cambridge University Press, 2020
Review of “Algorithm Design with Haskell” by Richard Bird and Jeremy Gibbons, Cambridge University Press, 2020
Material Type:
Artigo 		Adicionar ao Meu Espaço

Review of “Algorithm Design with Haskell” by Richard Bird and Jeremy Gibbons, Cambridge University Press, 2020

GRUST, TORSTEN

Journal of functional programming, 2020, Vol.30, Article e29 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
9
The essence of the Iterator pattern
The essence of the Iterator pattern
Material Type:
Artigo 		Adicionar ao Meu Espaço

The essence of the Iterator pattern

GIBBONS, JEREMY ; OLIVEIRA, BRUNO C. d. S.

Journal of functional programming, 2009-07, Vol.19 (3-4), p.377-402 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
10
Maximum Segment Sum, Monadically (distilled tutorial)
Maximum Segment Sum, Monadically (distilled tutorial)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Maximum Segment Sum, Monadically (distilled tutorial)

Gibbons, Jeremy

Electronic proceedings in theoretical computer science, 2011-09, Vol.66 (Proc. DSL 2011), p.181-194

Open Publishing Association

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (4.525)
  2. magazinearticle  (774)
  3. Verbetes  (364)
  4. Resenhas  (324)
  5. Artigos de Jornal  (237)
  6. Book Chapters  (154)
  7. Anais de Congresso  (118)
  8. Livros  (45)
  9. Newsletter Articles  (21)
  10. Reports  (17)
  11. Outros  (2)
  12. Conjunto de Dados  (1)
  13. Dissertações  (1)
  14. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1961  (142)
  2. 1961Até1976  (63)
  3. 1977Até1992  (299)
  4. 1993Até2009  (2.212)
  5. Após 2009  (3.915)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (6.543)
  2. Japonês  (335)
  3. Espanhol  (26)
  4. Português  (23)
  5. Alemão  (14)
  6. Francês  (13)
  7. Norueguês  (2)
  8. Polonês  (1)
  9. Croatian  (1)
  10. Holandês  (1)
  11. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.