Learn IT - Books tags formal

View-Dependent Character Animation

Springer, 2007

Computer generated 3D animation has matured over the years into a complex art form. Coordinating and presenting the character's movement in three dimensions to convey a specific idea to the audience requires artistic and technical skills, and often a labourious iterative trial-and-error process to get it right. Creating moving camera character...

Relational Database Theory: A Comprehensive Introduction

Addison Wesley, 1993

This book presents a systematic treatment of the formal theory of the relational model of data, which is the foundation of current database management systems. It can be used as a text for a graduate course in database theory, or as an additional reference for an undergraduate course on data management. It will also be useful to researchers...

Composing Music with Computers (Music Technology)

Focal Press, 2001

Focuses on the role of the computer as a generative tool for music composition. Miranda introduces a number of computer music composition techniques ranging from probabilities, formal grammars and fractals, to genetic algorithms, cellular automata and neural computation. Anyone wishing to use the computer as a companion to create music will...

Visual C# 2005 Demystified

McGraw-Hill, 2005

The FAST and EASY way to learn VISUAL C+ 2005

Start programming in Visual C# 2005 right away -- even if you don't have formal training, unlimited time, or a genius IQ. In Visual C# 2005 Demystified, programming instructor Jeff Kent provides an effective, illuminating, and entertaining way to learn to use this...

Managing Projects with make (Nutshell Handbooks)

O'Reilly, 1993

make is one of UNIX's greatest contributions to software development, and this book is the clearest description of make ever written. Even the smallest software project typically involves a number of files that depend upon each other in various ways. If you modify one or more source files, you must relink the...

Basic English Usage

Oxford University Press, 1986

Not only for beginners, but also for intermediate level students. Please take into account that this book is "a shortened and simplified version" of Practical English Usage. If you want a book to carry for studying in the bus, BSE is good, but for having it in your desk, PSE is better.

An alphabetical guide to the most common...

From Expert Student to Novice Professional (Professional Learning and Development in Schools and Higher Education)

Springer, 2011

Students entering higher education expect their studies to lead them towards some specific form of professional career. But in this age, complex internationalized professions are the main source of work for graduates, so students need to prepare themselves for a future that can be volatile, changeable and challenging. This book shows how...

Axioms and Hulls (Lecture Notes in Computer Science)

Springer, 1992

A FEW YEARS AGO some students and I were looking at a map that pinpointed the locations of about loo cities. We asked ourselves, "Which of these cities are neighbors of each other?" We knew intuitively that some pairs of cities were neighbors and others were not; we wanted to find a formal mathematical characterization that...

Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies

Springer, 2013

With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades...

Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)

Cambridge University Press, 2005

This book tackles the problems of update algorithms for databases. How can one construct and maintain a database of facts, capable of incorporating new information and getting rid of all outdated information, and yet in the process not disturb any other information in the database? The author has produced a formal method of specifying the...

Electrical Transport in Nanoscale Systems

Cambridge University Press, 2008

This graduate textbook provides an in-depth description of the transport phenomena relevant to systems of nanoscale dimensions. The different theoretical approaches are critically discussed, with emphasis on their basic assumptions and approximations. The book also covers information content in the measurement of currents, the role of initial...

Focus On Curves and Surfaces (Focus on Game Development)

Course Technology PTR, 2002

This guide provides clear, practical explanations of curves and surfaces with the minimum of esoteric mathematical notation, making it far more accessible to work along with the material for a better understanding of the concepts.

This book is aimed at anyone...

Result Page: 33 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15