หนังสือดิจิตอล > วิทยาศาสตร์ > คณิตศาสตร์ > Christel Baier & Ugo Dal Lago: Foundations of Software Science and Computation Structures (ePUB)

Christel Baier & Ugo Dal Lago
Foundations of Software Science and Computation Structures [EPUB ebook]
21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings

สนับสนุน

ปกของ Christel Baier & Ugo Dal Lago: Foundations of Software Science and Computation Structures (ePUB)

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.

€3.83

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

ภาษา อังกฤษ ● รูป EPUB ● ISBN 9783319893662 ● บรรณาธิการ Christel Baier & Ugo Dal Lago ● สำนักพิมพ์ Springer International Publishing ● การตีพิมพ์ 2018 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 6681989 ● ป้องกันการคัดลอก Adobe DRM

ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

Christel Baier Ugo Dal Lago

50,053 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ Leo Breiman: Classification and Regression Trees

Leo Breiman: Classification and Regression Trees

The methodology used to construct tree structured rules is the focus of this monograph. Unlike many other statistical procedures, which moved from pencil and paper to calculators, this text”s use of …

ปกของ Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

The first book to examine weakly stationary random fields and their connections with invariant subspaces (an area associated with functional analysis). It reviews current literature, presents central …

ปกของ J.S. Maritz: Empirical Bayes Methods with Applications

J.S. Maritz: Empirical Bayes Methods with Applications

The second edition of Empirical Bayes Methods details are provided of the derivation and the performance of empirical Bayes rules for a variety of special models. Attention is given to the problem of …

ปกของ Rene Thom: Structural Stability And Morphogenesis

Rene Thom: Structural Stability And Morphogenesis

First Published in 2018. It is now some fifteen years since Structural Stability and Morphogenesis was first published in the French edition. The purely mathematical theory of singularities of smooth …

ปกของ Daniele (University of Roma Tor Vergata, Rome, Italy) Bertaccini & Fabio (Universita degli Studi dell'Insubria, Dipartimento di Scienza ed Alta Tecnologia, Como, Italy) Durastante: Iterative Methods and Preconditioning for Large and Sparse Linear Systems

Daniele (University of Roma Tor Vergata, Rome, Italy) Bertaccini & Fabio (Universita degli Studi dell’Insubria, Dipartimento di Scienza ed Alta Tecnologia, Como, Italy) Durastante: Iterative Methods and Preconditioning for Large and Sparse Linear Systems

This book describes, in a basic way, the most useful and effective iterative solvers and appropriate preconditioning techniques for some of the most important classes of large and sparse linear syste …

ปกของ S.K. Kar & B.M. Mohan: Continuous Time Dynamical Systems

S.K. Kar & B.M. Mohan: Continuous Time Dynamical Systems

Optimal control deals with the problem of finding a control law for a given system such that a certain optimality criterion is achieved. An optimal control is a set of differential equations describi …

ปกของ Virgil Anderson & Thomas Lorenzen: Design of Experiments

Virgil Anderson & Thomas Lorenzen: Design of Experiments

Presents a novel approach to the statistical design of experiments, offering a simple way to specify and evaluate all possible designs without restrictions to classes of named designs. The work also …

ปกของ Charles (Indiana State University, Terre Haute, USA) Roberts: Elementary Differential Equations

Charles (Indiana State University, Terre Haute, USA) Roberts: Elementary Differential Equations

Elementary Differential Equations, Second Edition is written with the knowledge that there has been a dramatic change in the past century in how solutions to differential equations are calculat …

ปกของ J. Malek & J. Necas: Weak and Measure-Valued Solutions to Evolutionary PDEs

J. Malek & J. Necas: Weak and Measure-Valued Solutions to Evolutionary PDEs

This book provides a concise treatment of the theory of nonlinear evolutionary partial differential equations. It provides a rigorous analysis of non-Newtonian fluids, and outlines its results for ap …

ปกของ Fernanda De Bastiani & Gillian Z. (Department of Statistics, Faculty of Science and Enginerring, Macquarie University, Australia) Heller: Distributions for Modeling Location, Scale, and Shape

Fernanda De Bastiani & Gillian Z. (Department of Statistics, Faculty of Science and Enginerring, Macquarie University, Australia) Heller: Distributions for Modeling Location, Scale, and Shape

This is a book about statistical distributions, their properties, and their application to modelling the dependence of the location, scale, and shape of the distribution of a response variable on exp …

หน้าต่อไป >>>