Wolfram Kahl – författare
Visar alla böcker från författaren Wolfram Kahl. Handla med fri frakt och snabb leverans.
8 produkter
Relational Methods in Computer Science
Av Chris Brink, Wolfram Kahl m. fl.
Häftad, 1997
566 kr
Lägg i varukorg
The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, …
Relational and Algebraic Methods in Computer Science
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Av Peter Höfner, Peter Jipsen m. fl.
Häftad, 2014
566 kr
Lägg i varukorg
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 …
Relational and Algebraic Methods in Computer Science
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Av Martin Eric Muller, Wolfram Kahl m. fl.
E-bok, 2014
710 kr
Lägg i varukorg
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 …
Relational and Algebraic Methods in Computer Science
15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Av Wolfram Kahl, Michael Winter m. fl.
Häftad, 2015
550 kr
Lägg i varukorg
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. …
Relational and Algebraic Methods in Computer Science
15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Av Jose Oliveira, Michael Winter m. fl.
E-bok, 2015
718 kr
Lägg i varukorg
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. …
Relational and Algebraic Methods in Computer Science
13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
Av Wolfram Kahl, Timothy G. Griffin
Häftad, 2012
566 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 …
Relational and Algebraic Methods in Computer Science
13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
Av Timothy G. Griffin, Wolfram Kahl
E-bok, 2012
734 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 …
Relational Methods in Computer Science
Av Gunther Schmidt, Wolfram Kahl m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, …
