Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
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 |
|
3 |
Material Type: Livro
|
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, ProceedingsDegano, Pierpaolo Degano, PierpaoloBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
|
4 |
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 |
|
5 |
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 |
|
6 |
Material Type: Livro
|
High Performance Computing - HiPC 2002: 9th International Conference Bangalore, India, December 18-21, 2002, ProceedingsSahni, Sartaj ; Prasanna, Viktor K ; Shukla, Uday Shukla, Uday ; Sahni, Sartaj ; Prasanna, Viktor K.Berlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
7 |
Material Type: Livro
|
NETWORKING 2000. Broadband Communications, High Performance Networking, and Performance of Communication Networks: IFIP-TC6/European Commission International Conference Paris, France, May 14-19, 2000 ProceedingsPujolle, Guy ; Perros, Harry ; Fdida, Serge ; Körner, Ulf ; Stavrakakis, Ioannis Stavrakakis, Ioannis ; Pujolle, Guy ; Perros, Harry ; Fdida, Serge ; Körner, UlfBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
8 |
Material Type: Livro
|
Multi-Agent System Engineering: 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 Valencia, Spain, June 30 - July 2, 1999 ProceedingsGarijo, Francisco J ; Boman, Magnus Boman, Magnus ; Garijo, Francisco J.Berlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
9 |
Material Type: Livro
|
A Concurrent Pascal Compiler for MinicomputersHartmann, Alfred CBerlin, Heidelberg: Springer Berlin Heidelberg 1977Texto completo disponível |
|
10 |
Material Type: Livro
|
DIANA An Intermediate Language for AdaGoos, Gerhard ; Wulf, William A ; Evans, Arthur ; Butler, Kenneth J Wulf, William A. ; Goos, Gerhard ; Butler, Kenneth J. ; Evans, ArthurBerlin, Heidelberg: Springer Berlin Heidelberg 1983Texto completo disponível |