Автор: Cormen, Thomas H., E Название: Introduction to algorithms 3 ed. ISBN: 0262033844 ISBN-13(EAN): 9780262033848 Издательство: MIT Press Рейтинг: Цена: 27588.00 р. Наличие на складе: Нет в наличии.
Описание: A new edition of the essential text and professional reference, with substantial new material on such topics as vEB trees, multithreaded algorithms, dynamic programming, and edge-base flow.
Описание: Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, G?del’s incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.
Автор: Goldberg Название: Experimental Algorithms ISBN: 3319388509 ISBN-13(EAN): 9783319388502 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 15th International Symposium on Experimental Algorithms, SEA 2016, held in St. Petersburg, Russia, in June 2016. The 25 revised full papers presented were carefully reviewed and selected from 54 submissions.
Автор: Jan Vahrenhold Название: Experimental Algorithms ISBN: 3642020100 ISBN-13(EAN): 9783642020100 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 8th International Symposium on Experimental and Efficient Algorithms, SEA 2009, held in Dortmund, Germany, in June 2009. This work presents research on experimental evaluation and engineering of algorithms, as well as in various aspects of computational optimization and its applications.
Автор: Thomas Bartz-Beielstein; Marco Chiarandini; Lu?s P Название: Experimental Methods for the Analysis of Optimization Algorithms ISBN: 364244590X ISBN-13(EAN): 9783642445903 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: With contributions from leaders in the field, this volume assesses the main issues in the experimental analysis of algorithms, examines their developmental cycle, and demonstrates how to configure and tune algorithms with advanced experimental techniques.
Автор: Riitta Smeds; J. Smeds Название: Experimental Learning in Production Management ISBN: 1475751990 ISBN-13(EAN): 9781475751994 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is based on the presentations at the Third Workshop on Games in Production Management, The Effects of Games on Developing Production Management, held in Espoo, Finland, June 27-29, 1997.
Автор: Donald Berghaus Название: Numerical Methods for Experimental Mechanics ISBN: 1461355710 ISBN-13(EAN): 9781461355717 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The first of these deals with least-square methods of problem solution, both for curve fitting and for general solution of overdetermined problems.
Автор: Cameron Tropea; Suad Jakirlic; Hans-Joachim Heinem Название: New Results in Numerical and Experimental Fluid Mechanics VI ISBN: 3642093876 ISBN-13(EAN): 9783642093876 Издательство: Springer Рейтинг: Цена: 39182.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Papers provide a broad overview of ongoing work in Germany, including high aspect ratio wings, low aspect ratio wings, bluff bodies, laminar flow control and transition, active flow control, hypersonic flows, aeroelasticity, aeroacoustics, mathematical fundamentals, numerical simulations, physical fundamentals, and facilities.
Автор: Christian Breitsamter; Boris Laschka; Hans-Joachim Название: New Results in Numerical and Experimental Fluid Mechanics IV ISBN: 3642535461 ISBN-13(EAN): 9783642535468 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Andreas Dillmann; Gerd Heller; Wolfgang Schr?der; Название: New Results in Numerical and Experimental Fluid Mechanics VII ISBN: 3642422527 ISBN-13(EAN): 9783642422522 Издательство: Springer Рейтинг: Цена: 61352.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Gathering contributions to the 18th biannual symposium of the German Aerospace Aerodynamics Association (STAB), this book covers research by STAB members on numerical and experimental fluid mechanics and aerodynamics, for aerospace applications, and more.
Автор: Awrejcewicz Название: Dynamical Systems: Theoretical and Experimental Analysis ISBN: 3319424076 ISBN-13(EAN): 9783319424071 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book is the second volume of a collection of contributions devoted to analytical, numerical and experimental techniques of dynamical systems, presented at the international conference 'Dynamical Systems: Theory and Applications,' held in ??d?, Poland on December 7-10, 2015. The studies give deep insight into new perspectives in analysis, simulation, and optimization of dynamical systems, emphasizing directions for future research. Broadly outlined topics covered include: bifurcation and chaos in dynamical systems, asymptotic methods in nonlinear dynamics, dynamics in life sciences and bioengineering, original numerical methods of vibration analysis, control in dynamical systems, stability of dynamical systems, vibrations of lumped and continuous sytems, non-smooth systems, engineering systems and differential equations, mathematical approaches to dynamical systems, and mechatronics.
Автор: Nancy A. Lynch Название: Distributed Algorithms, ISBN: 1558603484 ISBN-13(EAN): 9781558603486 Издательство: Elsevier Science Рейтинг: Цена: 20549.00 р. Наличие на складе: Поставка под заказ.
Описание: A guide to designing, implementing and analyzing distributed algorithms. It covers problems including resource allocation, communication, consensus among distributed processes, data consistency, deadlock detection, leader election and global snapshots.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
