Program concepts & learning to program books

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

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

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

 Read More >>

The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping,...  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 >>

The work described in this book was first presented at the Second Workshop on Genetic Programming, Theory and Practice,...  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 >>

The world of text mining is simultaneously a minefield and a gold mine. what is the scope of Text Mining, who uses...  Read More >>

Hardware Design and Petri Nets presents a summary of the state of the art in the applications of Petri nets to...  Read More >>

Electronic Chips & Systems Design Languagesoutlines and describes the latest advances in design languages. System...  Read More >>

Evolutionary Algorithms in VLSI CAD presents the basic concepts of EAs, and considers the application of EAs in...  Read More >>

FDL'OI was held in Lyon, France, around seven interrelated workshops, Hardware Description Languages, Analog and...  Read More >>

System-on-Chip Methodologies & Design Languages brings together a selection of the best papers from three international...  Read More >>

Formal verification has become one of the most important steps in circuit design. Applications to arithmetic circuit...  Read More >>

Evolutionary algorithms are general-purpose search procedures based on the mechanisms of natural selection and population...  Read More >>

Part One describes the basic concepts and characteristics of an AOC system and enumerates the critical design and...  Read More >>

Computational Intelligence for Engineering Systems provides an overview and original analysis of new developments...  Read More >>

 Read More >>

Provides several different kinds of information: a delineation of general metaheuristics methods, many advanced...  Read More >>

Linear Genetic Programming presents a variant of genetic programming (GP) that evolves imperative computer programs...  Read More >>

Evolvable hardware (EHW) refers to hardware whose architecture/structure and functions change dynamically and autonomously...  Read More >>