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 volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in ...Savoir plus
This book constitutes the refereed proceedings of the 23rd Australasian Joint Conference on Artificial Intelligence, AI 2010, held in Adelaide, Austra...Savoir plus
The international conference on current trends in the theory and practice of informatics SOFSEM 2000 was held 25 November-2 December 2000 in the c- fe...Savoir plus
Das Buch Hypertext/Hypermedia '91 ist der Tagungsband des gleichnamigen Symposiums, das im Juni 1991 in Graz/Osterreich stattfand, und zwar als erste ...Savoir plus
Researchers working with nonlinear programming often claim "the word is non- linear" indicating that real applications require nonlinear modeling. The...Savoir plus
Research in software composition investigates models and techniques to build systems from prede?ned, pretested, reusable components instead of buildin...Savoir plus
This book explores emerging topics in atomic- and nano-scale electronics after the era of Moore's Law, covering both the physical principles behind, a...Savoir plus
This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in...Savoir plus
This book constitutes the refereed proceedings of the 11th International Conference on Principles of Distributed Systems, OPODIS 2007, held in Guadelo...Savoir plus
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, Fra...Savoir plus
This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Networked Systems, NETYS 2017, held in Mar...Savoir plus
This book constitutes the proceedings of the 23rd International Conference on Information Processing in Medical Imaging, IPMI 2013, held in Asilomar i...Savoir plus
This volume constitutes the proceedings of the 11th International Conference on Algorithmic Aspects in Information and Management, AAIM 2016, held in ...Savoir plus
This book constitutes the refereed proceedings of the 13th International Conference on Engineering Applications of Neural Networks, EANN 2012, held in...Savoir plus
This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held i...Savoir plus
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August ...Savoir plus
This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, ...Savoir plus
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation,...Savoir plus
This volume is based on the International Conference Logic at Work, held in Amsterdam, The Netherlands, in December 1992. The 14 papers in this volume...Savoir plus
This volume contains papers presented at the International Conference on Software Process (ICSP 2009) held in Vancouver, Canada, during May 16-17, 200...Savoir plus
This monograph concentrates on the implementation of concurrent logic programming languages on loosely-coupled parallel computer architectures. Two di...Savoir plus
This book constitutes the refereed proceedings of the 19th International Conference on Artificial Intelligence in Medicine, AIME 2021, held as a virtu...Savoir plus
This monograph provides novel insights into cognitive mechanisms underlying the processing of sound and music in different environments. A solid under...Savoir plus
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Work...Savoir plus