DNA Computing, Gheorghe Paun; Grzegorz Rozenberg; Arto Salomaa

Автор: Varela Carlos A
Название: Programming Distributed Computing Systems
ISBN: 0262018985 ISBN-13(EAN): 9780262018982
Издательство: MIT Press
Рейтинг:
Цена: 38500.00 T
Наличие на складе: Нет в наличии.
Описание: An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.

Автор: Rondelez
Название: DNA Computing and Molecular Programming
ISBN: 3319439936 ISBN-13(EAN): 9783319439938
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 22nd International Conference on DNA Computing and Molecular Programming, DNA 22, held Munich, Germany, in September 16

Автор: Robert Brijder; Lulu Qian
Название: DNA Computing and Molecular Programming
ISBN: 331966798X ISBN-13(EAN): 9783319667980
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 23th International Conference on DNA Computing and Molecular Programming, DNA 23, held Austin, TX, USA, in September 2017.

Автор: Andrew Phillips; Peng Yin
Название: DNA Computing and Molecular Programming
ISBN: 3319219987 ISBN-13(EAN): 9783319219981
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 21st International Conference on DNA Computing and Molecular Programming, DNA 21, held in Boston and Cambridge, MA, USA, in August 2015. The 13 full papers presented were carefully selected from 63 submissions. molecular motors and molecular robotics;

Автор: Anne Condon; Grzegorz Rozenberg
Название: DNA Computing
ISBN: 3540420762 ISBN-13(EAN): 9783540420767
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-proceedings of the 6th International Workshop on DNA-Based Computers, DNA 2000, held in Leiden, The Netherlands, in June 2000. This book addresses various aspects of DNA computing, ranging from theoretical and foundational issues to algorithms.

Автор: David Soloveichik; Bernard Yurke
Название: DNA Computing and Molecular Programming
ISBN: 3319019279 ISBN-13(EAN): 9783319019277
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 19th International Conference on DNA Computing and Molecular Programming, DNA 19, held in Tempe, AZ, USA, in September 2013.

Автор: Ashish Goel; Friedrich C. Simmel; Petr Sosik
Название: DNA Computing
ISBN: 3642030750 ISBN-13(EAN): 9783642030758
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: 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.

Автор: Dinh
Название: Computing and Combinatorics
ISBN: 3319426338 ISBN-13(EAN): 9783319426334
Издательство: Springer
Рейтинг:
Цена: 76400.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 22nd International Conference on Computing and Combinatorics, COCOON 2016, held in Ho Chi Minh City, Vietnam, in August 2016. The papers cover various topics including: Theory and Algorithms; Parameterized Complexity and Algorithms; Scheduling Algorithms and Circuit Complexity;

Автор: Buttazzo
Название: Hard Real-Time Computing Systems
ISBN: 0387231374 ISBN-13(EAN): 9780387231372
Издательство: Springer
Рейтинг:
Цена: 74490.00 T
Наличие на складе: Нет в наличии.
Описание: Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications is a basic treatise on real-time computing, with particular emphasis on predictable scheduling algorithms. It introduces the fundamental concepts of real-time computing, illustrates the most significant results in the field, and provides the essential methodologies for designing predictable computing systems which can be used to support critical control applications.This volume serves as a textbook for advanced level courses on the topic. Each chapter provides basic concepts, which are followed by algorithms that are illustrated with concrete examples, figures and tables. Exercises are included with each chapter and solutions are given at the end of the book. The book also provides an excellent reference for those interested in real-time computing for designing and/or developing predictable control applications.

Автор: Gavoille
Название: Distributed Computing
ISBN: 3662534258 ISBN-13(EAN): 9783662534250
Издательство: Springer
Рейтинг:
Цена: 68950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 30th International Symposium on Distributed Computing, DISC 2016, held in Paris, France, in September 2016.

Автор: 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.