Electronic Books

Total Books: 441 - 460 /1157
978-3-030-75829-5
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 reading
1119627443
Fixed Income Analysis Workbook / Barbara S. Petitt

Offers a range of practical information and exercises that will enhance your understanding of the tools, strategies, and ...

Continue reading
1119756332
Fixed Income Trading and Risk Management: The Complete Guide / Alexander During

Fixed Income Trading and Risk Management: The Complete Guide delivers a comprehensive and innovative exposition of fixed ...

Continue reading
NoIMG
Food 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
978-1-84628-732-9
Forensic Computing

In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...

Continue reading
978-1-84628-732-9
Forensic Computing

In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...

Continue reading
978-1-84628-732-9
Forensic Computing

In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...

Continue reading
978-1-4020-6508-8
Forest Entomology in West Tropical Africa: Forests Insects of Ghana

The forests of West Africa are complex, beautiful and under continued threat of over exploitation. This monograph, in its ...

Continue reading
978-1-4020-5965-0
Forest Strategy

The book will provide a valuable resource for both forestry professionals – particularly those in managerial positions ...

Continue reading
978-3-540-75227-1
Formal Aspects in Security and Trust

Thepresentvolumecontainsthepost-proceedingsofthe4thInternationalWo- shop on Formal Aspects in Security and Trust (FAST2006). ...

Continue reading
978-0-387-24098-5
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
978-3-540-32629-8
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
978-3-540-68136-6
Formal Correctness of Security Protocols

The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...

Continue reading
978-3-540-32250-4
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
978-3-540-88194-0
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
978-3-540-31556-8
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
978-3-540-34895-5
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
978-1-84628-718-3
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
978-1-84628-967-5
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
978-3-540-31903-0
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
Total Books: 441 - 460 /1157