A new approach is presented for modelling multi-body systems, which constitutes a substantial enhancement of the Rigid Finite ...
اقرأ المزيدAddresses development laws for axial strain and excess pore water pressure in silty clay around subway shield tunnels before ...
اقرأ المزيدProvides a comprehensive survey of the dynamic stresses in railway bridges under moving vehicles and summarizes important ...
اقرأ المزيدThis book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
اقرأ المزيدThis book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, ...
اقرأ المزيدThis book offers an analysis of the entangled histories of education and development in twentieth-century Africa. It deals ...
اقرأ المزيدOffers a timely analysis of the new challenges posed by this phenomenon in the anti-doping community. The authors present ...
اقرأ المزيدThis book offers the opportunity to study and experience advanced empi- cal techniques in finance and in general financial ...
اقرأ المزيدThis book offers insights into the development of the ground-breaking Global Code of Conduct for Research in Resource-Poor ...
اقرأ المزيدThis book provides original, up-to-date case studies of “ethics dumping” that were largely facilitated by loopholes in ...
اقرأ المزيدThis book discusses several didactic traditions in mathematics education in countries across Europe, including France, the ...
اقرأ المزيدThis book analyses the employment effects of job creation schemes for the participating individuals in Germany. Programmes ...
اقرأ المزيدThe market is flooded with numbers of good books on Embedded Systems designed especially with the most popular MCS51 family. ...
اقرأ المزيدThis book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
اقرأ المزيدFast, Efficient and Predictable Memory Accesses presents techniques for designing fast, energy-efficient and timing predictable ...
اقرأ المزيدThe FPGA technology is defined, which includes architecture, logic block structure, interconnect, and configuration methods ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
اقرأ المزيدThis book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
اقرأ المزيدFormal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...
اقرأ المزيد