Thomas Streicher：在 Z-Library 上搜索

您通往知識和文化的門戶。每個人都可以使用。

籌款 9月15日 2024 – 10月1日 2024

Z-Library 是世界上最大的在線圖書館之一，其中包含超過 17,000,000 本書和 84,837,000 篇文章。我們的目標是讓每個人都能接觸到文學。今天 (9月15日 2024) 我們已經開始為項目維護和開發籌集額外的資金.

此外，UNLIMITED 下載（捐贈日後 31 天內）可供 ALL 貢獻者使用，他們將在籌款期間捐贈，直到 10月1日 2024.

關於籌款閱讀更多

捐款

已應用篩選

精確匹配

圖書 (20)
最受歡迎
- 排序方式×
- 最受歡迎
- 最佳匹配
- 最近添加的
- 按標題 (A-Z)
- 按標題 (Z-A)
- 按年
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

Introduction to Category Theory and Categorical Logic [Lecture notes]

Thomas Streicher

年:

2017

語言:

english

文件:

PDF, 659 KB

0 / 0

english, 2017

Introduction to Category Theory and Categorical Logic

Thomas Streicher

年:

2018

語言:

english

文件:

PDF, 664 KB

0 / 0

english, 2018

Bauphysik — Erweiterung 1: Energieeinsparung und Wärmeschutz Energieausweis — Gesamtenergieeffizienz

Springer Vienna

Dipl.-Ing. Dr. techn. Christian Pöhn, Dipl.-Ing. Dr. techn. Anton Pech, Ao.Univ.Prof. Dipl.-Ing. Dr. techn. Thomas Bednar, O.Univ.Prof. Dipl.-Ing. Dr. techn. Wolfgang Streicher (auth.)

年:

2012

語言:

german

文件:

PDF, 2.36 MB

0 / 0

german, 2012

Domain-theoretic Foundations of Functional Programming

World Scientific Pub Co Inc

Thomas Streicher

年:

2006

語言:

english

文件:

PDF, 3.79 MB

0 / 0

english, 2006

Bauphysik: Erweiterung 1 Energieeinsparung und Wärmeschutz Energieausweis — Gesamtenergieeffizienz

Springer Vienna

Dipl.-Ing. Dr. techn. Christian Pöhn, Dipl.-Ing. Dr. techn. Anton Pech, Dipl.-Ing. Dr. techn. Thomas Bednar, Dipl.-Ing. Dr. techn. Wolfgang Streicher (auth.)

年:

2007

語言:

german

文件:

PDF, 3.92 MB

0 / 0

german, 2007

Domain-theoretic Foundations of Functional Programming

World Scientific Publishing Company

Thomas Streicher

年:

2006

語言:

english

文件:

PDF, 1.46 MB

0 / 0

english, 2006

Extra-Planetary Experiences: Alien-Human Contact and the Expansion of Consciousness

Bear & Company

Thomas James Streicher

年:

2012

語言:

english

文件:

PDF, 1.87 MB

0 / 0

english, 2012

Introduction to Constructive Logic and Mathematics [Lecture notes]

Thomas Streicher

年:

2009

語言:

english

文件:

PDF, 432 KB

0 / 0

english, 2009

Categorical Models of Constructive Logic [Lecture notes]

Thomas Streicher

年:

2013

語言:

english

文件:

PDF, 413 KB

0 / 0

english, 2013

Fibred categories à la Jean Bénabou [Lecture notes]

Thomas Streicher

年:

2017

語言:

english

文件:

PDF, 661 KB

0 / 0

english, 2017

Domain-theoretic foundations of functional programming

Thomas Streicher

年:

2006

語言:

english

文件:

DJVU, 856 KB

0 / 0

english, 2006

Domain-theoretic Foundations of Functional Programming

World Scientific Publishing Company

Thomas Streicher

年:

2006

語言:

english

文件:

PDF, 1.66 MB

0 / 0

english, 2006

Logik für Informatiker [Lecture notes]

Thomas Streicher

年:

2002

語言:

german

文件:

PDF, 457 KB

0 / 0

german, 2002

Realizability [Lecture notes]

Thomas Streicher

年:

2013

語言:

english

文件:

PDF, 605 KB

0 / 0

english, 2013

Allgemeine Algebra für Informatiker und Wirtschaftsinformatiker [Lecture notes]

Thomas Streicher

年:

2002

語言:

german

文件:

PDF, 470 KB

0 / 0

german, 2002

Fibred categories à la Jean Bénabou

Thomas Streicher

年:

2019

語言:

english

文件:

PDF, 659 KB

0 / 0

english, 2019

Baukonstruktionen / Bauphysik: Erweiterung 1: Energieeinsparung und Wärmeschutz. Energieausweis - Gesamtenergieeffizienz

Ambra Verlag

Christian Pöhn, Anton Pech, Thomas Bednar, Wolfgang Streicher

年:

2016

語言:

german

文件:

PDF, 1.71 MB

0 / 0

german, 2016

Extra-planetary experiences : alien-human contact and the expansion of consciousness

Inner Traditions / Bear & Company

Thomas J Streicher, (fwd, Stanley Krippner, )

年:

2012

語言:

english

文件:

EPUB, 2.12 MB

0 / 0

english, 2012

Semantics of Type Theory: Correctness, Completeness and Independence Results

Birkhäuser Basel

Thomas Streicher (auth.)

年:

1991

語言:

english

文件:

PDF, 7.90 MB

0 / 0

english, 1991

Semantics of type theory: correctness, completeness and independence results

Birkhauser

Streicher, Thomas

年:

1991

語言:

english

文件:

DJVU, 2.27 MB

0 / 0

english, 1991