Range:
Subjects: Computation tree logic; Transmission Control Protocol
Subjects: Cloud computing
Subjects: Internet service industry; Semantic Web
Subjects: Hidden Markov models