Go to PoliBuscador and type "ordenador portátil" in the search box. Select the model you want.
Then click on the title and select the library where you want to pick up the laptop to see if there are computers available. If they are all on loan, you can reserve one.
Remember that you must be identified in Polibuscador to be able to book.