|
|
|
|
Patterns for e-businessGet an inside look at how successful businesses build their e-business architectures. In this book, four IBM e-business experts capture years of experience into easy-to-follow guidelines. Deliberately focusing on Business patterns, Integration patterns, and Application patterns, the authors share with you proven architectural patterns that can help... | | Handbook of Logic in Computer Science 5"Oxford University Press publishes a wonderful series of books entitled Handbook of Logic in Computer Science. ... Volume 5: Logic and Algebraic Methods, has I think the best discussion of abstract data types that I have read."--he Bulletin of Mathematics Books Logic is now widely recognized as one of the foundational... | | |
|
Fluid Mechanics: An Introduction to the Theory of Fluid FlowsFluid mechanics is a field that spreads widely and to all fields of engineering, science and medicine. The book takes this into account and provides a sound basis.
This is a modern book on fluid mechanics that is written in a way needed these days to teach the subject to students in engineering and science at higher educational institutes. The... | | Type Theory and Functional Programming (International Computer Science Series)
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to... | | Discrete Mathematics and its Applications
Discrete Mathematics and its Applications is a focused introduction to the primary themes in a discrete mathematics course, as introduced through extensive applications, expansive discussion, and detailed exercise sets. These themes include mathematical reasoning, combinatorial analysis, discrete structures, algorithmic thinking, and enhanced... |
|
|
|
|
Result Page: 153 152 151 150 149 148 147 146 145 144 143 142 141 140 |