161
Transactions on Computational Science XVIII [E-Book] : Special Issue on Cyberworlds /
162
Combinatorial Pattern Matching [E-Book] : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings /
163
Information Processing in Computer-Assisted Interventions [E-Book] : 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings /
164
Supercomputing [E-Book] : 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings /
165
Software Engineering for Self-Adaptive Systems II [E-Book] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers /
166
Facing the Multicore-Challenge III [E-Book] : Aspects of New Paradigms and Technologies in Parallel Computing /
167
Pairing-Based Cryptography – Pairing 2012 [E-Book] : 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers /
168
Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages [E-Book] : 6th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2013, Oldenburg, Germany, February 26–March 2, 2013. Proceedings /
169
Smart Grid Security [E-Book] : First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers /
170
Transactions on Petri Nets and Other Models of Concurrency VII [E-Book] /
171
Model-Based Methodologies for Pervasive and Embedded Software [E-Book] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers /
172
Software Language Engineering [E-Book] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /
173
Computer Performance Engineering [E-Book] : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers /
174
Formal Concept Analysis [E-Book] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings /
175
Reliable Software Technologies – Ada-Europe 2013 [E-Book] : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /
176
Logic, Language, Information, and Computation [E-Book] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
177
Pattern Recognition [E-Book] : 35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013. Proceedings /
178
Language Processing and Knowledge in the Web [E-Book] : 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings /
179
Communications and Multimedia Security [E-Book] : 14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 25-26, 2013. Proceedings /
180
Cellular Automata and Discrete Complex Systems [E-Book] : 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings /