Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

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

Program Development by Refinement: Case Studies Using the B Method

Practical Guide to Applied Conformal Prediction in Python: Learn and apply the best uncertainty frameworks to your industry applications

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

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

Single Sourcing: Building Modular Documentation

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Physically Based Rendering: From Theory to Implementation, Edition 3

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

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

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

Beginning ASP.NET 4.5 Databases: Edition 3

How to Build a Digital Library

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

Pro SQL Server 2012 Integration Services

Pro SQL Server 2012 Relational Database Design and Implementation

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

Free as in Freedom [Paperback]: Richard Stallman's Crusade for Free Software

Nature-Inspired Optimization Algorithms