Advancements of fluid flow measuring techniques and of computational methods have led to new ways to treat laminar and turbulent ...
Continue readingThe most promising include molecular sieves which are being developed as inorganic or polymeric systems with 0. 3-30nm in ...
Continue readingThis volume - the third book in the Springer-Verlag Series on Fluorescence - reviews some of the most characteristic topics ...
Continue readingFew fields of medicine have witnessed such impressive progress as the diagnosis and treatment of liver tumors. Advances in ...
Continue readingThoroughly revised and updated, the second edition of Food Emulsifiers and their Applications integrates theoretical background ...
Continue readingFood manufacture is about producing billions of units of standardized products which must be cheap, nutritious, safe and ...
Continue readingThe overarching aim of this open access book is to present self-contained theory and algorithms for investigation and prediction ...
Continue readingFor a long time, forefoot surgery had many disadvantages including a painful postoperative period and recurrence of deformities. ...
Continue readingIn this monograph, the authors try to apply artificial neural networks (ANNs) to exchange rates forecasting. Selection of ...
Continue readingThe book focuses on cases that use forensic techniques, emphasizing modern methods and protocols. Through this book, the ...
Continue readingVan Laar and Akça’s popular text book, Forest Mensuration, was first published in 1997. Like that first edition, this ...
Continue readingThis book brings together information on road planning, location, design, construction and maintenance to support environmentally ...
Continue readingForm-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt ...
Continue readingSoftware validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
Continue readingThis book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...
Continue readingThe author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
Continue readingThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
Continue readingThis book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International ...
Continue readingThis book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Continue readingThis book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
Continue reading