International Colloquium on Theoretical Aspects of Computing
10. ICTAC 2013: Shanghai, China
Zhiming Liu, Jim Woodcock, Huibiao Zhu (Eds.): Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 8049 ISBN 978-3-642-39717-2 [ contents ]- Zhiming Liu, Jim Woodcock, Huibiao Zhu (Eds.): 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. Springer 2013 Lecture Notes in Computer Science 8050 ISBN 978-3-642-39720-2 [ contents ]
9. ICTAC 2012: Bangalore, India
- Abhik Roychoudhury, Meenakshi D'Souza (Eds.): Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7521 ISBN 978-3-642-32942-5 [ contents ]
8. ICTAC 2011: Johannesburg, South Africa
- Antonio Cerone, Pekka Pihlajasaari (Eds.): Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6916 ISBN 978-3-642-23282-4 [ contents ]
7. ICTAC 2010: Natal, Rio Grande do Norte, Brazil
- Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock (Eds.): Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6255 ISBN 978-3-642-14807-1 [ contents ]
6. ICTAC 2009: Kuala Lumpur, Malaysia
- Martin Leucker, Carroll Morgan (Eds.): Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5684 ISBN 978-3-642-03465-7 [ contents ]
5. ICTAC 2008: Istanbul, Turkey
- John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün (Eds.): Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science 5160 ISBN 978-3-540-85761-7 [ contents ]
4. ICTAC 2007: Macau, China
- Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4711 ISBN 978-3-540-75290-5 [ contents ]
3. ICTAC 2006: Tunis, Tunisia
- Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (Eds.): Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 4281 ISBN 3-540-48815-4 [ contents ]
2. ICTAC 2005: Hanoi, Vietnam
- Dang Van Hung, Martin Wirsing (Eds.): Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3722 ISBN 3-540-29107-5 [ contents ]
1. ICTAC 2004: Guiyang, China
- Zhiming Liu, Keijiro Araki (Eds.): Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers. Springer 2005 Lecture Notes in Computer Science 3407 ISBN 3-540-25304-1 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team