Program concepts & learning to program books

Schneider's ""tried and true"" text - consistently praised by both students and instructors - is designed for students...  Read More >>

The papers in this book cover issues related to the development of novel statistical models for the analysis of...  Read More >>

Finally, you can learn computation theory and programming language design in an engaging, practical way. Understanding...  Read More >>

FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for...  Read More >>

Appropriate for all basic-to-intermediate level courses in Visual Basic 2012 programming. Created by world-renowned...  Read More >>

This book aims to examine innovation in the fields of information technology, software engineering, industrial engineering,...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Optical...  Read More >>

This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda Calculi and...  Read More >>

The book contains the proceedings of the Third International Working Conference on Distributed Applications and...  Read More >>

 Read More >>

In this book the authors relate and discuss the idea that perceptual processes can be considered at many levels....  Read More >>

System-On-a-Chip Verification: Methodology and Techniques is the first book to cover verification strategies and...  Read More >>

The contributors, all experts in their fields, address language in the brain, production of sentences and dialogues,...  Read More >>

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs)...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on...  Read More >>

Writing truly concurrent software on the Java Virtual Machine just got a whole lot easier. The Akka Toolkit takes...  Read More >>

Brings together eleven contributions by international researchers, discussing significant issues in the field of...  Read More >>

Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related...  Read More >>

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification,...  Read More >>

This book provides an overview of more than a decade of joint R&D efforts in the Low Countries on HLT for Dutch....  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on...  Read More >>

Despite the fact that in the digital domain, designers can take full benefits of IPs and design automation tools...  Read More >>

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

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically...  Read More >>

Mastering interoperability in a computing environment consisting of different operating systems and hardware architectures...  Read More >>