Electronic Books

Total Books: 21 - 40 /98
Computer Algebra in Scientific Computing (vol. # 3718)

This volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences ...

Lire la suite
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, ...

Lire la suite
Computing in Algebraic Geometry

Algebraic geometry generally studies the properties of solution sets of systems of polynomial equations without direct reference ...

Lire la suite
Computing in Algebraic Geometry

Algebraic geometry generally studies the properties of solution sets of systems of polynomial equations without direct reference ...

Lire la suite
Contemporary Sociological Theory : An Integrated Multi-Level Approach

This book covers the major theoretical orientations that have been influential in American sociology since the mid-twentieth ...

Lire la suite
Cooperative Information Agents XII : 12th International Workshop, CIA 2008, Prague, Czech Republic, September 10-12, 2008. Proceedings

This book constitutes the refereed proceedings of the 12th International Workshop on Cooperative Information Agents, CIA ...

Lire la suite
Cours doptique : Simulations et exercices résolus avec Maple, Matlab, Mathematica, Mathcad = Optics course : Simulations and exercises solved with Maple, Matlab, Mathematica, Mathcad

Intended for students at the L and M levels of the university as well as for engineers wishing to study certain subjects ...

Lire la suite
Darboux Transformations in Integrable Systems

This book presents the Darboux transformations in matrix form and provides purely algebraic algorithms for constructing the ...

Lire la suite
Data Science and Classification

This volume provides new methodological developments in data analysis and classification. A wide range of topics is covered ...

Lire la suite
Data Science and Classification

This volume provides new methodological developments in data analysis and classification. A wide range of topics is covered ...

Lire la suite
Design and Spirituality : A Philosophy of Material Cultures / Stuart Walker

A wide range of topics are covered, including material culture and spiritual teachings; sustainability and the spiritual ...

Lire la suite
Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT ...

Lire la suite
Differential Equations with Symbolic Computation

This book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic ...

Lire la suite
Dimension and Recurrence in Hyperbolic Dynamics

The main objective of this book is to give a broad unified introduction to the study of dimension and recurrence in hyperbolic ...

Lire la suite
Discovering Mathematics with Magma

This volume celebrates the first decade of the Computer Algebra system Magma. With a design based on the ontology and semantics ...

Lire la suite
Discovering Mathematics with Magma

This volume celebrates the first decade of the Computer Algebra system Magma. With a design based on the ontology and semantics ...

Lire la suite
Dynamic Brain - from Neural Spikes to Behaviors : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures

The volume presents 12 thoroughly revised tutorial papers based on lectures given by leading researchers at the 12th International ...

Lire la suite
NoIMG
Dynamical Systems, Graphs, and Algorithms

This book provides a taster for using symbolic analysis, graph theory, and set-oriented methods in a quest to understand ...

Lire la suite
Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms

For this printing of R. Bowen's book, J.-R. Chazottes has retyped it in TeX for easier reading, thereby correcting typos ...

Lire la suite
Formal Methods for Hardware Verification

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International ...

Lire la suite
Total Books: 21 - 40 /98