This handbook is very much targeted at professional applications like mobile basestations equipment, military equipment and so on. But it also has some good overview of SDR basics which also apply for GNSS receivers, so I recommend to take a look at it.