From Computing to Computational Thinking, Wang Paul S.
Автор: Michel Dayd?; Osni Marques; Kengo Nakajima Название: High Performance Computing for Computational Science -- VECPAR 2014 ISBN: 3319173529 ISBN-13(EAN): 9783319173528 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on High Performance Computing for Computational Science, VECPAR 2014, held in Eugene, OR, USA, in June/July 2014.
Автор: Manindra Agrawal; Vikraman Arvind Название: Perspectives in Computational Complexity ISBN: 3319054457 ISBN-13(EAN): 9783319054452 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday.
Автор: Traore, Mamadou Kaba Название: Computational frameworks ISBN: 1785482564 ISBN-13(EAN): 9781785482564 Издательство: Elsevier Science Рейтинг: Цена: 10434.00 р. Наличие на складе: Поставка под заказ.
Описание:
Computational Frameworks: Systems, Models and Applications provides an overview of advanced perspectives that bridges the gap between frontline research and practical efforts. It is unique in showing the interdisciplinary nature of this area and the way in which it interacts with emerging technologies and techniques. As computational systems are a dominating part of daily lives and a required support for most of the engineering sciences, this book explores their usage (e.g. big data, high performance clusters, databases and information systems, integrated and embedded hardware/software components, smart devices, mobile and pervasive networks, cyber physical systems, etc.).
Provides a unique presentation on the views of frontline researchers on computational systems theory and applications in one holistic scope
Cover both computational science and engineering
Bridges the gap between frontline research and practical efforts
Автор: Przemys?aw Broniek Название: Computational Complexity of Solving Equation Systems ISBN: 3319217496 ISBN-13(EAN): 9783319217499 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since unary algebras admit only type 1, this book focuses on these algebras to tackle the main problem. It discusses several aspects of unary algebras and proves that the Constraint Satisfaction Problem for relational structures is polynomially equivalent to SysTermSat over unary algebras.
Описание: This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.
Автор: 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.
Автор: Jean-Pierre Jouannaud Название: Constraints in Computational Logics ISBN: 354058403X ISBN-13(EAN): 9783540584032 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the proceedings of the 1st International Conference on Constraints in Computational Logics, held in Munich in September 1994. Topics discussed include symbolic, set and numerical constraints, combined calculi, multi-paradigm programming and working systems.
Автор: Georg Gottlob; Alexander Leitsch; Daniele Mundici Название: Computational Logic and Proof Theory ISBN: 3540633855 ISBN-13(EAN): 9783540633853 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the Fifth Kurt Godel Colloquium on Computational Logic and Proof Theory, KGC `97. This volume documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.
Описание: Proceedings of the NATO Advanced Study Institute on Soft Computing and Its Applications held at Manavgat, Antalya, Turkey, August 21-31, 1996
Автор: Chi Tat Chong, Liang Yu Название: Recursion Theory: Computational Aspects of Definability ISBN: 3110275554 ISBN-13(EAN): 9783110275551 Издательство: Walter de Gruyter Цена: 20712.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using techniques and ideas from recursion theory, hyperarithmetic theory, and descriptive set theory.The emphasis is on the interplay between recursion theory and set theory, anchored on the notion of definability. The monograph covers a number of fundamental results in hyperarithmetic theory as well as some recent results on the structure theory of Turing and hyperdegrees. It also features a chapter on the applications of these investigations to higher randomness.
Автор: Martin Davis; Edmond Schonberg Название: From Linear Operators to Computational Biology ISBN: 144716170X ISBN-13(EAN): 9781447161707 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers essays by friends, students and collaborators of Jacob T. Schwartz at the Courant Institute of Mathematical Sciences, on topics Schwartz explored: quantum theory, theory and practice of programming, robotics, motion planning and genomics.
Автор: Manindra Agrawal; Vikraman Arvind Название: Perspectives in Computational Complexity ISBN: 3319350587 ISBN-13(EAN): 9783319350585 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
