Kartendrucker, oft auch Chipkartendrucker genannt, sind elektronische Desktop-Drucker mit Einzelkartenzufuhr oder Eingabemagazin zum Bedrucken und Personalisieren von ISO-Standard-Plastikkarten. Damit unterscheiden sie sich von z. B. Etikettendruckern, deren Zufuhr auf Endlosmaterial basiert. Die Kartenabmessungen sind üblicherweise 85,60 × 53,9...