A continuous development in plant biotechnology including gene technology has been observable during the past 20 years. Different ...
Continue readingThis volume contains contributions from international experts in the fields of constructive approximation. This area has ...
Continue readingThis volume addresses the demand for theories and applications of intelligent systems and computer engineering to meet the ...
Continue readingTrend in Neural Computation includes twenty chapters either contributed from leading experts or formed by extending well ...
Continue readingThis book is entirely about triangulations. With emphasis on computational issues, we present the basic theory necessary ...
Continue readingTribology of Diamond-like Carbon Films discusses the most important structural, chemical, mechanical and tribological characteristics ...
Continue readingTropical geometry is algebraic geometry over the semifield of tropical numbers, i.e., the real numbers and negative infinity ...
Continue readingConstitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, ...
Continue readingThis edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: ...
Continue readingAs the global epidemic of diabetes continues to expand, the prevalence of type 2 diabetes is predicted to double in the next ...
Continue readingThis book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Continue readingThe 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...
Continue readingThe 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Continue readingThe refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Continue readingThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Continue readingThis book is the refereed proceedings of the Third International Conference on Ubiquitous Intelligence and Computing, UIC ...
Continue readingFocuses exclusively on this fundamentally important component of periodontal therapy. George, Donley, and Preshaw provide ...
Continue readingThis book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Continue readingThis textbook provides the background needed to correctly use, interpret and understand statistics and statistical data in ...
Continue readingThis volume one of this two-volume set introduces readers to a behind the scenes account showing how during Milgram’s unpublished ...
Continue reading