Только исходя из того что там написано три не годятся сразу (там надо всегда ровно 12B (а в работающей машине ~ 14.8В))
это
1) X1-ATX-180, 12V Input DC-DC
3) DC-DC 12V Mini ITX Power Supply
5) 12V DC-DC MINI ATX
ну а оставшиеся два по описанию подходят но тоже есть НО
в одном (Z3-ATX-200 200W) и написано рекомендуется 19В (наверно от БП ноута)
в оставшемся из списка верхний предел как то 14,8В а это есть среднее в работающей машине (ну должно быть столько) а если будет (14,9 -15) тогда что?
а что этот не рассматриваешь
http://ru.aliexpress.com/item/8V-28V...otionVersion=1
и этот
http://www.ebay.com/itm/M4-ATX-250W-...item41850e0c2c
(ссылки просто как пример)
смотри что бы входное было (8-24)В - ну примерно так