This book constitutes the joint refereed proceedings of the First International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce, Th

This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2005, held in Mon

Ben shu jiang gao su ni zen yang rangIOTPzhe ge hu lian wang xie yi de zui xin biao zhun wei ni fu wu, zhi dao ni jie jue zai jian li quan gong neng de, an quan

This book covers the application of computational fluid dynamics from low-speed to high-speed flows, especially for use in aerospace applications.