Trends, Techniques, and Problems in Theoretical Computer Science, Alica Kelemenova; Jozef Kelemen
Автор: Andrea Corradini; Ugo Montanari Название: Recent Trends in Algebraic Development Techniques ISBN: 3642034284 ISBN-13(EAN): 9783642034282 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop. The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.
Автор: Atkinson Название: Theoretical Numerical Analysis ISBN: 1441904573 ISBN-13(EAN): 9781441904577 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book prepares graduate students for research in numerical analysis/computational mathematics by giving a mathematical framework embedded in functional analysis and focused on numerical analysis. This helps them to move rapidly into a research program.
Автор: Nicolas Clerbout; Shahid Rahman Название: Linking Game-Theoretical Approaches with Constructive Type Theory ISBN: 3319190628 ISBN-13(EAN): 9783319190624 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies.
Автор: Kueker Название: Mathematical Logic and Theoretical Computer Science ISBN: 0824777468 ISBN-13(EAN): 9780824777463 Издательство: Taylor&Francis Рейтинг: Цена: 39811.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. It is intended for mathematical logicians and computer scientists.
Автор: Steven G. Krantz Название: Handbook of Logic and Proof Techniques for Computer Science ISBN: 146126619X ISBN-13(EAN): 9781461266198 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic is, and should be, the core subject area of modern mathemat- ics. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic.
Автор: Mihai Codescu; R?zvan Diaconescu; Ionu? ?u?u Название: Recent Trends in Algebraic Development Techniques ISBN: 3319281135 ISBN-13(EAN): 9783319281131 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
On Logic Embeddings and Gцdel's God.- An Institutional Foundation for the K Semantic Framework.- A Theoretical Foundation for Programming Languages Aggregation.- Coalgebraic Semantics of Heavy-Weighted Automata.- Foundations of Logic Programming in Hybridised Logics.- What Is a Derived Signature Morphism?.- Use Case Analysis Based on Formal Methods: An Empirical Study.- A Full Operational Semantics for Asynchronous Relational Networks.- A SOC-Based Formal Specification and Verification of Hybrid Systems.
Автор: Narciso Mart?-Oliet; Miguel Palomino Название: Recent Trends in Algebraic Development Techniques ISBN: 3642376347 ISBN-13(EAN): 9783642376344 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing;
Автор: Hans van Ditmarsch; Gabriel Sandu Название: Jaakko Hintikka on Knowledge and Game Theoretical Semantics ISBN: 3319628631 ISBN-13(EAN): 9783319628639 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community. This book, whose chapters have been in preparation for several years, is dedicated to the work of Jaako Hintikka, and to his memory.This edited volume consists of 23 contributions from leading logicians and philosophers, who discuss themes that span across the entire range of Hintikka’s career. Semantic Representationalism, Logical Dialogues, Knowledge and Epistemic logic are among some of the topics covered in this book's chapters.The book should appeal to students, scholars and teachers who wish to explore the philosophy of Jaako Hintikka.
Автор: Spadafora Luca Et Al Название: Theoretical Foundations For Quantitative Finance ISBN: 9813202475 ISBN-13(EAN): 9789813202474 Издательство: World Scientific Publishing Рейтинг: Цена: 10296.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides simple introduction to quantitative finance for students and junior quants who want to approach the typical industry problems with practical but rigorous ambition. It shows a simple link between theoretical technicalities and practical solutions. Mathematical aspects are discussed from a practitioner perspective, with a deep focus on practical implications, favoring the intuition and the imagination. In addition, the new post-crisis paradigms, like multi-curves, x-value adjustments (xVA) and Counterparty Credit Risk are also discussed in a very simple framework. Finally, real world data and numerical simulations are compared in order to provide a reader with a simple and handy insight on the actual model performances.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
