Mathematical Foundations of Programming Semantics, Michael G. Main; Austin C. Melton; Michael W. Misl
Автор: Sung Название: Algorithms in Bioinformatics ISBN: 1420070339 ISBN-13(EAN): 9781420070330 Издательство: Taylor&Francis Рейтинг: Цена: 13779.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents an introduction to the algorithmic techniques applied in bioinformatics. For each topic, this title details the biological motivation, defines the corresponding computational problems, and includes examples to illustrate each algorithm.
Описание: Combining theory with numerous MATLAB based examples, this text provides a clear and systematic treatment of the mathematical and physical foundations of imaging and wavefield inversion. Key areas of discussion include Green function and the concept of field time reversal. It will appeal to graduate students and researchers alike.
Автор: Stephen Brookes; Michael Main; Austin Melton; Mich Название: Mathematical Foundations of Programming Semantics ISBN: 3540580271 ISBN-13(EAN): 9783540580270 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume of conference proceedings focuses on the semantics of programming languages and the mathematics which support the study of semantics. Current research is also presented on denotational semantics and the application of semantics to category theory, logic and lattice theory.
Автор: Michael Main; Austin Melton; Michael Mislove; Davi Название: Mathematical Foundations of Programming Language Semantics ISBN: 3540190201 ISBN-13(EAN): 9783540190202 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987.
Автор: Austin Melton Название: Mathematical Foundation of Programming Semantics ISBN: 3540168168 ISBN-13(EAN): 9783540168164 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Joshi Название: Introduction to Mathematical Portfolio Theory ISBN: 1107042313 ISBN-13(EAN): 9781107042315 Издательство: Cambridge Academ Рейтинг: Цена: 9029.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A concise yet comprehensive guide to the mathematics of portfolio theory from a modelling perspective, with discussion of the assumptions, limitations and implementations of the models as well as the theory underlying them. Aimed at advanced undergraduates, this book can be used for self-study or as a course text.
Автор: Ers?bet Csuhaj-Varj?; Martin Dietzfelbinger; Zolt? Название: Mathematical Foundations of Computer Science 2014 ISBN: 3662445212 ISBN-13(EAN): 9783662445211 Издательство: Springer Рейтинг: Цена: 10062.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Table of Contents - Volume I.-Invited contributions.- Partial-Observation Stochastic Reachability and Parity Games.- Every graph is easy or hard: dichotomy theorems for graph problems.- Computer Poker and Computational Game Theory.- Random Deterministic Automata.- Communication Complexity Theory: Thirty-Five Years of Set Disjointness.- What does the local structure of a planar graph tell us about its global structure?.- Logic, Semantics, Automata and Theory of Programming.- Choiceless Polynomial Time on structures with small Abelian colour Classes.- Sofic-Dyck shifts.- A Logical Characterization of Timed (non-)Regular Languages.- Asymptotic Monadic Second-Order Logic.- Towards Efficient Reasoning Under Guarded-based Disjunctive Existential Rules.- Alternating Parity Krivine Automata.- Advances in Parametric Real-Time Reasoning.- Universal Lyndon Words.- Subword complexity and decomposition of the set of factors.- Cyclic Complexity of Words.- Classifying Recognizable Infinitary Trace Languages Using Word Automata.- Bounded variable logic, parameterized logarithmic space, and Savitch's Theorem.- An algebraic characterization of unary two-way transducers.- Size-Change Abstraction and Max-Plus Automata.- Alternating Vector Addition Systems with States.- Information Rate of Some Classes of Non-regular Languages: An Automata-theoretic Approach.- Relating Nominal and Higher-Order Rewriting.- Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures.- Two Recursively Inseparable Problems for Probabilistic Automata.- Monadic Second-Order Logic with Arbitrary Monadic Predicates.- Transforming two-way alternating finite automata to one-way nondeterministic automata.- Measure Properties of Game Tree Languages.- On Upper and Lower Bounds on the Length of Alternating Towers.- LaxF: Side Conditions and External Evidence as Monads.- The monoid of queue actions.- Undecidable properties of self-affine sets and multi-tape automata.- Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality.- A Unifying Approach for Multistack Pushdown Automata.- Definability and Transformations for Cost Logics and Automatic Structures.- Generalised Lyndon-Schьtzenberger Equations.- Complexity of Equivalence and Learning for Multiplicity Tree Automata.- Monadic datalog and regular tree pattern queries.- Model Checking Concurrent Recursive Programs using Temporal Logics.- Decidability of the interval temporal logic AABB over the rationals.- Reachability in Pushdown Register Automata.- A Generalization of the Los-Tarski Preservation Theorem over Classes of Finite Structures.- Determinising Parity Automata.- Tight Bounds for Complementing Parity Automata.- On Infinite Words Determined by Indexed Languages.- A Pumping Lemma for Two-Way Finite Transducers.- Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems.- The Dynamic Descriptive Complexity of k-Clique.
Автор: B. D. Craven Название: Mathematical Programming and Control Theory ISBN: 0412155001 ISBN-13(EAN): 9780412155000 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Duality theory - the various nonlinear generaliz- ations of the well-known duality theorem of linear program- ming - is found relevant also to optimal control, and the , PREFACE Pontryagin theory for optimal control also illuminates finite dimensional problems.
Автор: Tramontano Название: Introduction to Bioinformatics ISBN: 1584885696 ISBN-13(EAN): 9781584885696 Издательство: Taylor&Francis Рейтинг: Цена: 12095.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From the elucidation and analysis of a genomic sequence to the prediction of a protein structure and the identification of the molecular function, this book describes the rationale and limitations of the bioinformatics methods and tools that can help solve biological problems. It addresses the ways to store and retrieve biological data.
Автор: Stephen Brookes; Michael Main; Austin Melton; Mich Название: Mathematical Foundations of Programming Semantics ISBN: 3540555110 ISBN-13(EAN): 9783540555117 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is taken from a conference which aimed to bring together computer scientists and mathematicians for discussion of research problems, results and directions in programming language semantics and related areas.
Автор: Ganter B., Wille R. Название: Formal Concept Analysis: Mathematical Foundations ISBN: 3540627715 ISBN-13(EAN): 9783540627715 Издательство: Springer Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Formal Concept AllalY.5is is a field of applied mathematics based on the math- ematization of concept and conceptual hierarchy. It thereby activates math- ematical thinking for conceptual data analysis and knowledge processing. The underlying notion of "concept" evolved early in the philosophical theory of concepts and still has effects today. For example, it has left its mark in the German standards DIN 2: )30 and DIN 2;3: )1. In mathematics it played a special role during the emergence of mathematical logic in the 19th century. Subsequently, however, it had virtually no impact on mathematical thinking. It was not until 1979 that the topic was revisited and treated more thoroughly. Since then, through a large number of contributions, Formal Concept Analysis has obtained such breadth that a systematic presentation is urgently needed, but can no longer be realized in one volume. Therefore, the present book foruse: ': on the mathematical foundations of Formal Concept Analysis, which ran be regarded chiefly as a branch of ap- plied lattice theory. A series of examples serves to demonstrate the utility of the lnathematical definitions and results; in particular, to show how Formal Concept Analysis can be used for the conceptual unfolding of data contexts. These examples do not play the role of case studies in data analysis. A is intended for a comprehensive treatment of methods of separate volume conceptual data and knowledge processing. The general foundations of For- mal Concept Analysis will also be treated separately.
Автор: Dhami, Sanjit Название: The foundations of behavioral economic analysis ISBN: 0198715536 ISBN-13(EAN): 9780198715535 Издательство: Oxford Academ Рейтинг: Цена: 10296.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the first definitive introduction to behavioral economics aimed at advanced undergraduate and postgraduate students. Authoritative, cutting edge, yet accessible, it guides the reader through theory and evidence, providing engaging and relevant applications throughout.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
