Languages
Jackson, Paul.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
Reconstructing Security after ConflictSecurity Sector Reform in Sierra Leone.
by:
Albrecht, Peter.; Great Britain; Jackson, Paul.; Sierra Leone
(Electronic resources)
Entrepreneurial innovation and leadershippreparing for a digital future /
by:
Jackson, Paul.; Richter, Nancy.; Schildhauer, Thomas.; SpringerLink (Online service)
(Electronic resources)
Subjects
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