Name: Relational and Algebraic Methods in Computer Science: 15th International Conference, Ramics 2015, Braga, Portugal, September 28 - October 1, 2015, Pro (en Inglés)
Price: 266.61 PEN
Availability: InStock
Author: Kahl, Wolfram ; Winter, Michael ; Oliveira, José
ISBN: 9783319247038

portada Relational and Algebraic Methods in Computer Science: 15th International Conference, Ramics 2015, Braga, Portugal, September 28 - October 1, 2015, Pro (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Kahl, Wolfram ; Winter, Michael ; Oliveira, José

Idioma

Inglés

N° páginas

395

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 2.1 cm

Peso

0.57 kg.

ISBN13

9783319247038

Categorías

Ciencia y análisis de datos
Lógica matemática
Análisis y captura de datos
Inteligencia artificial

Relational and Algebraic Methods in Computer Science: 15th International Conference, Ramics 2015, Braga, Portugal, September 28 - October 1, 2015, Pro (en Inglés)

Kahl, Wolfram ; Winter, Michael ; Oliveira, José (Autor) · Springer · Tapa Blanda

Libro Nuevo

S/ 266,61

S/ 533,22

Ahorras: S/ 266,61

50% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 29 de Julio y el Lunes 12 de Agosto.

Lo recibirás en cualquier lugar de Perú entre 2 y 5 días hábiles luego del envío.

Reseña del libro "Relational and Algebraic Methods in Computer Science: 15th International Conference, Ramics 2015, Braga, Portugal, September 28 - October 1, 2015, Pro (en Inglés)"

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.