Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, ProceedingsHentenryck, Pascal Van Van Hentenryck, PascalBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. ProceedingsHu, Zhenjiang ; Rodriquez-Artalejo, Mario Hu, Zhenjiang ; Rodríguez-Artalejo, MarioBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
An introduction to computer science using JavaSamuel N. Kamin M. Dennis Mickunas; Edward M Reingold 1945-Boston WCB/McGraw-Hill 1998Localização: IME - Inst. Matemática e Estatística (QA724.12 K15i )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Modular Specification and Verification of Object-Oriented ProgramsPeter MüllerSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Principles and practice of constraint programming--CP2001 7th international conference, CP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedingsCP 2001 (2001 Paphos, Cyprus) Toby WalshBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2239 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Principles and practice of constraint programming-CP 2002 8th International Conference4, CP 2002, Ithaca, NY, USA, september 2002 : proceedingsCP 2002 (2002 Ithaca, N.Y.) Pascal Van HentenryckBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2470 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data typesMark Steven ShermanBerlin New York Springer-Verlag c1985Localização: EPBC - Esc. Politécnica-Bib Central (004.43 PARAGON Sh55p ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Integrated formal methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedingsInternational Conference on Integrated Formal Methods (3rd 2002 Turku, Finland) Michael Butler 1967-; Luigia Petre 1974-; K Sere 1954- (Kaisa)Berlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2335 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Functional and logic programming 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedingsFuji International Symposium on Functional and Logic Programming (6th 2002 Aizu Daigaku, Japan) Zhenjiang Hu 1966-; M Rodríguez Artalejo (Mario)Berlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2441 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Functional programming languages and computer architecture proceedingsConference on Functional Programming Languages and Computer Architecture (3. 1987 Portland) Gilles KahnBerlin Springer 1987Localização: EPBC - Esc. Politécnica-Bib Central (004.43 C76f 3. ) e outros locais(Acessar) |