Reihe: Progress in Computer Science and Applied Logic - faltershop.at

JavaScript seems to be disabled in your browser. For the best experience on our site, be sure to turn on Javascript in your browser.

Home
Reihe: Progress in Computer Science and Applied Logic

Temporal Type Theory

A Topos-Theoretic Approach to Systems and Behavior

Patrick Schultz, David I. Spivak

Hardcover | Springer International Publishing, 2019

Sprache: Englisch

Lieferung in 7-14 Werktagen

€ 131,99
Advances in Proof Theory

Reinhard Kahle, Thomas Strahm, Thomas Studer

Taschenbuch | Springer International Publishing, 2018

Sprache: Englisch

Lieferung in 7-14 Werktagen

€ 109,99
Perspectives in Computational Complexity

The Somenath Biswas Anniversary Volume

Manindra Agrawal, Vikraman Arvind

Taschenbuch | Springer International Publishing, 2016

Sprache: Englisch

Lieferung in 7-14 Werktagen

€ 120,99
Advances in Proof Theory

Reinhard Kahle, Thomas Strahm, Thomas Studer

Hardcover | Springer International Publishing, 2016

Sprache: Englisch

Lieferung in 7-14 Werktagen

€ 109,99
Perspectives in Computational Complexity

The Somenath Biswas Anniversary Volume

Manindra Agrawal, Vikraman Arvind

Hardcover | Springer International Publishing, 2014

Sprache: Englisch

Lieferung in 7-14 Werktagen

€ 120,99