語系
Jackson, Paul.
概要
| 作品: | 4 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer aided verification = 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings /
by:
Cook, Byron.; Jackson, Paul.; Touili, Tayssir.; SpringerLink (Online service); CAV 2010 ((2010 :)
(書目-語言資料,印刷品)
Entrepreneurial innovation and leadership = preparing for a digital future /
by:
Richter, Nancy.; Jackson, Paul.; Schildhauer, Thomas.; SpringerLink (Online service)
(書目-電子資源)
The Pop-up book : = step by step instructions for creating over 100 original paper projects /
by:
Jackson, Paul.
(書目-語言資料,印刷品)
Reconstructing Security after Conflict = Security Sector Reform in Sierra Leone.
by:
Jackson, Paul.; Great Britain; Sierra Leone; Albrecht, Peter.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Business.
Business Process Management.
Electronic digital computers- Evaluation
Logics and Meanings of Programs.
Business and Management.
Artificial Intelligence (incl. Robotics)
Management.
Start-Ups/Venture Capital.
Programming Languages, Compilers, Interpreters.
Globalization.
Markets.
Enterprise Architecture.
Political Science.
Sierra Leone- History- Civil War, 1991-2002.
New business enterprises.
Management information systems.
Great Britain- Foreign relations- Sierra Leone.
Industrial management.
Emerging Markets/Globalization.
Computer software- Verification
Computer Science.
Computer Communication Networks.
Innovation/Technology Management.