Learn IT - Books tags formal

Ethernet Passive Optical Networks (McGraw-Hill Communications Engineering)

McGraw-Hill, 2005

THE DEFINITIVE GUIDE TO EPON
Written by one of the authors of the IEEE802.3ah standard, this is the first book to fully explain the EPON architecture, analyze its performance, and annotate the standard.

Clearly addressing efficiency, performance, and implementation issues, Ethernet Passive Optical Networks...

Knowledge in Formation: A Computational Theory of Interpretation (Cognitive Technologies)

Springer, 2011

With knowledge representation we face more or less the same problem as Augustine (354–430) when thinking about time: if nobody asks what it is, it seems clear enough, but being asked it proves to be very difficult to provide an answer.

At the beginning of our research we thought that a solution for the problem of...

Syntactic Pattern Recognition: An Introduction (Applied Mathematics and Computation; No. 14)

Addison Wesley, 1978

This book was written to provide students, engineers, and scientists involved in pattern recognition, digital image processing, and artificial intelligence with a comprehensive introduction to the concepts and tech- niques of syntactic pattern recognition.

Syntactic pattern recognition is concerned with the...

How to Cheat at Managing Information Security

Syngress Publishing, 2006

Information security is different from many other disciplines both within mainstream
information technology and other business areas. Even though there are
now many good books on various areas, getting the breadth of knowledge
across the many subareas is still difficult, but it is essential to success.

Unlike so many...

Pro Tools 101 Official Courseware, Version 8 (Artistpro)

Course Technology PTR, 2009

Digidesign’s Official Pro Tools 101 Courseware takes a comprehensive approach to learning the fundamentals of Pro Tools|HD®, Pro Tools LE®, or Pro Tools M-Powered™ systems. Now updated for Pro Tools 8 software, this new edition from the definitive authority on Pro Tools covers everything you need to know to complete a Pro...

The Meaning of Video Games: Gaming and Textual Strategies

Routledge, 2008

The Meaning of Video Games takes a textual studies approach to an increasingly important form of expression in today’s culture. It begins by assuming that video games are meaningful–not just as sociological or economic or cultural evidence, but in their own right, as cultural expressions worthy of scholarly attention. In...

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science)

Springer, 2013

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Computing,...

Social Thinking--Software Practice

MIT Press, 2002

Software practice is everywhere: software development, design, and use as well as related management are shaping today’s technology and changing the way we engage in social relations at work and at home, in small groups and in the larger society. Scientific reflection on software practice aims at understanding and improvement; at the same...

Big Questions in Ecology and Evolution (Oxford Biology)

Oxford University Press, 2009

Why do we age? Why cooperate? Why do so many species engage in sex? Why do the tropics have so many species? When did humans start to affect world climate?

This book provides an introduction to a range of fundamental questions that have taxed evolutionary biologists and ecologists for decades. Some of the phenomena discussed are, on...

JavaScript Step by Step

Microsoft Press, 2010

Much has changed since the first edition of JavaScript Step by Step was written in 2007. The underlying JavaScript specification received a major update; Microsoft released Windows Internet Explorer 8—and now 9 (which is about to be released as I write this); JavaScript development frameworks have matured and are now ubiquitous; and...

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods

Springer, 2005

Formal engineering methods are changing the way that software systems are developed. With language and tool support, they are being used for automatic code generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, specification,...

A Carrot a Day: A Daily Dose of Recognition for Your Employees

Gibbs Smith, 2004

From the bestselling authors of The 24-Carrot Manager comes a manager's handbook on motivating employees through praise and recognition. Employees fed a steady diet of carrots focus better on company goals. They spot new opportunities faster. They have longer employment life spans (translation: lower turnover). And they can lift companies higher...

Result Page: 59 58 57 56 55 54 53 52 51 50 49 48 47 46 45