skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Books remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Gibbons, Jeremy ; Stevens, Perdita Gibbons, Jeremy ; Stevens, Perdita ; Gibbons, Jeremy ; Stevens, Perdita

Cham: Springer Nature 2018

Sem texto completo

Citações Citado por
2
Generic and indexed programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26 2010 : revised lectures
Generic and indexed programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26 2010 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Generic and indexed programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26 2010 : revised lectures

Gibbons, Jeremy

Springer 2012

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
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Gibbons, Jeremy ; Nogueira, Pablo Gibbons, Jeremy ; Nogueira, Pablo

Netherlands: Springer Nature 2012

Texto completo disponível

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

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
6
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
7
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

Hutchison, David ; Kanade, Takeo ; Kittler, Josef

Berlin/Heidelberg: Springer Berlin / Heidelberg 2007

Sem texto completo

Citações Citado por
8
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings

Gibbons, Jeremy ; Nuno Oliveira, Jose

Berlin, Heidelberg: Springer Berlin / Heidelberg 2009

Sem texto completo

Citações Citado por
9
Generic and Indexed Programming
Generic and Indexed Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Generic and Indexed Programming

Gibbons, Jeremy Gibbons, Jeremy

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por
10
Coding with Asymmetric Numeral Systems
Coding with Asymmetric Numeral Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Coding with Asymmetric Numeral Systems

Hutton, Graham

Mathematics of Program Construction, 2019, Vol.11825, p.444-465 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Sem texto completo

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (38)
  2. Revistas revisadas por pares (13)

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (91)
  2. Livros  (14)
  3. Anais de Congresso  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2006  (6)
  2. 2006Até2008  (40)
  3. 2009Até2012  (34)
  4. 2013Até2016  (16)
  5. Após 2016  (16)
  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.