Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1
Autor Kurt Jensen
25 mar 1996
Hardback
Preț: 897.93 lei 1122.42 lei
6-8 săpt.
-20%
Monographs in Theoretical Computer Science. An EATCS Series
Unfoldings: A Partial-Order Approach to Model Checking
Autor Javier Esparza et al.
30 noi 2010
Paperback
Preț: 615.32 lei 769.14 lei
6-8 săpt.
-20%
Models and Algorithms of Time-Dependent Scheduling
Autor Stanisław Gawiejnowicz
16 iul 2021
Paperback
Preț: 961.33 lei 1201.65 lei
6-8 săpt.
-20%
Restricted-Orientation Convexity
Autor Eugene Fink et al.
noi 2012
Paperback
Preț: 311.18 lei 388.98 lei
6-8 săpt.
-20%
Graph and Model Transformation: General Framework and Applications
Autor Hartmut Ehrig et al.
29 mar 2019
Paperback
Preț: 629.57 lei 786.96 lei
6-8 săpt.
-20%
Time-Dependent Scheduling
Autor Stanislaw Gawiejnowicz
21 noi 2010
Paperback
Preț: 928.56 lei 1160.69 lei
38-44 zile
-20%
Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable Information
Autor Ferdinando Cicalese
23 aug 2016
Paperback
Preț: 332.13 lei 415.17 lei
38-44 zile
-20%
Deterministic Extraction from Weak Random Sources
Autor Ariel Gabizon
dec 2012
Paperback
Preț: 631.38 lei 789.22 lei
38-44 zile
-20%
Patterns in Permutations and Words
Autor Sergey Kitaev
27 noi 2013
Paperback
Preț: 970.75 lei 1213.44 lei
38-44 zile
-20%
Semantic Integration of Heterogeneous Software Specifications
Autor Martin Große-Rhode
dec 2010
Paperback
Preț: 950.88 lei 1188.60 lei
6-8 săpt.
-20%
Stochastic Coalgebraic Logic
Autor Ernst-Erich Doberkat
14 mar 2012
Paperback
Preț: 618.33 lei 772.90 lei
6-8 săpt.
-20%
Duration Calculus: A Formal Approach to Real-Time Systems
Autor Chaochen Zhou et al.
9 dec 2010
Paperback
Preț: 613.53 lei 766.91 lei
6-8 săpt.
-20%
Foundations of Algebraic Specification and Formal Software Development
Autor Donald Sannella et al.
mar 2014
Paperback
Preț: 553.98 lei 692.47 lei
38-44 zile
-20%
Theoretical Aspects of Local Search
Autor Wil Michiels et al.
30 noi 2010
Paperback
Preț: 612.85 lei 721.00 lei
6-8 săpt.
-15%
Handbook of Weighted Automata
Editat de Manfred Droste et al.
14 mar 2012
Paperback
Preț: 1401.84 lei 1752.30 lei
6-8 săpt.
-20%
Process Algebra with Timing
Autor J.C.M. Baeten et al.
15 dec 2010
Paperback
Preț: 320.55 lei 400.68 lei
6-8 săpt.
-20%
Logics of Specification Languages
Editat de Dines Bjørner et al.
22 noi 2010
Paperback
Preț: 965.46 lei 1206.81 lei
6-8 săpt.
-20%
Incomplete Information: Structure, Inference, Complexity
Autor Stephane P. Demri et al.
3 iul 2002
Hardback
Preț: 961.95 lei 1202.44 lei
6-8 săpt.
-20%
Theory of Semi-Feasible Algorithms
Autor Lane A. Hemaspaandra et al.
9 dec 2010
Paperback
Preț: 614.03 lei 767.53 lei
6-8 săpt.
-20%
Petri Net Algebra
Autor Eike Best et al.
26 ian 2001
Hardback
Preț: 917.27 lei 1118.62 lei
6-8 săpt.
-18%
Fundamentals of Algebraic Graph Transformation
Autor Hartmut Ehrig et al.
18 noi 2010
Paperback
Preț: 735.14 lei 918.92 lei
6-8 săpt.
-20%
Theoretical Aspects of Distributed Computing in Sensor Networks
Editat de Sotiris Nikoletseas et al.
5 ian 2011
Hardback
Preț: 639.07 lei 798.84 lei
6-8 săpt.
-20%
Modeling Time in Computing
Autor Carlo A. Furia et al.
9 noi 2014
Paperback
Preț: 345.19 lei 431.48 lei
38-44 zile
-20%
Algorithms in Combinatorial Geometry
Autor Herbert Edelsbrunner
23 sep 2011
Paperback
Preț: 572.82 lei 716.02 lei
6-8 săpt.
-20%
Confluent String Rewriting
Autor Matthias Jantzen
25 noi 1988
Hardback
Preț: 318.30 lei 397.88 lei
6-8 săpt.
-20%
Parsing Theory: Volume I Languages and Parsing
Autor Seppo Sippu et al.
23 aug 2014
Paperback
Preț: 318.80 lei 398.50 lei
6-8 săpt.
-20%
Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do
Autor Mads Tofte
5 oct 2011
Paperback
Preț: 610.03 lei 762.54 lei
6-8 săpt.
-20%
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
Autor Hartmut Ehrig et al.
8 oct 2011
Paperback
Preț: 385.06 lei
6-8 săpt.
First-Order Programming Theories
Autor Tamas Gergely et al.
13 noi 2012
Paperback
Preț: 626.38 lei 782.98 lei
6-8 săpt.
-20%