Affective Dialogue Systems : tutorial and research workshop, ADS 2004 : Kloster Irsee, Germany, June 2004 : proceedings / Dlisabeth André... [et al.] (Eds.)
| Affective Dialogue Systems : tutorial and research workshop, ADS 2004 : Kloster Irsee, Germany, June 2004 : proceedings / Dlisabeth André... [et al.] (Eds.) |
| Autore | Tutorial and research workshop, ADS 2004 : <2004 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
| Descrizione fisica | XII, 324 p. : ill. ; 24 cm. |
| Disciplina | 658.8 |
| Collana |
Lecture notes in artificial intelligence
Lecture notes in computer science |
| Soggetto topico |
Intelligenza Artificiale
Elaboratori elettronici - Interazione - Congressi - Kloster Irsee - 2004 |
| ISBN | 3-540-22143-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002962740203316 |
Tutorial and research workshop, ADS 2004 : <2004
|
||
| Berlin [etc.] : Springer, copyr. 2004 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agents and Peer-to-Peer Computing : 3rd International workshop, AP2PC 2004 : New york, NY, USA, July 19, 2004 : Revised and Invited Papers / Gianluca Moro, Sonia Bergamaschi, Karl Aberer(Eds.)
| Agents and Peer-to-Peer Computing : 3rd International workshop, AP2PC 2004 : New york, NY, USA, July 19, 2004 : Revised and Invited Papers / Gianluca Moro, Sonia Bergamaschi, Karl Aberer(Eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, [c2005] |
| Descrizione fisica | XV, 244 p. : ill. ; 24 cm. |
| Disciplina | 004 |
| Collana |
Lecture notes in Artificial Intelligence, Hot Topics
Lecture notes in computer science |
| Soggetto topico |
Reti di Elaboratori - Congressi - New York - 2004
Intelligenza Artificiale |
| ISBN | 3-540-29755-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002970660203316 |
| Berlin [etc.] : Springer, [c2005] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Database Support for Data Minig Applications : Discovering Knowledge with inductive Queries / Rosa Meo...[et al.](eds.)
| Database Support for Data Minig Applications : Discovering Knowledge with inductive Queries / Rosa Meo...[et al.](eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
| Descrizione fisica | XII, 323 p. : ill. ; 24 cm |
| Disciplina | 006.3 |
| Collana | Lecture notes in artificial intelligence, State of the Art Survey |
| Soggetto topico |
Intelligenza Artificiale
Informatica - Elaborazione dei Dati |
| ISBN | 3-540-22479-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002971740203316 |
| Berlin [etc.] : Springer, copyr. 2004 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Designing smart homes : the role of artificial intelligence / Juan Carlos Augusto, Chris D. Nugent (eds.)
| Designing smart homes : the role of artificial intelligence / Juan Carlos Augusto, Chris D. Nugent (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2006 |
| Descrizione fisica | X, 182 p. : ill. ; 24 cm. |
| Collana |
Lecture notes in artificial intelligence, State of the Art Survey
Lecture notes in computer science |
| Soggetto topico |
Innovazione Tecnologica
Intelligenza Artificiale |
| ISBN | 3-540-35994-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002971600203316 |
| Berlin [etc.] : Springer, copyr. 2006 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Trusting Agents for Trusting electronic societies : theory and Applications in HCI and E-Commerce / Rino Falcone...[et al.](Eds.)
| Trusting Agents for Trusting electronic societies : theory and Applications in HCI and E-Commerce / Rino Falcone...[et al.](Eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, [c2005] |
| Descrizione fisica | VIII, 234 p. : ill. ; 24 cm. |
| Disciplina | 006.322 |
| Collana |
Lecture notes in Artificial Intelligence, Hot Topics
Lecture notes in computer science |
| Soggetto topico |
Agenti Intelligenti
Intelligenza Artificiale |
| ISBN | 3-540-28012-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002970650203316 |
| Berlin [etc.] : Springer, [c2005] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification of object-oriented software : the keY Approach / Bernhard Beckert...[et al.](Eds.) ; foreword by K. Rustan, M. Leino
| Verification of object-oriented software : the keY Approach / Bernhard Beckert...[et al.](Eds.) ; foreword by K. Rustan, M. Leino |
| Autore | BECKERT, Bernhard |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2007 |
| Descrizione fisica | XXIX, 658 p. : ill. ; 24 cm |
| Disciplina | 006.3 |
| Collana |
Lecture notes in artificial intelligence, AI Systems
Lecture notes in computer science |
| Soggetto topico | Intelligenza Artificiale |
| ISBN | 3-540-68977-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002967780203316 |
BECKERT, Bernhard
|
||
| Berlin [etc.] : Springer, copyr. 2007 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||