語系
Jackson, Paul.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer aided verification22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings /
by:
(1998 :); Cook, Byron.; Jackson, Paul.; SpringerLink (Online service); Touili, Tayssir.
(書目-電子資源)
Reconstructing Security after ConflictSecurity Sector Reform in Sierra Leone.
by:
Albrecht, Peter.; Great Britain; Jackson, Paul.; Sierra Leone
(書目-電子資源)
Entrepreneurial innovation and leadershippreparing for a digital future /
by:
Jackson, Paul.; Richter, Nancy.; Schildhauer, Thomas.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Business.
Business Process Management.
Logics and Meanings of Programs.
Business and Management.
Computer software
Electronic digital computers
Artificial Intelligence (incl. Robotics)
Sierra Leone
Management.
Start-Ups/Venture Capital.
Computer Science
Programming Languages, Compilers, Interpreters.
Globalization.
Markets.
Enterprise Architecture.
Political Science.
New business enterprises.
Management information systems.
Computer science
Industrial management.
Emerging Markets/Globalization.
Programming Techniques
Computer Science.
Computer Communication Networks.
Innovation/Technology Management.
Great Britain