- 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.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
-
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
202,95 €Livraison 1 à 2 semaines202,95 €Livraison 1 à 2 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
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
Computability
Klaus Weihrauch
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs | n° 9
- Intends to lay a common basis for the different branches of recursion theory. Leads from the very basic theory to modern concepts of computability. Co... Savoir plus
92,39 €Livraison 1 à 2 semaines92,39 €Livraison 1 à 2 semaines -
Petri Nets
Wolfgang Reisig
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs | n° 4
- Net theory is a theory of systems organization which had its origins, about 20 years ago, in the dissertation of C. A. Petri [1]. Since this seminal p... Savoir plus
118,79 €Livraison 1 à 2 semaines118,79 €Livraison 1 à 2 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
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 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
202,95 €Livraison 1 à 2 semaines202,95 €Livraison 1 à 2 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
83,95 €Livraison 1 à 4 semaines83,95 €Livraison 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
167,95 €Livraison 2 à 3 semaines167,95 €Livraison 2 à 3 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
139,95 €Livraison 1 à 2 semaines139,95 €Livraison 1 à 2 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
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 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
237,95 €Livraison 1 à 2 semaines237,95 €Livraison 1 à 2 semaines -
Confluent String Rewriting
Matthias Jantzen
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs | n° 14
- Replacement systems, such as term rewriting systems, tree manipulat- ing systems, and graph grammars, have been used in Computer Science in the contex... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 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
137,45 €Livraison 2 à 3 semaines137,45 €Livraison 2 à 3 semaines -
Iteration Theories
Stephen L Bloom, Zoltan Esik
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- This monograph provides a detailed investigation of the fixed point or iteration operation, which plays a fundamental role in the theory of computatio... Savoir plus
147,95 €Livraison 1 à 2 semaines147,95 €Livraison 1 à 2 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
305,45 €Livraison 2 à 3 semaines305,45 €Livraison 2 à 3 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
198,45 €Livraison 2 à 3 semaines198,45 €Livraison 2 à 3 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
118,95 €Livraison 1 à 2 semaines118,95 €Livraison 1 à 2 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
259,45 €Livraison 2 à 3 semaines259,45 €Livraison 2 à 3 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
167,95 €Livraison 1 à 2 semaines167,95 €Livraison 1 à 2 semaines -
Nonsequential Processes
Eike Best, Cesar Fernandez C
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs | n° 13
- The theory of Petri nets is a part of computer science whose importance is increasingly acknowledged. Many papers and anthologies, whose subject matte... Savoir plus
118,79 €Livraison 1 à 2 semaines118,79 €Livraison 1 à 2 semaines -
Fundamentals of Algebraic Specification 1
Hartmut Ehrig, Bernd Mahr
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs | n° 6
- The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of ... Savoir plus
162,45 €Livraison 1 à 2 semaines162,45 €Livraison 1 à 2 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
159,45 €Livraison 1 à 2 semaines159,45 €Livraison 1 à 2 semaines -
Compiler Generators
Mads Tofte
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs | n° 19
- The OrIgIn of this monograph is a course entitled "Semantics- directed Compiler Generation" which Professor Neil D. Jones gave in 1982 at Copenhagen U... Savoir plus
105,59 €Livraison 1 à 2 semaines105,59 €Livraison 1 à 2 semaines -
Temporal Logic of Programs
Fred Kröger
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs | n° 8
- Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines