Total Books: 141 - 144 /144
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Lee mas
Walks on Ordinals and Their Characteristics
The analysis of the characteristics of walks on ordinals is a powerful new technique for building mathematical structures, ...
Lee mas
Walsh Equiconvergence of Complex Interpolating Polynomials
A collection of the various old and new results, centered around the following simple observation of J L Walsh. This book ...
Lee mas
q-Clan Geometries in Characteristic 2
This monograph offers the only comprehensive, coherent treatment of the theory - in characteristic 2 - of the so-called flock ...
Lee mas
