Electronic Books

Total Books: 1001 - 1020 /2706

Advancements of fluid flow measuring techniques and of computational methods have led to new ways to treat laminar and turbulent ...

The most promising include molecular sieves which are being developed as inorganic or polymeric systems with 0. 3-30nm in ...

This volume - the third book in the Springer-Verlag Series on Fluorescence - reviews some of the most characteristic topics ...

Few fields of medicine have witnessed such impressive progress as the diagnosis and treatment of liver tumors. Advances in ...

Thoroughly revised and updated, the second edition of Food Emulsifiers and their Applications integrates theoretical background ...

Food manufacture is about producing billions of units of standardized products which must be cheap, nutritious, safe and ...

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

For a long time, forefoot surgery had many disadvantages including a painful postoperative period and recurrence of deformities. ...

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

The book focuses on cases that use forensic techniques, emphasizing modern methods and protocols. Through this book, the ...

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

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

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

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

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

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

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

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International ...

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

This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...

Total Books: 1001 - 1020 /2706