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...

Discontinuity in Nonlinear Physical Systems explores recent developments in experimental research in this broad field, organized in four distinct sections. Part I introduces the reader to the fractional dynamics and Lie group analysis for nonlinear partial differential equations. Part II covers chaos and complexity in nonlinear Hamiltonian...

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...

An innovative introduction to chemical engineering computing

As chemical engineering technology advances, so does the complexity of the problems that arise. The problemsthat chemical engineers and chemical engineering students face today can no longer be answered with programs written on a case-by-case basis. Introduction...

A systematic introduction to partial differential equations and modern finite element methods for their efficient numerical solution

Partial Differential Equations and the Finite Element Method provides a much-needed, clear, and systematic introduction to modern theory of partial differential equations (PDEs) and...

This book uses MATLABR to analyze various applications in mathematics and mechanics. The authors hope to encourage engineers and scientists to consider this modern programming environment as an excellent alternative to languages such as FORTRAN or C++. MATLAB1 embodies an interactive environment with a high level programming language...

This updated third edition illustrates the mathematical concepts that a game developer needs to develop 3D computer graphics and game engines at the professional level. It starts at a fairly basic level in areas such as vector geometry and linear algebra, and then progresses to more advanced topics in 3D programming such as illumination and...

Responding to recent developments and a growing VLSI circuit manufacturing market, Technology Computer Aided Design: Simulation for VLSI MOSFET examines advanced MOSFET processes and devices through TCAD numerical simulations. The book provides a balanced summary of TCAD and MOSFET basic concepts, equations, physics, and new...

This book reminds students in junior, senior and graduate level courses in physics, chemistry and engineering of the math they may have forgotten (or learned imperfectly) which is needed to succeed in science courses.

This book reminds students in junior, senior and graduate level courses in physics, chemistry and engineering...

From industrial and teaching experience the authors provide a blend of theory and practice of digital signal processing (DSP) for advanced undergraduate and post-graduate engineers reading electronics. This fast-moving, developing area is driven by the information technology revolution. It is a source book in research and development for...

This text is an introduction to the basic principles of electrical engineering. It is the outgrowth of
lecture notes prepared by this author while teaching for the electrical engineering and computer
engineering departments at San José State University, DeAnza college, and the College of San Mateo,...

The World's #1 Guide to Power Supply Design Now Updated!

Recognized worldwide as the definitive guide to power supply design for over 25 years, Switching Power Supply Design has been updated to cover the latest innovations in technology, materials, and components. This Third Edition presents the basic...