Your search returned 209 results.

Not what you expected? Check for suggestions
Sort
Results
161.
162.
Foundational and practical aspects of resource analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers / edited by Marko van Eekelen, Ugo Dal Lago. by Series: Lecture notes in computer science ; 9964. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Switzerland : Springer, 2016
Other title:
  • FOPARA 2015
Online resources:
Availability: Items available for loan: e-Library (1).
163.
164.
Logic-based program synthesis and transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers / Manuel V Hermenegildo, Pedro Lopez-Garcia (eds.). by Series: Lecture notes in computer science ; 10184. | 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:
  • LOPSTR 2016
Online resources:
Availability: Items available for loan: e-Library (1).
165.
166.
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).
167.
168.
Logic-based program synthesis and transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers / Fabio Fioravanti, John P. Gallagher (eds.). by Series: Lecture notes in computer science ; 10855. | 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, 2018
Other title:
  • LOPSTR 2017
Online resources:
Availability: Items available for loan: e-Library (1).
169.
170.
Software analysis, testing, and evolution : 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings / Lei Bu, Yingfei Xiong (eds.). by Series: Lecture notes in computer science ; 11293. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Other title:
  • SATE 2018
Online resources:
Availability: Items available for loan: e-Library (1).
171.
172.
Logic-based program synthesis and transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers / Fred Mesnard, Peter J. Stuckey (eds.). by Series: Lecture notes in computer science ; 11408. | 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:
  • LOPSTR 2018
Online resources:
Availability: Items available for loan: e-Library (1).
173.
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).
174.
175.
176.
Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised selected papers / Maurizio Gabbrielli (ed.). by Series: Lecture notes in computer science ; 12042. | 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:
  • LOPSTR 2019
Online resources:
Availability: Items available for loan: e-Library (1).
177.
Product-focused software process improvement : 21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020, Proceedings / Maurizio Morisio, Marco Torchiano, Andreas Jedlitschka (eds.). by Series: Lecture notes in computer science ; 12562. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2020
Other title:
  • PROFES 2020
Online resources:
Availability: Items available for loan: e-Library (1).
178.
Logic-Based Program Synthesis and Transformation : 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings / Maribel Fernández (ed.). by Series: Lecture notes in computer science ; 12561. | 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:
  • LOPSTR 2020
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
179.
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).
180.
Pages

Powered by Koha