The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC ...
اقرأ المزيدThe two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC ...
اقرأ المزيد"Sense of Touch and its Rendering" presents a unique and interdisciplinary approach highlighting the field of haptic research ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...
اقرأ المزيدThis book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
اقرأ المزيدThis open access book offers comprehensive coverage on Ordered Fuzzy Numbers, providing readers with both the basic information ...
اقرأ المزيد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 ...
اقرأ المزيد