Learn IT - Books tags formal

Multimedia Systems, Standards, and Networks

CRC Press, 2000

"Describes ITU H H.323 and H.324, H.263, ITU-T video, and MPEG-4 standards, systems, and coding; IP and ATM networks; multimedia search and retrieval; image retrieval in digital laboratories; and the status and direction of MPEG-7."

We humans, being social creatures, have historically felt the need for increasingly sophisticated means...

Compiling Esterel

Springer, 2007

Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used to compile it.

Esterel is based on the simple...

An Approach to Modelling Software Evolution Processes

Springer, 2009

An Approach to Modelling Software Evolution Processes describes formal software processes that effectively support software evolution. The importance and popularity of software evolution increase as more and more successful software systems become legacy systems. For one thing, software evolution has become an important characteristic in...

St. James Encyclopedia of Popular Culture: 2

St. James Press, 2000

Sometimes, when I’m wandering in an art museum looking at the relics of an ancient civilization, I find myself wondering how a future society would represent a defunct American culture. What objects would be chosen—or would survive—to be placed on display? Would I agree with a curator’s choices? Were I to choose...

Complex Enterprise Architecture: A New Adaptive Systems Approach

Apress, 2019

Implement successful and cost-effective enterprise architecture projects. This book provides a new approach to developing enterprise architecture based on the idea of emergent behaviors?where instead of micromanaging system implementation, the enterprise architecture effort establishes clear goals and leaves the details to the...

Grammar for Teachers: A Guide to American English for Native and Non-Native Speakers

Springer, 2008

The purpose of Grammar for Teachers is to encourage readers to develop a solid understanding of the use and function of grammatical structures in American English. It approaches grammar from a descriptive rather than a prescriptive approach; however, throughout Grammar for Teachers differences between formal and informal language,...

Introduction to Artificial Intelligence (Undergraduate Topics in Computer Science)

Springer, 2011

Artificial Intelligence (AI) has the definite goal of understanding intelligence and building intelligent systems. However, the methods and formalisms used on the way to this goal are not firmly set, which has resulted in AI consisting of a multitude of subdisciplines today. The difficulty in an introductory AI course lies in conveying...

Foundations of Learning Classifier Systems (Studies in Fuzziness and Soft Computing)

Springer, 2005

Learning Classifier Systems (LCS) [Holland, 1976] are a machine learning technique which combines evolutionary computing, reinforcement learning, supervised learning or unsupervised learning, and heuristics to produce adaptive systems. They are rulebased systems, where the rules are usually in the traditional production system form of “IF...

Theory of Relational Databases

Computer Science Press, 1983

This book is a revision and extension of notes I wrote for a graduate seminar in relational database theory given at Stony Brook. The purpose of that course was to give students enough background in relational database theory to enable them to understand the current research being done in the field. I have not attempted to be exhaustive in covering...

Facing the Music: Shaping Music Education from a Global Perspective

Oxford University Press, 2009

Facing the Music investigates the practices and ideas that have grown from some five decades of cultural diversity in music education, developments in ethnomusicology, and the rise of 'world music'. Speaking from rich, hands-on experience of more than thirty years at various levels of music education (music in schools,...

Text Atlas of Podiatric Dermatology

CRC Press, 2001

For many years there has been a very positive link between podiatry and clinical dermatology, but unfortunately they largely remain apart in most medical cultures, both in training and in practice. Where they have begun to overlap in the clinical treatment of foot dermatological problems the benefits rapidly become obvious to those...

Modern Cryptography: Theory and Practice

Prentice Hall, 2003

Leading HP security expert Wenbo Mao explains why "textbook" crypto schemes, protocols, and systems are profoundly vulnerable by revealing real-world-scenario attacks. Next, he shows how to realize cryptographic systems and protocols that are truly "fit for application"--and formally demonstrates their fitness. Mao presents...

Result Page: 40 39 38 37 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22