skip to main content
Idioma:
Refinado por: tipo de recurso: Livros remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

Backhouse, Roland C ; Gibbons, Jeremy ; Hinze, Ralf

Dordrecht: Springer 2007

Sem texto completo

Citações Citado por
2
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

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

Citações Citado por
3
Generic Programming: Advanced Lectures
Generic Programming: Advanced Lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Generic Programming: Advanced Lectures

Backhouse, Roland ; Gibbons, Jeremy Backhouse, Roland ; Gibbons, Jeremy ; Backhouse, Roland ; Gibbons, Jeremy

Lecture notes in computer science, 2003, Vol.2793

Berlin, Heidelberg: Springer Nature

Texto completo disponível

Citações Citado por
4
Datatype-Generic Programming
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

Citações Citado por
5
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

6
Algorithm Design with Haskell
Algorithm Design with Haskell
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithm Design with Haskell

Bird, Richard

Cambridge: Cambridge University Press 2020

Sem texto completo

Citações Citado por
7
Science, Technology, and Irish Modernism
Science, Technology, and Irish Modernism
Material Type:
Livro 		Adicionar ao Meu Espaço

Science, Technology, and Irish Modernism

Conrad, Kathryn ; Parsons, Cóilín ; Weng, Julie McCormick ; Hewitt, Seán ; Gibbons, Luke ; Castle, Gregory ; During, Simon ; Keane, Damien ; Cammack, Susanne S ; Lakoff, Jeremy

Syracuse: Syracuse University Press 2019

Sem texto completo

Citações Citado por
8
A Most Interesting Problem: What Darwin's Descent of Man Got Right and Wrong about Human Evolution
A Most Interesting Problem: What Darwin's Descent of Man Got Right and Wrong about Human Evolution
Material Type:
Livro 		Adicionar ao Meu Espaço

A Most Interesting Problem: What Darwin's Descent of Man Got Right and Wrong about Human Evolution

DeSilva, Jeremy ; Browne, Janet DeSilva, Jeremy

United States: Princeton University Press 2021

Sem texto completo

Citações Citado por
9
The Edinburgh Companion to Irish Modernism
The Edinburgh Companion to Irish Modernism
Material Type:
Livro 		Adicionar ao Meu Espaço

The Edinburgh Companion to Irish Modernism

Ellmann, Maud ; White, Sian ; Mahaffey, Vicki

Edinburgh: Edinburgh University Press 2021

Texto completo disponível

Citações Citado por
10
Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Gheyi, Rohit ; Naumann, David Naumann, David ; Gheyi, Rohit

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2003  (7)
  2. 2003Até2008  (13)
  3. 2009Até2013  (7)
  4. 2014Até2019  (9)
  5. Após 2019  (7)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.