Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Model checking and artificial intelligence 4th workshop ; revised selected and invited papersStefan Edelkamp; Alessio Lomuscio; Workshop MoChArt (4th 2007 Riva del Garda, Italy)Berlin Springer Heidelberg New York 2007Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.8 M72 4. ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Regulated agent-based social systems first international workshop, RASTA 2002, Bologna, Italy, July 16, 2002 revised selected and invited papersRASTA 2002 (2002 Bologna, Italy) Gabriela Lindemann; Daniel Moldt; Mario Paolucci; International Joint Conference on Autonomous Agents and Multiagent Systems (1st 2002 Bologna, Italy)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Privacy in statistical databases CENEX-SDC project international conference, PSD 2006, Rome, Italy December 13-15, 2006 : proceedingsPSD 2006 (2006 Rome, Italy) Josep Domingo-Ferrer; Luisa FranconiBerlin Springer New York c2006Localização: IME - Inst. Matemática e Estatística (S L471c v.4302 )(Acessar) |
|
4 |
Material Type: Livro
|
Logical and Computational Aspects of Model-Based ReasoningDov M. Barwise, Jon Magnani, Lorenzo Gabbay L Magnani; N.J Nersessian; Claudio PizziSpringer Netherlands 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Web engineering 7th international conference, ICWE 2007, Como, Italy, July 16-20, 2007 proceedingsICWE 2007 (2007 Como, Italy.) Luciano Baresi; Piero Fraternali; Geert-Jan HoubenBerlin Springer 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4607 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Algorithmic learning theory 15th international conference, ALT 2004, Padova, Italy, October 2-5, 2004 ; proceedingsALT 2004 (15th 2004 Padua, Italy) Shai Ben-David; John Case 1942; Akira MaruokaBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Advances in brain, vision, and artificial intelligence second international symposium, BVAI 2007, Naples Italy, October 10-12, 2007 : proceedingsBVAI 2007 (2007 Naples, Italy) Francesco Mele; Giuliana Ramella; Silvia Santillo; Francesco VentrigliaBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4729 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Structural information and communication complexity 14th international colloquium, SIROCCO 2007 Castiglioncello, Italy, June 5-8, 2007 : proceedingsColloquium on Structural Information and Communication Complexity (14th 2007 Castiglioncello, Italy) Giuseppe Prencipe 1972-; Shmuel Zaks 1949-Berlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4474 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
AI*IA 2007 artificial intelligence and human-oriented computing : 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007Congress of the Italian Association for Artificial Intelligence (10th 2007 Rome, Italy) Roberto Basili; Maria Teresa PazienzaBerlin Springer 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4733 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8 2005 : proceedingsLPNMR 2005 (2005 Diamante, Italy) Chitta Baral; Gianluigi Greco; Nicola Leone; Giorgio TerracinaBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |