Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Lire la suite
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)
This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
Lire la suite
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lire la suite
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lire la suite
Lost Causes in and beyond Physics
Lost Causes in and Beyond Physics deals with a selection of research topics mostly from theoretical physics that have been ...
Lire la suite
MacLaurins Physical Dissertations
The Scottish mathematician Colin MacLaurin (1698-1746) is best known for developing and extending Newton’s work in calculus, ...
Lire la suite
Machines, Computations, and Universality
Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, ...
Lire la suite
Magnetic Monopoles
This monograph addresses the field theoretical aspects of magnetic monopoles. Written for graduate students as well as researchers, ...
Lire la suite
Matematica e cultura in Europa
Non è vero che la matematica susciti sempre poco interesse. Questa almeno è l'impressione che si ricava quando lo spunto ...
Lire la suite
Mathematica for Theoretical Physics
Mathematica for Theoretical Physics: Electrodynamics, Quantum Mechanics, General Relativity, and Fractals This second edition ...
Lire la suite
Mathematica for Theoretical Physics
Mathematica for Theoretical Physics: Classical Mechanics and Nonlinear Dynamics This second edition of Baumann's Mathematica® ...
Lire la suite
Mathematical Analysis
The book is divided into three parts. The first part introduces the basic ideas of linear and metric spaces, including the ...
Lire la suite
Mathematical Foundations of Computer Science 2005
Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, ...
Lire la suite
Mathematical Knowledge Management (vol. # 3863)
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
Lire la suite
Mathematical Methods for Mechanics : A Handbook with MATLAB Experiments
The interaction between mathematics and mechanics is a never ending source of new developments. Today, challenging problems ...
Lire la suite
Mathématiques de base pour économistes = Basic Mathematics for Economists
This book contains fundamental elements of mathematics and includes the following elements: notion of logic, propositions, ...
Lire la suite
Measure, Integration & Real Analysis
This book welcomes students into the fundamental theory of measure, integration, and real analysis. Focusing on an accessible ...
Lire la suite
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Lire la suite
Methods in Nonlinear Analysis
Nonlinear analysis has developed rapidly in the last three decades. Theories, techniques and results in many different branches ...
Lire la suite
Micromechanics and Nanosimulation of Metals and Composites : Advanced Methods and Theoretical Concepts
This book provides insight into advanced numerical and experimental investigations of the microstructural aspects of strength ...
Lire la suite
