Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi, Hardcover - Andrzej Indrzejczak

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts conc...

Nuclear Energy: An Introduction to the Concepts, Systems, and Applications of Nuclear Processes, Eighth Edition, provides essential information on ...

Reducere. Geared toward advanced undergraduate and graduate engineering students, this text introduces the theory and applications of optimal control. It ser...

Text Analytics: An Introduction to the Science and Applications of Unstructured Information Analysis is a concise and accessible introduction to th...

An Introduction to the Theory of Stellar Structure and Evolution - Dina Prialnik

Reducere. This introductory exposition of group theory by an eminent Russian mathematician is particularly suited to undergraduates, developing material of f...

Reducere. What is the best way to auction an asset? How should a group of people organize themselves to ensure the best provision of public goods? How should...

Now revised and containing three new chapters, this book provides a clear and accessible introduction to epistemology, or the theory of knowledge. ...

This book has been considered by academicians and scholars of great significance and value to literature. This forms a part of the knowledge base f...

This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016,...

Reducere. This book contains a detailed and self-contained presentation of the replica theory of infinite range spin glasses. The authors also explain recent...

DescriptionWhat is the relationship between cinema and spectator? This is the key question for film theory, and one that Thomas Elsaesser and Malte...

Boltzmann's equation (or Boltzmann-like equations) appears extensively in such disparate fields as laser scattering, solid-state physics, nuclear t...

"The book is outstanding and admirable in many respects. ... is necessary reading for all kinds of readers from undergraduate students to top autho...

Reducere. This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning...

DescriptionProviding a self-contained resource for upper undergraduate courses in combinatorics, this text emphasizes computation, problem solving,...

This substantially revised and expanded new edition of the bestselling textbook, addresses the difficulties that can arise with the mathematics tha...

Reducere. An Introduction to Statistical Learning provides an accessible overview of the field of statistical learning, an essential toolset for making sense...

Redescopera farmecul lecturii si alege-ti de pe elefant.ro carti in limba engleza scrise de autori consacrati. Iti punem la dispozitie sute de mii ...

Reducere. The product of a collaboration between a mathematician and a chemist, this text is geared toward advanced undergraduates and graduate students. Not...

Contributor(s): Author: Jordi GaliThis revised second edition of Monetary Policy, Inflation, and the Business Cycle provides a rigorous graduate-le...

Reducere. DescriptionEmphasizing issues of computational efficiency, Michael Kearns and Umesh Vazirani introduce a number of central topics in computational ...

Contributor(s): Author: Martin BraunMathematics is playing an ever more important role in the physical and biological sciences, provoking a blurrin...

Trying to understand morality involves grappling with seemingly irreconcilable conflicts between opposing theoretical positions. Originally publish...

Fluid mechanics embraces engineering, science, and medicine. This book's logical organization begins with an introductory chapter summarizing the h...

Reducere. The book is based on lecture notes of a course 'from elementary number theory to an introduction to matrix theory' given at the Technion to gifted ...

This book offers an updated introduction to Relational Network Theory (RNT), a neurocognitive model of language compatible with systemic-functional...

Reducere. Natural Language Processing Crash Course for BeginnersArtificial Intelligence (AI) isn't the latest fad The reason is AI has been around since 1956...

Reducere. The state tree, the white pine, is one of thousands of species of plants growing in the diverse ecosystems found throughout Michigan. This beautifu...

Reducere. The state tree, the eastern white pine, is one of thousands of species of plants growing in the diverse ecosystems found throughout the Pine Tree S...