Your search returned 6 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 : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers / Narciso Martí-Oliet, Miguel Palomino (eds.). by Series: Lecture notes in computer science ; 7841. | 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, ©2013
Other title:
  • WADT 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Recent trends in algebraic development techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.). by Series: Lecture notes in computer science ; 9463. | 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, 2015
Other title:
  • WADT 2014
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
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
4.
Recent trends in algebraic development techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised selected papers / José Luiz Fiadeiro, Ionuţ Ţuţu (eds.). by Series: Lecture notes in computer science ; 11563. | 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, 2019
Other title:
  • WADT 2018
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
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
6.
Pages

Powered by Koha