Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2
Autor Kurt Jensen
28 noi 1994
Hardback
Preț: 621.81 lei 777.27 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.
27 mar 2008
Hardback
Preț: 621.01 lei 776.27 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.
9 dec 2003
Hardback
Preț: 317.05 lei 396.31 lei
6-8 săpt.
-20%
Graph and Model Transformation: General Framework and Applications
Autor Hartmut Ehrig et al.
30 dec 2015
Hardback
Preț: 675.38 lei 844.22 lei
38-44 zile
-20%
Time-Dependent Scheduling
Autor Stanislaw Gawiejnowicz
26 sep 2008
Hardback
Preț: 794.58 lei 993.23 lei
6-8 săpt.
-20%
Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable Information
Autor Ferdinando Cicalese
16 dec 2013
Hardback
Preț: 322.29 lei 402.86 lei
6-8 săpt.
-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
9 dec 2003
Hardback
Preț: 955.62 lei 1194.53 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.
4 dec 2003
Hardback
Preț: 623.22 lei 779.02 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.
28 noi 2006
Hardback
Preț: 619.91 lei 729.31 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.
4 iul 2002
Hardback
Preț: 325.47 lei 406.84 lei
6-8 săpt.
-20%
Logics of Specification Languages
Editat de Dines Bjørner et al.
7 dec 2007
Hardback
Preț: 976.07 lei 1220.09 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.
28 oct 2002
Hardback
Preț: 618.46 lei 773.07 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.
10 feb 2006
Hardback
Preț: 741.32 lei 926.66 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.
19 oct 2012
Hardback
Preț: 354.25 lei 442.80 lei
38-44 zile
-20%
Algorithms in Combinatorial Geometry
Autor Herbert Edelsbrunner
31 iul 1987
Hardback
Preț: 633.70 lei 792.12 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%
Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do
Autor Mads Tofte
27 iun 1990
Hardback
Preț: 623.52 lei 779.40 lei
6-8 săpt.
-20%
Parsing Theory: Volume II LR(k) and LL(k) Parsing
Autor Seppo Sippu et al.
14 noi 1990
Hardback
Preț: 339.24 lei 424.04 lei
6-8 săpt.
-20%
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
Autor Hartmut Ehrig et al.
28 dec 1989
Hardback
Preț: 393.22 lei
6-8 săpt.
First-Order Programming Theories
Autor Tamas Gergely et al.
5 dec 1991
Hardback
Preț: 630.01 lei 787.52 lei
6-8 săpt.
-20%