Formal Concept Analysis, S?bastien Ferr?; Sebastian Rudolph

Автор: Taylor, John R.
Название: Introduction to error analysis
ISBN: 093570275X ISBN-13(EAN): 9780935702750
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The need for error analysis is captured in the book`s arresting cover shot - of the 1895 Paris train disaster (also available as a wall poster). The early chapters teach elementary techniques of error propagation and statistical analysis to enable students to produce successful lab reports.

Автор: Atkinson
Название: Theoretical Numerical Analysis
ISBN: 1441904573 ISBN-13(EAN): 9781441904577
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book prepares graduate students for research in numerical analysis/computational mathematics by giving a mathematical framework embedded in functional analysis and focused on numerical analysis. This helps them to move rapidly into a research program.

Автор: Constantin
Название: Fourier Analysis
ISBN: 110762035X ISBN-13(EAN): 9781107620353
Издательство: Cambridge Academ
Рейтинг:
Цена: 7445.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A two-volume advanced text for graduate students. This first volume covers the theory of Fourier analysis.

Автор: Wolfgang Nitsche; Christoph Dobriloff
Название: Imaging Measurement Methods for Flow Analysis
ISBN: 3642101704 ISBN-13(EAN): 9783642101700
Издательство: Springer
Рейтинг:
Цена: 39182.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains the results of the priority programme Imaging Measurement Methods for Flow Analysis conducted in 2003-2009. This book gives an overview of developments in the fields of image based flow measurements and analysis.

Название: Symmetry Analysis of Differential Equations with Mathematica
ISBN: 0387985522 ISBN-13(EAN): 9780387985527
Издательство: Springer
Цена: 13969.00 р.
Наличие на складе: Поставка под заказ.

Описание: This is the first book which explicitly uses Mathematica (computer algebra system) to allow researchers and students to more easily compute and solve almost any kind of differential equation using Lie's theory. Heretofore time-consuming and cumbersome calculations if done by hand, are much more easily and quickly performed via the Mathematica computer algebra software. The material in this book, and on the accompanying CD-ROM, should be of interest to a broad group of scientists, mathematicians and engineers involved in dealing with symmetry analysis of differential equations. Each section of the book starts with a theoretical discussion of the material, then shows the application in connection with Mathematica. This book contains a large number of working examples relating to these applications of Lie's theory. The cross-platform CD-ROM contains Mathematica (version 3.0) notebooks which provide users with the capability of directly interacting with the code presented within the book. In addition, the author's proprietary "MathLie" software is included, so users can readily learn to use this powerful tool to perform algebraic computations.

Автор: L?onard Kwuida; Baris Sertkaya
Название: Formal Concept Analysis
ISBN: 3642119271 ISBN-13(EAN): 9783642119279
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Franck Cassez; Claude Jard
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 354085777X ISBN-13(EAN): 9783540857778
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions.

Автор: Barbara Paech; Craig Martell
Название: Innovations for Requirement Analysis. From Stakeholders` Needs to Formal Designs
ISBN: 3540897771 ISBN-13(EAN): 9783540897774
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, September 10-13, 2007. This book includes 10 papers that were selected during two rounds of reviewing and revision.

Автор: Wesam Ashour Barbakh; Ying Wu; Colin Fyfe
Название: Non-Standard Parameter Adaptation for Exploratory Data Analysis
ISBN: 3642040047 ISBN-13(EAN): 9783642040047
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A review of standard algorithms provides the basis for more complex data mining techniques in this overview of exploratory data analysis. Recent reinforcement learning research is presented, as well as novel methods of parameter adaptation in machine learning.

Автор: Javier Esparza; Rupak Majumdar
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3642120016 ISBN-13(EAN): 9783642120015
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

Автор: Stan Z. Li
Название: Markov Random Field Modeling in Image Analysis
ISBN: 1849967679 ISBN-13(EAN): 9781849967679
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This detailed book presents a comprehensive study on the use of Markov Random Fields for solving computer vision problems. Various vision models are presented, and this third edition includes the most recent advances with new and expanded sections.

Автор: Jens Palsberg; Zhendong Su
Название: Static Analysis
ISBN: 3642032362 ISBN-13(EAN): 9783642032363
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.