Electronic Books

Total Books: 141 - 160 /274

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

Lost Causes in and Beyond Physics deals with a selection of research topics mostly from theoretical physics that have been ...

The Scottish mathematician Colin MacLaurin (1698-1746) is best known for developing and extending Newton’s work in calculus, ...

Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, ...

This monograph addresses the field theoretical aspects of magnetic monopoles. Written for graduate students as well as researchers, ...

Non è vero che la matematica susciti sempre poco interesse. Questa almeno è l'impressione che si ricava quando lo spunto ...

Mathematica for Theoretical Physics: Electrodynamics, Quantum Mechanics, General Relativity, and Fractals This second edition ...

Mathematica for Theoretical Physics: Classical Mechanics and Nonlinear Dynamics This second edition of Baumann's Mathematica® ...

The book is divided into three parts. The first part introduces the basic ideas of linear and metric spaces, including the ...

Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, ...

This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...

The interaction between mathematics and mechanics is a never ending source of new developments. Today, challenging problems ...

This book contains fundamental elements of mathematics and includes the following elements: notion of logic, propositions, ...

This book welcomes students into the fundamental theory of measure, integration, and real analysis. Focusing on an accessible ...

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...

Nonlinear analysis has developed rapidly in the last three decades. Theories, techniques and results in many different branches ...

This book provides insight into advanced numerical and experimental investigations of the microstructural aspects of strength ...

Total Books: 141 - 160 /274