 Home | Amazing | Today | Tags | Publishers | Years | Account | Search       The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing) The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although...   MATLAB Linear Algebra MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or...   The Design and Analysis of Parallel Algorithms This text for students and professionals in computer science provides a valuable overview of current knowledge concerning parallel algorithms. These computer operations have recently acquired increased importance due to their ability to enhance the power of computers by permitting multiple processors to work on different parts of a problem...  MATLAB Matrix Algebra (Matlab Solutions) MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or...   Elliptic and Parabolic Equations Involving the Hardy-Leray Potential (De Gruyter Nonlinear Analysis and Applications) The scientific literature on the Hardy-Leray inequality, also known as the uncertainty principle, is very extensive and scattered. The Hardy-Leray potential shows an extreme spectral behavior and a peculiar influence on diffusion problems, both stationary and evolutionary. In this book, a big part of the scattered knowledge about these different...   MATLAB Mathematical Analysis MATLAB Mathematical Analysis is a reference book that presents the techniques of mathematical analysis through examples and exercises resolved with MATLAB software. The purpose is to give you examples of the mathematical analysis functions offered by MATLAB so that you can use them in your daily work regardless of the application....  MATLAB Numerical Calculations MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or...   The 3-D Global Spatial Data Model: Foundation of the Spatial Data InfrastructureTraditional methods for handling spatial data are encumbered by the assumption of separate origins for horizontal and vertical measurements. Modern measurement systems operate in a 3-D spatial environment. The 3-D Global Spatial Data Model: Foundation of the Spatial Data Infrastructure offers a new model for handling digital...   Classical Field Theory Classical field theory predicts how physical fields interact with matter, and is a logical precursor to quantum field theory. This introduction focuses purely on modern classical field theory, helping graduates and researchers build an understanding of classical field theory methods before embarking on future studies in quantum field theory. It...  Making TeX Work (A Nutshell handbook) TeX is a powerful tool for creating professional quality typeset text and is unsurpassed at typesetting mathematical equations, scientific text, and multiple languages. Many books describe how you use TeX to construct sentences, paragraphs, and chapters. Until now, no book has described all the software that actually lets you build,...   Automatic Algorithm Recognition and Replacement: A New Approach to Program OptimizationOptimizing compilers have a fundamental problem. No matter how powerful their optimizationsare, they are no substitute for good application algorithms. Consider the case ofsorting. For sufficiently large data sets, a merge sort algorithm compiled with a less powerfuloptimizer will always out-perform a selection sort algorithm...   C++ Toolkit for Engineers and Scientists This concise guide covers the fundamental aspects of the numerical analysis, basing upon it the construction of its routines for solving nonlinear equations, linear and nonlinear systems of equations, and eigenvalue problems. Focusing on software development, this book emphasizes software tools, OOP techniques for handling vectors, polynomials,...  Result Page: 60 59 58 57 56 55 54 53 52 51