Bioreactors
Editat de Paolo G. Antolli et al.
31 ian 2012
Hardback
Preț: 1080.92 lei 1482.16 lei
3-5 săpt.
-27%
Cărți de Zhiming Liu
Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings
Editat de Helmut Seidl et al.
3 oct 2022
Paperback
Preț: 335.39 lei 419.23 lei
6-8 săpt.
-20%
Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
Editat de Jonathan P. Bowen et al.
13 noi 2018
Paperback
Preț: 322.96 lei 403.69 lei
6-8 săpt.
-20%
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Editat de Zhiming Liu et al.
mar 2016
Paperback
Preț: 327.80 lei 409.75 lei
6-8 săpt.
-20%
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Editat de Xuandong Li et al.
27 oct 2015
Paperback
Preț: 327.80 lei 409.75 lei
6-8 săpt.
-20%
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Editat de José Luiz Fiadeiro et al.
30 iul 2014
Paperback
Preț: 330.55 lei 413.19 lei
6-8 săpt.
-20%
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Editat de Zhiming Liu et al.
31 iul 2013
Paperback
Preț: 332.01 lei 415.01 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Editat de Zhiming Liu et al.
15 iul 2013
Paperback
Preț: 334.10 lei 417.63 lei
6-8 săpt.
-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
Editat de Zhiming Liu et al.
19 iul 2013
Paperback
Preț: 325.70 lei 407.13 lei
6-8 săpt.
-20%
Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
Editat de Zhiming Liu et al.
6 iul 2012
Paperback
Preț: 417.67 lei 522.08 lei
6-8 săpt.
-20%
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Editat de Zhiming Liu et al.
29 sep 2009
Paperback
Preț: 334.30 lei 417.87 lei
6-8 săpt.
-20%
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Editat de Cliff B. Jones et al.
6 sep 2007
Paperback
Preț: 338.49 lei 423.11 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
Editat de Cliff B. Jones et al.
12 sep 2007
Paperback
Preț: 335.56 lei 419.45 lei
6-8 săpt.
-20%
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
Editat de Chris George et al.
28 aug 2007
Paperback
Preț: 324.60 lei 405.74 lei
6-8 săpt.
-20%
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
Editat de Zhiming Liu et al.
24 oct 2006
Paperback
Preț: 656.67 lei 820.84 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Editat de Zhiming Liu et al.
8 mar 2005
Paperback
Preț: 646.30 lei 807.87 lei
6-8 săpt.
-20%
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis
Editat de Zhiming Liu et al.
Hardback
Preț: 979.82 lei 1224.77 lei
Se retipărește
-20%