skip to main content
Idioma:
Refinado por: assunto: Informatique remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Mathematics of program construction 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings
Mathematics of program construction 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics of program construction 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings

MPC 2006 (2006 Kingissepa, Estonia) Tarmo Uustalu

Berlin Springer New York c2006

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

2
Mathematics of program construction 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14 2004 : proceedings
Mathematics of program construction 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics of program construction 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14 2004 : proceedings

MPC 2004 (2004 (Stirling, Stirling, Scotland) Dexter Kozen 1951

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

3
Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29 2004 : revised selected papers
Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29 2004 : revised selected papers

WADT 2004 (2004 Barcelona, Spain) Jos e Luiz Fiadeiro 1961; Peter Mosses; F Orejas (Fernando)

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

4
Metainformatics international symposium, MIS 2004, Salzburg, Austria, September 15-18 2004 : revised selected papers
Metainformatics international symposium, MIS 2004, Salzburg, Austria, September 15-18 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Metainformatics international symposium, MIS 2004, Salzburg, Austria, September 15-18 2004 : revised selected papers

MIS 2004 (2004 Salzburg, Austria) Uffe Kock Wiil

Berlin Springer New York 2005

Acesso online. A biblioteca também possui exemplares impressos.

5
Software Engineering Techniques Applied to Agricultural Systems: An Object-Oriented and UML Approach
Software Engineering Techniques Applied to Agricultural Systems: An Object-Oriented and UML Approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Engineering Techniques Applied to Agricultural Systems: An Object-Oriented and UML Approach

Papajorgji, Petraq J Pardalos, Panos M

Netherlands: Springer Nature 2014

Texto completo disponível

Citações Citado por
6
How to Design Programs: An Introduction to Programming and Computing
How to Design Programs: An Introduction to Programming and Computing
Material Type:
Livro 		Adicionar ao Meu Espaço

How to Design Programs: An Introduction to Programming and Computing

Felleisen, Matthias ; Findler, Robert Bruce ; Flatt, Matthew ; Krishnamurthi, Shriram

MIT Press 2001

Texto completo disponível

Citações Citado por
7
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings

Hentenryck, Pascal Van Van Hentenryck, Pascal

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
8
Introduction to Nursing Informatics
Introduction to Nursing Informatics
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to Nursing Informatics

Hannah, Kathryn J ; Ball, Marion J ; Edwards, Margaret J. A

New York, NY: Springer 1998

Texto completo disponível

Citações Citado por
9
Structural bioinformatics
Structural bioinformatics
Material Type:
Livro 		Adicionar ao Meu Espaço

Structural bioinformatics

Bourne, Philip E ; Weissig, Helge

Hoboken, N.J: Wiley-Liss 2003

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Autor/Criador 

  1. Kozen, D  (1)
  2. Uustalu, T  (1)
  3. MPC 2006  (1)
  4. MPC 2004  (1)
  5. Fiadeiro, J  (1)
  6. MIS 2004  (1)
  7. Orejas, F  (1)
  8. WADT 2004  (1)
  9. Mosses, P  (1)
  10. Wiil, U  (1)
  11. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (2)
  2. 1999Até2000  (2)
  3. 2001Até2002  (4)
  4. 2003Até2005  (5)
  5. Após 2005  (6)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Kozen, D
  2. Uustalu, T
  3. MPC 2006
  4. MPC 2004
  5. Fiadeiro, J

Neste Assunto:

  1. Informatique
  2. Computer Science
  3. Informatique
  4. Técnicas De Programação (Congressos)
  5. Computer Programming

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

Buscando em bases de dados remotas. Favor aguardar.