Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Static analysis : 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings / María Alpuente, Germán Vidal (eds.). by Series: Lecture notes in computer science ; 5079. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2008
Other title:
  • SAS 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Functional and logic programming : 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings / Matthias Blume, Naoki Kobayashi, German Vidal (eds.). by Series: Lecture notes in computer science ; 6009. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 80012138
Publication details: Berlin ; New York : Springer, ©2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Practical aspects of declarative languages : 27th international symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025 : proceedings / Esra Erdem, Germán Vidal, editor. by Series: Lecture notes in computer science ; 15537.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2025]Copyright date: ©2025
Other title:
  • PADL 2025
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha