Filter by
Mathematical Aspects of Logic Programming Semantics
Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distanc…
- Edition
- Ed. 1
- ISBN/ISSN
- 1439829624, 9781439829622
- Collation
- -
- Series Title
- -
- Call Number
- -
How Computer Networks Can Become Smart
How Computer Networks Can Become Smart
- Edition
- -
- ISBN/ISSN
- 9789533071749
- Collation
- -
- Series Title
- -
- Call Number
- -
Design and Applications of Coordinate Measuring Machines
Coordinate measuring machines (CMMs) have been conventionally used in industry for 3-dimensional and form-error measurements of macro parts for many years. Ever since the first CMM, developed by Ferranti Co. in the late 1950s, they have been regarded as versatile measuring equipment, yet many CMMs on the market still have inherent systematic errors due to the violation of the Abbe Principle in …
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 624
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography