This book has the highest impact factor of all publications ranked by ISI within polymer science. It contains short and concise ...
اقرأ المزيد
in This book some recent advances in the structural design of nanoscale assemblies are shown, along with examples from the ...
اقرأ المزيد
The book describes a method for creating models of telecom systems. The method is intended for practicing network architects ...
اقرأ المزيد
The quality of data represented by the a growing tendency to substitute modern light mic- images of cells and tissues had ...
اقرأ المزيد
Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification ...
اقرأ المزيد
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 ...
اقرأ المزيد
The primary objective of the NATO Advanced Study Institute (ASI) titled “Functionalized Nanoscale Materials, Devices, and ...
اقرأ المزيد
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 ...
اقرأ المزيد
ETAPS 2006 was the ninth 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 ...
اقرأ المزيد
Fundamental Astronomy gives a well-balanced and comprehensive introduction to the topics of classical and modern astronomy. ...
اقرأ المزيد
This set of four volumes on brings together evidence and insights on educational change issues from leading writers and researchers ...
اقرأ المزيد