Electronic Books

Total Books: 61 - 80 /110

Local and Semi-Local Bifurcations in Hamiltonian Dynamical Systems

Once again KAM theory is committed in the context of nearly integrable Hamiltonian systems. While elliptic and hyperbolic ...

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, ...

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

Logics of Specification Languages

The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...

Matematica e cultura in Europa

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

Mathematical Knowledge Management (vol. # 3863)

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

Mathematical Problems from Applied Logic II

Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics ...

Mathematics and Culture II

This book presents the mathematical foundations of systems theory in a self-contained, comprehensive, detailed and mathematically ...

Modalities and Multimodalities

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...

New Computational Paradigms

This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...

New Computational Paradigms : Changing Conceptions of What is Computable

This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...

Numerical Methods for Controlled Stochastic Delay Systems

The Markov chain approximation methods are widely used for the numerical solution of nonlinear stochastic control problems ...

One Hundred Years of Intuitionism (1907-2007) : The Cerisy Conference

With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; ...

Paul Lorenzen -- Mathematician and Logician

This book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th ...

Positive Operators

this monograph presents a comprehensive study of positive operators between Riesz spaces and Banach lattices. Since the first ...

Proofs from the Book

Proofs from THE BOOK è un'opera straordinaria che ha saputo calamitare l'interesse di numerosissimi lettori, matematici ...

Proofs from the Book

Proofs from THE BOOK è un'opera straordinaria che ha saputo calamitare l'interesse di numerosissimi lettori, matematici ...

Propositional and Predicate Calculus: A Model of Argument

The topics in the book include: - the representation of mathematical statements by formulas in a formal language. - the interpretation ...

Putnam and Beyond

Putnam and Beyond takes the reader on a journey through the world of college mathematics, focusing on some of the most important ...

Ramsey Methods in Analysis

This book introduces graduate students and resarchers to the study of the geometry of Banach spaces using combinatorial methods. ...

Total Books: 61 - 80 /110