Computing with C# and the .NET Framework, Gittleman, A.
Автор: Sampaio Название: Theoretical Aspects of Computing – ICTAC 2016 ISBN: 3319467492 ISBN-13(EAN): 9783319467498 Издательство: Springer Рейтинг: Цена: 61490.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Chien-Chung Chan; Jerzy W. Grzymala-Busse; Wojciec Название: Rough Sets and Current Trends in Computing ISBN: 3540884238 ISBN-13(EAN): 9783540884231 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the refereed proceedings of the 6th International Conference on Rough Sets and Current Trends in Computing, RSCTC 2008, held in Akron, OH, USA, in October 2008. This book presents the papers that are organized in topical sections on logical and mathematical foundations, data analysis, data mining, and decision support systems.
Автор: Hager Название: Introduction to High Performance Computing for Scientists and Engineers ISBN: 143981192X ISBN-13(EAN): 9781439811924 Издательство: Taylor&Francis Рейтинг: Цена: 80630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Written by HPC experts, this book provides a solid introduction to current mainstream computer architecture, dominant parallel programming models, and useful optimization strategies for scientific HPC. It facilitates an intuitive understanding of performance limitations without relying on heavy computer science knowledge.
Автор: Martin Leucker; Charles Carroll Morgan Название: Theoretical Aspects of Computing - ICTAC 2009 ISBN: 3642034659 ISBN-13(EAN): 9783642034657 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 6th International Colloquium Kuala Lumpur Malaysia August 1620 2009 Proceedings. .
Автор: John Fitzgerald; Anne E. Haxthausen; Husnu Yenigun Название: Theoretical Aspects of Computing - ICTAC 2008 ISBN: 3540857613 ISBN-13(EAN): 9783540857617 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Includes the refereed proceedings of the 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008 held in Istanbul, Turkey in September 2008. This book contains 27 papers that were selected from over 70 submissions. It intends to bring together practitioners and researchers from academia to present research results.
Автор: Martin Wirsing; Jean-Pierre Banatre; Matthias H?lz Название: Software-Intensive Systems and New Computing Paradigms ISBN: 3540894365 ISBN-13(EAN): 9783540894360 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Presents an overview of the research missions in engineering software-intensive systems. This book consists of 15 papers and is structured in three major parts: ensemble engineering, theory and formal methods, and novel computing paradigms. It covers a spectrum of relevant topics ranging from methods, languages and tools for ensemble engineering.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz