Help Identify Coax Connector
More precisely the are called "Coaxicon" by TE; here's a brochure http://www.farnell.com/datasheets/595245.pdf. Beware that they come in several sizes. It looks like yours are the "miniature" version (there's also "subminiature" and "size 8"). Since it seems you want the PCB-mount socket (there's also a cable mount):