Domains and Processes, Klaus Keimel; Guo-Qiang Zhang; Ying Ming Liu; Yixi
Автор: Amadio Название: Domains and Lambda-Calculi ISBN: 0521062926 ISBN-13(EAN): 9780521062923 Издательство: Cambridge Academ Рейтинг: Цена: 8870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.
Автор: Amadio Название: Domains and Lambda-Calculi ISBN: 0521622778 ISBN-13(EAN): 9780521622776 Издательство: Cambridge Academ Рейтинг: Цена: 21384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.
Автор: Colin Stirling Название: Modal and Temporal Properties of Processes ISBN: 1441931538 ISBN-13(EAN): 9781441931535 Издательство: Springer Рейтинг: Цена: 13969.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In recent years, model checking has become an essential technique for the formal verification of systems. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
Автор: Fernando Ferreira; Benedikt L?we; Elvira Mayordomo Название: Programs, Proofs, Processes ISBN: 3642139612 ISBN-13(EAN): 9783642139611 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE 2010, held in Ponta Delgada, Azores, Portugal, in June/July 2010.
Автор: Klaus Keimel; Guo-Qiang Zhang; Ying Ming Liu; Yixi Название: Domains and Processes ISBN: 9401038597 ISBN-13(EAN): 9789401038591 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the 1st International Symposium on Domain Theory
Описание: Proceedings of the IUTAM Symposium held in Boulder, Colorado, USA, 27-31 July 1997
Автор: Baoding Liu; Augustine O. Esogbue Название: Decision Criteria and Optimal Inventory Processes ISBN: 146137345X ISBN-13(EAN): 9781461373452 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Decision Criteria and Optimal Inventory Processes provides a theoretical and practical introduction to decision criteria and inventory processes.
Автор: John-Jules Ch. Meyer; Jan Treur Название: Dynamics and Management of Reasoning Processes ISBN: 9048159032 ISBN-13(EAN): 9789048159031 Издательство: Springer Рейтинг: Цена: 13969.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume, the 6th volume in the DRUMS Handbook series, is part of the after- math of the successful ESPRIT project DRUMS (Defeasible Reasoning and Un- certainty Management Systems) which took place in two stages from 1989-1996. In the second stage (1993-1996) a work package was introduced devoted to the topics Reasoning and Dynamics, covering both the topics of 'Dynamics of Rea- soning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of and agents within dynamic systems may reason about these systems. The present volume presents work done in this context. This work has an emphasis on modelling and formal techniques in the investigation of the topic "Reasoning and Dynamics," but it is not mere theory that occupied us. Rather research was aimed at bridging the gap between theory and practice. Therefore also real-life applications of the modelling techniques were considered, and we hope this also shows in this volume, which is focused on the dynamics of reasoning processes. In order to give the book a broader perspective, we have invited a number of well-known researchers outside the project but working on similar topics to contribute as well. We have very pleasant recollections of the project, with its lively workshops and other meetings, with the many sites and researchers involved, both within and outside our own work package.
Автор: Wojciech Mitkowski Название: Modelling Dynamics in Processes and Systems ISBN: 3642100759 ISBN-13(EAN): 9783642100758 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume features the latest research on modeling dynamics in processes and systems. It details modern tools and techniques that can be useful for the modeling of dynamics, taking a close look at automation and robotics as well as biological systems.
Автор: Yuxin Deng Название: Semantics of Probabilistic Processes ISBN: 3662515989 ISBN-13(EAN): 9783662515983 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics.
Автор: Robert M. Losee Название: Information from Processes ISBN: 3642429688 ISBN-13(EAN): 9783642429682 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes, predicts and explains information as a general phenomenon, probing the nature and output of processes without requiring prior math or computer background. Applies basic processes to a range of disciplines related to information science.
Автор: S. Peters; Esa. Saarinen Название: Processes, Beliefs, and Questions ISBN: 9027713146 ISBN-13(EAN): 9789027713148 Издательство: Springer Рейтинг: Цена: 21655.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: SECTION I In 1972, Donald Davison and Gilbert Hannan wrote in the introduction to the volume Semantics of Natural Language: "The success of linguistics in treating natural languages as formal ~yntactic systems has aroused the interest of a number of linguists in a parallel or related development of semantics.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
