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
Gestion des cookies
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 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third Wor...Savoir plus
This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. The ...Savoir plus
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
Mobile and Wireless Communications Networks 2000 (MWCN2000) was the second conference in its series aimed at stimulating technical exchange in the eme...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
The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft ...Savoir plus
The 17th International Workshop on Languages and Compilers for High P- formance Computing was hosted by Purdue University in September 2004 on Purdue ...Savoir plus
This volume is devoted to the applications of techniques from statistical physics to the characterization and modeling of complex networks. The first ...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
Dieses Buch ist für Anfängerkurse bestimmt und soll helfen, Probleme mitHilfe des Rechners zu lösen. Es ist für Schüler der oberen Klassen und Student...Savoir plus
This book constitutes the refereed proceedings of the 23th International Conference on DNA Computing and Molecular Programming, DNA 23, held Austin, T...Savoir plus
Prolog is important as one of the major programming languages. Beginning with a chapter on logic (which makes the book particularly useful to undergra...Savoir plus
This book tackles issues associated with inconsistency in pairwise comparisons from both theoretical and practical perspectives. Human judgments are s...Savoir plus
This two-volume set LNCS 13968 and 13969 constitutes the proceedings of the 14 th International Conference on Advances in Swarm Intelligence, ICSI 202...Savoir plus
The abstracts and papers in this volume were presented at the Fifth Annual International Computing and Combinatorics Conference (COCOON '99), which wa...Savoir plus
This book focuses in detail on data science and data analysis and emphasizes the importance of data engineering and data management in the design of b...Savoir plus
Les enjeux et les débats au sujet de l’intelligence artificielle (IA) sont fréquemment empreints de ce qui relève de la science-fiction. Néanmoins, de...Savoir plus
This volume LNCS 14240 constitutes the refereed proceedings of the 30th International Symposium on String Processing and Information Retrieval, SPIRE ...Savoir plus
The 7th International Conference on Information Security and Cryptology was organized by the Korea Institute of Information Security and Cryptology (K...Savoir plus
DISC, the International Symposium on DIStributed Computing, is an annual forum for research presentations on all facets of distributed computing. This...Savoir plus
This book constitutes the proceedings of the 13th International Conference on Integration of Artificial Intelligence and Operations Research Technique...Savoir plus
This book constitutes the refereed proceedings of the 43rd German Conference on Artificial Intelligence, KI 2020, held in Bamberg, Germany, in Septemb...Savoir plus
This book collects selected contributions from the international conference "Optimization and Decision Science" (ODS2020), which was held online on No...Savoir plus