Sim, as cartas mostradas em ambos os links que você deu são placas PCI Express Mini.
Eu tenho um Dell Studio XPS 16 e gostaria de substituir o cartão sem fio embutido.
O cartão "mini" é chamado de mini cartão pci express?
Em caso afirmativo, posso trocá-lo por outro cartão de terceiros, por exemplo, este (não se preocupe com problemas de unidade):
Como pano de fundo, encontrei o manual de serviço on-line aqui:
link