Learn IT - Books tags role-based

The Austin Protocol Compiler (Advances in Information Security)

Springer, 2004

The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. The Austin Protocol Compiler illustrates that two types of semantics of TAP are equivalent. Thus, the correctness of TAP specification of some protocol, that is established based on the...

Managing IT in Government, Business & Communities

IRM Press, 2003

This guide presents the most current research and findings about the challenges governments around the world are now placing on small business IT entrepreneurs and how they are providing increased resources to support this emphasis. Described are how organizations and society rely heavily on virtual technologies for communication and how...

Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP

Springer, 2007

Knowledge means power – but only if it is available at the right time, the right place, and in the hands of the right people. Structured, engineered, repeatable methods to gather, transport, and apply knowledge are collectively called knowledge management.

Declarative programming strives for the ideal of programming by wish: the...

Recent Advances in Formal Languages and Applications (Studies in Computational Intelligence)

Springer, 2006

The theory of formal languages is widely accepted as the backbone of theoretical computer science. It mainly originated from mathematics (combinatorics, algebra, mathematical logic) and generative linguistics. All human problem solving capabilities can be considered in a certain sense as a manipulation of symbols and structures composed by symbols,...

Multiplexed Networks for Embedded Systems: CAN, LIN, FlexRay, Safe-by-Wire...

John Wiley & Sons, 2007

Multiplexed networks are essential for the unified, efficient and cost-effective exchange of electronic information within embedded component systems. This is especially important in automotive manufacturing as vehicles become increasingly reliant on robust electronic networks and systems for improved reliability, anti-lock brake systems (ABS),...

Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)

John Wiley & Sons, 1991

This book is the result of an evolutionary process which took place over a number of years. The contents of this book are based on my seminar for experienced software developers, which I instruct internationally, andon courses which I have taught as an external lecturer in the Informatics Department of the Johann Wolfgang Goethe University in...

Cisco ASA, PIX, and FWSM Firewall Handbook (2nd Edition) (Networking Technology: Security)

Cisco Press, 2007

David Hucaby, CCIE® No. 4594, is a lead network engineer for the University of Kentucky, where he works with health-care networks based on the Cisco Catalyst, ASA, FWSM, and VPN product lines. He was one of the beta reviewers of the ASA 8.0 operating system software.

Learn about the various firewall models, user interfaces,...

New Computational Paradigms: Changing Conceptions of What is Computable

Springer, 2007

In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection between "computation" and "proof" has originated much of the most significant work in constructive mathematics and mathematical...

Best Websites for Financial Professionals, Business Appraisers, and Accountants, Second Edition

John Wiley & Sons, 2003

This book is aimed primarily at the accountant or financial analyst who is engaged in consulting work—such as business appraisal, financial planning, and management consulting. The consulting area is the most rapidly growing area of accounting practice, and financial professionals in this area can benefit significantly from the increase in...

Handbook of Preventive Interventions for Adults

John Wiley & Sons, 2005

A complete and current overview of preventive interventions and programs for adults

More than at any time in our history, people are living longer. Yet, in many cases, individuals are beset by emotional, physical, and social problems that can erode their quality of life. Whether the issue is obesity, anxiety, or partner violence, all of these...

Analysis and Control of Nonlinear Process Systems (Advanced Textbooks in Control and Signal Processing)

Springer, 2004

Almost all process systems are nonlinear in nature. Nonlinear control is traditionally an area of interest in process systems engineering which is of great practical importance. These facts notwithstanding, many process engineers have difficulty with the paradigms and results of modern nonlinear control theory because they lack the mathematical...

The Disappearing Computer: Interaction Design, System Infrastructures and Applications for Smart Environments

Springer, 2007

“The-computer-as-we-know-it” will have no role in our future everyday lives. This is the position taken in this book which elaborates how it will be replaced by a new generation of technologies, moving computing off the desktop and ultimately integrating it with real world objects and everyday environments. Computing becomes thus an...

Result Page: 874 873 872 871 870 869 868 867 866 865 864 863 862 861 860 859 858 857 856