41. Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings /: 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings. (2016) Editors: Aichernig, Bernhard K, 1969-; Furia, Carlo A, 1979- Other Names: TAP (Conference), 10th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
42. Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Dubois, Catherine; Wolff, Burkhart, 1962- Other Names: TAP (Conference), 12th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
43. Tests and proofs : 13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings /: 13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings. (2019) Editors: Beyer, Dirk, 1972-; Keller, Chantal Other Names: TAP (Conference), 13th Record Type: Book Extent: 1 online resource (x, 207 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
44. Theory and applications of satisfiability testing -- SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. (2016) Editors: Creignou, Nadia; Le Berre, Daniel Other Names: SAT (Conference), 19th Record Type: Book Extent: 1 online resource (xxiv, 564 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
45. Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings /: 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings. (2017) Editors: Gaspers, Serge; Walsh, Toby Other Names: SAT (Conference), 20th Record Type: Book Extent: 1 online resource (xiii, 476 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
46. Theory and applications of satisfiability testing -- SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /: 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. (2018) Editors: Beyersdorff, Olaf; Wintersteiger, Christoph M Other Names: SAT (Conference), 21st; Federated Logic Conference Record Type: Book Extent: 1 online resource (xix, 452 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
47. Theory and applications of satisfiability testing -- SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings /: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings. (2019) Editors: Janota, Mikolá́š̌; Lynce, Inês Other Names: SAT (Conference), 22nd Record Type: Book Extent: 1 online resource (xiv, 425 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
48. Theory and applications of satisfiability testing -- SAT 2020 : 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings /: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. (2020) Other Names: Pulina, Luca; Seidl, Martina; SAT (Conference), 23rd Record Type: Book Extent: 1 online resource (549 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
49. Tools and algorithms for the construction and analysis of systems : 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, Netherlands, April 2-8, 2016. Proceedings /: 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, Netherlands, April 2-8, 2016. Proceedings. (2016) Editors: Chechik, Marsha; Raskin, Jean-François, 1972- Other Names: TACAS (Conference), 22nd; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
50. Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings.: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Part II (2018) Editors: Beyer, Dirk, 1972-; Huisman, Marieke Other Names: TACAS (Conference), 24th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xx, 465 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗