Your search returned 18 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
3.
4.
Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings / Renate A. Schmidt (ed.). by Series: Lecture notes in computer science ; 4136.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • RelMiCS/AKA 2006
  • 9th International Conference on Relational Methods in Computer Science
  • 4th International Workshop on Applications of Kleene Algebra
  • Ninth International Conference on Relational Methods in Computer Science
  • Fourth International Workshop on Applications of Kleene Algebra
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
6.
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 Series: Lecture notes in computer science ; 5827. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2009
Other title:
  • Relational methods in computer science
  • Applications of Kleene algebra
  • Kleene algebra
  • Relmics 2009
  • AKA 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
8.
9.
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi, eds. by Series: Lecture notes in computer science ; 632.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1992
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
11.
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 Series: Lecture notes in computer science ; 10226. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Other title:
  • RAMiCS 2017
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
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 Series: Lecture notes in computer science ; 11194. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Other title:
  • RAMiCS 2018
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Relational and algebraic methods in computer science : 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, proceedings / Uli Fahrenberg, Peter Jipsen, Michael Winter (eds.). by Series: Lecture notes in computer science ; 12062. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cham : Springer, ©2020
Other title:
  • RAMiCS 2020
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
15.
Proceedings of the Logic Colloquium : held in Aachen, July 18-23, 1983. by Series: Lecture notes in mathematics (Springer-Verlag) ; 1103-1104.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1984
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
17.
Cafe : an industrial-strength algebraic formal method / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai. by
Edition: 1st ed.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Amsterdam ; New York : Elsevier, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
Pages

Powered by Koha