Kategoria BISAC: Computers >> Data Science - General

• Provides nonmathematical explanations of advanced topics in computational chemistry.
• Focuses on when and how to apply different computational techniques.
• Addresses computational chemistry connections to biochemical systems and polymers.
• Provides a prioritized list of methods for attacking difficult computational chemistry problems, and compares advantages and disadvantages of various...

The two-volume textbook Comprehensive Mathematics for the Working Computer Scientist, of which this is the second volume, is a self-contained comprehensive presentation of mathematics including sets, numbers, graphs, algebra, logic, grammars, machines, linear geometry, calculus, ODEs, and special themes such as neural networks, Fourier theory, wavelets, numerical issues, statistics, categories, and manifolds. The concept framework is streamlined but defining and proving virtually everything. The style implicitly follows the spirit of recent topos-oriented theoretical computer science....

"Non-Binary Error Control Coding for Wireless Communication and Data Storage" explores non-binary coding schemes that have been developed to provide an alternative to the Reed - Solomon codes, which are expected to become unsuitable for use in future data storage and communication devices as the demand for higher data rates increases. This book will look at the other significant non-binary coding schemes, including non-binary block and ring trellis-coded modulation (TCM) codes that perform well in fading conditions...

This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.

The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip.

Conquer the Internet and energize your students' imaginations To keep up in today's learning electronic environment, you've got to be Internet savvy. This step-by-step guide will help you and your students get a Web site up and running quickly and easily - even if you have little or no prior knowledge of Web design.

The 25 revised full papers presented here together with 7 invited papers address subjects such as block codes; algebra and codes: rings, fields, and AG codes; cryptography; sequences; decoding algorithms; and algebra: constructions in algebra, Galois groups, differential algebra, and polynomials.

This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.

The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.