Reversible Computation : 4th International Workshop, Rc 2012, Copenhagen, Den...

Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark

Computational Topology in Image Context: 4th International Workshop, CTIC 2012,

Automated Deduction in Geometry : 4th International Workshop, Adg 2002, Hagen...

End-User Development : 4th International Symposium, Is-eud 2013, Copenhagen, ...

Computational Topology in Image Context : 4th International Workshop, Ctic 20...

Ambient Assisted Living and Home Care: 4th International Workshop, IWAAL 2012, V

Automated Deduction in Geometry : 4th International Workshop, Adg 2002, Hagen...