Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

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

Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

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

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Single Sourcing: Building Modular Documentation

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

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Physically Based Rendering: From Theory to Implementation, Edition 3

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

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

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

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

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings

How to Build a Digital Library

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

C++: Object-Oriented Data Structures

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

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

Adapting Proofs-as-Programs: The Curry--Howard Protocol