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


Computer Science (R0) Série de Livres électroniques

1-12 sur 12 résultats
Skip side bar filters

  • Petri Nets

    Theoretical Models and Analysis Methods for Concurrent Systems

    par Guanjun Liu ...
    Collections series Computer Science (R0)
    This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked graph ... En savoir plus

    $218.99 CAD

Les lecteurs de ce roman ont aussi aimé

  • Art of Computer Programming, The

    Fundamental Algorithms, Volume 1

    par Donald Knuth ...
    &>The bible of all fundamental algorithms and the work that taught many of today's software developers most of what they know about computer programming.—Byte, September 1995I can't begin to tell you how many pleasurable hours of study and recreation they have afforded me! I have pored over them in cars, restaurants, at work, at home... and even at a Little League game when my son wasn't in the ... En savoir plus

    $75.99 CAD

  • Art of Computer Programming, Volume 1, Fascicle 1, The

    MMIX -- A RISC Computer for the New Millennium

    par Donald Knuth ...
    Check out the boxed set that brings together Volumes 1 - 4B in one elegant case.The Art of Computer Programming, Volumes 1-4B Boxed SetISBN: 9780137935109Art of Computer Programming, Volume 1, Fascicle 1, The: MMIX -- A RISC Computer for the New MillenniumThis multivolume work on the analysis of algorithms has long been recognized as the definitive description of classical computer science. The ... En savoir plus

    $28.99 CAD

  • Elements of Programming

    par Paul McJones, Alexander Stepanov ...
    “Ask a mechanical, structural, or electrical engineer how far they would get without a heavy reliance on a firm mathematical foundation, and they will tell you, ‘not far.’ Yet so-called software engineers often practice their art with little or no idea of the mathematical underpinnings of what they are doing. And then we wonder why software is notorious for being delivered late and full of bugs, ... En savoir plus

    $37.99 CAD

  • Obstructions in Security-Aware Business Processes

    Analysis, Detection, and Handling

    par Julius Holderer ...
    Collections series Computer Science (R0)
    This Open Access book explores the dilemma-like stalemate between security and regulatory compliance in business processes on the one hand and business continuity and governance on the other. The growing number of regulations, e.g., on information security, data protection, or privacy, implemented in increasingly digitized businesses can have an obstructive effect on the automated execution of ... En savoir plus

    Gratuit

  • Heuristic Search

    Theory and Applications

    par 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 ... En savoir plus

    $79.99 CAD

  • Programming Languages and Systems

    27th European Symposium on Programming, ESOP 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 Amal Ahmed ...
    Collections series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections ... En savoir plus

    Gratuit

  • Constraint Processing

    par Rina Dechter ...
    Collections series The Morgan Kaufmann Series in Artificial Intelligence
    Constraint satisfaction is a simple but powerful tool. Constraints identify the impossible and reduce the realm of possibilities to effectively focus on the possible, allowing for a natural declarative formulation of what must be satisfied, without expressing how. The field of constraint reasoning has matured over the last three decades with contributions from a diverse community of researchers in ... En savoir plus

    $89.59 CAD

  • Basic Concepts in Data Structures

    par Shmuel Tomi Klein ...
    Data structures are the fundamental building blocks of any computer program, used for storing, representing and manipulating data in a computer. This text presents the basic concepts of data structures as part of the art of writing computer programs. The author concentrates on the fundamentals of what should be done to solve a problem efficiently rather than technical implementation details. The ... En savoir plus

    $49.99 CAD

  • Modeling in Event-B

    System and Software Engineering

    par Jean-Raymond Abrial ...
    A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. ... En savoir plus

    $164.99 CAD

  • Petri Nets

    Fundamental Models, Verification and Applications

    Modifié par 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 ... En savoir plus

    $391.99 CAD

  • Fundamentals of the Theory of Computation: Principles and Practice

    Principles and Practice

    par Raymond Greenlaw, H. James Hoover ...
    This innovative textbook presents the key foundational concepts for a one-semester undergraduate course in the theory of computation. It offers the most accessible and motivational course material available for undergraduate computer theory classes. Directed at undergraduates who may have difficulty understanding the relevance of the course to their future careers, the text helps make them more ... En savoir plus

    $55.99 CAD