Christian Urban – författare

Visar alla böcker från författaren Christian Urban.

4 produkter

Kategorier

4 produkter

Del 9236
Del 9236 - Lecture Notes in Computer Science
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
AvChristian Urban,Xingyuan Zhang
Häftad, Engelska, 2015
749 kr
Skickas inom 10-15 vardagar
Theorem Proving in Higher Order Logics
22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
AvStefan Berghofer,Tobias Nipkowm. fl.
Häftad, Engelska, 2009
749 kr
Skickas inom 10-15 vardagar
Rechtsformwahl in der Land- und Forstwirtschaft
AvPeter Brauner,Peter Kaluzam. fl.
Inbunden, Tyska, 2025
1 289 kr
Skickas inom 3-6 vardagar
Ähnlichkeitssuche in der "Lost Art Internet Database"
AvChristian Urban
Häftad, Tyska, 2004
1 609 kr
Skickas inom 3-6 vardagar