Prodotto Ricercato: microscopi per computer
This book constitutes the thoroughly refereed proceedings of the 6th Iberoamerican Workshop on Huma…
A partire da
Disponibilità
This book constitutes the refereed proceedings of the 8th Iberoamerican Workshop on Human-Computer …
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL…
This book constitutes the strictly refereed post-workshop proceedings of the 11th International Wor…
ICCAL, the International Conference on Computers and Learning, is a forum for the exchange of ideas…
This book constitutes the refereed proceedings of the 42nd National Conference on Theoretical Compu…
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th Interna…
This book constitutes the refereed proceedings of the 16th International Conference on Speech and C…
The two-volume proceedings set LNAI 14338 and 14339 constitutes the refereed proceedings of the 25t…
The theme of the 1997 INTERACT conference, 'Discovering New Worlds ofHCI', signals major changes th…
Computer-Supported Collaboration with Applications to Software Development reviews the theory of co…