Learn IT - Amazing Books

Introduction to Embedded System Design Using Field Programmable Gate Arrays

Springer, 2008

"Introduction to Embedded System Design Using Field Programmable Gate Arrays" provides a starting point for the use of field programmable gate arrays in the design of embedded systems. The text considers a hypothetical robot controller as an embedded application and weaves around it related concepts of FPGA-based digital design. The...

The Language of Design: Theory and Computation

Springer, 2008

The Language of Design: Theory and Computation articulates the theory that there is a language of design. This theory claims that any language of design consists of a set of symbols, a set of relations between the symbols, features that key the expressiveness of symbols, and a set of reality producing information processing behaviors...

Formal Languages and Compilation (Texts in Computer Science)

Springer, 2009

The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory, on compiler and language design, and to a lesser extent on natural language processing. In the turmoil of information technology developments, the subject of the book has kept the same fundamental...

Computable Models

Springer, 2009

Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computational...

Fundamentals of Digital Imaging in Medicine

Springer, 2006

There was a time not so long ago, well within the memory of many of us, when medical imaging was an analog process in which X-rays, or reflected ultrasound signals, exiting from a patient were intercepted by a detector, and their intensity depicted as bright spots on a fluorescent screen or dark areas in a photographic film. The...

Computational Social Network Analysis: Trends, Tools and Research Advances (Computer Communications and Networks)

Springer, 2009

Social networks provide a powerful abstraction of the structure and dynamics of diverse kinds of people or people-to-technology interaction. Web 2.0 has enabled a new generation of web-based communities, social networks, and folksonomies to facilitate collaboration among different communities.

This unique text/reference compares...

Software Verification and Analysis: An Integrated, Hands-On Approach

Springer, 2009

This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging).

Three major software verification techniques are discussed: Semantic program synthesis and...

Handbook of Fingerprint Recognition

Springer, 2009

From the reviews:

"...a useful reference for all biometric security professionals and researchers. The four coauthors have a distinguished combination of academic and professional experience....Overall, readers will be pleased with the style and substance of this book." -Computing Reviews

"This is a comprehensive reviews...

A Practical Introduction to Computer Architecture (Texts in Computer Science)

Springer, 2009

This book blends traditional teaching approaches with the use of mathematics, together with the use of a hardware description language and a concrete processor as vehicles for "hands-on" modelling and experimenting with digital logic and processor design. This unique approach encourages readers to derive their own conclusions via...

Understanding Concurrent Systems (Texts in Computer Science)

Springer, 2010

CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets...

Guide to Intelligent Data Analysis: How to Intelligently Make Sense of Real Data (Texts in Computer Science)

Springer, 2010

The main motivation to write this book came from all our problems to find suitable material for a textbook that would really help us to teach the practical aspects of data analysis together with the needed theoretical underpinnings. Many books out there tackle either one or the other of these aspects (and, especially for the latter, there are...

Enabling Optical Internet with Advanced Network Technologies (Computer Communications and Networks)

Springer, 2009

This reference provides an overview of the key concepts related to the major issues of optical Internet, and studies traditionally and recently proposed optical switching paradigms. The concise coverage presents a detailed comparison of optical switching technologies, and covers architectural issues together with topics such as signaling protocols...

Result Page: Previous 2842 2843 2844 2845 2846 2847 2848 2849 2850 2851 2852 2853 2854 2855 2856 2857 2858 2859 2860 2861 2862 Next