Hybrid Systems III: Verification and Control
Editat de Rajeev Alur et al.
24 apr 1996
Paperback
Preț: 636.52 lei 795.65 lei
6-8 săpt.
-20%
Cărți de Thomas A. Henzinger
Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings
Editat de Ashutosh Gupta et al.
19 aug 2013
Paperback
Preț: 373.76 lei
6-8 săpt.
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
Editat de Krishnendu Chatterjee et al.
30 aug 2010
Paperback
Preț: 319.42 lei 399.28 lei
3-5 săpt.
-20%
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
Editat de Thomas A. Henzinger et al.
26 sep 2001
Paperback
Preț: 328.79 lei 410.99 lei
6-8 săpt.
-20%
Computer Science Logic
Editat de Jacques Duparc et al.
30 aug 2007
Paperback
Preț: 638.09 lei 797.61 lei
6-8 săpt.
-20%
Hybrid Systems: Computation and Control
Editat de Thomas A. Henzinger et al.
25 mar 1998
Paperback
Preț: 328.13 lei 410.16 lei
6-8 săpt.
-20%
Mathematical and Engineering Methods in Computer Science
Editat de Antonin Kucera et al.
9 ian 2013
Paperback
Preț: 317.50 lei 396.88 lei
6-8 săpt.
-20%
Handbook of Model Checking
Editat de Edmund M. Clarke et al.
8 iun 2018
Hardback
Preț: 1011.14 lei 1263.93 lei
17-23 zile | 6-10 zile
-20%