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 | ||
Materiale a stampa | ||
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.) |
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] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
Materiale a stampa | ||
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.) |
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] | ||
Materiale a stampa | ||
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 |
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|