Kniha Relational and Algebraic Methods in Computer Science Peter Höfner

Relational and Algebraic Methods in Computer Science

14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the proceedings of the 14th International Conference on Relational and Algebra...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2014
Stránek
463
EAN
9783319062501
ISBN
3319062506
Enbook ID
02544949
Hmotnost
7139
Rozměry
155 x 235 x 26

Kompletní popis

This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 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.§

Mohlo by vás zajímat

1 041

Lightning

Danielle Steel
306
238

Short-Meriner Family

Brian K Crawford
230

True Grace

JAZ GILL
799

Zákaznicí kteří koupili tuto knihu koupili také

248
319
932

Macbeth, Englisch-Deutsch

William Shakespeare
280

Das Bärenwunder

Wolf Erlbruch
300