Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


“claude jard”

Showing 1 - 12 of 12 results for “claude jard”
Skip side bar filters

  • Communicating Embedded Systems

    Software and Design

    Edited by Claude Jard, Olivier H. Roux ...
    The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies.Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account ... Read more

    $142.00 USD

People who read this also enjoyed

  • Linear Programming and Network Flows

    by Mokhtar S. Bazaraa, John J. Jarvis, Hanif D. Sherali ...
    The authoritative guide to modeling and solving complex problems with linear programming—extensively revised, expanded, and updatedThe only book to treat both linear programming techniques and network flows under one cover, Linear Programming and Network Flows, Fourth Edition has been completely updated with the latest developments on the topic. This new edition continues to successfully emphasize ... Read more

    $132.00 USD

  • Pattern Recognition and Machine Learning

    by Y. Anzai ...
    This is the first text to provide a unified and self-contained introduction to visual pattern recognition and machine learning. It is useful as a general introduction to artifical intelligence and knowledge engineering, and no previous knowledge of pattern recognition or machine learning is necessary. Basic for various pattern recognition and machine learning methods. Translated from Japanese, the ... Read more

    $65.99 USD

  • Handbook of Constraint Programming

    Edited by Francesca Rossi, Peter van Beek, Toby Walsh ...
    Series series Foundations of Artificial Intelligence
    Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is currently applied with success to many domains, such as scheduling, planning, vehicle routing, configuration, networks, and bioinformatics ... Read more

    $193.99 USD

  • Data Analysis

    Edited by Gérard Govaert ...
    The first part of this book is devoted to methods seeking relevant dimensions of data. The variables thus obtained provide a synthetic description which often results in a graphical representation of the data. After a general presentation of the discriminating analysis, the second part is devoted to clustering methods which constitute another method, often complementary to the methods described in ... Read more

    $158.00 USD

  • Kernel Methods for Pattern Analysis

    by John Shawe-Taylor, Nello Cristianini ...
    Kernel methods provide a powerful and unified framework for pattern discovery, motivating algorithms that can act on general types of data (e.g. strings, vectors or text) and look for general types of relations (e.g. rankings, classifications, regressions, clusters). The application areas range from neural networks and pattern recognition to machine learning and data mining. This book, developed ... Read more

    $103.99 USD

  • Handbook of Process Algebra

    Edited by J.A. Bergstra, A. Ponse, S.A. Smolka ...
    Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, concurrency theory, specification and verification, operational semantics, algorithms, complexity ... Read more

    $305.99 USD

  • Petri Nets

    Fundamental Models, Verification and Applications

    Edited by Michel Diaz ...
    A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in operating and communication systems. The volume then addresses the related verification problems ... Read more

    $321.00 USD

  • Applications of Combinatorial Optimization, Volume 3

    Edited by Vangelis Th. Paschos ...
    Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical computer science and management.The three volumes of the Combinatorial Optimization series aims to cover a wide range of topics in this area. These topics also deal with fundamental notions and approaches as with several classical applications of ... Read more

    $163.00 USD

  • Data Analysis For Network Cyber-security

    by Niall M Adams, Nicholas A Heard ...
    There is increasing pressure to protect computer networks against unauthorized intrusion, and some work in this area is concerned with engineering systems that are robust to attack. However, no system can be made invulnerable. Data Analysis for Network Cyber-Security focuses on monitoring and analyzing network traffic data, with the intention of preventing, or quickly identifying, malicious ... Read more

    $35.99 USD

  • Applied Integer Programming

    Modeling and Solution

    by Der-San Chen, Robert G. Batson, Yu Dang ...
    An accessible treatment of the modeling and solution of integer programming problems, featuring modern applications and softwareIn order to fully comprehend the algorithms associated with integer programming, it is important to understand not only how algorithms work, but also why they work. Applied Integer Programming features a unique emphasis on this point, focusing on problem modeling and ... Read more

    $132.00 USD

  • Probability and Statistics with Reliability, Queuing, and Computer Science Applications

    by Kishor S. Trivedi ...
    An accessible introduction to probability, stochastic processes, and statistics for computer science and engineering applicationsSecond edition now also available in Paperback. This updated and revised edition of the popular classic first edition relates fundamental concepts in probability and statistics to the computer sciences and engineering. The author uses Markov chains and other statistical ... Read more

    $115.00 USD