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: 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 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
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 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)
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

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 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 Infrastructure
The 3-D Global Spatial Data Model: Foundation of the Spatial Data Infrastructure
Traditional 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
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)
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 Optimization
Automatic Algorithm Recognition and Replacement: A New Approach to Program Optimization
Optimizing compilers have a fundamental problem. No matter how powerful their optimizations
are, they are no substitute for good application algorithms. Consider the case of
sorting. For sufficiently large data sets, a merge sort algorithm compiled with a less powerful
optimizer will always out-perform a selection sort algorithm
...
C++ Toolkit for Engineers and Scientists
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,...
unlimited object storage image
Result Page: 60 59 58 57 56 55 54 53 52 51 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy