Автор: A. Salwicki Название: Logics of Programs and Their Applications ISBN: 3540119817 ISBN-13(EAN): 9783540119814 Издательство: Springer Рейтинг: Цена: 3213.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Stefano Berardi; Ferruccio Damiani; Ugo de Liguoro Название: Types for Proofs and Programs ISBN: 3642024432 ISBN-13(EAN): 9783642024436 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26-29, 2008 in Turin, Italy.
Автор: E. Clarke; D. Kozen Название: Logics of Programs ISBN: 3540128964 ISBN-13(EAN): 9783540128960 Издательство: Springer Рейтинг: Цена: 6567.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar Название: Theorem Proving in Higher Order Logics ISBN: 3540710655 ISBN-13(EAN): 9783540710653 Издательство: Springer Рейтинг: Цена: 9781.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.
Название: Logics in Computer Science ISBN: 9491216945 ISBN-13(EAN): 9789491216947 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
Автор: Christian W. Probst; Chris Hankin; Ren? Rydhof Han Название: Semantics, Logics, and Calculi ISBN: 3319278096 ISBN-13(EAN): 9783319278094 Издательство: Springer Рейтинг: Цена: 7826.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.
Автор: Fabio Mogavero Название: Logics in Computer Science ISBN: 9462390568 ISBN-13(EAN): 9789462390560 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
Автор: Leonard Bolc; Piotr Borowik Название: Many-Valued Logics 2 ISBN: 3642084176 ISBN-13(EAN): 9783642084171 Издательство: Springer Рейтинг: Цена: 13275.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.
Автор: Zbigniew Michalewicz Название: Genetic Algorithms + Data Structures = Evolution Programs ISBN: 3642082335 ISBN-13(EAN): 9783642082337 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Hence evolution programming techniques, based on genetic algorithms, are applicable to many hard optimization problems, such as optimization of functions with linear and nonlinear constraints, the traveling salesman problem, and problems of scheduling, partitioning, and control.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru