Soldes d'été - Jusqu'à 60 %
Toutes les 2 Christian Urban sorties sur Paperback Book
Catégories
Autre
Service clientèle
EUR
![Cover for Christian Urban · Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/014/9783319221014.jpg?christian-urban-2015-interactive-theorem-proving-6th-international-conference-itp-2015-nanjing-china-august-24-27-2015-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1556815429)
![Cover for Christian Urban · AEhnlichkeitssuche in der Lost Art Internet Database (Paperback Book) [German edition] (2004)](https://imusic.b-cdn.net/images/item/original/866/9783838677866.jpg?christian-urban-2004-aehnlichkeitssuche-in-der-lost-art-internet-database-paperback-book&class=scaled&v=1408630850)