Transactions on Computational Science VII, C. J. Kenneth Tan

Автор: Rainer Breitling; Corrado Priami; David Gilbert; M
Название: Transactions on Computational Systems Biology XII
ISBN: 3642117112 ISBN-13(EAN): 9783642117114
Издательство: Springer
Рейтинг:
Цена: 9776.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Devoted to inter- and multidisciplinary research in the fields of computer science and life sciences, this book supports a paradigmatic shift in the techniques from computer and information science to cope with the challenges arising from the systems oriented point of view of biological phenomena. It focuses on the topic of modeling methodologies.

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

Автор: Ralph-Johan Back; Corrado Priami; Ion Petre
Название: Transactions on Computational Systems Biology XI
ISBN: 364204185X ISBN-13(EAN): 9783642041853
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This issue on Computational Models for Cell Processes is based on a workshop that took place in Turku, Finland, May 2008. The papers span a mix of approaches to systems biology, ranging from quantitative techniques to computing paradigms inspired by biology.

Автор: Marina Gavrilova; C.J. Kenneth Tan
Название: Transactions on Computational Science XXII
ISBN: 3642542115 ISBN-13(EAN): 9783642542114
Издательство: Springer
Рейтинг:
Цена: 7547.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The four papers in Part I span the areas of information-driven online social networks, neural networks, collaborative memories, and stability controls in multi-agent networked environments.

Автор: Marina L. Gavrilova; C.J. Kenneth Tan; Himanshu Th
Название: Transactions on Computational Science XXIV
ISBN: 3662457105 ISBN-13(EAN): 9783662457108
Издательство: Springer
Рейтинг:
Цена: 7547.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.

Автор: Marina L. Gavrilova; C.J. Kenneth Tan
Название: Transactions on Computational Science XXVII
ISBN: 3662504111 ISBN-13(EAN): 9783662504116
Издательство: Springer
Рейтинг:
Цена: 7547.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The LNCS journal Transactions on ComputationalScience reflects recent developments in the field of Computational Science,conceiving the field not as a mere ancillary science but rather as aninnovative approach supporting many other scientific disciplines.

Автор: Marina L. Gavrilova; C.J. Kenneth Tan; Ajith Abrah
Название: Transactions on Computational Science XXI
ISBN: 3642453171 ISBN-13(EAN): 9783642453175
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 15 full papers included in the volume focus on the topics of neurocomputing, evolutionary algorithms, swarm intelligence, artificial immune systems, membrane computing, computing with words, artificial life and hybrid approaches.

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

Автор: Rylander, Thomas, Ingelstrom, Par, Bondeson, Ander
Название: Computational Electromagnetics
ISBN: 146145350X ISBN-13(EAN): 9781461453505
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In its expanded second edition, this book describes sources of errors in numerical computations, and provides tools for assessing the accuracy of numerical methods and their solutions. Includes MATLAB programs and detailed description of practical issues.

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

Автор: Tomasz Kaczynski, Konstantin Mischaikow, Marian Mr
Название: Computational Homology
ISBN: 1441923543 ISBN-13(EAN): 9781441923547
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Homology is a powerful tool used by mathematicians to study the properties of spaces and maps that are insensitive to small perturbations. Following this is a section containing extensions to further developments in algebraic topology, applications to computational dynamics, and applications to image processing.