Grundzüge des dialektischen Denkens in den Schriften von Li Ta-chao und Mao Tse-tungIngo SchäferAusverkauftBuch bewachen
Abstraktionsverfahren zur Eigenschaftsprüfung mit bounded model checkingIngo SchäferAusverkauftBuch bewachen
