The Modern Algebra of Information Retrieval
This book takes a unique approach to information retrieval by laying down the foundations for a modern algebra of information ...
Lire la suite
The Moon that Wasn’t : The Saga of Venus’ Spurious Satellite
This book details the history of one of astronomy’s many spurious objects, the satellite of Venus. First spotted in 1645, ...
Lire la suite
Theoretical Aspects of Computing - ICTAC 2006
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Lire la suite
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suite
Vegetative Powers
The volume analyzes the natural philosophical accounts and debates concerning the vegetative powers, namely nutrition, growth, ...
Lire la suite
Views on Microstructures in Granular Materials
This volume provides overview of the mechanics of granular materials, ranging from sparse media to soils. With chapters exploring ...
Lire la suite
