skip to main content
Idioma:
Refinado por: assunto: Computer Programming remover assunto: Linguagem De Programação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings

Paliath Narendran 1955-; M Rusinowitch (Michael); International Conference on Rewriting Techniques and Applications (10th 1999 Trento, Italy)

Berlin Springer New York c1999

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

2
Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Leo Bachmair; International Conference on Rewriting Techniques and Applications (11th 2000 Norwich, England)

Berlin Springer New York c2000

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

3
A Primer on Scientific Programming with Python
A Primer on Scientific Programming with Python
A Primer on Scientific Programming with Python
Material Type:
Livro 		Adicionar ao Meu Espaço

A Primer on Scientific Programming with Python

Hans Petter Langtangen

Dordrecht Springer Berlin Heidelberg 2012

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

4
A primer on scientific programming with Python
A primer on scientific programming with Python
Material Type:
Livro 		Adicionar ao Meu Espaço

A primer on scientific programming with Python

Hans Petter Langtangen 1962-

Berlin Springer Heidelberg u.a. 2014

Localização: EESC - Esc. Engenharia de São Carlos    (001.6424 L286p.4 )(Acessar)

5
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
6
UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings
UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings

Jézéquel, Jean-Marc ; Hussmann, Heinrich ; Cook, Stephen Cook, Stephen ; Hussmann, Heinrich ; Jézéquel, Jean-Marc

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
7
Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings
Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings

Hu, Zhenjiang ; Rodriquez-Artalejo, Mario Hu, Zhenjiang ; Rodríguez-Artalejo, Mario

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
8
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Degano, Pierpaolo Degano, Pierpaolo

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
9
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Geuvers, Herman ; Wiedijk, Freek Geuvers, Herman ; Wiedijk, Freek

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Citações Citado por
10
Foundations of Logic Programming
Foundations of Logic Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of Logic Programming

Loveland, D. W ; Amarel, S ; Bundy, A

Berlin, Heidelberg: Springer Berlin / Heidelberg 1987

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.