Formal Concept Analysis (vol. # 3403)
This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and ...
اقرأ المزيد
Formal Models of Communicating Systems
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
اقرأ المزيد
Foundation Mathematics for Computer Science
In this second edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the original book ...
اقرأ المزيد
Graph Drawing
The 33 revised full papers and 5 revised short papers presented together with 2 invited talks, 1 system demo, 2 poster papers ...
اقرأ المزيد
Graph Drawing (vol. # 3383)
This book constitutes the thoroughly refereed post-proceedings of the 12th International Symposium on Graph Drawing, GD 2004, ...
اقرأ المزيد
Graph Drawing (vol. # 3843)
The 13th International Symposium on Graph Drawing (GD 2005) was held in Limerick, Ireland, September 12-14, 2005. One hundred ...
اقرأ المزيد
Graph Drawing : 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers
The 16th International Symposium on Graph Drawing (GD 2008) was held in Hersonissos, near Heraklion, Crete, Greece, September ...
اقرأ المزيد
Graph Theory in Paris
In July 2004, a conference on graph theory was held in Paris in memory of Claude Berge, one of the pioneers of the field. ...
اقرأ المزيد
Graph Transformation : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
اقرأ المزيد
Graph-Theoretic Concepts in Computer Science
This book constitutes the revised papers of the 46th International Workshop on Graph-Theoretic Concepts in Computer Science, ...
اقرأ المزيد
Graph-based Knowledge Representation : Computational Foundations of Conceptual Graphs
This book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a ...
اقرأ المزيد
Graphs, Networks and Algorithms
This book have a chapter on the network simplex algorithm and a section on the five color theorem; this also necessitated ...
اقرأ المزيد
Hilbert Space Operators in Quantum Physics
The second edition of this course-tested book provides a detailed and in-depth discussion of the foundations of quantum theory ...
اقرأ المزيد
Horizons of Combinatorics
Hungarian mathematics has always been known for discrete mathematics, including combinatorial number theory, set theory and ...
اقرأ المزيد
Imaging Techniques in Dental Radiology: Acquisition, Anatomic Analysis and Interpretation of Radiographic Images
This book is an up-to-date guide to the performance and interpretation of imaging studies in dental radiology. The aim is ...
اقرأ المزيد
Metagraphs and Their Applications
The graph is a critical and useful concept in designing many information processing systems. Systems such as transaction ...
اقرأ المزيد
Model-based Process Supervision : A Bond Graph Approach
Model-based fault detection and isolation requires a mathematical model of the system behaviour. Modelling is important and ...
اقرأ المزيد
Optical Imaging and Photography: Imaging Optics, Sensors and Systems / Ulrich Teubner, Hans Josef Brückner
This hand book is concerned with optical imaging – from simple pinhole cameras to complex imaging systems. It spans the ...
اقرأ المزيد
Photography - Arts for Health / Susan Hogan
This book explores the myriad ways in which photographs can be used: to document events, places or things; to consolidate ...
اقرأ المزيد
Problems and Theorems in Classical Set Theory
This is the first comprehensive collection of problems in set theory. Most of classical set theory is covered, classical ...
اقرأ المزيد
