The papers are organized in 16 sessions dealing with the paradigms, approaches and techniques used to conceptualize, define ...
اقرأ المزيد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 ...
اقرأ المزيدThyroid Cytopathology uses a simple algorithmic approach to the diagnosis of thyroid fine needle aspirations (FNA). This ...
اقرأ المزيد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, ...
اقرأ المزيدThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيدThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيدThis two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيدThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيدCoverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, ...
اقرأ المزيدThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
اقرأ المزيدThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
اقرأ المزيد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: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
اقرأ المزيدThis is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
اقرأ المزيد