語系
Jackson, Paul.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer aided verification = 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings /
by:
Touili, Tayssir.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Cook, Byron.; Jackson, Paul.
(書目-電子資源)
Reconstructing Security after Conflict = Security Sector Reform in Sierra Leone.
by:
Sierra Leone; Great Britain; Albrecht, Peter.; Jackson, Paul.
(書目-電子資源)
主題
Software Engineering.
Electronic digital computers- Evaluation
Artificial Intelligence (incl. Robotics)
Sierra Leone- History- Civil War, 1991-2002
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Political Science.
Computer software- Verification
Great Britain