Formal Methods for Multicore Programming, Marco Bernardo; Einar Broch Johnsen

Автор: Robert Oshana
Название: Multicore Software Development
ISBN: 0128009586 ISBN-13(EAN): 9780128009581
Издательство: Elsevier Science
Рейтинг:
Цена: 6990.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Provides a set of practical processes and techniques used for multicore software development. This book focuses on solving day to day problems using practical tips and tricks and industry case studies to reinforce the key concepts in multicore software development.

Автор: Rainer Keller; David Kramer; Jan-Philipp Wei?
Название: Facing the Multicore-Challenge III
ISBN: 3642358926 ISBN-13(EAN): 9783642358920
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This state-of-the-art survey features topics related to the impact of multicore, manycore, and coprocessor technologies in science and large-scale applications in an interdisciplinary environment.

Автор: Zhiming Liu; Jim Woodcock; Huibiao Zhu
Название: Theories of Programming and Formal Methods
ISBN: 3642396976 ISBN-13(EAN): 9783642396977
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: He won a number of prestigious science and technology awards, including a 2nd prize of Natural Science Award from the State Council of China, a 1st prize of Natural Science Award from the Ministry of Education of China, a 1st prize of Technology Innovation from the Ministry of Electronic Industry, and a number awards from Shanghai government.

Автор: Zhiming Liu; Jim Woodcock; Huibiao Zhu
Название: Unifying Theories of Programming and Formal Engineering Methods
ISBN: 3642397204 ISBN-13(EAN): 9783642397202
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers.

Автор: G.R. Liu; Y.T. Gu
Название: An Introduction to Meshfree Methods and Their Programming
ISBN: 9048168198 ISBN-13(EAN): 9789048168194
Издательство: Springer
Рейтинг:
Цена: 22201.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Mesh Free Methods, Moving Beyond the Finite Element Method d by GR Liu (2002) provides a systematic discussion on basic theories, fundamentals for MFree methods, especially on MFree weak-form methods.

Автор: E.B. Bajalinov
Название: Linear-Fractional Programming Theory, Methods, Applications and Software
ISBN: 1461348226 ISBN-13(EAN): 9781461348221
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is a book on Linear-Fractional Programming (here and in what follows we will refer to it as "LFP"). In linear-fractional programming, the goal is to determine a per- missible allocation of resources that will maximize or minimize some specific showing, such as profit gained per unit of cost, or cost of unit of product produced, etc.

Автор: B. Roy
Название: Combinatorial Programming: Methods and Applications
ISBN: 9401175594 ISBN-13(EAN): 9789401175593
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Study Institute, Versailles, France, September 2-13, 1975