skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: Gibbons, J remover
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
Generic Programming
Generic Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Generic Programming

Jeremy Jeuring, Johan Gibbons Johan Jeuring

Springer US 2003

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (4)
  2. Disponível na Biblioteca (3)

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

Buscando em bases de dados remotas. Favor aguardar.