Titlebook: Koordination und Controlling in Praxisnetzen mithilfe einer prozessbasierten E-Service-Logistik; Günter Schicker Book 2008 Gabler Verlag |

宽宏大量

0302-9743 on of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics. The 7 revised full papers out of 18 submissio