Learn IT - Books tags agent-based

Application Development Using C# and .NET

Prentice Hall, 2001

Microsoft .NET is an advance in programming technology that greatly simplifies application development both for traditional, proprietary applications, and for the emerging paradigm of Web-based services. .NET is a complete restructuring of Microsoft's whole system infrastructure and represents a major learning challenge for programmers developing...

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

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

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

Physics of Semiconductor Devices

Springer, 2002

Physics of Semiconductor Devices is a textbook aimed at college undergraduate and graduate teaching. It covers both basic classic topics such as energy band theory and the gradual-channel model of the MOSFET as well as advanced concepts and devices such as MOSFET short-channel effects, low-dimensional devices and single-electron transistors. As a...

Pro OpenSolaris

Apress, 2009

OpenSolaris is a rapidly evolving operating system with roots in Solaris 10, suitable for deployment on laptops, desktop workstations, storage appliances, and data center servers from the smallest single–purpose systems to the largest enterprise–class systems. The growing OpenSolaris community now has hundreds of thousands of...

Joomla! 1.5 Template Design

Packt Publishing, 2009

Using Joomla! Templates with HTML and CSS allows you to give a unique look and feel to your site, present a "fresh face" to your pre-existing content, ensure that your site design is consistent with your brand, and build a site layout that suits your unique needs. A quality web site is easily within your grasp using these cutting-edge...

Result Page: 750 749 748 747 746 745 744 743 742 741 740 739 738 737 736 735 734 733 732