Sites-Indigo-Site

Logics of Specification Languages

Dines Bjorner Couverture souple

248,50 $

2 formats disponibles

Duration Calculus: A Formal Approach to Real-Time Systems

Chaochen Zhou Couverture souple

159,50 $

2 formats disponibles

First-order Programming Theories

Tamas Gergely Couverture souple

142,95 $

2 formats disponibles

Unfoldings: A Partial-Order Approach to Model Checking

Javier Esparza Couverture souple

160,95 $

2 formats disponibles

Process Algebra with Timing

J.C.M. Baeten Couverture souple

80,50 $

2 formats disponibles

Theoretical Aspects of Local Search

Wil Michiels Couverture souple

160,95 $

2 formats disponibles

Theory of Semi-Feasible Algorithms

Lane A. Hemaspaandra Couverture souple

160,95 $

2 formats disponibles

Confluent String Rewriting

Matthias Jantzen Couverture souple

80,50 $

2 formats disponibles

Petri Net Algebra

Eike Best Couverture souple

248,50 $

2 formats disponibles

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Hartmut Ehrig Couverture souple

80,50 $

2 formats disponibles

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2

Kurt Jensen Couverture souple

159,50 $

2 formats disponibles

Process Algebras For Petri Nets: The Alphabetization Of Distributed Systems

Roberto Gorrieri Couverture souple

131,50 $

2 formats disponibles

Algorithms in Combinatorial Geometry

Herbert Edelsbrunner Couverture souple

145,95 $

2 formats disponibles

Theory of Reversible Computing

Kenichi Morita Couverture souple

291,95 $

2 formats disponibles

Confluent String Rewriting

Matthias Jantzen Couverture souple

80,50 $

2 formats disponibles

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Hartmut Ehrig Couverture souple

80,50 $

2 formats disponibles

Models And Algorithms Of Time-dependent Scheduling

Stanis Gawiejnowicz Couverture souple

248,50 $

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Hartmut Ehrig Couverture souple

160,95 $

Nonsequential Processes: A Petri Net View

Eike Best Couverture souple

80,50 $

Coping with Selfishness in Congestion Games: Analysis and Design via LP Duality

Cosimo Vinci Hardcover

291,95 $

Relations and Graphs: Discrete Mathematics for Computer Scientists

Gunther Schmidt Couverture souple

160,95 $

Domain Science and Engineering: A Foundation for Software Development

Dines Bjorner Hardcover

291,95 $

Regulated Rewriting in Formal Language Theory

Jürgen Dassow Couverture souple

160,95 $

Domain Science and Engineering: A Foundation for Software Development

Dines Bjorner Couverture souple

291,95 $

Résultats de recherche pour

Aucun article trouvé

Logics of Specification Languages

Duration Calculus: A Formal Approach to Real-Time Systems

First-order Programming Theories

Unfoldings: A Partial-Order Approach to Model Checking

Process Algebra with Timing

Theoretical Aspects of Local Search

Theory of Semi-Feasible Algorithms

Confluent String Rewriting

Petri Net Algebra

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2

Process Algebras For Petri Nets: The Alphabetization Of Distributed Systems

Algorithms in Combinatorial Geometry

Theory of Reversible Computing

Confluent String Rewriting

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Models And Algorithms Of Time-dependent Scheduling

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Nonsequential Processes: A Petri Net View

Coping with Selfishness in Congestion Games: Analysis and Design via LP Duality

Relations and Graphs: Discrete Mathematics for Computer Scientists

Domain Science and Engineering: A Foundation for Software Development

Regulated Rewriting in Formal Language Theory

Domain Science and Engineering: A Foundation for Software Development

Monographs in Theoretical Computer Science. An EATCS Series

Filtres

Résultats de recherche pour

Aucun article trouvé

Logics of Specification Languages

Duration Calculus: A Formal Approach to Real-Time Systems

First-order Programming Theories

Unfoldings: A Partial-Order Approach to Model Checking

Process Algebra with Timing

Theoretical Aspects of Local Search

Theory of Semi-Feasible Algorithms

Confluent String Rewriting

Petri Net Algebra

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2

Process Algebras For Petri Nets: The Alphabetization Of Distributed Systems

Algorithms in Combinatorial Geometry

Theory of Reversible Computing

Confluent String Rewriting

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Models And Algorithms Of Time-dependent Scheduling

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Nonsequential Processes: A Petri Net View

Coping with Selfishness in Congestion Games: Analysis and Design via LP Duality

Relations and Graphs: Discrete Mathematics for Computer Scientists

Domain Science and Engineering: A Foundation for Software Development

Regulated Rewriting in Formal Language Theory

Domain Science and Engineering: A Foundation for Software Development