Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Recent trends in algebraic development techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers / Phillip James, Markus Roggenbach (eds.). by Series: Lecture notes in computer science ; 10644. | 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:
  • WADT 2016
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Recent trends in algebraic development techniques : 25th international workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers / Markus Roggenbach (ed.). by Series: Lecture notes in computer science ; 12669. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2021]
Other title:
  • WADT 2020
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Pages

Powered by Koha