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...


Meilleures séries dans ce pays : Canada

1-12 sur 12 résultats pour « prabal kumar sen »
Skip side bar filters

  • Logic and Its Applications

    11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings

    Modifié par C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3–5, 2025.Four out the five invited talks are included in this book. Out of the 26 submissions, the program committee carefully selected 14 papers to be included in the proceedings. The topics included are Mathematics, Computer Science, ... En savoir plus

    $83.99 CAD

Les lecteurs de ce roman ont aussi aimé

  • Foundations of Software Science and Computation Structures

    21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

    Modifié par Christel Baier, Ugo Dal Lago ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions ... En savoir plus

    Gratuit

  • 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

  • Foundations of Software Science and Computation Structures

    27th International Conference, FoSSaCS 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 Naoki Kobayashi, James Worrell ...
    Collections Livre 2 - Springer Nature Proceedings Computer Science
    The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:Part I: ... En savoir plus

    Gratuit

  • Lambda Calculus with Types

    par Henk Barendregt, Wil Dekkers, Richard Statman ...
    Collections series Perspectives in Logic
    This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types ... En savoir plus

    $99.99 CAD

  • Introduction to Coalgebra

    Towards Mathematics of States and Observation

    par Bart Jacobs ...
    Collections Livre 59 - Cambridge Tracts in Theoretical Computer Science
    The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts ... En savoir plus

    $184.99 CAD

  • Foundations of Software Science and Computation Structures

    22nd International Conference, FOSSACS 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

    Modifié par Mikołaj Bojańczyk, Alex Simpson ...
    Collections series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from ... En savoir plus

    Gratuit

  • Automated Reasoning

    11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

    Modifié par Jasmin Blanchette, Laura Kovács, Dirk Pattinson ...
    Collections series Springer Nature Proceedings Computer Science
    This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022.The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving ... En savoir plus

    Gratuit

  • Automated Deduction – CADE 29

    29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

    Modifié par Brigitte Pientka, Cesare Tinelli ...
    Collections series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, ... En savoir plus

    Gratuit

  • Commutative Algebra

    Recent Advances in Commutative Rings, Integer-Valued Polynomials, and Polynomial Functions

    Modifié par Marco Fontana, Sophie Frisch, Sarah Glaz ...
    Collections series Mathematics and Statistics (R0)
    This volume presents a multi-dimensional collection of articles highlighting recent developments in commutative algebra. It also includes an extensive bibliography and lists a substantial number of open problems that point to future directions of research in the represented subfields. The contributions cover areas in commutative algebra that have flourished in the last few decades and are not yet ... En savoir plus

    $115.29 CAD

  • Automated Reasoning

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

    Modifié par Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt ...
    Collections Livre 2 - Springer Nature Proceedings Computer Science
    Infotext (nur auf Basis des Vorgängers):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: ... En savoir plus

    Gratuit

  • A First Course in Computational Algebraic Geometry

    par Wolfram Decker, Gerhard Pfister ...
    Collections series AIMS Library of Mathematical Sciences
    A First Course in Computational Algebraic Geometry is designed for young students with some background in algebra who wish to perform their first experiments in computational geometry. Originating from a course taught at the African Institute for Mathematical Sciences, the book gives a compact presentation of the basic theory, with particular emphasis on explicit computational examples using the ... En savoir plus

    $20.99 CAD