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
|
![]() |
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingLos Alamitos, Calif. IEEE Computer Society Press c1993Localização: EPBC - Esc. Politécnica-Bib Central (004.42 Ie2L 8. )(Acessar) |
3 |
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 |
4 |
Material Type: Livro
|
![]() |
An introduction to computer science an algorithmic approachJean-Paul Tremblay 1938- Richard B Bunt 1946-New York McGraw-Hill c1981Localização: IME - Inst. Matemática e Estatística (QA720.1 T789i Short.ed. )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Object-Oriented Reengineering PatternsSerge Demeyer, Stéphane Ducasse, Oscar NierstraszSan Diego: Elsevier Science 2002Texto completo disponível |
6 |
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) |
7 |
Material Type: Livro
|
![]() |
Software Engineering Techniques Applied to Agricultural Systems: An Object-Oriented and UML ApproachPapajorgji, Petraq J Pardalos, Panos MNetherlands: Springer Nature 2014Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Handbook of Process AlgebraBergstra, J. A ; Ponse, A ; Smolka, S. ASan Diego: Elsevier Science & Technology 2001Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 ProceedingsFlesca, Sergio ; Greco, Sergio ; Ianni, Giovambattista ; Leone, Nicola Leone, Nicola ; Flesca, Sergio ; Greco, Sergio ; Ianni, GiovambattistaBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, ProceedingsLifschitz, Vladimir ; Niemelä, Ilkka Niemelä, Ilkka ; Lifschitz, VladimirBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |