A new science emerges at the intersection of modern physics, computer s- ence,andmaterialscience. Thestruggletofurtherminiaturizeisputtingna- ...
اقرأ المزيدIn Thermal and Power Management of Integrated Circuits, power and thermal management issues in integrated circuits during ...
اقرأ المزيدThis edition guides the reader through successful planning and implementation of a thesis project and provides students in ...
اقرأ المزيدYou'll discover how to build a side-by-side cybersecurity fusion center on both Microsoft Azure and Amazon Web Services ...
اقرأ المزيدThe book It shows you how the head can be analysed in orthodontists have relied on the interpretation of three dimensions ...
اقرأ المزيد3DTV require the integration of a diversity of key technologies from computing to graphics, imaging to display, and signal ...
اقرأ المزيد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. ...
اقرأ المزيدNetwork flow optimization analyzes optimization problems on networks; hence, network optimization is reflected in many application ...
اقرأ المزيدThe book covers the different fields of learning technologies: education, psychology, computer science. The book address ...
اقرأ المزيد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 ...
اقرأ المزيد