Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, Memics 2014, Telč, Czech Republic, October 17–19, (Paperback)
Innovations for Requirement Analysis. from Stakeholders’ Needs to Formal Designs: 14th Monterey Workshop 2007, Monterey, Ca, Usa, September 10-13, 200 (Paperback)
Advances in Computer Science and Information Technology. Computer Science and Engineering: Second International Conference, Ccsit 2012, Bangalore, Ind (Paperback)