Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Formal methods: foundations and applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings / Juliano Iyoda, Leonardo de Moura (eds.). by Series: Lecture notes in computer science ; 8195. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013
Other title:
  • SBMF 2013
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
3.
Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / Leonardo de Moura (ed.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10395. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha