Learn IT - Books tags formal

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Springer, 1997

After 40 years of practice and theory in compiler construction and 30 years of experience and teaching in software engineering we still observe that safetycritical high-level language programs are certified only together with the corresponding machine code. The reason is that certification institutions do not trust any compiler. And they are...

Digital Design and Computer Architecture

Morgan Kaufmann, 2007

Digital Design and Computer Architecture is designed for courses that combine digital logic design with computer organization/architecture or that teach these subjects as a two-course sequence. Digital Design and Computer Architecture begins with a modern approach by rigorously covering the fundamentals of digital logic design...

Trends in Functional Programming 6

Intellect, 2007

This book contains selected papers from the proceedings presented at the Sixth Symposium on Trends in Functional Programming (TFP05). Continuing the TFP series with its previous instances held in Stirling (1999), St. Andrews (2000), Stirling (2001), Edinburgh (2003) and Munich (2004) the symposium was held in Tallinn, Estland in co-location with...

Concepts of Programming Languages (9th Edition)

Addison Wesley, 2009

Concepts of Programming Languages is ideal for undergraduate students in Computer Science and Computer Programming courses. It is an ideal reference encapsulating the history and future of programming languages.

Now in its Ninth Edition,...

Algebra: Introductory and Intermediate

Brooks Cole, 2006

The fourth edition of Algebra: Introductory and Intermediate examines the fundamental ideas of algebra. Recognizing that the basic principles of geometry are a necessary part of mathematics, we have also included a separate chapter on geometry (Chapter 3) and have integrated geometry topics, where appropriate, throughout the...

Deploying Rails Applications: A Step-by-Step Guide (Facets of Ruby)

Pragmatic Bookshelf, 2008

First you'll learn how to build out your shared, virtual, or dedicated host. Then, you'll see how to build your applications for production and deploy them with one step, every time. Deploying Rails Applications will take you from a simple shared host through a highly scalable clustered and balanced setup with Nginx.

See how to tell whether...

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction

Springer, 2013

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in...

Democracy for Sale: Elections, Clientelism, and the State in Indonesia

Cornell University Library, 2019

Democracy for Sale is an on-the-ground account of Indonesian democracy, analyzing its election campaigns and behind-the-scenes machinations. Edward Aspinall and Ward Berenschot assess the informal networks and political strategies that shape access to power and privilege in the messy political environment of contemporary...

Information Security For The Little Guy

Iuniverse Inc, 2006

Being secure in an insecure world is a tough nut to crack. There are so many ways that our personal information can be stolen and duplicated today it is a very serious situation and should be taken very seriously.

From our surfing the Internet to just the simplicity of speaking on a cell phone to our friends can...

Heterogeneous Agent Systems

MIT Press, 2000

Software agents are the latest advance in the trend toward smaller, modular pieces of code, where each module performs a well-defined, focused task or set of tasks. Programmed to interact with and provide services to other agents, including humans, software agents act autonomously with prescribed backgrounds, beliefs, and operations. Systems of...

Software Craftsmanship: The New Imperative

Addison Wesley, 2001

By recognizing that software development is not a mechanical task, you can create better applications.

Today’s software development projects are often based on the traditional software engineering model, which was created to develop large-scale defense projects. Projects that use this antiquated industrial model tend to take...

Formal Concept Analysis: Foundations and Applications (Lecture Notes in Computer Science)

Springer, 2005

Formal concept analysis has been developed as a field of applied mathematics based on the mathematization of concept and concept hierarchy. It thereby allows us to mathematically represent, analyze, and construct conceptual structures. The formal concept analysis approach has been proven successful in a wide range of application fields.

This...

Result Page: 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1