|
| € 71.85 This book constitutes the refereed proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC 2003, held in Kyoto,... € 110.89 Catalogues approximately 7000 acronyms and abbreviations used in computer technology, telecommunications and related fields. The entries are...
€ 74.25 This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the University of Berne, Switzerland, October... € 96.53 Provides an introduction to category theory whilst retaining a level of mathematical correctness, thus appealing to students of both...
€ 88.23 This volume presents the papers selected for the SymposiumLogic at Tver '92, held at Sokol, near Tver, Russia in July1992. It is the second... € 55.02
€ 58.20 This volume contains contributions to the 17th Internationalworkshop on Graph-Theoretic Concepts in Computer Science(WG '91)held in Southern... € 82.59 This volume reflects the growing use of techniques from topology and category theory in the field of theoretical computer science. In so...
€ 44.72 Discrete mathematics is the basic language which every student of computing should take pride in mastering and this book should prove an... € 331.29 This contributed work covers, in precise detail, the potential sources of error in floating-point programming and how these trouble spots...
€ 65.18 This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern,... € 53.94 This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the...
|
|