Skip to main content

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...
  • Symbolic Computation in Software Science

    10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings

    Modifié par Stephen M. Watt, Tetsuo Ida ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.The 7 full papers were carefully reviewed and selected from 25 submissions. The papers presented emphasize formal analysis and proof of theorems invarious applications, foundational work on rewrite ... En savoir plus

    $153.99 CAD

Les lecteurs de ce roman ont aussi aimé

  • Art of Computer Programming, Volume 4B, The

    Combinatorial Algorithms

    par Donald Knuth ...
    The Art of Computer Programming is Knuth's multivolume analysis of algorithms. With the addition of this new volume, it continues to be the definitive description of classical computer science.Volume 4B, the sequel to Volume 4A, extends Knuth's exploration of combinatorial algorithms. These algorithms are of keen interest to software designers because ". . . a single good idea can save years or ... En savoir plus

    $75.99 CAD

  • Handbook of Discrete and Combinatorial Mathematics

    Modifié par Kenneth H. Rosen ...
    Collections series Discrete Mathematics and Its Applications
    Handbook of Discrete and Combinatorial Mathematics provides a comprehensive reference volume for mathematicians, computer scientists, engineers, as well as students and reference librarians.The material is presented so that key information can be located and used quickly and easily. Each chapter includes a glossary. Individual topics are covered in sections and subsections within chapters, each of ... En savoir plus

    $515.99 CAD

  • Programming Languages and Systems

    32nd European Symposium on Programming, ESOP 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 Thomas Wies ...
    Collections series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 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 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in ... En savoir plus

    Gratuit

  • Mathematics for Informatics and Computer Science

    par Pierre Audibert ...
    Mathematics for Informatics and Computer ScienceHow many ways do exist to mix different ingredients, how many chances to win a gambling game, how many possible paths going from one place to another in a network? To this kind of questions Mathematics applied to computer gives a stimulating and exhaustive answer. This text, presented in three parts (Combinatorics, Probability, Graphs) addresses all ... En savoir plus

    $174.99 CAD

  • From Numpy to NetworkX: A Pythonic Adventure in Mathematics

    Dr Robin's Python Lab, #3

    par Robin Wang ...
    Collections Livre 3 - Dr Robin's Python Lab
    In this third and final installment of Dr. Robin Wang's Python and Mathematics trilogy, From NumPy to NetworkX: A Pythonic Adventure in Mathematics explores advanced topics that bridge high school and university-level mathematics.This book is your ticket to discovering the fascinating interplay between mathematics and programming. From the foundations of matrix manipulation with NumPy to the ... En savoir plus

    $7.99 CAD

  • An Introduction to Theory of Computation

    An Algorithmic Approach

    Collections series Computer Science (R0)
    This textbook aims to provide a comprehensive introduction to the theory of computation for upper-level undergraduate students and first-year graduate students in computer science and related disciplines. It covers a wide range of foundational topics essential for understanding the principles and applications of computation.The book begins with regular languages, exploring finite automata, ... En savoir plus

    $102.99 CAD

  • Computer Science -- Theory and Applications

    10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015.The 25 full papers presented in this volume were carefully reviewed and selected from 61 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical ... En savoir plus

    $64.99 CAD

  • Concise Computer Mathematics

    Tutorials on Theory and Problems

    par Ovidiu Bagdasar ...
    Collections series Computer Science (R0)
    Adapted from a modular undergraduate course on computational mathematics, Concise Computer Mathematics delivers an easily accessible, self-contained introduction to the basic notions of mathematics necessary for a computer science degree. The text reflects the need to quickly introduce students from a variety of educational backgrounds to a number of essential mathematical concepts. The material ... En savoir plus

    $83.29 CAD

  • Validated Numerics

    A Short Introduction to Rigorous Computations

    par Warwick Tucker ...
    A comprehensive, self-contained primer on validated numericsThis textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific computing and pure mathematics. In numerous fields ranging from pharmaceutics and engineering to weather prediction and robotics, fast and precise computations are essential. ... En savoir plus

    $76.99 CAD

  • LATIN 2022: Theoretical Informatics

    15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, Proceedings

    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 15th Latin American Symposium on Theoretical Informatics, LATIN 2022, which took place in Guanajuato, Mexico, in November 2022.The 46 papers presented in this volume were carefully reviewed and selected from 114 submissions. They were organized in topical sections as follows: Algorithms and Data Structures; Approximation Algorithms; Cryptography; Social ... En savoir plus

    $115.29 CAD

  • Artificial Intelligence and Soft Computing

    Behavioral and Cognitive Modeling of the Human Brain

    par Amit Konar ...
    With all the material available in the field of artificial intelligence (AI) and soft computing-texts, monographs, and journal articles-there remains a serious gap in the literature. Until now, there has been no comprehensive resource accessible to a broad audience yet containing a depth and breadth of information that enables the reader to fully understand and readily apply AI and soft computing ... En savoir plus

    $515.32 CAD