Learn IT - Books tags mathematical

Problems on Partial Differential Equations (Problem Books in Mathematics)

Springer, 2019

This book covers a diverse range of topics in Mathematical Physics, linear and nonlinear PDEs. Though the text reflects the classical theory, the main emphasis is on introducing readers to the latest developments based on the notions of weak solutions and Sobolev spaces.

In numerous problems, the student is asked to...

Dual-Fuel Gas-Steam Power Block Analysis: Methodology and Continuous-Time Mathematical Models (Power Systems)

Springer, 2018

This book presents the methodology and mathematical models for dual-fuel coal-gas power plants in two basic configurations: systems coupled in parallel and in series.

Dual-fuel gas and steam systems, especially parallel systems, have great potential for modernizing existing combined heat and power (CHP) plants. This book...

Verification Techniques for System-Level Design (Systems on Silicon)

Morgan Kaufmann, 2007

A must-read in formal and semi-formal verification!

This book will explain how to verify SoC logic designs using formal and semi-formal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the...

Fundamentals of Three-dimensional Digital Image Processing

Springer, 2009

There are many areas of science and engineering where three-dimensional (3-D) discrete data are collected and analyzed, such as medical imaging and geoscience. To design and to prove the validity of computational procedures for processing and analysis of such data, the need for a mathematical theory and algorithms for image processing is essential....

Universal Mandelbrot Set: Beginning of the Story

World Scientific Publishing, 2006

This book is devoted to the structure of Mandelbrot set - a remarkable and important personage of the modern theoretical physics, related to chaos and fractals and simultaneously to analytical functions, Riemann surfaces and phase transitions. This makes Mandelbrot set one of the bridges connecting the worlds of chaos and order (integrability). At...

Software Error Detection through Testing and Analysis

John Wiley & Sons, 2009

An in-depth review of key techniques in software error detection

Software error detection is one of the most challenging problems in software engineering. Now, you can learn how to make the most of software testing by selecting test cases to maximize the probability of revealing latent errors. Software Error Detection through...

3D Graphics for Game Programming

CRC Press, 2011

Many of computer graphics classes in colleges are focused on real-time rendering and animation. However, it is not easy to nd an appropriate textbook, which presents the state of the art in interactive graphics, is balanced between theory and practicality, and is of a proper length to be covered in a semester. This book is...

Logic and Information Flow (Foundations of Computing)

MIT Press, 1994

The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-processing system.The logic of information flow has applications in...

Java Fundamental Classes Reference (Java Series)

O'Reilly, 1997

The Java Fundamental Classes Reference provides complete reference documentation on the core Java 1.1 classes. These classes contain architecture-independent methods that serve as Java's gateway to the real world, by providing access to resources such as the network and the host filesystem. The core classes also include...

Inside the Yield Book: The Classic That Created the Science of Bond Analysis

Bloomberg Press, 2013

A completely updated edition of the guide to modern bond analysis

First published in 1972, Inside the Yield Book revolutionized the fixed-income industry and forever altered the way investors looked at bonds. Over forty years later, it remains a standard primer and reference among market professionals....

Digital Nets and Sequences: Discrepancy Theory and Quasi-Monte Carlo Integration

Cambridge University Press, 2010

Indispensable for students, invaluable for researchers, this comprehensive treatment of contemporary quasi-Monte Carlo methods, digital nets and sequences, and discrepancy theory starts from scratch with detailed explanations of the basic concepts and then advances to current methods used in research. As deterministic versions of the Monte...

Sas R 9.1.3 Language Reference: Concepts

SAS Institute, 2004

This title comprehensively documents essential concepts for SAS features, the DATA step, and SAS files so you can effectively manage your data.

SAS is a set of solutions for enterprise-wide business users as well as a powerful fourth-generation programming language for performing tasks such as these:

...

Result Page: 136 135 134 133 132 131 130 129 128 127 126 125 124 123 122 121 120 119 118