The quality of data represented by the a growing tendency to substitute modern light mic- images of cells and tissues had ...
اقرأ المزيدThis book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...
اقرأ المزيدThis volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
اقرأ المزيدAn increasing number of statistical problems and methods involve infinite-dimensional aspects. This is due to the progress ...
اقرأ المزيدThis book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيدThis book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيدThis book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
اقرأ المزيدThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
اقرأ المزيدETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيدThe fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
اقرأ المزيدThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
اقرأ المزيدThis book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. ...
اقرأ المزيدThe book presents fundamental numerical methods which are most frequently applied in the electrical (electronic) engineering. All ...
اقرأ المزيدprovides a practical approach by explaining the concepts of machine learning and deep learning algorithms, evaluation of ...
اقرأ المزيدThis book treats cavitation, which is a unique phenomenon in the field of hyd- dynamics, although it can occur in any hydraulic ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...
اقرأ المزيدMore than ever before, research and development in genomics and proteomics depends on the analysis and interpretation of ...
اقرأ المزيدThe book presents key analytical techniques used to analyze genomic and proteomic data by detailing their underlying principles, ...
اقرأ المزيدThe book presents key analytical techniques used to analyze genomic and proteomic data by detailing their underlying principles, ...
اقرأ المزيد