Abstract Computing Machines
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
Lee mas
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 ...
Lee mas
Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lee mas
Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lee mas
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 ...
Lee mas
Algebraic Geometry and Geometric Modeling
Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Analytical Methods in Anisotropic Elasticity
This comprehensive textbook/reference focuses on the mathematical techniques and solution methodologies required to establish ...
Lee mas
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 ...
Lee mas
Artificial Intelligence and Symbolic Computation
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Classification and Modeling with Linguistic Information Granules
Many approaches have already been proposed for classification and modeling in the literature. These approaches are usually ...
Lee mas
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 ...
Lee mas
Combinatorial Pattern Matching (vol. # 3537)
This volume presents the proceedings of The 16th Annual Symposium on Combinatorial Pattern Matching was heldon Jeju ...
Lee mas
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 ...
Lee mas
Computer Algebra and Geometric Algebra with Applications
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, ...
Lee mas
Computer Algebra in Scientific Computing
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, ...
Lee mas
