Theoretical Aspects of Computing - ICTAC 2008, John Fitzgerald; Anne E. Haxthausen; Husnu Yenigun

Автор: Sampaio
Название: Theoretical Aspects of Computing – ICTAC 2016
ISBN: 3319467492 ISBN-13(EAN): 9783319467498
Издательство: Springer
Рейтинг:
Цена: 9224.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.

Автор: Martin Leucker; Charles Carroll Morgan
Название: Theoretical Aspects of Computing - ICTAC 2009
ISBN: 3642034659 ISBN-13(EAN): 9783642034657
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 6th International Colloquium Kuala Lumpur Malaysia August 1620 2009 Proceedings. .

Автор: P. Sadayappan; Manish Parashar; Ramamurthy Badrina
Название: High Performance Computing - HiPC 2008
ISBN: 354089893X ISBN-13(EAN): 9783540898931
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, held in Bangalore, India, in December 2008. This title includes 46 revised papers presented together with the abstracts of 5 keynote talks that were reviewed and selected from 317 submissions.