skip to main content
Idioma:
Refinado por: assunto: Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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
3
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
4
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
5
Metadata-driven software for clinical trials
Metadata-driven software for clinical trials
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Metadata-driven software for clinical trials

Crichton, Charles ; Davies, Jim ; Gibbons, Jeremy ; Harris, Steve ; Tsui, Andrew ; Brenton, James

2009 ICSE Workshop on Software Engineering in Health Care, 2009, Vol.2009 (10), p.1-11

IEEE Computer Society

Texto completo disponível

Citações Citado por
6
Just do it: simple monadic equational reasoning
Just do it: simple monadic equational reasoning
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Just do it: simple monadic equational reasoning

Gibbons, Jeremy ; Hinze, Ralf

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, 2011, p.2-14

ACM

Texto completo disponível

Citações Citado por
7
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Wolff, Burkhard ; Gaudel, Marie-Claude ; Feliachi, Abderrahmane Gaudel, Marie-Claude ; Wolff, Burkhard ; Feliachi, Abderrahmane

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
8
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
9
Incremental updates for efficient bidirectional transformations
Incremental updates for efficient bidirectional transformations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Incremental updates for efficient bidirectional transformations

Wang, Meng ; Gibbons, Jeremy ; Wu, Nicolas

ICFP'11 The 16th ACM SIGPLAN International Conference on Functional Programming, 2011, p.392-403

ACM

Texto completo disponível

Citações Citado por
10
Verifying Business Process Compatibility (Short Paper)
Verifying Business Process Compatibility (Short Paper)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Verifying Business Process Compatibility (Short Paper)

Wong, P.Y.H. ; Gibbons, J.

2008 The Eighth International Conference on Quality Software, 2008, p.126-131

IEEE

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (15)
  2. Revistas revisadas por pares (1)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (11)
  2. Livros  (6)
  3. Artigos  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2007  (2)
  2. 2007Até2008  (3)
  3. 2009Até2010  (4)
  4. 2011Até2013  (8)
  5. Após 2013  (4)
  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.