International Colloquium on Theoretical Aspects of Computing

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. Lecture Notes in Computer Science 5684 Springer 2009, 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. Lecture Notes in Computer Science 5160 Springer 2008, 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. Lecture Notes in Computer Science 4711 Springer 2007, 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. Lecture Notes in Computer Science 4281 Springer 2006, 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. Lecture Notes in Computer Science 3722 Springer 2005, 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. Lecture Notes in Computer Science 3407 Springer 2005, ISBN 3-540-25304-1
Contents