Home | Amazing | Today | Tags | Publishers | Years | Search 
Computability: Turing, Gödel, Church, and Beyond
Computability: Turing, Gödel, Church, and Beyond

In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the...

Solr in Action
Solr in Action

Summary

Solr in Action is a comprehensive guide to implementing scalable search using Apache Solr. This clearly written book walks you through well-documented examples ranging from basic keyword searching to scaling a system for billions of documents and queries. It will give you a deep understanding of how...

Discrete or Continuous?: The Quest for Fundamental Length in Modern Physics
Discrete or Continuous?: The Quest for Fundamental Length in Modern Physics

The idea of infinity plays a crucial role in our understanding of the universe, with the infinite spacetime continuum perhaps the best-known example - but is spacetime really continuous? Throughout the history of science, many have felt that the continuum model is an unphysical idealization, and that spacetime should be thought of as...

Spatial Simulation: Exploring Pattern and Process
Spatial Simulation: Exploring Pattern and Process

A ground-up approach to explaining dynamic spatial modelling for an interdisciplinary audience.

Across broad areas of the environmental and social sciences, simulation models are  an important way to study systems inaccessible to scientific experimental and observational methods, and also an essential complement to...

Verification of Business Rules Programs
Verification of Business Rules Programs

Rules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules management systems, it has been possible to introduce rule-based programming to nonprogrammers, allowing them to map expert intent into code in applications such as fraud detection, financial...

Functional Foods and Biotechnology (Food Science and Technology)
Functional Foods and Biotechnology (Food Science and Technology)

World-wide there are more overweight and obese people (1 billion) than there are malnourished (0.8 billion). Today the challenge lies not just in meeting basic nutritional needs, but providing additional protective ingredients to help prevent the major chronic diseases associated with obesity. Biotechnology has become an important tool in...

The Basics of Cloud Computing: Understanding the Fundamentals of Cloud Computing in Theory and Practice
The Basics of Cloud Computing: Understanding the Fundamentals of Cloud Computing in Theory and Practice

As part of the Syngress Basics series, The Basics of Cloud Computing provides readers with an overview of the cloud and how to implement cloud computing in their organizations. Cloud computing continues to grow in popularity, and while many people hear the term and use it in conversation, many are confused by it or unaware of what it...

Computer Science: A Very Short Introduction (Very Short Introductions)
Computer Science: A Very Short Introduction (Very Short Introductions)

Over the past sixty years, the spectacular growth of the technologies associated with the computer is visible for all to see and experience. Yet, the science underpinning this technology is less visible and little understood outside the professional computer science community. As a scientific discipline, computer science stands alongside the...

Introduction to Partial Differential Equations (Undergraduate Texts in Mathematics)
Introduction to Partial Differential Equations (Undergraduate Texts in Mathematics)

This textbook is designed for a one year course covering the fundamentals of partial differential equations, geared towards advanced undergraduates and beginning graduate students in mathematics, science, engineering, and elsewhere. The exposition carefully balances solution techniques, mathematical rigor, and significant applications, all...

Integrated Water Resources Management in the 21st Century: Revisiting the paradigm
Integrated Water Resources Management in the 21st Century: Revisiting the paradigm

Integrated water resources management advocates a coordinated approach for managing water resources in a way that balances social and economic needs with concern for the environment. While potentially useful, integrated water management is also controversial. Supporters believe that the multi-dimensional nature of water can only be understood...

Investing in the High Yield Municipal Market: How to Profit from the Current Municipal Credit Crisis and Earn Attractive Tax-Exempt Interest Income
Investing in the High Yield Municipal Market: How to Profit from the Current Municipal Credit Crisis and Earn Attractive Tax-Exempt Interest Income

A practical guide to profiting from the high yield municipal market

This unique guide to the high yield municipal bond market sheds some much-needed light on this esoteric but profitable corner of the fixed-income world. It fills the void between the general reference handbooks on municipal bonds and the superficial...

Learning Chef
Learning Chef

Automate your infrastructure using code and leverage DevOps with Chef

About This Book

  • Leverage the power of Chef to transform your infrastructure into code to deploy new features in minutes
  • Understand the Chef architecture and its various components including the different types of server...
Result Page: 38 37 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21 20 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy