共 50 条
- [32] Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems Vienna, Austria, July 18, 2014 Preface ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (163):
- [33] Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation Snowbird, Utah, USA, July 14, 2011 Preface ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (72):
- [35] Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming Novi Sad, Serbia, 29 May 2011 Preface ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (82):
- [40] Proceedings - 10th International Conference on Machine Learning and Applications, ICMLA 2011: Preface Proceedings - 10th International Conference on Machine Learning and Applications, ICMLA 2011, 2011, 2