The Semantic Web is a vision – the idea of having data on the Web defined and linked in such a way that it can be used ...
Lee mas
The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC ...
Lee mas
The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC ...
Lee mas
"Sense of Touch and its Rendering" presents a unique and interdisciplinary approach highlighting the field of haptic research ...
Lee masAlthough drugs have essential role in treatment, but also psychological factor has a big effect on this process, and that ...
Lee mas
This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...
Lee mas
This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
Lee mas
This open access book offers comprehensive coverage on Ordered Fuzzy Numbers, providing readers with both the basic information ...
Lee mas
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lee mas
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Lee mas
Reports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search ...
Lee mas
The theory of nonlinear, complex systems has become by now a proven problem-solving approach in the natural sciences. In ...
Lee mas
Time-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. ...
Lee mas
The book covers the different fields of learning technologies: education, psychology, computer science. The book address ...
Lee mas
Provides important guidelines for the digital transformation process and shows how established companies in particular can ...
Lee mas
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lee mas
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lee mas
This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Lee mas
Most topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come ...
Lee mas
This book presents computational paradigms describing lower- and higher-level cognitive functions, including mechanisms of ...
Lee mas