This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and ...
Lire la suiteThis book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
Lire la suiteIn this second edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the original book ...
Lire la suiteThe 33 revised full papers and 5 revised short papers presented together with 2 invited talks, 1 system demo, 2 poster papers ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 12th International Symposium on Graph Drawing, GD 2004, ...
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 suiteIn July 2004, a conference on graph theory was held in Paris in memory of Claude Berge, one of the pioneers of the field. ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
Lire la suiteThis book constitutes the revised papers of the 46th International Workshop on Graph-Theoretic Concepts in Computer Science, ...
Lire la suiteThis book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a ...
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 suiteThe second edition of this course-tested book provides a detailed and in-depth discussion of the foundations of quantum theory ...
Lire la suiteHungarian mathematics has always been known for discrete mathematics, including combinatorial number theory, set theory and ...
Lire la suiteThis book is an up-to-date guide to the performance and interpretation of imaging studies in dental radiology. The aim is ...
Lire la suiteThe graph is a critical and useful concept in designing many information processing systems. Systems such as transaction ...
Lire la suiteModel-based fault detection and isolation requires a mathematical model of the system behaviour. Modelling is important and ...
Lire la suiteThis hand book is concerned with optical imaging – from simple pinhole cameras to complex imaging systems. It spans the ...
Lire la suiteThis book explores the myriad ways in which photographs can be used: to document events, places or things; to consolidate ...
Lire la suiteThis is the first comprehensive collection of problems in set theory. Most of classical set theory is covered, classical ...
Lire la suite