The 33 revised full papers and 5 revised short papers presented together with 2 invited talks, 1 system demo, 2 poster papers ...
Lire la suiteThe 13th International Symposium on Graph Drawing (GD 2005) was held in Limerick, Ireland, September 12-14, 2005. One hundred ...
Lire la suiteThe 16th International Symposium on Graph Drawing (GD 2008) was held in Hersonissos, near Heraklion, Crete, Greece, September ...
Lire la suiteGraph theory is a flourishing discipline containing a body of beautiful and powerful theorems of wide applicability. Its ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
Lire la suiteThe WG conference traditionally aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be ...
Lire la suiteDuring its 30-year existence, the International Workshop on Graph-Theoretic Concepts in Computer Science has become a distinguished ...
Lire la suitethat aims to unite theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in Computer ...
Lire la suiteThe workshop aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various ...
Lire la suiteThis book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic ...
Lire la suiteThe third edition of this standard textbook contains additional material: two new application sections (on graphical codes ...
Lire la suiteThis book have a chapter on the network simplex algorithm and a section on the five color theorem; this also necessitated ...
Lire la suiteThis book is about relations between three different areas of mathematics and theoretical computer science: combinatorial ...
Lire la suiteIntroduces a variety of concepts in discrete mathematics and mathematical modeling for languages and computation. The authors ...
Lire la suiteProvides reliable methods for solving fractional-order models in science and engineering. Contains efficient numerical methods ...
Lire la suiteThis comprehensive handbook, the first of its kind to address the connection between nature-inspired and traditional computational ...
Lire la suiteThis Handbook contains surveys of state-of-the-art concepts, systems, applications, best practices as well as contemporary ...
Lire la suiteVerification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
Lire la suiteThis volume reflects the state-of-the-art in these areas. Original articles and survey articles, all refereed, cover topics ...
Lire la suiteThis book reviews ancient and modern representations and explanations of hierarchies, and compares their relevance in a variety ...
Lire la suite