Описание: 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.
Автор: Boudreau, Joseph F. (professor Of Physics, Departm Название: Applied computational physics ISBN: 0198708645 ISBN-13(EAN): 9780198708643 Издательство: Oxford Academ Рейтинг: Цена: 10138.00 р. Наличие на складе: Поставка под заказ.
Описание: A textbook that addresses a wide variety of problems in classical and quantum physics. Modern programming techniques are stressed throughout, along with the important topics of encapsulation, polymorphism, and object-oriented design. Scientific problems are physically motivated, solution strategies are developed, and explicit code is presented.
Автор: Tshilidzi Marwala; Monica Lagazio Название: Militarized Conflict Modeling Using Computational Intelligence ISBN: 1447127013 ISBN-13(EAN): 9781447127017 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume offers a scientific approach to manage inter-country conflict. Readers will find that through simultaneous control of four specific aspects (democracy, dependency, allies and capacity), predicted dispute outcomes can be avoided.
Автор: 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.
Автор: Biswa Nath Datta Название: Applied and Computational Control, Signals, and Circuits ISBN: 1461355702 ISBN-13(EAN): 9781461355700 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Applied and Computational Control, Signals, and Circuits: Recent Developments is an interdisciplinary book blending mathematics, computational mathematics, scientific computing and software engineering with control and systems theory, signal processing, and circuit simulations.
Автор: Koushik Maharatna; Goutam Kumar Dalapati; P K Bane Название: Computational Advancement in Communication Circuits and Systems ISBN: 8132222733 ISBN-13(EAN): 9788132222736 Издательство: Springer Рейтинг: Цена: 36570.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book comprises the proceedings of 1st International Conference on Computational Advancement in Communication Circuits and Systems (ICCACCS 2014) organized by Narula Institute of Technology under the patronage of JIS group, affiliated to West Bengal University of Technology.
Автор: Koushik Maharatna; Goutam Kumar Dalapati; P K Bane Название: Computational Advancement in Communication Circuits and Systems ISBN: 8132234073 ISBN-13(EAN): 9788132234074 Издательство: Springer Рейтинг: Цена: 28732.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book comprises the proceedings of 1st International Conference on Computational Advancement in Communication Circuits and Systems (ICCACCS 2014) organized by Narula Institute of Technology under the patronage of JIS group, affiliated to West Bengal University of Technology.
Автор: Miranda, Mario J. Название: Applied Computational Economics and Finance ISBN: 0262134209 ISBN-13(EAN): 9780262134200 Издательство: MIT Press Рейтинг: Цена: 6809.00 р. Наличие на складе: Нет в наличии.
Описание: This book presents a variety of computational methods used to solve dynamic problems in economics and finance. It emphasises practical numerical methods
rather than mathematical proofs and focuses on techniques that apply directly to economic analyses. The examples are drawn from a wide range of subspecialties of economics and
finance, with particular emphasis on problems in agricultural and resource economics, macroeconomics, and finance.
The book's Web site provides an extensive Web-site
library of computer utilities and demonstration programs. The book is divided into two parts. The first part develops basic numerical methods, including linear and nonlinear equation
methods, complementarity methods, finite-dimensional optimisation, numerical integration and differentiation, and function approximation.
The second part presents methods for
solving dynamic stochastic models in economics and finance, including dynamic programming, rational expectations, and arbitrage pricing models in discrete and continuous time. The
book uses MATLAB to illustrate the algorithms and includes a utilities toolbox to help readers develop their own computational economics applications. The book's Web site can be
found at .
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
