Learn IT - Books tags logic

Practical Ruby Projects: Ideas for the Eclectic Programmer

Apress, 2007

This book is titled Practical Ruby Projects. And let me start by saying that the projects are practical. But they might not be quite what you’re used to. Flip through the book. You won’t find any references to enterprise deployment. Not a word about business logic. In fact, hard as it is to believe, there’s no web programming! But...

Advances in Evolutionary Computing for System Design (Studies in Computational Intelligence)

Springer, 2007

Evolutionary computing paradigms offer robust and powerful adaptive search mechanisms for system design. This book includes thirteen chapters covering a wide area of topics in evolutionary computing and applications including: Introduction to evolutionary computing in system design; evolutionary neuro-fuzzy systems; evolution of fuzzy controllers;...

Metal-Catalysis in Industrial Organic Processes

Royal Society of Chemistry, 2006

Catalysis underpins most modern industrial organic processes. It has become an essential tool in creating a 'greener' chemical industry by replacing more traditional stoichiometric reactions, which have high energy consumption and high waste production, with mild processes which increasingly resemble Nature's enzymes.

Metal-Catalysis in...

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (v. 129)

Springer, 1982

Concurrent processes can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness. In this thesis, we develop a new technique for the verification of parallel programs. The technique is stated in terms of axioms and inference rules, and it is used to prove...

The Modern C++ Challenge: Become an expert programmer by solving real-world problems

Packt Publishing, 2018

Test your C++ programming skills by solving real-world programming problems covered in the book

Key Features

Solve a variety of real-world programming and logic problems by leveraging the power of C++17

Test your skills in using language features, algorithms, data...

Verification Techniques for System-Level Design (Systems on Silicon)

Morgan Kaufmann, 2007

A must-read in formal and semi-formal verification!

This book will explain how to verify SoC logic designs using formal and semi-formal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the...

Possibility

Oxford University Press, 2009

Possibility offers a new analysis of the metaphysical concepts of possibility and necessity, one that does not rely on any sort of "possible worlds." The analysis proceeds from an account of the notion of a physical object and from the positing of properties and relations. It is motivated by considerations about how we actually speak of...

Logic and Information Flow (Foundations of Computing)

MIT Press, 1994

The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-processing system.The logic of information flow has applications in...

Troubleshooting Xcode

Apress, 2015

Troubleshooting Xcode is a handbook for software developers of all levels creating applications for iOS and OS X using both Objective-C and Swift.

If you’ve struggled in the past to make Xcode work as expected, to solve problems that defy logic, and to understand Xcode’s misleading or cryptic error...

Creative Projects with Logic Audio

Premier Press, 2003

Whether you are interested in composing soundtracks, jingles, or just some catchy tunes, author Keith Gemmell will help you develop the skills you need to get the most out of your software. Test your developing skills along the way as you complete projects such as building assigned compositions from scratch, editing your audio,...

Computability Theory: An Introduction to Recursion Theory

Academic Press, 2010

The study of the class of computable partial functions (i.e., recursive partial functions) stands at the intersection of three fields: mathematics, theoretical computer science, and philosophy.

Mathematically, computability theory originates from the concept of an algorithm. It leads to a classification of functions according...

Computational Intelligence: Principles, Techniques and Applications

Springer, 2005

Computational Intelligence: Principles, Techniques and Applications presents both theories and applications of computational intelligence in a clear, precise and highly comprehensive style. The textbook addresses the fundamental aspects of fuzzy sets and logic, neural networks, evolutionary computing and belief networks. The...

Result Page: 87 86 85 84 83 82 81 80 79 78 77 76 75 74 73 72 71 70 69