Your search returned 7 results.

Not what you expected? Check for suggestions
1.
Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / Rudof Berghammer, Bernhard Möller, Georg Struth (eds.).

by International Seminar on Relational Methods in Computer Science (7th : 2003 : Bad Malente, Germany) | Berghammer, R. (Rudolf), 1952- | Möller, Bernhard, 1953- | Struth, Georg | International Workshop on Applications of Kleene Algebra (2nd : 2003 : Bad Malente, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedings / Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.).

by International Conference on Relational Methods in Computer Science (10th : 2008 : Frauenworth, Germany) | Berghammer, R. (Rudolf), 1952- | Möller, Bernhard, 1953- | Struth, Georg | International Workshop on Applications of Kleene Algebra (5th : 2008 : Frauenworth, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: Relational methods in computer science | Applications of Kleene algebra | Kleene algebra | RelMiCS/AKA 2008 | RelMiCS 2008 | AKA 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers / Wendy MacCaull, Michael Winter, Ivo Düntsch (eds.).

by International Seminar on Relational Methods in Computer Science (8th : 2005 : St. Catharines, Ont.) | MacCaull, Wendy | Winter, Michael (Professor) | Düntsch, Ivo | European Cooperation in the Field of Scientific and Technical Research (Organization). COST Action 274 TARSKI (Project). Workshop (2005 : St. Catharines, Ont.) | International Workshop on Applications of Kleene Algebra (3rd : 2005 : St. Catharines, Ont.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Relations and kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings / Rudolf Berghammer, Ali Mohamed Joaua, Bernhard Möller (eds.).

by International Conference on Relational Methods in Computer Science (11th : 2009 : Doha, Qatar) | Berghammer, R. (Rudolf), 1952- | Jaoua, Ali Mohamed | Möller, Bernhard.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Other title: Relational methods in computer science | Applications of Kleene algebra | Kleene algebra | Relmics 2009 | AKA 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Relational and algebraic methods in computer science : 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28-October 1, 2015, Proceedings / Wolfram Kahl, Michael Winter, José N. Oliveira (eds.).

by RAMiCS (Conference) (15th : 2015 : Braga, Portugal) | Kahl, W. (Wolfram) [editor.] | Winter, Michael (Professor) [editor.] | Oliveira, José N [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: RAMiCS 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Relational and algebraic methods in computer science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings / Peter Höfner, Damien Pous, Georg Struth (eds.).

by RAMiCS (Conference) (16th : 2017 : Lyon, France) | Höfner, Peter [editor.] | Pous, Damien [editor.] | Struth, Georg [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Other title: RAMiCS 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Relational and algebraic methods in computer science : 17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29-November 1, 2018, Proceedings / Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).

by RAMiCS (Conference) (17th : 2018 : Groningen, Netherlands) | Desharnais, Jules [editor.] | Guttmann, Walter [editor.] | Joosten, Stef [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: RAMiCS 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha