Product Description: Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc...read more (view table of contents, read Amazon.com's description)

Product Description: Memory Management: Algorithms and Implementation in C/C++ presents several concrete implementations of garbage collection and explicit memory management algorithms. Every implementation is complemented by an in-depth presentation of theory, followed by benchmark tests, a complete listing of C/C++ source code, and a discussion of each implementation s trade-offs...read more (view table of contents, read Amazon.com's description)

Product Description: This book constitutes the refereed proceedings of the 4th International Conference on Text, Speech and Dialogue, TSD 2001, held in Zelezna Ruda, Czech Republic in September 2001.The 59 revised papers presented were carefully reviewed and selected from 117 submissions...read more (view table of contents, read Amazon.com's description)

Product Description: Foundations of Genetic Algorithms, Volume 6 is the latest in a series of books that records the prestigious Foundations of Genetic Algorithms Workshops, sponsored and organised by the International Society of Genetic Algorithms specifically to address theoretical publications on genetic algorithms and classifier systems...read more (view table of contents, read Amazon.com's description)

Product Description: In this fully updated second edition of the highly acclaimed Managing Gigabytes, authors Witten, Moffat, and Bell continue to provide unparalleled coverage of state-of-the-art techniques for compressing and indexing data. Whatever your field, if you work with large quantities of information, this book is essential reading--an authoritative theoretical resource and a practical guide to meeting the toughest storage and access challenges...read more (view table of contents, read Amazon.com's description)

Product Description: This book focuses on the rapid progress in state-of-the-art dynamic random access memory (DRAM) technology as it has advanced from the Kilo-bit to the Giga-bit regime. Compiled by a panel of experts from the ULSI Process Technology Research and Development Unit at Toshiba Corporation, it provides the reader with the latest information on DRAM technology...read more (view table of contents, read Amazon.com's description)