Program concepts & learning to program books

Camel in Action is for developers working with integration of any kind. This highly practical book introduces Camel...  Read More >>

Scala is an object-oriented programming language for the Java Virtual Machine. In addition to being object-oriented,...  Read More >>

The second part (Applications and Contributions) consists of five chapters, covering different problems in financial...  Read More >>

With the daily addition of million documents and new users, there is no doubt that the World Wide Web (WWW or Web...  Read More >>

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the...  Read More >>

This book contains selected contributions from the 6th CIRP International Seminar on Computer-Aided Tolerancing,...  Read More >>

An introduction to mathematical logic that starts with propositional calculus and first-order logic. It covers topics...  Read More >>

modelling temporal phenomena, in­ terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning...  Read More >>

Metaheuristics: Progress as Real Problem Solvers is a peer-reviewed volume of eighteen current, cutting-edge papers...  Read More >>

Intended for those interested in the developments in MAS programming. This book focuses on the development of programming...  Read More >>

Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used...  Read More >>

They applied themselves to four main topics: - Bimodal transport system. - Mobility and transport in agglomoration...  Read More >>

Although there are no widely adhered standards for a design flow, most companies have their own established practices,...  Read More >>

The UML-based system specification and design contributions address latest results on hot-topic areas such as system...  Read More >>

The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping,...  Read More >>

Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most...  Read More >>

Behavioral Intervals in Embedded Software introduces a comprehensive approach to timing, power, and communication...  Read More >>

Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality...  Read More >>

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the...  Read More >>

The work described in this book was first presented at the Second Workshop on Genetic Programming, Theory and Practice,...  Read More >>

At first glance, this might appear to be a book on mathematics, but it is really intended for the practical engineer...  Read More >>

Intended for both academic and professional researchers in the field of computational science and engineering, the...  Read More >>

Reactive Search and Intelligent Optimization is an excellent introduction to the main principles of reactive search,...  Read More >>

The first edition of this book has found great interest among scientists and en­ gineers dealing with pattern recognition...  Read More >>

This research book presents the agent theory and adaptation of agents in different contexts. Because rules are the...  Read More >>