Learn IT - Books tags formal

Professional Refactoring in C# & ASP.NET (Wrox Programmer to Programmer)

Wrox Press, 2009

Refactoring is an effective way to quickly uncover problematic code and fix it. In this first book to provide a hands-on approach to refactoring in C# and ASP.NET, you'll discover to apply refactoring techniques to manage and modify your code. Plus, you'll learn how to build a prototype application from scratch and discover how to refactor the...

Credit and Community: Working-Class Debt in the UK since 1880

Oxford University Press, 2009

Credit's centrality to the current economic crisis makes the publication of Sean O'Connell's social history of working-class credit consumption particularly timely. Although the credit crunch came too late to be included in this book, the portrait of a complex relationship between lenders and borrowers over the past 120 years should be required...

Software Engineering (6th Edition)

Addison Wesley, 2000

The new edition of this best-selling book provides a comprehensive discussion of software engineering techniques and shows how they can be applied in practical software projects. This book features new coverage of the software process and software process technology, system integration, requirements management, and risk analysis, as well as new...

Statistical Optics

John Wiley & Sons, 1985

Since the early 1960s it has gradually become accepted that a modern academic training in optics should include a heavy exposure to the concepts of Fourier analysis and linear systems theory. This book is based on the thesis that a similar stage has been reached with respect to the tools of probability and statistics and that some training in the...

Decision Theory: Principles and Approaches (Wiley Series in Probability and Statistics)

John Wiley & Sons, 2009

Decision theory provides a formal framework for making logical choices in the face of uncertainty. Given a set of alternatives, a set of consequences, and a correspondence between those sets, decision theory offers conceptually simple procedures for choice. This book presents an overview of the fundamental concepts and outcomes of rational decision...

Computer Aided Design and Design Automation (The Circuits and Filters Handbook)

CRC Press, 2009

> Volume 5 of the Handbook of Circuits and Filters, Third Edition focuses on computer-aided design and design automation. In the first part of the book, international contributors address topics such as modeling of circuit performances, symbolic analysis methods, numerical analysis methods, design by optimization,...

Model-Driven Development with Executable UML (Wrox Programmer to Programmer)

Wrox Press, 2009

Motivated by the viewpoint that software development efficiency can most certainly be improved, author Dragan Milicev proposes a technique that raises the level of abstraction and reduces accidental complexity in software development. This comprehensive reference focuses on an executable profile of UML and a method that allows you to save...

International Security and the United States: An Encyclopedia (Praeger Security International)

Praeger Publishers, 2007

Shaped by often very dramatic events, international security and the international system have changed significantly in recent years. The conclusion of the Cold War, the emergence of new political systems, the growth of significant threats such as terrorism, and the development of new security doctrines have driven global transformation. These...

Mysticism in the World's Religions

Oneworld Publications, 1995

This wide-ranging book covers all the major religious traditions, while exploring monistic and theistic mysticism, and such key issues as altered states of consciousness, sex, and visionary experiences.

There is a widespread modem interest in religious affairs in the broadest sense, from Hare Krishna to the Jesus People and from...

101 Boardroom Problems and How to Solve Them

AMACOM, 2008

Before becoming a consultant on meetings and effective decision making, I was employed as an engineer. My motto then was: Silence is golden. Keeping quiet in meetings was safe and risk-free, and rarely did anyone solicit my ideas anyway. Had I shared my input, however, it might have improved the quality of my team’s decisions and reduced its...

Semi-Classical Analysis For Nonlinear Schrodinger Equations

World Scientific Publishing, 2008

These lecture notes review recent results on the high-frequency analysis of nonlinear SchrÐÑÐ¶dinger equations in the presence of an external potential. The book consists of two relatively independent parts: WKB analysis, and caustic crossing. In the first part, the basic linear WKB theory is constructed and then extended to the...

The Arithmetic of Elliptic Curves (Graduate Texts in Mathematics)

Springer, 2009

The theory of elliptic curves is distinguished by its long history and by the diversity of the methods that have been used in its study. This book treats the arithmetic theory of elliptic curves in its modern formulation, through the use of basic algebraic number theory and algebraic geometry. The book begins with a brief discussion of the...

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