NUR BIS 17.07: Weltbild Spartage Biltzangebote - jeden Tag neue Top-Schnäppchen
Sequences and Their Applications - SETA 2014
53.49 €
Automated Reasoning with Analytic Tableaux and Related Methods
69.54 €
Frontiers of Combining Systems
Security and Privacy in Mobile Information and Communication Systems
Automated Deduction - CADE-22