Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Nous utilisons des cookies dans le but suivant :
Assurer le bon fonctionnement du site web, améliorer la sécurité et prévenir la fraude
Avoir un aperçu de l'utilisation du site web, afin d'améliorer son contenu et ses fonctionnalités
Pouvoir vous montrer les publicités les plus pertinentes sur des plateformes externes
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Cookies techniques et fonctionnels
Ces cookies sont indispensables au bon fonctionnement du site internet et vous permettent par exemple de vous connecter. Vous ne pouvez pas désactiver ces cookies.
Cookies analytiques
Ces cookies collectent des informations anonymes sur l'utilisation de notre site web. De cette façon, nous pouvons mieux adapter le site web aux besoins des utilisateurs.
Cookies marketing
Ces cookies partagent votre comportement sur notre site web avec des parties externes, afin que vous puissiez voir des publicités plus pertinentes de Club sur des plateformes externes.
Une erreur est survenue, veuillez réessayer plus tard.
Il y a trop d’articles dans votre panier
Vous pouvez encoder maximum 250 articles dans votre panier en une fois. Supprimez certains articles de votre panier ou divisez votre commande en plusieurs commandes.
This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Ha...Savoir plus
This volume contains the proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS 2005) held September 19-21, 2005 in V...Savoir plus
Sequential behavior is essential to intelligence in general and a fundamental part of human activities, ranging from reasoning to language, and from e...Savoir plus
It was our great pleasure to extend a welcome to all who participated in SERA 2003, the ?rst world-classs International Conference on Software Enginee...Savoir plus
The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft ...Savoir plus
This book constitutes the thoroughly refereed post-proceedings of the First International Java Card Workshop held in Cannes, France, in September 2000...Savoir plus
This book constitutes the refereed proceedings of the 20th International Conference on Conceptual Modeling, ER 2001, held in Tokohama, Japan, in Novem...Savoir plus
This book constitutes the thoroughly revised proceedings of the Fourth International Workshop on Network and Operating System Support for Digital Audi...Savoir plus
This book constitutes the refereed proceedings of the 22nd International Conference on Product-Focused Software Process Improvement, PROFES 2021, held...Savoir plus
This open access book constitutes the proceedings of the 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications...Savoir plus
This book constitutes the refereed proceedings of 3 workshops held at the 22nd International Conference on Financial Cryptography and Data Security, F...Savoir plus
The five-volume set LNCS 12932-12936 constitutes the proceedings of the 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERA...Savoir plus
This volume describes recent research in graph reduction and related areas of functional and logic programming, as reported at a workshop in 1986. The...Savoir plus
The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature...Savoir plus
If the Internet is seen as a single, vast, programmable machine, what is the proper programming paradigm to facilitate development of the new applicat...Savoir plus
This book contains the papers presented at CG2000 - the Second International ConferenceonComputersandGames-heldattheCURREACCenterinHa- matsu, Japan, o...Savoir plus
This book constitutes the proceedings of the 19th IMA International Conference, IMACC 2023, held in London, UK, during December 12-14, 2023 The 14 ful...Savoir plus
The annual Text, Speech and Dialogue Conference (TSD), which originatedin 1998, is now startingits second decade. So far more than 1,000 authors from ...Savoir plus
The European Conference on Computer Vision (ECCV) has established itself as a major event in this exciting and very active field of research. This two...Savoir plus
These are the proceedings of Eurocrypt 2010, the 29th in the series of Eu- pean conferences on the Theory and Application of Cryptographic Techniques....Savoir plus
The development of products in disciplines such as mechanical, electrical, or software engineering is a challenging task. Costs have to be reduced, th...Savoir plus
This work brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics on the other hand...Savoir plus
The four-volume set LNCS 14442 -14445 constitutes the proceedings of the 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTER...Savoir plus