Kniha Relational and Algebraic Methods in Computer Science Wolfram Kahl

Relational and Algebraic Methods in Computer Science

15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.13
This book constitutes the proceedings of the 15th International Conference on Relational and Algebra...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2015
Stránok
395
EAN
9783319247038
ISBN
3319247034
Enbook ID
09523628
Hmotnosť
6146
Rozmery
155 x 235 x 20

Kompletný popis

This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015.§§The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.§

Mohlo by vás zaujímať

9.51
33.94
26.48

Trapped

Laurie Halse Anderson
6.37
8.33

Baseball Research Journal (BRJ), Volume 39 #2

Society for American Baseball Research
10.98
22.66
13.63

DAX Patterns

Russo Marco Russo
31.09

My A-Z Animal Rhymes

Ghaghada Rinkesh Ghaghada
9.51
4.41

I'm Fat!

Anthony Feinman
18.63
17.75

Differential Geometry

Elisabetta Barletta
129.81

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Blue Lock n? 25

Muneyuki Kaneshiro
8.92
28.94
8.33
9.61
16.67

ABC - BOOK

XAVIER DENEUX
11.47

Nachts

Mercedes Lauenstein
15.59