Controlled natural language : second international workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010 : revised papers
edited by Michael Rosner, Norbert E. Fuchs
Springer-Verlag, 2012
 eBooks
Information and communication technologies : 18th EUNICE/IFIP WG 6.2, 6.6. International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012 : proceedings
edited by Robert Szabo and Attila Vidacs
Springer, 2012
 eBooks
Marielle Stoelinga, editor
Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings
[, Springer-Verlag ], 2012
 eBooks
Internet of things : international workshop, IOT 2012, Changsha, China, August 17-19, 2012 : proceedings
edited by Wang Yongheng, Zhang Xiaoming
Springer-Verlag, 2012
 eBooks
Gupta, Anupam, editor
Approximation, randomization, and combinatorial optimization : algorithms and techniques : 15th international workshop, APPROX 2012 and 16th International Workshop, RANDOM 2012 Cambridge, MA, USA, August 15-17, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks