Theoretical Aspects of Computing - ICTAC 2005 by Dang Van Hung
This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17-21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from developing countries. We believe that this will help developing countries to strengthen their research, teaching and development in computer science and engineering, improve the links between developing countries and developed countries, and establish collaboration in research and education. By providingavenueforthediscussionofcommonproblemsandtheirsolutions,and for the exchangeof experiencesand ideas,this colloquiumsupportsresearchand development in computer science and software technology. ICTAC is attracting more and more attention from more and more countries.-
Replication
-
CONCUR 2011 -- Concurrency Theory
-
Verification, Model Checking, and Abstract Interpretation
-
Neural Information Processing. Models and Applications
-
Neural Information Processing. Theory and Algorithms
-
Principles of Distributed Systems
-
Large-Scale Scientific Computing
-
Algorithms - ESA 2010
-
Automata, Languages and Programming
-
Computer Science – Theory and Applications
-
Architecture of Computing Systems - ARCS 2020
-
String Processing and Information Retrieval
-
Integer Programming and Combinatorial Optimization
-
Algorithms and Architectures for Parallel Processing
-
Mathematical Optimization Theory and Operations Research
-
Computational Science and Its Applications – ICCSA 2020
-
Computational Science – ICCS 2020
-
Supercomputing Frontiers
-
Functional and Logic Programming
-
Pristine Perspectives on Logic, Language and Computation
-
LATIN 2014: Theoretical Informatics
-
Beyond the Horizon of Computability
-
Combinatorial Algorithms
-
Computer Aided Verification
-
Information Retrieval
-
Algorithms and Applications
-
LATIN 2010: Theoretical Informatics
-
Programming Languages and Systems
-
Variable Neighborhood Search
-
Frontiers in Algorithmics
-
Evolutionary Multi-Criterion Optimization
-
Swarm Intelligence
-
Applications of Evolutionary Computing
-
Graph Drawing
-
Foundations of Software Science and Computation Structures
| SKU | Unavailable |
| ISBN 13 | 9783540291077 |
| ISBN 10 | 3540291075 |
| Title | Theoretical Aspects of Computing - ICTAC 2005 |
| Author | Dang Van Hung |
| Series | Theoretical Computer Science And General Issues |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2005-10-04 |
| Number of pages | 618 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |