- 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"
-
Theoretical Aspects of Local Search
Wil Michiels, Emile Aarts, Jan Korst
- Livre relié | 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 -
First-Order Programming Theories
Tamas Gergely, Laszlo Ury
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs | n° 24
- This book proposes a purely classical first-order logical approach to the theory of programming. It provides a unified framework to present new progra... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Parsing Theory
Seppo Sippu, Eljas Soisalon-Soininen
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs | n° 15
- The theory of parsing is an important application area of the theory of formal languages and automata. The evolution of modem high-level programming l... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Duration Calculus
Chaochen Zhou, Michael R Hansen
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €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 -
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 -
Confluent String Rewriting
Matthias Jantzen
- Livre relié | 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
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Patterns in Permutations and Words
Sergey Kitaev
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- There has been considerable interest recently in the subject of patterns in permutations and words, a new branch of combinatorics with its roots in th... Savoir plus
158,45 €Livraison sous 1 à 4 semaines158,45 €Livraison sous 1 à 4 semaines -
Fundamentals of Algebraic Graph Transformation
Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
- Livre relié | 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 -
Patterns in Permutations and Words
Sergey Kitaev
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- There has been considerable interest recently in the subject of patterns in permutations and words, a new branch of combinatorics with its roots in th... 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 relié | 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 -
Theory of Semi-Feasible Algorithms
Lane A Hemaspaandra, Leen Torenvliet
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- An Invitation to the Dance It is an underappreciated fact that sets may have various types of complex- ity, and not all types are in harmony with each... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Time-Dependent Scheduling
Stanislaw Gawiejnowicz
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- Time-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. This book is a comprehensive ... Savoir plus
137,45 €Livraison sous 1 à 4 semaines137,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 -
Incomplete Information: Structure, Inference, Complexity
Stephane P Demri, Ewa Orlowska
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- This is the first monograph devoted to a theory of information systems with incomplete information inspired by the concept of rough set. The book is s... Savoir plus
158,45 €Livraison sous 1 à 4 semaines158,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 -
Duration Calculus
Chaochen Zhou, Michael R Hansen
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,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 -
Universal Algebra for Computer Scientists
Wolfgang Wechler
- Livre broché | Anglais | Monographs in Theoretical Computer Science. an Eatcs | n° 25
- A new model-theoretic approach to universal algebra for computer scientists is offered in this book. The approach covers algebraic characterization, t... 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
- We show the need to go beyond the view of logic as a geometry of static truths, and to see logic, both at the proof-theoretic and at the model-theoret... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €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 -
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 -
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