Electronic Books

Total Books: 3101 - 3120 /8429
978-3-030-28669-9
Forecasting and Assessing Risk of Individual Electricity Peaks

The overarching aim of this open access book is to present self-contained theory and algorithms for investigation and prediction ...

Continue reading
978-3-030-54855-1
Foreign Investor Misconduct in International Investment Law

examines the issue of foreign investor misconduct in modern international investment law, focusing on the approach that international ...

Continue reading
9781032148168
Foresight and Design : Composing Future Places / Mark C. Childs

Every plan, pro-forma, design, building contract, and construction schedule is a proposal about future places. To help improve ...

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-8365-5
Forest Policies and Social Change in England

The book stresses how values and perceptions shape policies, and conversely how policies can modify perceptions, and also ...

Continue reading
978-3-540-46393-1
Forest Road Operations in the Tropics

This book brings together information on road planning, location, design, construction and maintenance to support environmentally ...

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-030-45216-2
Forest and Rangeland Soils of the United States Under Changing Conditions A Comprehensive Science Synthesis

This book synthesizes leading-edge science and management information about forest and rangeland soils of the United States. ...

Continue reading
978-3-540-73185-6
Forging New Frontiers: Fuzzy Pioneers II

The chapters of the book are evolved from presentations made by selected participants at the meeting and organized in two ...

Continue reading
9781472572653
Form and Structure in Interior Architecture - Basics Interior Architecture / Graeme Brooker, Sally Stone

This volume examines the basic ideas that underpin the design and remodelling of interior space, from the establishment of ...

Continue reading
978-3-540-26893-2
Form-Oriented Analysis

Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt ...

Continue reading
978-3-540-30960-4
Formal Approaches to Agent-Based Systems

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...

Continue reading
978-3-540-31848-4
Formal Approaches to Software Testing (vol. # 3395)

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...

Continue reading
978-3-540-34455-1
Formal Approaches to Software Testing (vol. # 3997)

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...

Continue reading
978-3-540-49703-5
Formal Approaches to Software Testing and Runtime Verification

Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...

Continue reading
978-3-540-70901-5
Formal Concept Analysis

This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...

Continue reading
978-3-540-78137-0
Formal Concept Analysis : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings

Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptual hierarchyleadingto methods for conceptually ...

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-70952-7
Formal Methods Applications and Technology

The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...

Continue reading
978-3-540-47462-3
Formal Methods and Software Engineering (vol. # 4260)

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, ...

Continue reading
Total Books: 3101 - 3120 /8429