Program concepts & learning to program books

Beginning R: An Introduction to Statistical Programming is a hands-on book showing how to use the R language, write...  Read More >>

The authors of this book have, for the past eight years, conducted research in knowledge-based software engineering,...  Read More >>

VLSI planarization is one of the basic stages (others will be discussed below) of the so called topological (in...  Read More >>

In the meanwhile an extension of the programme has resulted in 8 extensions of existing projects and 8 new projects,...  Read More >>

Standardization of hardware description languages and the availability of synthesis tools has brought about a remarkable...  Read More >>

This monograph reports on Graham's MSc project, demonstrat­ ing that - in the right hands - the tools and methodology...  Read More >>

The authors have been beguiled and entranced by mathematics all of their lives, and both believe it is the highest...  Read More >>

Examples of such communicating systems are: communication protocols, telephone exchange control systems, process...  Read More >>

Logic provides a set of tools and techniques to address the questions of how to represent, query and reason about...  Read More >>

Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence...  Read More >>

High-dimensional spaces arise as a way of modelling datasets with many attributes. Such a dataset can be directly...  Read More >>

This book constitutes the refereed proceedings of the 6th International Symposium on Intelligence Computation and...  Read More >>

If different tools and users are to generate and read the same language then it is necessary that the same semantics...  Read More >>

Examples of reactive systems are network protocols, air-traffic control systems, industrial-process control systems...  Read More >>

Written in a fun, accessible style, this step-by-step guide teaches non-programmers the key aspects of Unix and...  Read More >>

A Unified Approach for Timing Verification and Delay Fault Testing will be of interest to university and industry...  Read More >>

Scratch is an educational programming language that allows children to imagine, create, and share their own games,...  Read More >>

Regular expressions remain a difficult part of the puzzle when learning how to program. Commonly used for sifting...  Read More >>

 Read More >>

This book is a practical guide to understanding and using Matlab. It works as a quick reference for anyone who is...  Read More >>

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented...  Read More >>

 Read More >>

Genetic algorithms provide a powerful range of methods for solving complex engineering search and optimization algorithms....  Read More >>

s a competitor of the Deep Blue team, I had mixed emotions as I A watched their chess-playing machine defeat World...  Read More >>

 Read More >>