Why We Sing: Music, Word, and Liturgy in Early Christianity: Essays in Honour of Anders Ekenberg`s 75th Birthday,
Автор: Maria Gorelik; Vladimir Hinich; Anna Melnikov Название: Representations and Nilpotent Orbits of Lie Algebraic Systems ISBN: 3030235335 ISBN-13(EAN): 9783030235338 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Поставка под заказ.
Автор: Edward J. Clay; John Shaw Название: Poverty, Development and Food ISBN: 1349092169 ISBN-13(EAN): 9781349092161 Издательство: Springer Рейтинг: Цена: 53100.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Raschke Alexander, Riccobene Elvinia, Schewe Klaus-Dieter Название: Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Bцrger on the Occasion of His 75th Birthday ISBN: 3030760197 ISBN-13(EAN): 9783030760199 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: From Logic and Computation Theory to Rigorous Methods for Software Engineering.- Towards Leveraging Domain Knowledge in State-Based Formal Methods.- Some Observations on Mitotic Sets.- Moded and Continuous Abstract State Machines.- A Stepwise Design Optimization Problem.- Semantic Splitting of Conditional Belief Bases.- Communities and Ancestors Associated with Egon Bцrger and ASM.- Language and communication problems in formalization: a natural language approach.- ASM Specification and Refinement of a Quantum Algorithm.- Spot the Difference: A Detailed Comparison Between B and Event-B.- Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond.- Analysis of Mobile Networks' Protocols Based on Abstract State Machines.- What is the Natural Abstraction Level of an Algorithm.- The ASMETA approach to safety assurance of software systems.- Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System.- Computation on Structures: Behavioural Theory, Logic, Complexity.- The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes.- Models and Modelling in Computer Science.- A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines.
Автор: S.F. Spicker Название: Organism, Medicine, and Metaphysics ISBN: 940099785X ISBN-13(EAN): 9789400997851 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Sendler Название: Contributions to Stochastics ISBN: 3642468950 ISBN-13(EAN): 9783642468957 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Since the contributions to this volume stem from very different fields, no attempt was made to find a systematic ordering. All results are new in so far as they have not been published so far.
Автор: Lev D. Beklemishev; Andreas Blass; Nachum Dershowi Название: Fields of Logic and Computation II ISBN: 3319235338 ISBN-13(EAN): 9783319235332 Издательство: Springer Рейтинг: Цена: 52170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more.
Название: Akhet neheh ISBN: 1906137706 ISBN-13(EAN): 9781906137700 Издательство: Marston Book Services Рейтинг: Цена: 79200.00 T Наличие на складе: Невозможна поставка. Описание: Current research about the symbolism of hieroglyphs, religious texts, depictions and graffiti from the royal tomb KV 11.
Автор: Malgorzata Marciniak; Agnieszka Mykowiecka Название: Aspects of Natural Language Processing ISBN: 3642047343 ISBN-13(EAN): 9783642047343 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Leonard Bolc has played an important role in the Polish computer science community. This Festschrift, published to honor Leonard Bolc on his 75th birthday, includes papers by leading researchers, former students and colleagues to celebrate his scientific career.
Автор: Newall, Venetia Название: The Witch Figure ISBN: 0415869331 ISBN-13(EAN): 9780415869331 Издательство: Taylor&Francis Рейтинг: Цена: 46950.00 T Наличие на складе: Нет в наличии.
Автор: Maria Gorelik; Vladimir Hinich; Anna Melnikov Название: Representations and Nilpotent Orbits of Lie Algebraic Systems ISBN: 3030235300 ISBN-13(EAN): 9783030235307 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Поставка под заказ. Описание: This volume, a celebration of Anthony Joseph’s fundamental influence on classical and quantized representation theory, explores a wide array of current topics in Lie theory by experts in the area. The chapters are based on the 2017 sister conferences titled “Algebraic Modes of Representations,” the first of which was held from July 16-18 at the Weizmann Institute of Science and the second from July 19-23 at the University of Haifa. The chapters in this volume cover a range of topics, including:
Primitive idealsInvariant theoryGeometry of Lie group actionsQuantum affine algebrasYangiansCategorificationVertex algebras
This volume is addressed to mathematicians who specialize in representation theory and Lie theory, and who wish to learn more about this fascinating subject.
Автор: Michael Benedicks; Bj?rn Winckler; Peter Jones; St Название: Perspectives in Analysis ISBN: 3642434347 ISBN-13(EAN): 9783642434341 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: After making a central contri- tion, Lennart would usually move on to a new area, though he might return to the topic of his previous work if new techniques were developed that could break old mathematical log jams.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
