At the bottom of Advanced search, in "Location and availability" block you can choose a library When you choose a library, the checkboxes displayed in tabs in the top of the page (Shelving location, item types...) could be dynamically be updated, to match the locations available for the selected library Currently you can update these checkboxes by connecting to another library, but it is cumbersome