Electronic Books

Total Books: 441 - 460 /918

The 33 revised full papers and 5 revised short papers presented together with 2 invited talks, 1 system demo, 2 poster papers ...

The 13th International Symposium on Graph Drawing (GD 2005) was held in Limerick, Ireland, September 12-14, 2005. One hundred ...

The 16th International Symposium on Graph Drawing (GD 2008) was held in Hersonissos, near Heraklion, Crete, Greece, September ...

Graph theory is a flourishing discipline containing a body of beautiful and powerful theorems of wide applicability. Its ...

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...

The WG conference traditionally aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be ...

During its 30-year existence, the International Workshop on Graph-Theoretic Concepts in Computer Science has become a distinguished ...

that aims to unite theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in Computer ...

The workshop aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various ...

This book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic ...

The third edition of this standard textbook contains additional material: two new application sections (on graphical codes ...

This book have a chapter on the network simplex algorithm and a section on the five color theorem; this also necessitated ...

This book is about relations between three different areas of mathematics and theoretical computer science: combinatorial ...

Introduces a variety of concepts in discrete mathematics and mathematical modeling for languages and computation. The authors ...

Provides reliable methods for solving fractional-order models in science and engineering. Contains efficient numerical methods ...

This comprehensive handbook, the first of its kind to address the connection between nature-inspired and traditional computational ...

This Handbook contains surveys of state-of-the-art concepts, systems, applications, best practices as well as contemporary ...

Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...

This volume reflects the state-of-the-art in these areas. Original articles and survey articles, all refereed, cover topics ...

This book reviews ancient and modern representations and explanations of hierarchies, and compares their relevance in a variety ...

Total Books: 441 - 460 /918