Enabling Technologies for Computational Science, Elias N. Houstis; John R. Rice; Efstratios Gallopo

Автор: Weidon Kou; Yelena Yesha
Название: Enabling Technologies for Wireless E-Business
ISBN: 3642067816 ISBN-13(EAN): 9783642067815
Издательство: Springer
Рейтинг:
Цена: 10760.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Advances in wireless technologies are set to revolutionize the way we conduct business. This book offers complete coverage of the technologies needed to make wireless e-business effective. Written by internationally acclaimed authors the book is an ideal introduction for both self-study and taught e-business classes or commercial training courses.

Автор: Leonid Sokolinsky; Mikhail Zymbler
Название: Parallel Computational Technologies
ISBN: 3319670344 ISBN-13(EAN): 9783319670348
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: ГЇВїВЅ This book constitutes the refereed proceedings of the 11th International Conference on Parallel Computational Technologies, PCT 2017, held in Kazan, Russia, in April 2017. The papers are organized in topical sections on high performance architectures, tools and technologies;

Автор: de Berg
Название: Computational Geometry
ISBN: 3540779736 ISBN-13(EAN): 9783540779735
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to provide solutions that are both efficient and easy to understand and implement.

Автор: Arora, Sanjeev Barak, Boaz
Название: Computational complexity
ISBN: 0521424267 ISBN-13(EAN): 9780521424264
Издательство: Cambridge Academ
Рейтинг:
Цена: 9029.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Describes recent achievements and classical results of computational complexity theory, including interactive proofs, PCP, derandomization, and quantum computation. It can be used as a reference, for self-study, or as a beginning graduate textbook. More than 300 exercises are included.

Автор: Massimo Alioto
Название: Enabling the Internet of Things
ISBN: 3319514806 ISBN-13(EAN): 9783319514802
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A comprehensive view on integrated circuit and system design for the Internet of Things (IoT), particularly the tiny nodes at its edge, this book looks at how the IoT will evolve. With contributions from industry and academia, it focuses on design techniques for IoT applications, including the fundamental sub-systems encountered in Systems on Chip.

Автор: Tom H. Luan; Xuemin (Sherman) Shen; Fan Bai
Название: Enabling Content Distribution in Vehicular Ad Hoc Networks
ISBN: 1493906909 ISBN-13(EAN): 9781493906901
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This SpringerBrief presents key enabling technologies and state-of-the-art research on delivering efficient content distribution services to fast moving vehicles.

Автор: Varga
Название: Computational Nanoscience
ISBN: 1107001706 ISBN-13(EAN): 9781107001701
Издательство: Cambridge Academ
Рейтинг:
Цена: 11086.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Describes advanced algorithms for students in computational physics, quantum mechanics, atomic and molecular physics, and condensed matter theory.

Автор: Darwish, M. Mangani, L. Moukalled, F.
Название: The Finite Volume Method in Computational Fluid Dynamics : An Advanced Introduction with OpenFOAM and MATLAB
ISBN: 3319168738 ISBN-13(EAN): 9783319168739
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Finite Volume Method in Computational Fluid Dynamics

Автор: Mauricio Ayala Rincon
Название: Applied logic for computer scientists. Computational Deduction and formal Proofs
ISBN: 3319516515 ISBN-13(EAN): 9783319516516
Издательство: Springer
Рейтинг:
Цена: 6288.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

Автор: Oded Goldreich
Название: Computational complexity
ISBN: 052188473X ISBN-13(EAN): 9780521884730
Издательство: Cambridge Academ
Рейтинг:
Цена: 11722.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A conceptual introduction to the study of the intrinsic complexity of computational tasks. It will serve advanced undergraduate and graduate students, either as a textbook or for self-study. It provides explanations of the various sub-areas of complexity theory such as hardness amplification, pseudorandomness, and probabilistic proof systems.

Автор: Gervasi
Название: Computational Science and Its Applications – ICCSA 2016
ISBN: 3319420917 ISBN-13(EAN): 9783319420912
Издательство: Springer
Рейтинг:
Цена: 11460.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The five-volume set LNCS 9786-9790 constitutes the refereed proceedings of the 16th International Conference on Computational Science and Its Applications, ICCSA 2016, held in Beijing, China, in July 2016. The 239 revised full papers and 14 short papers presented at 33 workshops were carefully reviewed and selected from 849 submissions.

Автор: Fidanova
Название: Recent Advances in Computational Optimization
ISBN: 3319401319 ISBN-13(EAN): 9783319401317
Издательство: Springer
Рейтинг:
Цена: 20896.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume is a comprehensive collection of extended contributions from the Workshop on Computational Optimization 2015. It presents recent advances in computational optimization. The volume includes important real life problems like parameter settings for controlling processes in bioreactor, control of ethanol production, minimal convex hill with application in routing algorithms, graph coloring, flow design in photonic data transport system, predicting indoor temperature, crisis control center monitoring, fuel consumption of helicopters, portfolio selection, GPS surveying and so on. It shows how to develop algorithms for them based on new metaheuristic methods like evolutionary computation, ant colony optimization, constrain programming and others. This research demonstrates how some real-world problems arising in engineering, economics, medicine and other domains can be formulated as optimization problems.