BCS

Justification Based Explanation in Ontologies (Distinguished Dissertation)

By Horridge, Matthew

First International Symposium for ICS & Scada Cyber Security Research 2013

By Janicke, Helge, Jones, Kevin

Second International Symposium for ICS & SCADA Cyber Security Research 2014

By Janicke, Helge, Jones, Kevin

Third International Symposium for ICS & SCADA Cyber Security Research 2015

By Janicke, Helge, Jones, Kevin

4th International Symposium for ICS & SCADA Cyber Security Research 2016 (Electronic workshops in computing)

By Janicke, Helge, Jones, Kevin, Brandstetter, Thomas

Verification of Message Passing Concurrent Systems (Distinguished Dissertation)

By D'Osualdo, Emanuele

Invisible Architecture: The Benefits of Aligning People, Process & Technology: Case Studies for System Designers & Managers

By Jenny Ure, Gudrun Jaegersberg

A Guide to Global Sourcing: Offshore Outsourcing and Other Global Delivery Models

By Sparrow, Elizabeth Anne

Green It for Sustainable Business Practice: An Iseb Foundation Guide

By Mark G. O'Neill, O'Neill, Mark

Using Machine-Learning to Efficiently Explore the Architecture/Compiler Co-Design Space (Distinguished Dissertation)

By Dubach, Christophe

Formal Verification of Machine-Code Programs (Distinguished Dissertation)

By Myreen, Magnus O.

Logics and Analyses for Concurrent Heap-Manipulating Programs (Distinguished Dissertation)

By Gotsman, Alexey

Communication Locality in Computation: Software, Chip Multiprocessors and Brains (Distinguished Dissertation)

By Greenfield, Daniel

Professional Issues in Information Technology

By Bott, Frank