Algebra and Coalgebra in Computer Science, Reiko Heckel; Stefan Milius
Автор: Jos? Luis Fiadeiro; Neil Harman; Markus Roggenbach Название: Algebra and Coalgebra in Computer Science ISBN: 3540286209 ISBN-13(EAN): 9783540286202 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held in Swansea, UK in September 2005. This book addresses two basic areas of application for algebras and coalgebras - as mathematical objects as well as their application in computer science.
Автор: Alexander Kurz; Marina Lenisa Название: Algebra and Coalgebra in Computer Science ISBN: 3642037402 ISBN-13(EAN): 9783642037405 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Jacobs Название: Introduction to Coalgebra ISBN: 1107177898 ISBN-13(EAN): 9781107177895 Издательство: Cambridge Academ Рейтинг: Цена: 155230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This is the first mature and accessible introduction to coalgebra, providing clear mathematical explanations, with many examples and exercises involving deterministic and non-deterministic automata, transition systems, streams, Markov chains and weighted automata. It will be of interest to mathematicians, computer scientists, mathematical physicists and even economists.
Автор: Hasuo Название: Coalgebraic Methods in Computer Science ISBN: 3319403699 ISBN-13(EAN): 9783319403694 Издательство: Springer Рейтинг: Цена: 59630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Fixed Points of Functors - A Survey.- Compositional Coinduction with Sized Types.- Lawvere Theories as Composed PROPs.- Transitivity and Difunctionality of Bisimulations.- Affine Monads and Side-Effect-Freeness.- Duality of Equations and Coequations via Contravariant Adjunctions.- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness.- Product Rules and Distributive Laws.- On the Logic of Generalised Metric Spaces.- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors.- Coalgebraic Completeness-via-Canonicity: Principles and Applications.- Relational Lattices via Duality.- On Local Characterization of Global Timed Bisimulation for Abstract.
Автор: Marcello M. Bonsangue Название: Coalgebraic Methods in Computer Science ISBN: 3662441233 ISBN-13(EAN): 9783662441237 Издательство: Springer Рейтинг: Цена: 44720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
Автор: Ernst-Erich Doberkat Название: Stochastic Coalgebraic Logic ISBN: 3642261477 ISBN-13(EAN): 9783642261473 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke models.
Автор: Steeb Willi-Hans & Hardy Yorick Название: Quantum Mechanics Using Computer Algebra: Includes Sample Programs In C++, Symbolicc++, Maxima, Maple, And Mathematica (2Nd Edition) ISBN: 9814307165 ISBN-13(EAN): 9789814307161 Издательство: World Scientific Publishing Рейтинг: Цена: 64410.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Solving problems in quantum mechanics is an essential skill and research activity for physicists, mathematicians, engineers and others. This book collects some of the standard and advanced methods in quantum mechanics and implements them using Symbolic C++ and Maxima, two popular computer algebra packages.
Автор: Leo Dorst; Chris Doran; Joan Lasenby Название: Applications of Geometric Algebra in Computer Science and Engineering ISBN: 1461266068 ISBN-13(EAN): 9781461266068 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Geometric algebra has established itself as a powerful and valuable mathematical tool for solving problems in computer science, engineering, physics, and mathematics. The articles in this volume, written by experts in various fields, reflect an interdisciplinary approach to the subject, and highlight a range of techniques and applications. Relevant ideas are introduced in a self-contained manner and only a knowledge of linear algebra and calculus is assumed.
Features and Topics:
* The mathematical foundations of geometric algebra are explored
* Applications in computational geometry include models of reflection and ray-tracing and a new and concise characterization of the crystallographic groups
* Applications in engineering include robotics, image geometry, control-pose estimation, inverse kinematics and dynamics, control and visual navigation
* Applications in physics include rigid-body dynamics, elasticity, and electromagnetism
* Chapters dedicated to quantum information theory dealing with multi-particle entanglement, MRI, and relativistic generalizations
Practitioners, professionals, and researchers working in computer science, engineering, physics, and mathematics will find a wide range of useful applications in this state-of-the-art survey and reference book. Additionally, advanced graduate students interested in geometric algebra will find the most current applications and methods discussed.
Автор: V. Bykov; A. Kytmanov; M. Lazman; Mikael Passare Название: Elimination Methods in Polynomial Computer Algebra ISBN: 9401062307 ISBN-13(EAN): 9789401062305 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The subject of this book is connected with a new direction in mathematics, which has been actively developed over the last few years, namely the field of polynomial computer algebra, which lies at the intersection point of algebra, mathematical analysis and programming.
Автор: Richard Pavelle Название: Applications of Computer Algebra ISBN: 1468468901 ISBN-13(EAN): 9781468468908 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Today, certain computer software systems exist which surpass the computational ability of researchers when their mathematical techniques are applied to many areas of science and engineering. These computer systems can perform a large portion of the calculations seen in mathematical analysis.
Автор: J. Calmet Название: Computer Algebra ISBN: 3540116079 ISBN-13(EAN): 9783540116073 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Viktor G. Ganzha; Ernst W. Mayr; Evgenii V. Vorozh Название: Computer Algebra in Scientific Computing ISBN: 3642624901 ISBN-13(EAN): 9783642624902 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Proceedings of the Third Workshop on Computer Algebra in Scientific Computing, Samarkand, Octobe5r 5-9, 2000
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
