- 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
- 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
Résultats pour "Monographs in Theoretical Computer Science. an Eatcs"
-
Parsing Theory
Seppo Sippu, Eljas Soisalon-Soininen
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs | n° 20
- This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars. Volume I, "Languages and Parsing" (C... 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 -
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 -
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
- The contents of this volume are application oriented. The volume contains a de- tailed presentation of 19 applications of CP-nets, covering a broad ra... 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
- One must be able to say at all times - in- stead of points, straight lines, and planes - tables, chairs and beer mugs. (David Hilbert) One service mat... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,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 -
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 -
Theoretical Aspects of Local Search
Wil Michiels, Emile Aarts, Jan Korst
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- Basic Examples.- Indirect Solution Representations.- Properties of Neighborhood Functions.- Performance Guarantees.- Time Complexity.- Metaheuristics.... 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
- to Graph Transformation Systems.- General Introduction.- Graphs, Typed Graphs, and the Gluing Construction.- Graph Transformation Systems.- Adhesive H... Savoir plus
126,95 €Livraison sous 1 à 4 semaines126,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 -
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 -
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
- This is a motivated presentation of recent results on tree transducers, applied to studying the general properties of formal models and for providing ... 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 -
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 -
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