This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...
اقرأ المزيدThis book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
اقرأ المزيدThe purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...
اقرأ المزيدFORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
اقرأ المزيدA pharmaceutical scientist’s approach toward solubility enhancement of a poorly water-soluble molecule typically includes ...
اقرأ المزيدVideo is one of the most exciting features on today's Internet, with widespread adoption being made possible by advances ...
اقرأ المزيدCovering every aspect of Flash animation, the book is a fast-paced yet thorough review of the Flash animation process. This ...
اقرأ المزيدThis thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...
اقرأ المزيدFoundations of AOP for J2EE Development covers a relatively new programming paradigm: aspect-oriented programming, or AOP. ...
اقرأ المزيدThis book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
اقرأ المزيدFoundations of Social Entrepreneurship presents definitions of social entrepreneurship, explains its benefits and challenges, ...
اقرأ المزيدThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدNumber theory, spectral geometry, and fractal geometry are interlinked in this in-depth study of the vibrations of fractal ...
اقرأ المزيدNumber theory, spectral geometry, and fractal geometry are interlinked in this in-depth study of the vibrations of fractal ...
اقرأ المزيدIn 1993 new prin- ples of optical shape measurement, setup calibration, phase unwr- ping and nondestructive testing were ...
اقرأ المزيدThis book despite increasing communication, accelerating policy and management responses, and notwithstanding improving ecosystem ...
اقرأ المزيد