الكتب الالكترونية

عدد الكتب: 12/29
978-3-540-76928-6
AI 2007: Advances in Artificial Intelligence

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

اقرأ المزيد
978-3-540-76928-6
AI 2007: Advances in Artificial Intelligence

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

اقرأ المزيد
978-3-540-73580-9
Abstraction, Reformulation, and Approximation

This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...

اقرأ المزيد
978-3-540-31864-4
Automated Deduction – CADE-20

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...

اقرأ المزيد
978-3-540-37188-5
Automated Reasoning

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...

اقرأ المزيد
978-3-540-71070-7
Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...

اقرأ المزيد
978-3-540-31822-4
Automated Reasoning with Analytic Tableaux and Related Methods

This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...

اقرأ المزيد
978-3-540-73099-6
Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

اقرأ المزيد
978-3-540-73099-6
Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

اقرأ المزيد
978-3-540-31829-3
Computer Aided Systems Theory – EUROCAST 2005

The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...

اقرأ المزيد
978-3-540-32119-4
Computer Algebra and Geometric Algebra with Applications

MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, ...

اقرأ المزيد
978-3-540-87827-8
Computer Mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...

اقرأ المزيد
عدد الكتب: 12/29