Skip to content

Visit tso.co.uk

Theory of Computing

Quick Search

Within:

Search by:

Sort these publications by:

Results Found

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

  • Author: Nederpelt, Rob Geuvers, Herma...

Not yet published: available to order Availability help (opens in new window)

Optimization Models

Optimization Models

  • Author: Calafiore, Giuseppe C. Ghaoui...

Not yet published: available to order Availability help (opens in new window)

Computer Literacy for IC3: Unit 2: Using Open-Source Productivity Software

NewComputer Literacy for IC3: Unit 2: Using Open-Source Productivity Software

  • Author: Miller, Michael Cocke, Earlin...

Usually dispatched within 1 - 4 weeks Availability help (opens in new window)

Practical Applications of Sparse Modeling
Traversing Digital Babel: Information, E-Government, and Exchange

NewTraversing Digital Babel: Information, E-Government, and Exchange

  • Author: Peled, Alon

Usually dispatched within 1 - 4 weeks Availability help (opens in new window)

Spreadsheet Implementation Technology: Basics and Extensions

NewSpreadsheet Implementation Technology: Basics and Extensions

  • Author: Sestoft, Peter

In Stock: 3 - 5 days Availability help (opens in new window)

An Introduction to Design Science

NewAn Introduction to Design Science

  • Author: Johannesson, Paul Perjons, Er...

Usually dispatched within 1 - 4 weeks Availability help (opens in new window)

Turing: Pioneer of the Information Age

NewTuring: Pioneer of the Information Age

  • Author: Copeland, B. Jack

In Stock: 3 - 5 days Availability help (opens in new window)

Numerical Methods in Matrix Computations

NewNumerical Methods in Matrix Computations

  • Author: Bjorck, Ake

Usually dispatched within 1 - 4 weeks Availability help (opens in new window)