Learn IT - Books tags finite

Lectures in Game Theory for Computer Scientists

Cambridge University Press, 2011

Game playing is a powerful metaphor that fits many situations where interaction between autonomous agents plays a central role. Numerous tasks in computer science, such as design, synthesis, verification, testing, query evaluation, planning, etc. can be formulated in game-theoretic terms. Viewing them abstractly as games reveals the...

Higher Recursion Theory (Perspectives in Mathematical Logic)

Springer, 1990

Hyperarithmetic theory is the first step beyond classical recursion theory. It is the primary source of ideas and examples in higher recursion theory. It is also a crossroad for several areas of mathematical logic: in set theory it is an initial segment of Godel's L; in model theory, the least admissible set after ; in descriptive set...

Modal Logic: An Introduction to its Syntax and Semantics

Oxford University Press, 2008

In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result...

Programming Game AI by Example

Wordware Publishing, 2005

Programming Game AI by Example provides a comprehensive and practical introduction to the “bread and butter” AI techniques used by the game development industry, leading the reader through the process of designing, programming, and implementing intelligent agents for action games using the C++ programming language.

...

CAMEL: Intelligent Networks for the GSM, GPRS and UMTS Network

John Wiley & Sons, 2006

Learn how to use CAMEL to transfer the Intelligent Network concept to the mobile world!

CAMEL (Customized Application for the Mobile network Enhanced Logic) is a standard for Intelligent Networks for mobile communications networks. It is currently deployed in all regions of the world, enabling mobile network...

Schaum's Outline Series Theory and Problems of Projective Geometry

McGraw-Hill, 1967

The purpose of this book is to provide a first course in Projective Geometry for undergraduate majors in mathematics and for prospective teachers of high school geometry. For the former it will furnish an introduction to the important concept of projective spaces; for the latter it will introduce a more general geometry from which,...

Discontinuous Finite Elements in Fluid Dynamics and Heat Transfer (Computational Fluid and Solid Mechanics)

Springer, 2006

Over the past several years, significant advances have been made in developing the discontinuous Galerkin finite element method for applications in fluid flow and heat transfer. Certain unique features of the method have made it attractive as an alternative for other popular methods such as finite volume and finite elements in...

Analytical Electrochemistry

John Wiley & Sons, 2000

The critically acclaimed guide to the principles, techniques, and instruments of electroanalytical chemistry–now expanded and revised

Joseph Wang, internationally renowned authority on electroanalytical techniques, thoroughly revises his acclaimed book to reflect the rapid growth the field has experienced in recent years. He...

Financial Engineering with Finite Elements (The Wiley Finance Series)

John Wiley & Sons, 2005

The pricing of derivative instruments has always been a highly complex and time-consuming activity. Advances in technology, however, have enabled much quicker and more accurate pricing through mathematical rather than analytical models. In this book, the author bridges the divide between finance and mathematics by applying this proven mathematical...

Instrumentation, Measurement, Circuits and Systems

Springer, 2012

The volume includes a set of selected papers extended and revised from the 2011 International Conference on Mechanical Engineering and Technology, held on London, UK, November 24-25, 2011.

Mechanical engineering technology is the application of physical principles and current technological developments to the creation of useful...

Group Theoretical Methods in Image Processing (Lecture Notes in Computer Science)

Springer, 1990

These Lecture Notes are based on a series of lectures I gave at the Linkoping University Department of Electrical Engineering in 1988. In these lectures 1 tried to give an overview of the theory of representation of compact groups and some applications in the fields of image science and pattern recognition.

The participants...

Robust Algebraic Multilevel Methods and Algorithms (Radon Series on Computational and Applied Mathematics)

Walter de Gruyter, 2009

The iterative methods play an important role in solving linear equations that arise in real-world applications. Numerous properties of the problem may affect the efficiency of the solution. This book deals with algorithms for the solution of linear systems of algebraic equations with large-scale sparse matrices, with a focus on...

Result Page: 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1