104 Number Theory Problems
This challenging problem book by renowned US Olympiad coaches, mathematics teachers, and researchers develops a multitude ...
Lire la suite
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suite
40 Puzzles and Problems in Probability and Mathematical Statistics
"40 Puzzles and Problems in Probability and Mathematical Statistics" is intended to teach the reader to think probabilistically ...
Lire la suite
A Concise Introduction to Mathematical Logic
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
Lire la suite
A Concise Introduction to Mathematical Logic
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
Lire la suite
A Course on Mathematical Logic
This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning ...
Lire la suite
A Dressing Method in Mathematical Physics
The monograph is devoted to the systematic presentation of the so called "dressing method" for solving differential equations ...
Lire la suite
A General Introduction to Data Analytics / Joao Moreira, Andre Carvalho, Tomás Horvath
A guide to the principles and methods of data analysis that does not require knowledge of statistics or programming. A guide ...
Lire la suite
A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...
Lire la suite
A Mathematical Introduction to Conformal Field Theory
The first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal ...
Lire la suite
A Modern Introduction to Probability and Statistics
A Modern Introduction to Probability and Statistics has numerous quick exercises to give direct feedback to the students. ...
Lire la suite
A Natural Introduction to Probability Theory
According to Leo Breiman (1968), probability theory has a right and a left hand. The right hand refers to rigorous mathematics, ...
Lire la suite
A Short Course on Operator Semigroups
The book gives a streamlined and systematic introduction to strongly continuous semigroups of bounded linear operators on ...
Lire la suite
AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings
This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
Lire la suite
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Lire la suiteAdvanced Engineering Mathematics : A Second Course with MatLab / Dean G. Duffy
Presents a wide variety of topics needed by today's engineers. The fifth edition of that book, available now, has been broken ...
Lire la suite
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence : 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceeding
This book - in conjunction with the two volumes CCIS 0015 and LNCS 5226 - constitutes the refereed proceedings of the 4th ...
Lire la suite
Advances in Artificial Intelligence - SBIA 2008 : 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held ...
Lire la suite
Advances in Case-Based Reasoning : 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th European Conference on Case-Based Reasoning, ECCBR 2008, held in ...
Lire la suite
Advances in Energy System Optimization Proceedings of the 2nd International Symposium on Energy System Optimization
The papers presented in this book address diverse challenges in decarbonizing energy systems, ranging from operational to ...
Lire la suite
