Learn IT - Books tags formal

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...

Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems)

Morgan Kaufmann, 1997

In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers, and researchers.

Distributed Algorithms contains the most significant algorithms and impossibility...

Molecular Computation Models: Unconventional Approaches

Idea Group Publishing, 2005

With the increasing complexity of software systems and their widespread growth into many aspects of our lives, the need to search for new models, paradigms, and ultimately, technologies, to manage this problem is evident. The way nature solves various problems through processes evolving during billions of years was always an inspiration to many...

Complete Guide to OneNote

Apress, 2003

Complete Guide to OneNote is aimed at making users more productive by helping them organize what are today ephemeral and disconnected scraps of personal information gathered prior to the creation of a formal work product.

This comprehensive reference explains this new category of software and its user paradigm, including...

Result Page: 57 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42