Learn IT - Books tags finite

Practical Model-Based Testing: A Tools Approach

Morgan Kaufmann, 2006

Software testing is vitally important in the software development process, as illustrated by the growing market for automated testing tools. Moreover, software testing generally consumes between 30 and 60 percent of the overall development effort.

Many companies are already using automated test execution tools. Modelbased testing pushes...

Finite Antenna Arrays and FSS

John Wiley & Sons, 2003

A periodic surface is an assembly of identical elements arranged in a one or two-dimensional array. Such surfaces have various effects on incident electromagnetic waves. Their applications range from antennas to stealth aircraft.This book discusses finite antenna arrays and how to minimize the radar cross section of these arrays.

...

Approximate Global Convergence and Adaptivity for Coefficient Inverse Problems

Springer, 2012

Approximate Global Convergence and Adaptivity for Coefficient Inverse Problems is the first book in which two new concepts of numerical solutions of multidimensional Coefficient Inverse Problems (CIPs) for a hyperbolic Partial Differential Equation (PDE) are presented: Approximate Global Convergence and the Adaptive Finite Element...

Information and Coding Theory (Springer Undergraduate Mathematics Series)

Springer, 2000

As thi s Preface is being written, th e twent ieth century is coming to an end . Historians may perhaps come to refer to it as the cent ury of information, jus t as its predecessor is associated with the proce ss of indust rialisation. Successive technological developments such as the telephone, radio, television , compute rs and...

Transformer Design Principles: With Applications to Core-Form Power Transformers, Second Edition

CRC Press, 2010

Updating and reorganizing the valuable information in the first edition to enhance logical development, Transformer Design Principles: With Applications to Core-Form Power Transformers, Second Edition remains focused on the basic physical concepts behind transformer design and operation. Starting with first principles, this book develops the...

C Programming for Microcontrollers Featuring ATMEL's AVR Butterfly and the free WinAVR Compiler

Smiley Micros, 2005

Do you want a low cost way to learn C programming for microcontrollers? This book shows you how to use Atmel’s $19.99 AVR Butterfly board and the FREE WinAVR C compiler to make a very inexpensive system for using C to develop microcontroller projects.

Students will find the thorough coverage of C explained in the context of...

Image Processing: Tensor Transform and Discrete Tomography with MATLAB ®

CRC Press, 2012

Focusing on mathematical methods in computer tomography, Image Processing: Tensor Transform and Discrete Tomography with MATLAB^®introduces novel approaches to help in solving the problem of image reconstruction on the Cartesian lattice. Specifically, it discusses methods of image processing along...

Foundations of Embedded Systems (Studies in Systems, Decision and Control (195))

Springer, 2019

This book is devoted to embedded systems (ESs), which can now be found in practically all fields of human activity. Embedded systems are essentially a special class of computing systems designed for monitoring and controlling objects of the physical world.

The book begins by discussing the distinctive features of...

Robust Adaptive Beamforming (Wiley Series in Telecommunications and Signal Processing)

John Wiley & Sons, 2005

The latest research and developments in robust adaptive beamforming

Recent work has made great strides toward devising robust adaptive beamformers that vastly improve signal strength against background noise and directional interference. This dynamic technology has diverse applications, including radar, sonar, acoustics, astronomy, seismology,...

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference

Springer, 2011

This volume contains the proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011). TACAS 2011 took place in Saarbr¨ucken, Germany, March 28–31, 2011, as part of the 14th European Joint Conferences on Theory and Practice of Software (ETAPS 2011), whose...

Analysis and Synthesis for Discrete-Time Switched Systems: A Quasi-Time-Dependent Method (Studies in Systems, Decision and Control)

Springer, 2019

This book presents recent theoretical advances in the analysis and synthesis of discrete-time switched systems under the time-dependent switching scheme, including stability and disturbance attenuation performance analysis, control and filtering, asynchronous switching, finite-time analysis and synthesis, and reachable set...

Theory of Finite Automata With an Introduction to Formal Languages

Prentice Hall, 1989

It often seems that mathematicians regularly provide answers well before the rest of the world finds reasons to ask the questions. The operation of the networks of relays used in the first computers is exactly described by Boolean functions. George Boole thereby made his contribution to computer science in the mid-1800s, and Boolean algebra is used...

Result Page: 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5