Local search has been applied successfully to a diverse collection of optimization problems. It's appreciated for its basic ...
Continue readingThis established text and reference contains an advanced presentation of quantum mechanics adapted to the requirements of ...
Continue readingthe book is a very fitting tribute to the legacy of Shimon Even.Shimon Even was considered a superb teacher in Computer ...
Continue readingIs there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...
Continue readingIn the book Theoretical Knowledge, an original conception of a structure and dynamics of scientific knowledge is proposed. ...
Continue readingPresents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical ...
Continue readingThis survey provides an overview of German meta-discourse on theories and mathematics education as a scientific discipline, ...
Continue readingSense perception is one of the classical themes in philosophy. It is traditionally considered a necessary preamble to many ...
Continue readingThis book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...
Continue readingThis open access book offers comprehensive coverage on Ordered Fuzzy Numbers, providing readers with both the basic information ...
Continue readingThis book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...
Continue readingSAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...
Continue readingContains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
Continue readingAll current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Continue readingTheory and Design of CNC Systems covers the elements of control, the design of control systems, and modern open-architecture ...
Continue readingThis monograph addresses, in a systematic and pedagogical manner, the mathematical methods and the algorithms required to ...
Continue readingThis book includes different issues related with: process and engineering of model transformations; model transformations ...
Continue readingHard spheres and related objects (hard disks and mixtures of hard systems) are paradigmatic systems: indeed, they have served ...
Continue readingThe book represents a snapshot of the current status of research in reaction dynamics, focusing especially on accurate time-dependent ...
Continue readingThis book is the first to systematically explore the classification and function theory of complex homogeneous bounded domains. ...
Continue reading