Languages
Glasser, Uwe.
Overview
| Works: | 3 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Social network analysis in predictive policing = concepts, models and methods /
by:
Glasser, Uwe.; Tayebi, Mohammad A.; SpringerLink (Online service)
(Language materials, printed)
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.
(Language materials, printed)
Subjects
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.