語系
Glasser, Uwe.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Social network analysis in predictive policing = concepts, models and methods /
by:
Glasser, Uwe.; Tayebi, Mohammad A.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday /
by:
SpringerLink (Online service); Abrial, Jean-Raymond.; Glasser, Uwe.
(書目-語言資料,印刷品)
主題
Formal methods (Computer science)
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Police
Policing.
Theory of Computation.
Applications of Graph Theory and Complex Networks.
Mathematics of Computing.
Computing Methodologies.
Computer Science.
Mathematical Logic and Formal Languages.
Algorithms.
Data Mining and Knowledge Discovery.