Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


1-12 sur 12 résultats pour « peggy cellier »
Skip side bar filters

  • Conceptual Knowledge Structures

    Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8–12, 2025, Proceedings

    Modifié par Peggy Cellier, Bernhard Ganter, Rokia Missaoui ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Second International Joint Conference on Conceptual Knowledge Structures, CONCEPTS 2025, held in Cluj-Napoca, Romania, during September 8–12, 2025.The 25 full papers and 2 short papers included in this book were carefully reviewed and selected from 33 submissions. They were organized in topical sections as follows: Methodology; Patterns, ... En savoir plus

    $166.49 CAD

  • Machine Learning and Knowledge Discovery in Databases

    International Workshops of ECML PKDD 2019, Würzburg, Germany, September 16–20, 2019, Proceedings, Part I

    Modifié par Peggy Cellier, Kurt Driessens ...
    Collections Livre 1 - Springer Nature Proceedings Computer Science
    This two-volume set constitutes the refereed proceedings of the workshops which complemented the 19th Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD, held in Würzburg, Germany, in September 2019.The 70 full papers and 46 short papers presented in the two-volume set were carefully reviewed and selected from 200 submissions. The two volumes (CCIS 1167 ... En savoir plus

    $115.29 CAD

  • Machine Learning and Knowledge Discovery in Databases

    International Workshops of ECML PKDD 2019, Würzburg, Germany, September 16–20, 2019, Proceedings, Part II

    Modifié par Peggy Cellier, Kurt Driessens ...
    Collections Livre 2 - Springer Nature Proceedings Computer Science
    This two-volume set constitutes the refereed proceedings of the workshops which complemented the 19th Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD, held in Würzburg, Germany, in September 2019.The 70 full papers and 46 short papers presented in the two-volume set were carefully reviewed and selected from 200 submissions. The two volumes (CCIS 1167 ... En savoir plus

    $115.99 CAD

  • Formal Concept Analysis

    14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings

    Modifié par Karell Bertet, Daniel Borchmann, Peggy Cellier, Sébastien Ferré ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2017, held in Rennes, France, in June 2017.The 13 full papers presented in this volume were carefully reviewed and selected from 37 submissions. The book also contains an invited contribution and a historical paper translated from German and originally published in “Die Klassifkation und ... En savoir plus

    $64.99 CAD

Les lecteurs de ces romans ont aussi aimé

  • Foundations of Software Science and Computation Structures

    26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

    Modifié par Orna Kupferman, Pawel Sobocinski ...
    Collections series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 26 regular papers presented in this volume were carefully reviewed and selected ... En savoir plus

    Gratuit

  • Computer Aided Verification

    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

    Modifié par Hana Chockler, Georg Weissenbacher ...
    Collections Livre 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... En savoir plus

    Gratuit

  • Computation, Cryptography, and Network Security

    Modifié par Nicholas J. Daras, Michael Th. Rassias ...
    Collections series Mathematics and Statistics (R0)
    Analysis, assessment, and data management are core competencies for operation research analysts. This volume addresses a number of issues and developed methods for improving those skills. It is an outgrowth of a conference held in April 2013 at the Hellenic Military Academy, and brings together a broad variety of mathematical methods and theories with several applications. It discusses directions ... En savoir plus

    $115.99 CAD

  • Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

    Modifié par Bernd Finkbeiner, Laura Kovács ...
    Collections Livre 2 - Springer Nature Proceedings Computer Science
    The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions ... En savoir plus

    Gratuit

  • Tools and Algorithms for the Construction and Analysis of Systems

    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

    Modifié par Tomáš Vojnar, Lijun Zhang ...
    Collections Livre 2 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of ... En savoir plus

    Gratuit

  • Automated Reasoning

    12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

    Modifié par Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt ...
    Collections Livre 1 - Springer Nature Proceedings Computer Science
    This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and ... En savoir plus

    Gratuit

  • Computer Aided Verification

    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III

    Modifié par Arie Gurfinkel, Vijay Ganesh ...
    Collections Livre 3 - Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning. ... En savoir plus

    Gratuit

  • Statistical Analysis of Networks

    par Konstantin Avrachenkov, Maximilien Dreveton ...
    The ebook edition of this title is Open Access and freely available to read online.This book is a general introduction to the statistical analysis of networks, and can serve both as a research monograph and as a textbook. Numerous fundamental tools and concepts needed for the analysis of networks are presented, such as network modeling, community detection, graph-based semi-supervised learning and ... En savoir plus

    Gratuit