Programming Languages: Implementations, Logics, and Programs, Hugh Glaser; Peter Hartel; Herbert Kuchen
Автор: Christian W. Probst; Chris Hankin; Ren? Rydhof Han Название: Semantics, Logics, and Calculi ISBN: 3319278096 ISBN-13(EAN): 9783319278094 Издательство: Springer Рейтинг: Цена: 6830.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively.
Автор: Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna In Название: Models, Algorithms, Logics and Tools ISBN: 3319631209 ISBN-13(EAN): 9783319631202 Издательство: Springer Рейтинг: Цена: 10976.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking.
Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar Название: Theorem Proving in Higher Order Logics ISBN: 3540710655 ISBN-13(EAN): 9783540710653 Издательство: Springer Рейтинг: Цена: 8537.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.
Автор: Manuel Hermenegildo; S.Doaitse Swierstra Название: Programming Languages: Implementations, Logics and Programs ISBN: 354060359X ISBN-13(EAN): 9783540603597 Издательство: Springer Рейтинг: Цена: 10976.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings report research on declarative programming languages and provide insights into the relation between logic of those languages, implmentation techniques, and the use of these languages in constructing real programs.
Автор: Herbert Kuchen; S.Doaitse Swierstra Название: Programming Languages: Implementations, Logics, and Programs ISBN: 3540617566 ISBN-13(EAN): 9783540617563 Издательство: Springer Рейтинг: Цена: 10976.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings are organized into topical sections on typing and structuring systems, program analysis, program transformation, implementation issues, concurrent and parallel programming, tools and programming environments, lambda-calculus and rewriting, and constraints.
Автор: Evan Tick; Giancarlo Succi Название: Implementations of Logic Programming Systems ISBN: 0792394577 ISBN-13(EAN): 9780792394570 Издательство: Springer Рейтинг: Цена: 18289.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Offers a collection of research papers in the area of the implementation of logic programming systems. This book is intended for those who seek an understanding of how to efficiently manage memory, generate fast code, perform static analyses, and design high-performance runtime features.
Описание: This book constitutes the proceedings of the SecondOpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015. The 12 technical papers and one short position paperspresented in this book were carefully reviewed and selected from 17submissions.
Описание: This book constitutes the proceedings of the First OpenSHMEM Workshop, held in Annapolis, MD, USA, in March 2014. The 12 technical papers and 2 short position papers presented in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections named: OpenSHMEM implementations and evaluations;
Автор: Dines Bj?rner; Martin C. Henson Название: Logics of Specification Languages ISBN: 3642093450 ISBN-13(EAN): 9783642093456 Издательство: Springer Рейтинг: Цена: 23783.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents comprehensive studies on nine specification languages and their logics of reasoning. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
Автор: E. Clarke; D. Kozen Название: Logics of Programs ISBN: 3540128964 ISBN-13(EAN): 9783540128960 Издательство: Springer Рейтинг: Цена: 5731.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Leonard Bolc; Piotr Borowik Название: Many-Valued Logics 2 ISBN: 3642084176 ISBN-13(EAN): 9783642084171 Издательство: Springer Рейтинг: Цена: 11586.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many-valued logics are becoming increasingly important in all areas of computer science. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory.
Автор: Steffen H?lldobler; Carsten Lutz; Heinrich Wansing Название: Logics in Artificial Intelligence ISBN: 3540878025 ISBN-13(EAN): 9783540878025 Издательство: Springer Рейтинг: Цена: 9146.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. This title includes papers that cover topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, and probabilistic logic.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
