Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Tests and proofs : 8th International Conference, TAP 2014, held as part of STAF 2014, York, UK, July 24-25, 2014. Proceedings / Martina Seidl, Nikolai Tillmann (eds.). by Series: Lecture notes in computer science ; 8570. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2014
Other title:
  • TAP 2014
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
2.
3.
Theory and applications of satisfiability testing -- SAT 2020 : 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings / edited by Luca Pulina, Martina Seidl. by Series: Lecture notes in computer science ; 12178. | 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:
  • SAT 2020
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha