Pay in 4 interest-free payments of $12.30 Learn more
Ships within 48 hours · Estimated delivery Sep 8 - Sep 13
Stellvertretend seien genannt: Johannes R
so ist mithilfe eines mobilen Webservices ein Navigationsdienst für Fußgänger denkbar
Implikationen des ¿narrative turn¿ für Geschichtswissenschaft und Geschichtsdidaktik
in diverse centers of scholarship as well as in private studies
Where bio- and geochemistry meet
Logic-Based Program Synthesis and Transformation formatIsbn:Softcover - 9783642381966 Stellvertretend seien genannt: Johannes RThis book constitutes the thoroughly refereed post conference proceedings of the 22nd International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization,
US$ 59.95
US$ 29.95
US$ 27.95
US$ 12.95
US$ 12.95
US$ 22.95
US$ 18.95
US$ 17.95
US$ 49.95
US$ 25.95
US$ 15.95
US$ 49.95
US$ 49.95
US$ 11.95