This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...
اقرأ المزيدSAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...
اقرأ المزيدContains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
اقرأ المزيدAll current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
اقرأ المزيدThis book presents some new progress on the theoretical and numerical approaches for information retrieval of the remote ...
اقرأ المزيدThis monograph addresses, in a systematic and pedagogical manner, the mathematical methods and the algorithms required to ...
اقرأ المزيدTheory of Computation is a unique textbook that serves the dual purposes of covering core material in the foundations of ...
اقرأ المزيدThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
اقرأ المزيدThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
اقرأ المزيد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 ...
اقرأ المزيدA new calculation method is presented for heat transfer in coupled convective-conductive fluid-wall systems under periodical ...
اقرأ المزيدThis book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...
اقرأ المزيدThis book discusses mathematical models that are based on the concepts of classical equilibrium thermodynamics. They are ...
اقرأ المزيدIntense global competition in manufacturing has compelled manufacturers to incorporate repetitive processing and automation ...
اقرأ المزيدThis work proposes to apply the Sliding Regimes (RG) algorithms to industrial regulation and servo loops controlled to date ...
اقرأ المزيدTime-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. ...
اقرأ المزيدThe latest instalment in the renowned Pamphlet Architecture series features the technologically progressive young firm Aranda/Lasch, ...
اقرأ المزيد