Software Engineering Techniques: Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

Decoding the Universe: How the New Science of Information Is Explaining Everythingin the Cosmos, fromOu r Brains to Black Holes

The Big Switch: Rewiring the World, from Edison to Google

Single Sourcing: Building Modular Documentation

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

A Mind at Play: How Claude Shannon Invented the Information Age

Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Physically Based Rendering: From Theory to Implementation, Edition 3

Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

The Age of Surveillance Capitalism: The Fight for a Human Future at the New Frontier of Power

Present and Ulterior Software Engineering

Non-Invasive Data Governance: The Path of Least Resistance and Greatest Success

Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

How to Build a Digital Library

Software Engineering: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

C++: Object-Oriented Data Structures

Dictionary of Computer & Information Technology: Dictionary of Computer & Information Technology by Mrinal Talukdar: Dictionary of Computer & Information Technology - A Comprehensive Guide

Dependable Systems: Software, Computing, Networks: Research Results of the DICS Program