หนังสือดิจิตอล > วิทยาศาสตร์ > คณิตศาสตร์ > Peter Hofner & Peter Jipsen: Relational and Algebraic Methods in Computer Science (PDF)

Peter Hofner & Peter Jipsen
Relational and Algebraic Methods in Computer Science [PDF ebook]
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 — May 1, 2014, Proceedings

สนับสนุน

ปกของ Peter Hofner & Peter Jipsen: Relational and Algebraic Methods in Computer Science (PDF)

This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMi CS 2014 held in Marienstatt, Germany, in April/May 2014.The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.

€56.99

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

ภาษา อังกฤษ ● รูป PDF ● ISBN 9783319062518 ● บรรณาธิการ Peter Hofner & Peter Jipsen ● สำนักพิมพ์ Springer International Publishing ● การตีพิมพ์ 2014 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 6302733 ● ป้องกันการคัดลอก Adobe DRM

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

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

Peter Hofner Peter Jipsen Wolfram Kahl Martin Eric Muller

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

ปกของ Gennadiy Vladimirovich Zhizhin: Normal Partitions and Hierarchical Fillings of N-Dimensional Spaces

Gennadiy Vladimirovich Zhizhin: Normal Partitions and Hierarchical Fillings of N-Dimensional Spaces

In the study of the structure of substances in recent decades, phenomena in the higher dimension was discovered that was previously unknown. These include spontaneous zooming (scaling processes), …

ปกของ X. Cao: Rings, Groups, and Algebras

X. Cao: Rings, Groups, and Algebras

‘Integrates and summarizes the most significant developments made by Chinese mathematicians in rings, groups, and algebras since the 1950s. Presents both survey articles and recent research results. …

ปกของ Mevin B. Hooten & Devin S. (Marine Mammal Laboratory, Alaska Fisheries Science Center, NOAA Fisheries, USA) Johnson: Animal Movement

Mevin B. Hooten & Devin S. (Marine Mammal Laboratory, Alaska Fisheries Science Center, NOAA Fisheries, USA) Johnson: Animal Movement

The study of animal movement has always been a key element in ecological science, because it is inherently linked to critical processes that scale from individuals to populations and communities to e …

ปกของ Michael Joswig: Essentials of Tropical Combinatorics

Michael Joswig: Essentials of Tropical Combinatorics

The goal of this book is to explain, at the graduate student level, connections between tropical geometry and optimization. Building bridges between these two subject areas is fruitful in two ways. …

ปกของ Nitis Mukhopadhyay: Probability and Statistical Inference

Nitis Mukhopadhyay: Probability and Statistical Inference

Priced very competitively compared with other textbooks at this level! This gracefully organized textbook reveals the rigorous theory of probability and statistical inference in the style of a tutori …

ปกของ Zbigniew Ficek: Problems and Solutions in Quantum Physics

Zbigniew Ficek: Problems and Solutions in Quantum Physics

Readers studying the abstract field of quantum physics need to solve plenty of practical, especially quantitative, problems. This book contains tutorial problems with solutions for the textbook …

ปกของ Vladimir (Ohio University) Vinogradov: Refined Large Deviation Limit Theorems

Vladimir (Ohio University) Vinogradov: Refined Large Deviation Limit Theorems

This is a developing area of modern probability theory, which has applications in many areas. This volume is devoted to the systematic study of results on large deviations in situations where …

ปกของ Paul-Jean (UniversitE d¿Aix-Marseille III, Marseille, France) Cahen & Marco (Terza Universita degli Studi di Roma, Italy) Fontana: Commutative Ring Theory

Paul-Jean (UniversitE d¿Aix-Marseille III, Marseille, France) Cahen & Marco (Terza Universita degli Studi di Roma, Italy) Fontana: Commutative Ring Theory

Presents the proceedings of the Second International Conference on Commutative Ring Theory in Fes, Morocco. The text details developments in commutative algebra, highlighting the theory of rings and …

ปกของ Adams Colin & Franzosa Robert: Calculus: Late Transcendentals Multivariable

Adams Colin & Franzosa Robert: Calculus: Late Transcendentals Multivariable

ปกของ Olga Oleinik & I.G. Petrovskii: I.G.Petrovskii:Selected Wrks P

Olga Oleinik & I.G. Petrovskii: I.G.Petrovskii:Selected Wrks P

This book contains the major works of Ivan Georgievich Petrowsky on systems of partial differential equations and algebraic geometry. The articles are of crucial importance for the topology of real …

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