الكتب الالكترونية

عدد الكتب: 1281 - 1300 /3723
978-3-030-37818-9
Flexitranstore Special Session in the 21st International Symposium on High Voltage Engineering (ISH 2019)

This book comprises 10 high-level papers on research and innovation within the Flexitranstore Project that were presented ...

اقرأ المزيد
978-1-59745-451-3
Flow Cytometry

Flow cytometry forms an integral part of both basic biological research and clinical diagnosis in pathology. This straightforward ...

اقرأ المزيد
978-0-387-47688-9
Flow Shop Lot Streaming Problems

Lot streaming is a process of breaking a batch of jobs into smaller lots, and then processing these in an overlapping fashion ...

اقرأ المزيد
978-3-7643-8419-7
Fog and Boundary Layer Clouds

The e?ect of fog on human life was recognized in the early ages of mankind but its impact has signi?cantly increased during ...

اقرأ المزيد
978-88-470-0739-0
Fondamenti di Ingegneria Clinica : Volume 2 Ecotomografia = Fundamentals of Clinical Engineering: Volume 2 Ultrasound

With the second volume of Clinical Engineering, the Author intends to provide an updated scientific-didactic overview of ...

اقرأ المزيد
978-0-387-22693-4
Forced Migration and Mental Health

In the last half century, the steadily increasing incidence of armed conflict (both within and between nations) has created ...

اقرأ المزيد
978-0-387-71720-3
Foreign Exchange Rate Forecasting using Artificial Neural Networks

In this monograph, the authors try to apply artificial neural networks (ANNs) to exchange rates forecasting. Selection of ...

اقرأ المزيد
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 ...

اقرأ المزيد
978-1-59745-006-5
Forensic Psychiatry

In Forensic Psychiatry: Influences of Evil, Tom Mason brings together an international panel of experts from diverse specialties ...

اقرأ المزيد
978-1-4020-5991-9
Forest Mensuration

Van Laar and Akça’s popular text book, Forest Mensuration, was first published in 1997. Like that first edition, this ...

اقرأ المزيد
978-0-387-29112-3
Forest Restoration in Landscapes

This book integrates the restoration of forest functions into landscape conservation plans. and this book represents the ...

اقرأ المزيد
978-1-4020-5965-0
Forest Strategy

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

اقرأ المزيد
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 ...

اقرأ المزيد
978-3-540-78917-8
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

اقرأ المزيد
978-3-540-92188-2
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 ...

اقرأ المزيد
978-3-540-68894-5
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...

اقرأ المزيد
978-3-540-68863-1
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...

اقرأ المزيد
978-3-540-85778-5
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...

اقرأ المزيد
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 ...

اقرأ المزيد
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 ...

اقرأ المزيد
عدد الكتب: 1281 - 1300 /3723