Program concepts & learning to program books

Erlang is the language of choice for programmers who want to write robust, concurrent applications, but its strange...  Read More >>

This book is the result of the International Workshop on Distributed and Parallel Embedded Systems (DIPES'98),...  Read More >>

Illustrates how to design and implement competent genetic algorithms - genetic algorithms that solve hard problems...  Read More >>

Proceedings of the Third International Conference on Computer-Aided Design of User Interfaces, 21-23 October 1999,...  Read More >>

So you have a great game idea for iPhone or iPad, but Objective-C just seems a bit daunting. What are your alternatives?...  Read More >>

This full-color, illustrated guide to programming with Scratch teaches kids how to make cool projects. Each chapter...  Read More >>

Naked Code reveals the underlying principles and techniques of all programming languages. The author demonstrates...  Read More >>

LOTOSphere: Software Development with LOTOS describes in depth a five year project that moved LOTOS out of the...  Read More >>

In this book, international experts examine similarities and differences between theoretical and empirical results...  Read More >>

This two-volume set of CCIS 307 and CCIS 308 constitutes the refereed proceedings of the Third International Conference...  Read More >>

Recent advances in electronic and computer technologies have paved the way for the proliferation of ubiquitous computing...  Read More >>

The title, Iterating Infusion, alludes to the fact that any system has multiple, coexisting functional levels and...  Read More >>

Containing the papers presented at Computer Graphics International 2002, this volume covers research in computer...  Read More >>

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a...  Read More >>

The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic...  Read More >>

Promoting multidisciplinary work in computational economics, organizational science, social dynamics, and complex...  Read More >>

Presently, software controls many critical functions in (1) airplanes, (2) electronic commerce, (3) space-bound...  Read More >>

Many complex systems found in nature can be viewed as function optimizers. Given the difficulty of performing such...  Read More >>

Expert F# 3.0 is: A comprehensive guide to F# by the inventor of F# A treasury of F# techniques for practical...  Read More >>

This book constitutes the proceedings of the Second International Conference on Network Computing and Information...  Read More >>

Many of the software systems support or supplant human control of safety-critical systems such as flight control...  Read More >>

Spectral Techniques in VLSI CAD have become a subject of renewed interest in the design automation community. This...  Read More >>

Mobile Computation with Functions explores distributed computation with languages which adopt functions as the main...  Read More >>

Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to...  Read More >>

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy,...  Read More >>