The Community for Technology Leaders
2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2012)
Timisoara, Romania Romania
Sept. 26, 2012 to Sept. 29, 2012
ISBN: 978-1-4673-5026-6
TABLE OF CONTENTS
Papers

[Front cover] (PDF)

pp. C4

[Title page iii] (PDF)

pp. iii

Preface (PDF)

pp. xi-xii

Committees and reviewers (PDF)

pp. xiii-xvii

Interactive vs. automated proofs in computational origami (Abstract)

T. Ida , Dept. of Comput. Sci., Univ. of Tsukuba, Tsukuba, Japan
pp. 7

Towards multi-tenant and interoperable monitoring of virtual machines in cloud (Abstract)

Daniel Tovarnak , Fac. of Inf., Masaryk Univ., Brno, Czech Republic
T. Pitner , Fac. of Inf., Masaryk Univ., Brno, Czech Republic
pp. 436-442

Author index (PDF)

pp. 523-524

Roster page (PDF)

pp. 526
103 ms
(Ver 3.1 (10032016))