The rise of the shadow state?
- 期刊名称Probation Journal
- 卷第60卷
- 期第1期
- 印刷ISSN0264-5505
- 电子ISSN1741-3079
- 文件大小140.03KB
- 发表时间2013-03-01
- DOI10.1177/0264550513478556
- 页码3-8
[IEEE Comput. Soc. Press [1988 Proceedings] 9th International Conference on Pattern Recognition - Rome, Italy (14-17 Nov. 1988)] [1988 Proceedings] 9th International Conference on Pattern Recognition - Total 8-connectivity on the square rasterKasvand, T. · 1988
[IEEE Comput. Soc. Press [1988 Proceedings] 9th International Conference on Pattern Recognition - Rome, Italy (14-17 Nov. 1988)] [1988 Proceedings] 9th International Conference on Pattern Recognition - Dynamic scene analysis and the 8-point algorithmSu-Shing Chen, · 1988
[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - The topology of program terminationCartwright, R.; Demers, A. · 1988
[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - The existence of refinement mappingsAbadi, M.; Lamport, L. · 1988
[IEEE Comput. Soc. Press Proceedings. Real-Time Systems Symposium - Huntsville, AL, USA (6-8 Dec. 1988)] Proceedings. Real-Time Systems Symposium - The cyclic executive model and AdaBaker, T.P.; Shaw, A. · 1988
[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - On the existence of effective Hoare logicsGrabowski, M.; Hungar, H. · 1988
[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - On the arithmetic inexpressiveness of term rewriting systemsVorobyov, S.G. · 1988
[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - On the computational power of universally polymorphic recursionKfoury, A.J.; Tiuryn, J.; Urzczyn, P. · 1988