共 50 条
- [1] Proceedings Third International Workshop on Hybrid Autonomous Systems Rome, 17th March 2013 Preface [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (124):
- [2] SESP 2013 - Proceedings of the 1st International Workshop on Security in Embedded Systems and Smartphones: Preface [J]. SESP 2013 - Proceedings of the 1st International Workshop on Security in Embedded Systems and Smartphones, 2013,
- [3] Proceedings Third Workshop on Behavioural Types Rome, Italy, 1st September 2014 Preface [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (162):
- [4] Proceedings Workshop on Fixed Points in Computer Science Turino, Italy, September 1st, 2013 Preface [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (126):
- [5] Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems Rome, 23rd-24th March 2013 Preface [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (117):
- [6] Proceedings 16th International Refinement Workshop Turku, Finland, 11th June 2013 Preface [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (115):
- [7] Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering Rome, Italy, March 24, 2013 Preface [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (138):
- [9] Proceedings of the 16th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM GIS 2008): Preface [J]. GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems, 2008,
- [10] 16th International Workshop on Thermal Investigations of ICs and Systems, THERMINIC 2010: Preface [J]. 16th International Workshop on Thermal Investigations of ICs and Systems, THERMINIC 2010, 2010,