Mathematical Foundations of Computer Science 2000, Mogens Nielsen; Branislav Rovan

Автор: Sergei Artemov; Anil Nerode
Название: Logical Foundations of Computer Science
ISBN: 3642357210 ISBN-13(EAN): 9783642357213
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. logical foundations of database theory; intelligent and multiple agent system logics; distributed system logics;

Автор: David Makinson; Jacek Malinowski; Heinrich Wansing
Название: Towards Mathematical Philosophy
ISBN: 9048180651 ISBN-13(EAN): 9789048180653
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences.

Автор: Igor Privara; Peter Ruzicka
Название: Mathematical Foundations of Computer Science 1997
ISBN: 3540634371 ISBN-13(EAN): 9783540634379
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS `97. The papers cover a range of theoretical computer science including programming theory, complexity theory, mathematical logic, rewriting, grammars and formal languages.

Автор: P. Dembinski
Название: Mathematical Foundations of Computer Science 1980
ISBN: 354010027X ISBN-13(EAN): 9783540100270
Издательство: Springer
Рейтинг:
Цена: 43780.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Michael G. Main; Austin C. Melton; Michael W. Misl
Название: Mathematical Foundations of Programming Semantics
ISBN: 0387973753 ISBN-13(EAN): 9780387973753
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Michael Main; Austin Melton; Michael Mislove; Davi
Название: Mathematical Foundations of Programming Language Semantics
ISBN: 3540190201 ISBN-13(EAN): 9783540190202
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Stephen Brookes; Michael Main; Austin Melton; Mich
Название: Mathematical Foundations of Programming Semantics
ISBN: 3540580271 ISBN-13(EAN): 9783540580270
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Andras Kornai
Название: Mathematical Linguistics
ISBN: 184996694X ISBN-13(EAN): 9781849966948
Издательство: Springer
Рейтинг:
Цена: 71690.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians interested in natural language processing. The book presents linguistics as a cumulative body of knowledge from the ground up: no prior knowledge of linguistics is assumed.

Автор: M?rcio Corn?lio; Bill Roscoe
Название: Formal Methods: Foundations and Applications
ISBN: 3319294725 ISBN-13(EAN): 9783319294728
Издательство: Springer
Рейтинг:
Цена: 37270.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking;

Автор: Jordi Cabot; Julia Rubin
Название: Modelling Foundations and Applications
ISBN: 3319091948 ISBN-13(EAN): 9783319091945
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation track papers and the 3 applications track papers presented in this volume were carefully reviewed and selected from 58 submissions.

Автор: Christiano Braga; Narciso Mart?-Oliet
Название: Formal Methods: Foundations and Applications
ISBN: 331915074X ISBN-13(EAN): 9783319150741
Издательство: Springer
Рейтинг:
Цена: 37270.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceio, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions.

Автор: Javier Esparza; Andrzej S. Murawski
Название: Foundations of Software Science and Computation Structures
ISBN: 3662544571 ISBN-13(EAN): 9783662544570
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Coherence Spaces and Higher-Order Computation.- Coherence Spaces and Uniform Continuity.- The Free Exponential Modality of Probabilistic Coherence Spaces.- From Qualitative to Quantitative Semantics by Change of Base.- Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence.-Algebra and Coalgebra.- Algebra, coalgebra, and minimization in polynomial differential equations.- Equational Theories of Abnormal Termination Based on Kleene Algebra.- Companions, Codensity and Causality.- Nominal Automata with Name Binding.- Games and Automata.- On the existence of weak subgame perfect equilibria.- Optimal Reachability in Divergent Weighted Timed Games.- Bounding Average-energy Games.- Logics of repeating values on data trees and branching counter systems.- Automata, Logic and Formal Languages.- Degree of sequentiality of weighted automata.- Emptiness under isolation and the value problem for hierarchical probabilistic automata.- Partial Derivatives for Context-Free Languages.- Dynamic Complexity of the Dyck Reachability.- Proof Theory.- Cyclic Arithmetic is Equivalent to Peano Arithmetic.- Martin-Lof's Inductive Definitions are Not Equivalent to Cyclic Proofs.- Probability.- On the relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context.- Computing continuous time Markov chains as transformers of unbounded observation functions.- Pointless Learning.- On Higher-Order Probabilistic Subrecursion. - Concurrency.- A Truly Concurrent Game Model of the Asynchronous ᴨ-Calculus.- Local Model Checking in a Logic for True Concurrency.- The Paths to Choreography Extraction.- On the Undecidability of Asynchronous Session Subtyping.- Lambda Calculus and Constructive Proof.- A Lambda-Free Higher-Order Recursive Path Order.- Automated Constructivization of Proofs.- Semantics and Category Theory.- A Light Modality for Recursion.- Unifying Guarded and Unguarded Iteration.- Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type.- On the Semantics of Intensionality.