Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Résultats pour "Monographs in Theoretical Computer Science. an Eatcs"
-
Petri Net Algebra
Eike Best, Raymond Devillers, Maciej Koutny
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the w... Savoir plus
158,45 €Livraison sous 1 à 4 semaines158,45 €Livraison sous 1 à 4 semaines -
Parsing Theory
Seppo Sippu, Eljas Soisalon-Soininen
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs | n° 20
- This is the second volume of an up-to-date reference work on the theory of deterministic parsing of context-free grammars. Volume II treats the theory... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Words and Graphs
Sergey Kitaev, Vadim Lozin
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- This is the first comprehensive introduction to the theory of word-representable graphs, a generalization of several classical classes of graphs, and ... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Modeling Time in Computing
Carlo A Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in comp... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Coloured Petri Nets
Kurt Jensen
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- This third volume of a definitive work on coloured Petri nets gives a detailed account of their application in 19 projects, most of them carried out i... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Petri Net Algebra
Eike Best, Raymond Devillers, Maciej Koutny
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the w... Savoir plus
158,45 €Livraison sous 1 à 4 semaines158,45 €Livraison sous 1 à 4 semaines -
Graph and Model Transformation
Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- This book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applicati... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
The Logic of Partial Information
Areski Nait Abdallah
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- This monograph presents the foundations of reasoning with partial information and a theory of common-sense reasoning based on monotonic logic and part... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Process Algebras for Petri Nets
Roberto Gorrieri
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted... Savoir plus
84,45 €Livraison sous 1 à 4 semaines84,45 €Livraison sous 1 à 4 semaines -
Handbook of Weighted Automata
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministi... Savoir plus
242,95 €Livraison sous 1 à 4 semaines242,95 €Livraison sous 1 à 4 semaines -
Theoretical Aspects of Local Search
Wil Michiels, Emile Aarts, Jan Korst
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- Local search has been applied successfully to a diverse collection of optimization problems. It's appreciated for its basic conceptual foundation, its... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Coping with Selfishness in Congestion Games
Vittorio Bilò, Cosimo Vinci
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- Congestion games are a fundamental class of games widely considered and studied in non-cooperative game theory, introduced to model several realistic... Savoir plus
179,45 €Livraison sous 1 à 4 semaines179,45 €Livraison sous 1 à 4 semaines -
Coping with Selfishness in Congestion Games
Vittorio Bilò, Cosimo Vinci
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- Congestion games are a fundamental class of games widely considered and studied in non-cooperative game theory, introduced to model several realistic... Savoir plus
179,45 €Livraison sous 1 à 4 semaines179,45 €Livraison sous 1 à 4 semaines -
Fundamentals of Algebraic Graph Transformation
Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based... Savoir plus
126,95 €Livraison sous 1 à 4 semaines126,95 €Livraison sous 1 à 4 semaines -
Fault-Tolerant Search Algorithms
Ferdinando Cicalese
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- Why a book on fault-tolerant search algorithms? Searching is one of the fundamental problems in computer science. Time and again algorithmic and combi... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Models and Algorithms of Time-Dependent Scheduling
Stanislaw Gawiejnowicz
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- This is a comprehensive study of various time-dependent scheduling problems in single-, parallel- and dedicated-machine environments. In addition to c... Savoir plus
158,45 €Livraison sous 1 à 4 semaines158,45 €Livraison sous 1 à 4 semaines -
Stochastic Coalgebraic Logic
Ernst-Erich Doberkat
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a gen... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Foundations of Algebraic Specification and Formal Software Development
Donald Sannella, Andrzej Tarlecki
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, con... Savoir plus
84,45 €Livraison sous 1 à 4 semaines84,45 €Livraison sous 1 à 4 semaines -
Syntax-Directed Semantics
Zoltan Fülöp, Heiko Vogler
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- The subject of this book is the investigation of tree transducers. Tree trans- ducers were introduced in theoretical computer science in order to stud... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Foundations of Algebraic Specification and Formal Software Development
Donald Sannella, Andrzej Tarlecki
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, con... Savoir plus
116,45 €Livraison sous 1 à 4 semaines116,45 €Livraison sous 1 à 4 semaines -
Domain Science and Engineering
Dines Bjørner
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for com... Savoir plus
179,45 €Livraison sous 1 à 4 semaines179,45 €Livraison sous 1 à 4 semaines -
Modeling Time in Computing
Carlo A Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in comp... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Models and Algorithms of Time-Dependent Scheduling
Stanislaw Gawiejnowicz
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- This is a comprehensive study of various time-dependent scheduling problems in single-, parallel- and dedicated-machine environments. In addition to c... Savoir plus
158,45 €Livraison sous 1 à 4 semaines158,45 €Livraison sous 1 à 4 semaines -
Deterministic Extraction from Weak Random Sources
Ariel Gabizon
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- A deterministic extractor is a function that extracts almost perfect random bits from a weak random source. In this research monograph the author cons... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines