Issue No.03 - March (2005 vol.38)
Published by the IEEE Computer Society
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2005.81
Cross-Platform .NET Development: Using Mono, Portable. NET, and Microsoft .NET, Mark Easton and Jason King. This book examines the advantages of building portable, cross-platform.NET code and claims that even those only vaguely familiar with .NET can learn how to run .NET code on different platforms: Linux, Unix, Mac OS X, and Windows.
The authors fill the book with code samples and acquired expertise, providing the foundation for a well-rounded skill set. The book catalogs the pitfalls, gotchas, and speed bumps that crop up during .NET implementations, then provides a roadmap for navigating around them.
Apress; www.apress.com; 1-59059-330-8; 560 pp.; $49.99.
Imperfect C++: Practical Solutions for Real-Life Programming, Matthew Wilson. According to the author, although C++ is a marvelous language, it's not perfect. Along with describing what's wrong with C++, he also offers practical techniques and tools for writing code that's more robust, flexible, efficient, and maintainable. The author shows readers how to tame C++'s complexity, cut through its vast array of paradigms, take back control over the code, and get far better results.
Long-time C++ developers can use this book to help see their programming challenges in new ways—and illuminate powerful techniques they may never have tried. Those newer to C++ will learn principles that will make them more effective in all of their projects.
An accompanying CD-ROM contains a variety of C++ compilers, libraries, test programs, tools, and utilities, as well as the author's related journal articles.
Addison-Wesley Professional; www.awprofessional.com; 0-321-22877-4; 624 pp.; $44.99.
Logic in Computer Science: Modeling and Reasoning about Systems, 2nd ed., Michael Huth and Mark Ryan. The recent development of powerful tools for verifying hardware and software systems has fostered an increasing demand for training in basic methods of formal reasoning. Students, in particular, need to gain proficiency in logic-based verification methods. The second edition of this textbook addresses both those requirements by providing a clear introduction to formal reasoning that is both relevant to the needs of modern computer science and rigorous enough for practical application.
Improvements to the first edition include sections on SAT solvers, existential and universal second-order logic, micromodels, programming by contract, and total correctness. The coverage of model checking has been substantially updated and exercises have been added. Internet support provides teachers with worked solutions for all exercises and gives students model solutions to some exercises.
Cambridge University Press; www.cambridge.org; 0-521-54310-X; 440 pp.; $55.00.
Data Hiding Fundamentals and Applications: Content Security in Digital Multimedia, Husrev T. Sencar, Mahalingam Ramkumar, and Ali N. Akansu. Sophisticated multimedia technologies make it possible for the Internet to accommodate a rapidly growing audience with a full range of services and efficient delivery methods. Although the Internet now puts communication, education, commerce, and socialization at our fingertips, its rapid growth has raised some weighty security concerns with respect to multimedia content.
The authors provide a theoretical framework for data hiding in a signal-processing context; realistic applications in secure, multimedia delivery; data hiding for proof of ownership; and data hiding algorithms for image and video watermarking.
Elsevier Academic Press; http://books.elsevier.com/; 0-12-047144-2; 272 pp.; $69.95.
Nearest Neighbor Search: A Database Perspective, Apostolos N. Papadopoulos and Yannis Manolopoulos. Computationally intensive modern applications require the storage and manipulation of voluminous traditional and nontraditional data sets. Emerging application domains such as geographical, medical, and multimedia information systems; online analytical processing; and data mining have diverse requirements with respect to the information and operations they must support. From the database perspective, new techniques and tools must be developed that increase processing efficiency.
The authors discuss query processing techniques for nearest-neighbor queries, provide both basic concepts and state-of-the-art results in spatial databases and parallel processing research, and evaluate numerous applications of nearest-neighbor queries.
This book is suitable for researchers, postgraduate students, and practitioners in computer science who are concerned with nearest-neighbor search and related issues.
Springer; www.springeronline.com; 0-387-22963-9; 170 pp.; $115.