81. Pervasive Systems, Algorithms and Networks : 16th International Symposium, I-SPAN 2019, Naples, Italy, September 16-20, 2019, Proceedings /: 16th International Symposium, I-SPAN 2019, Naples, Italy, September 16-20, 2019, Proceedings. (2019) Editors: Esposito, Christian; Hong, Jiman; Choo, Kim-Kwang Raymond Other Names: International Symposium on Pervasive Systems, Algorithms, and Networks, 16th Record Type: Book Extent: 1 online resource (xiv, 394 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
82. 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) ↗
83. 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) ↗
84. 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) ↗
85. 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) ↗
86. 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) ↗
87. WALCOM : algorithms and computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings /: algorithms and computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings. (2016) Editors: Kāẏakobāda, Mohāmmada, 1954-; Petreschi, Rossella, 1950- Other Names: WALCOM (Workshop), 10th Record Type: Book Extent: 1 online resource (xix, 362 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
88. WALCOM : algorithms and computation : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29?31, 2017, proceedings /: algorithms and computation : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29?31, 2017, proceedings. (2017) Editors: Poon, Sheung-Hung; Rahman, Md. Saidur, 1966-; Yen, Hsu-Chun, 1958- Other Names: WALCOM (Workshop), 11th Record Type: Book Extent: 1 online resource (xxii, 474 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
89. WALCOM : algorithms and computation : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings /: algorithms and computation : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings. (2018) Editors: Rahman, M. Sohel; Sung, Wing-Kin; Uehara, Ryuhei Other Names: WALCOM (Workshop), 12th Record Type: Book Extent: 1 online resource (xx, 265 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
90. WALCOM: algorithms and computation : 13th International Conference, WALCOM 2019 Guwahati, India, February 27 - March 2, 2019 proceedings /: 13th International Conference, WALCOM 2019 Guwahati, India, February 27 - March 2, 2019 proceedings. ([2019]) Editors: Das, Gautam K Other Names: WALCOM (Workshop), 13th Record Type: Book Extent: 1 online resource (xv, 420 pages), illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗