Cărți de Huibiao Zhu

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6447

Editat de Jin Song Dong et al.

29 oct 2010

Preț: 648^.12 lei 810^.16 lei

22-36 zile

-20%

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10134

Editat de Jonathan P. Bowen et al.

11 ian 2017

Preț: 319^.75 lei 399^.68 lei

43-57 zile

-20%

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Lecture Notes in Computer Science, nr. 8051

Editat de Zhiming Liu et al.

31 iul 2013

Preț: 329^.18 lei 411^.46 lei

43-57 zile

-20%

Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8049

Editat de Zhiming Liu et al.

15 iul 2013

Preț: 331^.24 lei 414^.06 lei

43-57 zile

-20%

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Lecture Notes in Computer Science, nr. 8050

Editat de Zhiming Liu et al.

19 iul 2013

Preț: 322^.92 lei 403^.65 lei

43-57 zile

-20%

Service-Oriented Computing - ICSOC Workshops 2012: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7759

Editat de Aditya Ghose et al.

9 apr 2013

Preț: 331^.89 lei 414^.87 lei

43-57 zile

-20%