Formal Methods and Stochastic Models for Performance Evaluation
This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, ...
Continue reading
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...
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 readingFormalizing the Shadow Economy in Serbia : Policy Measures and Growth Effects
The main objective of this book is to develop a strategy and policy measures to enhance the formalization of the shadow economy ...
Continue reading
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Continue reading
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Continue reading
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...
Continue readingFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Continue reading
Foundations of Software Science and Computational Structures (vol. # 3441)
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue reading
Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Continue reading
Foundations of Sport-Related Brain Injuries
A major take-home point from this book should be the assumption that symptom resolution does not necessarily mean injury ...
Continue reading
Fracture of Nano and Engineering Materials and Structures
The 16th European Conference of Fracture (ECF16) was held in Greece, July, 2006. Emphasis was given to the failure of nanostructured ...
Continue reading
From Biological Control to Invasion : the Ladybird Harmonia axyridis as a Model Species
Harmonia axyridis has been described as the "most invasive ladybird on Earth". It has a long history of use as a classical ...
Continue reading
From Herbs to Healing : Pharmacognosy - Phytochemistry - Phytotherapy - Biotechnology / Éva Szöke, Ágnes Kéry, Éva Lemberkovics
Demonstrates the place of phytotherapy in healing, the role of herbs in complementary and traditional therapy, and research ...
Continue reading
From Object to Experience: The New Culture of Architectural Design / Harry Francis Mallgrave
Combines a history of ideas about architectural experience with the latest insights from the fields of neuroscience, cognitive ...
Continue reading
From War to Peace in the Balkans, the Middle East and Ukraine
This book focuses on the origins, consequences and aftermath of Western military interventions that led to the end of the ...
Continue reading
Frontline and Factory
This book represents a first considered attempt to study the factors that conditioned industrial chemistry for war in1914-18. ...
Continue reading
Functional Imaging and Modeling of the Heart
The FIMH conference was the ?rst attempt to agglutinate researchers from several complementary but often i- lated ?elds: ...
Continue reading
Functional MRI
This practical and timely volume presents an overview of the principles of fMRI and explains key concepts, including scanning ...
Continue reading
Functional Neuroanatomy of Pain
Pain is an unpleasant but very important biological signal for danger. Nociception is necessary for survival and maintaining ...
Continue reading
