(Lecture Notes in Computer Science 11628) Mikoláš Janota, Inês Lynce - Theory and Applications of Satisfiability Testing – SAT 2019_ 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–1
(Advances in Underwater Technology and Offshore Engineering 3) J. G. Riemersma (auth.) - Offshore Site Investigation_ Proceedings of an international conference, (Offshore Site Investigation), organiz.pdf
(Advances in Underwater Technology, Ocean Science and Offshore Engineering 1) James A. Lawrie (auth.) - Developments in Diving Technology_ Proceedings of an international conference, (Divetech ′84) or.pdf