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


“michel diaz”

Showing 1 - 12 of 12 results for “michel diaz”
Skip side bar filters

  • 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

  • Digital Home Networking

    Edited by Romain Carbou, Michel Diaz, Ernesto Exposito, Rodrigo Roman ...
    In an era of ubiquity, nomadism and ecological challenge, the maturity of wireless technologies, the readiness of broadband Internet access and the popularity of smart terminals should contribute to emancipating IT services in connection with the home and home-based resources. This book, in light of several years of applied research and technological surveys, aims at describing the digital home ... Read more

    $182.00 USD

  • Communicating Systems with UML 2

    Modeling and Analysis of Network Protocols

    by David Garduno Barrera, Michel Diaz ...
    This book gives a practical approach to modeling and analyzing communication protocols using UML 2. Network protocols are always presented with a point of view focusing on partial mechanisms and starting models. This book aims at giving the basis needed for anybody to model and validate their own protocols. It follows a practical approach and gives many examples for the description and analysis of ... Read more

    $142.00 USD

People who read these also enjoyed

  • Understanding Machine Learning

    From Theory to Algorithms

    by Shai Shalev-Shwartz, Shai Ben-David ...
    Machine learning is one of the fastest growing areas of computer science, with far-reaching applications. The aim of this textbook is to introduce machine learning, and the algorithmic paradigms it offers, in a principled way. The book provides a theoretical account of the fundamentals underlying machine learning and the mathematical derivations that transform these principles into practical ... Read more

    $61.99 USD

  • Algebraic Geometry Modeling In Information Theory

    by Edgar Martinez-moro ...
    Series Book 8 - Series On Coding Theory And Cryptology
    Algebraic & geometry methods have constituted a basic background and tool for people working on classic block coding theory and cryptography. Nowadays, new paradigms on coding theory and cryptography have arisen such as: Network coding, S-Boxes, APN Functions, Steganography and decoding by linear programming. Again understanding the underlying procedure and symmetry of these topics needs a whole ... Read more

    $41.39 USD

  • Heuristic Search

    Theory and Applications

    by Stefan Edelkamp, Stefan Schroedl ...
    Search has been vital to artificial intelligence from the very beginning as a core technique in problem solving. The authors present a thorough overview of heuristic search with a balance of discussion between theoretical analysis and efficient implementation and application to real-world problems. Current developments in search such as pattern databases and search with efficient use of external ... Read more

    $80.99 USD

  • Computational Complexity

    A Modern Approach

    by Sanjeev Arora, Boaz Barak ...
    This beginning graduate textbook describes both recent achievements and classical results of computational complexity theory. Requiring essentially no background apart from mathematical maturity, the book can be used as a reference for self-study for anyone interested in complexity, including physicists, mathematicians, and other scientists, as well as a textbook for a variety of courses and ... Read more

    $65.99 USD

  • Markov Logic

    An Interface Layer for Artificial Intelligence

    by Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone ...
    Series series Synthesis Lectures on Artificial Intelligence and Machine Learning
    Most subfields of computer science have an interface layer via which applications communicate with the infrastructure, and this is key to their success (e.g., the Internet in networking, the relational model in databases, etc.). So far this interface layer has been missing in AI. First-order logic and probabilistic graphical models each have some of the necessary features, but a viable interface ... Read more

    $28.79 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.49 USD

  • 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

  • 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