Electronic Books

Total Books: 1101 - 1120 /1163

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...

Reports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search ...

The theory of nonlinear, complex systems has become by now a proven problem-solving approach in the natural sciences. In ...

Time-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. ...

The book covers the different fields of learning technologies: education, psychology, computer science. The book address ...

Provides important guidelines for the digital transformation process and shows how established companies in particular can ...

This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...

This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...

This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems

Today’s mobile robot perception is insufficient for acting goal-directedly in unconstrained, dynamic everyday environments ...

This is a nicely edited volume on Estimation of Distribution Algorithms (EDAs) by leading researchers on this important topic.

Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...

This, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...

This book subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, ...

This book providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions ...

this volume introduces a number of new advances in the foundations and applications of artificial intelligence, engineering, ...

This volume of the TRS presents papers that reflect the profound influence of a number of research initiatives by Zdzislaw ...

This volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial ...

This book constitutes the thoroughly refereed proceedings of the 33rd International Conference on Industrial, Engineering ...

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...

Total Books: 1101 - 1120 /1163