Ejemplares similares: Theoretical Aspects of Computing -- ICTAC 2013 :
- Theoretical Aspects of Computing - ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /
- Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers /
- Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /
- Theoretical Aspects of Computing - ICTAC 2012 : 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings /
- Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings /
- Theoretical Aspects of Computing -- ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings /
Autor: Zhiming Liu, Jim Woodcock, Huibiao Zhu
- 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 /
- Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /
- Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /