Alles für deine Welt.
Spatial Statistics for Remote Sensing / Remote Sensing and Digital Image Processing Bd.1
Fr. 177.00
Interactive Theorem Proving / Lecture Notes in Computer Science Bd.6898
Fr. 59.00
Intelligent Computer Mathematics / Lecture Notes in Computer Science Bd.5144
The Seventeen Provers of the World / Lecture Notes in Computer Science Bd.3600
Fr. 65.00
Types for Proofs and Programs / Lecture Notes in Computer Science Bd.2646