You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the thoroughly refereed post-proceedings of the 10th International Symposium on Graph Drawing, GD 2002, held in Irvine, CA, USA, in August 2002. The 24 revised full papers, 9 short papers, and 7 software demonstrations presented together with a report on the GD 2002 graph drawing contest were carefully reviewed and selected from a total of 48 regular paper submissions. All current aspects of graph drawing are addressed.
An introduction, complete in one volume, to the history of Russia from medieval times to the fall of Khrushchev and beyond. A study of the geographical setting in which the Russian state grew to its present super-power status is followed by five chapters which discuss the political, social, and economic history of the country, and four final chapters examine respectively the role of the Church, Soviet government and politics, the economy of the Soviet state, and the international relations of the USSR. Each chapter has been specially commissioned for this volume, and the writers are acknowledged experts in their fields. Every chapter is followed by a guide to further reading. This is perhaps...
This volume contains the Proceedings of ICFCA 2005, the 3rd International Conference on Formal Concept Analysis. The ICFCA conference series aims to be the premier forum for the publication of advances in applied lattice and order theory, and in particular scienti?c advances related to formal concept analysis. Formal concept analysis is a ?eld of applied mathematics with its mat- matical root in order theory, in particular in the theory of complete lattices. Researchers had long been aware of the fact that these ?elds have many - tential applications. Formal concept analysis emerged in the 1980s from e?orts to restructure lattice theory to promote better communication between lattice theoris...
This book constitutes the thoroughly refereed post-proceedings of the 10th International Symposium on Graph Drawing, GD 2002, held in Irvine, CA, USA, in August 2002. The 24 revised full papers, 9 short papers, and 7 software demonstrations presented together with a report on the GD 2002 graph drawing contest were carefully reviewed and selected from a total of 48 regular paper submissions. All current aspects of graph drawing are addressed.
This book explores the advancement of uncertain combinatorics through innovative methods such as graphization, hyperization, and uncertainization, incorporating concepts from fuzzy, neutrosophic, soft, and rough set theory, among others. Combinatorics and set theory are fundamental mathematical disciplines that focus on counting, arrangement, and the study of collections under specified rules. While combinatorics excels at solving problems involving uncertainty, set theory has expanded to include advanced concepts like fuzzy and neutrosophic sets, which are capable of modeling complex real-world uncertainties by accounting for truth, indeterminacy, and falsehood. These developments intersect...
This book is the third of a three-volume set of books on the theory of algebras, a study that provides a consistent framework for understanding algebraic systems, including groups, rings, modules, semigroups and lattices. Volume I, first published in the 1980s, built the foundations of the theory and is considered to be a classic in this field. The long-awaited volumes II and III are now available. Taken together, the three volumes provide a comprehensive picture of the state of art in general algebra today, and serve as a valuable resource for anyone working in the general theory of algebraic systems or in related fields. The two new volumes are arranged around six themes first introduced in Volume I. Volume II covers the Classification of Varieties, Equational Logic, and Rudiments of Model Theory, and Volume III covers Finite Algebras and their Clones, Abstract Clone Theory, and the Commutator. These topics are presented in six chapters with independent expositions, but are linked by themes and motifs that run through all three volumes.
This book constitutes the refereed proceedings of the 12th Annual European Symposium on Algorithms, ESA 2004, held in Bergen, Norway, in September 2004. The 70 revised full papers presented were carefully reviewed from 208 submissions. The scope of the papers spans the entire range of algorithmics from design and mathematical issues to real-world applications in various fields, and engineering and analysis of algorithms.
This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.
This volume, the third in a sequence that began with The Theory of Matroids and Combinatorial Geometries, concentrates on the applications of matroid theory to a variety of topics from engineering (rigidity and scene analysis), combinatorics (graphs, lattices, codes and designs), topology and operations research (the greedy algorithm).