- 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° 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 -
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 -
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. However, results are scattered throughout the literature.... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €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
- 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 -
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 -
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 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 -
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 -
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 -
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 -
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 monograph presents a systematic, exhaustive and up-to-date overview of formal methods and theories for data analysis and inference inspired by th... 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 -
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 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 -
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
- 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 -
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 -
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 -
Semantic Integration of Heterogeneous Software Specifications
Martin Große-Rhode
- Livre relié | Anglais | Monographs in Theoretical Computer Science. an Eatcs
- The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of ab... Savoir plus
158,45 €Livraison sous 1 à 4 semaines158,45 €Livraison sous 1 à 4 semaines