Handbook of Model Checking Editat de Edmund M. Clarke et al. 8 iun 2018 Hardback Preț: 877.88 lei 1097.36 lei 17-23 zile | 4-10 zile -20%
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings Lecture Notes in Computer Science, nr. 6246 Editat de Krishnendu Chatterjee et al. 30 aug 2010 Paperback Preț: 314.63 lei 393.29 lei 3-5 săpt. -20%
Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings Lecture Notes in Computer Science, nr. 8130 Editat de Ashutosh Gupta et al. 19 aug 2013 Paperback Preț: 368.14 lei 6-8 săpt.
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers Lecture Notes in Computer Science, nr. 7721 Editat de Antonin Kucera et al. 9 ian 2013 Paperback Preț: 311.85 lei 389.81 lei 6-8 săpt. -20%
Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings Lecture Notes in Computer Science, nr. 4646 Editat de Jacques Duparc et al. 30 aug 2007 Paperback Preț: 626.41 lei 783.01 lei 6-8 săpt. -20%
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings Lecture Notes in Computer Science, nr. 2211 Editat de Thomas A. Henzinger et al. 26 sep 2001 Paperback Preț: 323.85 lei 404.82 lei 6-8 săpt. -20%
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings Lecture Notes in Computer Science, nr. 1386 Editat de Thomas A. Henzinger et al. 25 mar 1998 Paperback Preț: 321.53 lei 401.91 lei 6-8 săpt. -20%
Hybrid Systems III: Verification and Control Lecture Notes in Computer Science, nr. 1066 Editat de Rajeev Alur et al. 24 apr 1996 Paperback Preț: 627.17 lei 783.95 lei 6-8 săpt. -20%