电子书 > 科学 > 数学 > R. Berghammer & Bernhard Moller: Relational and Kleene-Algebraic Methods in Computer Science (PDF)

R. Berghammer & Bernhard Moller
Relational and Kleene-Algebraic Methods in Computer Science [PDF ebook]
7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers

支持

的封面 R. Berghammer & Bernhard Moller: Relational and Kleene-Algebraic Methods in Computer Science (PDF)

€57.42

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● ISBN 9783540247715 ● 编辑 R. Berghammer & Bernhard Moller ● 出版者 Springer Berlin Heidelberg ● 发布时间 2004 ● 下载 3 时 ● 货币 EUR ● ID 6315841 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

R. Berghammer Bernhard Moller Georg Struth

49,474 此类电子书

的封面 Tzafestas: Stochastic Large-Scale Engineering Systems

Tzafestas: Stochastic Large-Scale Engineering Systems

This book focuses on the class of large-scale stochastic systems, which has dominated the attention of many academic and research groups. It discusses distributed-sensor networks, decentralized detec …

的封面 Tevian Dray: The Geometry of Special Relativity

Tevian Dray: The Geometry of Special Relativity

This unique book presents a particularly beautiful way of looking at special relativity. The author encourages students to see beyond the formulas to the deeper structure. The unification of space an …

的封面 Alexander D. Kolesnik: Markov Random Flights

Alexander D. Kolesnik: Markov Random Flights

Markov Random Flights is the first systematic presentation of the theory of Markov random flights in the Euclidean spaces of different dimensions. Markov random flights is a stochastic dynamic system …

的封面 Diana Cole: Parameter Redundancy and Identifiability

Diana Cole: Parameter Redundancy and Identifiability

的封面 Jitendra R. (National Aerospace Laboratories (CSIR-NAL), India) Raol & Jatinder (National Aerospace Laboratories (CSIR-NAL), India) Singh: Flight Mechanics Modeling and Analysis

Jitendra R. (National Aerospace Laboratories (CSIR-NAL), India) Raol & Jatinder (National Aerospace Laboratories (CSIR-NAL), India) Singh: Flight Mechanics Modeling and Analysis

Flight Mechanics Modeling and Analysis comprehensively covers flight mechanics and flight dynamics using a systems approach. This book focuses on applied mathematics and control theory in its discuss …

的封面 Peter Fletcher & William F. Lindgren: Quasi-Uniform Spaces

Peter Fletcher & William F. Lindgren: Quasi-Uniform Spaces

Since quasi-uniform spaces were defined in 1948, a diverse and widely dispersed literatureconcerning them has emerged. In Quasi-Uniform Spaces, the authors present a comprehensivestudy of these struc …

的封面 Louis (Siemens, Cypress, California, USA) Komzsik: Applied Calculus of Variations for Engineers, Third edition

Louis (Siemens, Cypress, California, USA) Komzsik: Applied Calculus of Variations for Engineers, Third edition

Calculus of variations has a long history. Its fundamentals were laid down by icons of mathematics like Euler and Lagrange. It was once heralded as the panacea for all engineering optimization proble …

的封面 Yevgeniy V. Galperin: An Image Processing Tour of College Mathematics

Yevgeniy V. Galperin: An Image Processing Tour of College Mathematics

An Image Processing Tour of College Mathematics aims to provide meaningful context for reviewing key topics of the college mathematics curriculum, to help students gain confidence in using concepts a …

的封面 Weinan E: Applied Stochastic Analysis

Weinan E: Applied Stochastic Analysis

This is a textbook for advanced undergraduate students and beginning graduate students in applied mathematics. It presents the basic mathematical foundations of stochastic analysis (probability theor …

的封面 Mateusz Michalek: Invitation to Nonlinear Algebra

Mateusz Michalek: Invitation to Nonlinear Algebra

Nonlinear algebra provides modern mathematical tools to address challenges arising in the sciences and engineering. It is useful everywhere, where polynomials appear: in particular, data and computat …