Languages
Jackson, Paul.
Overview
| Works: | 4 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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 :)
(Language materials, printed)
Entrepreneurial innovation and leadership = preparing for a digital future /
by:
Jackson, Paul.; SpringerLink (Online service); Richter, Nancy.; Schildhauer, Thomas.
(Electronic resources)
The Pop-up book : = step by step instructions for creating over 100 original paper projects /
by:
Jackson, Paul.
(Language materials, printed)
Reconstructing Security after Conflict = Security Sector Reform in Sierra Leone.
by:
Jackson, Paul.; Great Britain; Sierra Leone; Albrecht, Peter.
(Electronic resources)
Subjects
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.