Electronic Books

Total Books: 1401 - 1420 /1475

All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...

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

This book presents computational paradigms describing lower- and higher-level cognitive functions, including mechanisms of ...

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.

This research monograph proposes a unified, cross-fertilizing approach for knowledge-representation and modeling based on ...

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 ...

Total Books: 1401 - 1420 /1475