Your search returned 3 results.

Not what you expected? Check for suggestions

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 TAP (Conference) (8th : 2014 : York, England) Seidl, Martina [editor.] Tillmann, Nikolai [editor.] Series: Lecture notes in computer science ; 8570. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2014 Other title: TAP 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Software technologies : applications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, revised selected papers / editors, Martina Seidl and Steffen Zschaler. by Seidl, Martina [editor.] Zschaler, Steffen [editor.] STAF (Federation of conferences) (2017 : Marburg, Germany) GCM (Workshop) (8th : 2017 : Marburg, Germany) GRAND (Workshop) (1st : 2017 : Marburg, Germany) MORSE (Workshop) (4th : 2017 : Marburg, Germany) OCL (Workshop) (17th : 2017 : Marburg, Germany) Series: Lecture notes in computer science ; 10748. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2018]Copyright date: ©2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	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 SAT (Conference) (23rd : 2020 : Online) Pulina, Luca Seidl, Martina Series: Lecture notes in computer science ; 12178. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cham : Springer, 2020 Other title: SAT 2020 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha