dblp.uni-trier.de www.uni-trier.de

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 BibTeX

Invited Speakers

Formal Languages

Computer Science Logics

Program Construction

Real-Time Systems

Concurrency and Refinement

Software Security

Quantitative Logics

Object-Orientation and Component Systems

Model-Checking and Algorithms

Applied Logics and Computing Theory


Copyright © Sat May 16 23:21:49 2009 by Michael Ley (ley@uni-trier.de)