This challenging problem book by renowned US Olympiad coaches, mathematics teachers, and researchers develops a multitude ...
اقرأ المزيد
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيد
"40 Puzzles and Problems in Probability and Mathematical Statistics" is intended to teach the reader to think probabilistically ...
اقرأ المزيد
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
اقرأ المزيد
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
اقرأ المزيد
This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning ...
اقرأ المزيد
The monograph is devoted to the systematic presentation of the so called "dressing method" for solving differential equations ...
اقرأ المزيد
A guide to the principles and methods of data analysis that does not require knowledge of statistics or programming. A guide ...
اقرأ المزيد
A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...
اقرأ المزيد
The first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal ...
اقرأ المزيد
A Modern Introduction to Probability and Statistics has numerous quick exercises to give direct feedback to the students. ...
اقرأ المزيد
According to Leo Breiman (1968), probability theory has a right and a left hand. The right hand refers to rigorous mathematics, ...
اقرأ المزيد
The book gives a streamlined and systematic introduction to strongly continuous semigroups of bounded linear operators on ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
اقرأ المزيد
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
اقرأ المزيدPresents a wide variety of topics needed by today's engineers. The fifth edition of that book, available now, has been broken ...
اقرأ المزيد
This book - in conjunction with the two volumes CCIS 0015 and LNCS 5226 - constitutes the refereed proceedings of the 4th ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 9th European Conference on Case-Based Reasoning, ECCBR 2008, held in ...
اقرأ المزيد
The papers presented in this book address diverse challenges in decarbonizing energy systems, ranging from operational to ...
اقرأ المزيد