Numerical Analysis and Its Applications, Ivan Dimov; Istv?n Farag?; Lubin Vulkov

Автор: J. Stoer; R. Bartels; W. Gautschi; R. Bulirsch; C.
Название: Introduction to Numerical Analysis
ISBN: 038795452X ISBN-13(EAN): 9780387954523
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: New edition of a well-known classic in the field; Previous edition sold over 6000 copies worldwide; Fully-worked examples; Many carefully selected problems

Автор: Lucanu
Название: Rewriting Logic and Its Applications
ISBN: 3319448013 ISBN-13(EAN): 9783319448015
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.

Автор: Santiago Escobar
Название: Rewriting Logic and Its Applications
ISBN: 3319129031 ISBN-13(EAN): 9783319129037
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Composition of Graph-Transformation-Based DSL Definitions by Amalgamation.- Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude.- Real-Time Maude and Its Applications.- Conditional Narrowing Modulo in Rewriting Logic and Maude.- Language Definitions as Rewrite Theories.- Infinite-State Model Checking of LTLR Formulas Using Narrowing.- Modelling and Verifying Contract-Oriented Systems in Maude.- Towards Static Analysis of Functional Programs Using Tree Automata Completion.- Framework for Mobile Ad hoc Networks in Real-Time Maude.- Strong and Weak Operational Termination of Order-Sorted Rewrite Theories.- 2D Dependency Pairs for Proving Operational Termination of CTRSs.- FunKons: Component-Based Semantics in K.- An Integration of CafeOBJ into Full Maude.- Rewriting Modulo SMT and Open System Analysis.- Formal Specification of Button-Related Fault-Tolerance Micropatterns.- A Formal Semantics of the OSEK/VDX Standard in K Framework and Its Applications.

Автор: Svetozar D. Margenov; Lubin Georgiev Vulkov; Jerzy
Название: Numerical Analysis and Its Applications
ISBN: 3642004636 ISBN-13(EAN): 9783642004636
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-conference proceedings of the 4th International Conference on Numerical Analysis and Its Applications, NAA 2008, held in Lozenetz, Bulgaria in June 2008. This book addresses various aspects of numerical analysis and discusses a wide range of problems concerning achievements in physics, chemistry and engineering.

Автор: Ivan Dimov; Stefka Fidanova; Ivan Lirkov
Название: Numerical Methods and Applications
ISBN: 3319155849 ISBN-13(EAN): 9783319155845
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Numerical Methods and Applications, NMA 2014, held in Borovets, Bulgaria, in August 2014. advanced numerical methods for scientific computing; advanced numerical techniques for PDEs and applications;

Автор: Buffa Annalisa
Название: Isogeometric Analysis: A New Paradigm in the Numerical Appro
ISBN: 3319423088 ISBN-13(EAN): 9783319423081
Издательство: Springer
Рейтинг:
Цена: 4890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Providing an introduction to isogeometric methods with a focus on their mathematical foundations, this book is composed of four chapters, each devoted to a topic of special interests for isogeometric methods and their theoretical understanding.

Автор: Ghosh
Название: Logic and Its Applications
ISBN: 3662540681 ISBN-13(EAN): 9783662540688
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge.

Автор: Mohua Banerjee; Krishna S.
Название: Logic and Its Applications
ISBN: 3662458233 ISBN-13(EAN): 9783662458235
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Homotopy Type Theory.- The Relevance of Relevance to Relevance Logic.- Logic-Automata Connections for Transformations.- Truths about Simpson's Paradox: Saving the Paradox from Falsity.- Some instances of graded consequence in the context of interval-valued Semantics.- Neighborhood Contingency Logic.- Hierarchies in inclusion logic with lax semantics.- A Modal Logic for Non-deterministic Information Systems.- Tableaux for non-normal public announcement logic.-A pragmatistic approach to propositional knowledge based on the successful behavior of belief.- Bьchi Automata Optimisations Formalised in Isabelle/HOL.- Nēya's logical model for Ascertaining Sound Arguments.- Negative Existentials and Non-denoting Terms.- Ordinals in an algebra-valued model of a paraconsistent set theory.- Extending Carnap's Continuum to Binary Relations. Representing Imperfect Information of Procedures with Hyper Models.