Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings
Editat de Zhenjiang Hu
24 noi 2009
Paperback
Preț: 324.99 lei 406.23 lei
6-8 săpt.
-20%
Programming and Software Engineering
Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings
Editat de Manuel Carro et al.
12 ian 2010
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance: 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, Proceedings
Editat de Erwin Rathgeb et al.
5 mar 2010
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings
Editat de Eran Yahav
6 sep 2011
Paperback
Preț: 324.99 lei 406.23 lei
6-8 săpt.
-20%
Autonomic and Trusted Computing: 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011, Proceedings
Editat de Jose M. Alcaraz Calero et al.
19 aug 2011
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
Editat de Gwen Salaün et al.
19 sep 2011
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Editat de Gul Agha et al.
13 oct 2011
Paperback
Preț: 329.74 lei 412.17 lei
6-8 săpt.
-20%
Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
Editat de Bertrand Meyer et al.
9 ian 2012
Paperback
Preț: 399.09 lei 498.86 lei
6-8 săpt.
-20%
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Editat de Robert L. Constable et al.
11 apr 2012
Paperback
Preț: 324.99 lei 406.23 lei
6-8 săpt.
-20%
ECOOP 2012 -- Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings
Editat de James Noble
23 mai 2012
Paperback
Preț: 343.23 lei 429.04 lei
6-8 săpt.
-20%
Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Editat de Rena Bakhshi et al.
3 oct 2018
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Editat de Simon Collart-Dutilleul et al.
24 apr 2019
Paperback
Preț: 376.87 lei 471.08 lei
6-8 săpt.
-20%
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Editat de Maurice H. ter Beek et al.
15 sep 2019
Paperback
Preț: 343.53 lei 429.41 lei
6-8 săpt.
-20%
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Editat de Wolfgang Ahrendt et al.
15 noi 2019
Paperback
Preț: 332.92 lei 416.15 lei
6-8 săpt.
-20%