Electronic Books

Total Books: 1401 - 1420 /1475

Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

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

Theory of Cryptography

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

Theory of Evolutionary Computation

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

Thinking in Complexity

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

Time-Dependent Scheduling

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

Times of Convergence. Technologies Across Learning Contexts : Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008. Proceedings

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

Toolbox Digital Business : Leadership, Business Models, Technologis and Change / Ralf T. Kreutzer

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

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

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

Tools and Algorithms for the Construction and Analysis of Systems

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

Tools and Algorithms for the Construction and Analysis of Systems

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

Toward Artificial Sapience : Principles and Methods for Wise Systems

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

Towards Affordance-Based Robot Control : International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006. Revised Papers

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

Towards a New Evolutionary Computation

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

Towards a Unified Modeling and Knowledge-Representation based on Lattice Theory

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

Transactions on Computational Science II

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

Transactions on Computational Science XXXVII

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

Transactions on Edutainment I

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

Transactions on Rough Sets IX

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

Transactions on Rough Sets VI

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

Transactions on Rough Sets VII

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