Studiebog

Relational and Algebraic Methods in Computer Science

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

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
+1

Normalpris

kr. 414,95

Medlemspris

kr. 389,95

Du sparer kr. 25,00
Fri fragt

Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Leveringstid: 2-3 uger (Sendes fra fjernlager)
Forventet levering: 11-03-2026
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

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.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal463
Udgivelsesdato10-04-2014
ISBN139783319062501
Forlag Springer International Publishing AG
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Findes i disse kategorier...

Se andre, der handler om...

Algebraic topology Combinatorial optimization Optimization algorithms Database theory Modal and temporal logics Software fault tolerance Concurrent algorithms Relational database model functional constructs