Financial Cryptography and Data Security : 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Financial ...
Continue reading
Financial Cryptography and Data Security : FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers
This book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography ...
Continue reading
Financial Distress, Corporate Restructuring and Firm Survival
Philipp Jostarndt analyzes the anatomy of financial distress for a large sample of German corporations. He studies distress-induced ...
Continue reading
Financial Technology : Case Studies in Fintech Innovation / Niels Pedersen
Combines theoretical and commercial perspectives informed by the author's professional experience and academic research Thoroughly ...
Continue reading
Financing Clean Energy Access in Sub-Saharan Africa Risk Mitigation Strategies and Innovative Financing Structures
This book analyses barriers and challenges associated with the financing of clean energy access in sub-Saharan Africa. By ...
Continue readingFood Price Volatility and Its Implications for Food Security and Policy
This book provides fresh insights into concepts, methods and new research findings on the causes of excessive food price ...
Continue reading
Forensic Computing
In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...
Continue reading
Forensic Computing
In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...
Continue reading
Forensic Computing
In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...
Continue reading
Formal Aspects in Security and Trust
Thepresentvolumecontainsthepost-proceedingsofthe4thInternationalWo- shop on Formal Aspects in Security and Trust (FAST2006). ...
Continue reading
Formal Aspects in Security and Trust (vol. # 173)
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
Formal Aspects in Security and Trust (vol. # 3866)
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security ...
Continue reading
Formal Correctness of Security Protocols
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
Continue reading
Formal Methods and Software Engineering (vol. # 3785)
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Continue reading
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
Continue reading
Formal Methods for Open Object-Based Distributed Systems (vol. # 3535)
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
Continue reading
Formal Methods for Open Object-Based Distributed Systems (vol. # 4037)
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Continue reading
Formal Models of Operating System Kernels
The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...
Continue reading
Formal Refinement for Operating System Kernels
The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...
Continue reading
Formal Techniques for Computer Systems and Business Processes
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...
Continue reading
