Electronic Books

Total Books: 1 - 20 /98

Abstract Computing Machines

The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...

Advances in Verification of Time Petri Nets and Timed Automata

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the ...

Algebraic Biology

This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...

Algebraic Biology

This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...

Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings

This book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...

Algebraic Geometry and Geometric Modeling

Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. ...

Algorithmic Number Theory : 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings

This book constitutes the refereed proceedings of the 8th International Algorithmic Number Theory Symposium, ANTS 2008, held ...

Algorithms in Invariant Theory

The book of Sturmfels is both an easy-to-read textbook for invariant theory and a challenging research monograph that introduces ...

Analytical Methods in Anisotropic Elasticity

This comprehensive textbook/reference focuses on the mathematical techniques and solution methodologies required to establish ...

Arithmetic of Finite Fields : 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings

This book constitutes the refereed proceedings of the Second International Workshop on the Arithmetic of Finite Fields, WAIFI ...

Artificial Intelligence and Symbolic Computation

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...

Automatic Program Development : A Tribute to Robert Paige

This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...

Biological and Artificial Intelligence Environments

The book reports the proceedings of the 15th Italian workshop on neural networks issued by the Italian Society on Neural ...

Cellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings

This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular ...

Classification and Modeling with Linguistic Information Granules

Many approaches have already been proposed for classification and modeling in the literature. These approaches are usually ...

Coding Theory and Applications : Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings

This book constitutes the refereed proceedings of the 2nd International Castle Meeting, ISMCTA 2008. The papers cover network ...

Combinatorial Pattern Matching (vol. # 3537)

This volume presents the proceedings of The 16th Annual Symposium on Combinatorial Pattern Matching was heldon Jeju ...

Computational Processing of the Portuguese Language : 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings

This book constitutes the thoroughly refereed proceedings of the 8th International Workshop on Computational Processing of ...

Computer Algebra and Geometric Algebra with Applications

MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, ...

Computer Algebra in Scientific Computing

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, ...

Total Books: 1 - 20 /98