This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Financial ...
اقرأ المزيدThis book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography ...
اقرأ المزيدPhilipp Jostarndt analyzes the anatomy of financial distress for a large sample of German corporations. He studies distress-induced ...
اقرأ المزيدCombines theoretical and commercial perspectives informed by the author's professional experience and academic research Thoroughly ...
اقرأ المزيدThis book analyses barriers and challenges associated with the financing of clean energy access in sub-Saharan Africa. By ...
اقرأ المزيدThis book provides fresh insights into concepts, methods and new research findings on the causes of excessive food price ...
اقرأ المزيدIn the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...
اقرأ المزيدIn the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...
اقرأ المزيدIn the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...
اقرأ المزيدThepresentvolumecontainsthepost-proceedingsofthe4thInternationalWo- shop on Formal Aspects in Security and Trust (FAST2006). ...
اقرأ المزيدThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security ...
اقرأ المزيدThe author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
اقرأ المزيدThis volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
اقرأ المزيد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 ...
اقرأ المزيدThe purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...
اقرأ المزيدThe purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...
اقرأ المزيدThis book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...
اقرأ المزيد