Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Implementation and application of automata : 18th International Conference, Proceedings, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / Stavros Konstantinidis (ed.). by Series: Lecture notes in computer science ; 7982. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer, [2013]
Other title:
  • CIAA 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings / edited by Stavros Konstantinidis, Giovanni Pighizzini (eds.). by Series: Lecture notes in computer science ; 10952. | 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:
  • DCFS 2018
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings / edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis. by Series: Lecture notes in computer science ; 11612. | 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, 2019Copyright date: ©2019
Other title:
  • DCFS 2019
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha