Home Advanced Search
Advanced Search - Page 1
The conduct and oppositional defiant disorder scales (CODDS) for disruptive behaviour disorders
- Year: 2022
- Author: Raine, Adrian (author);Ling, Shichun (author);Streicher, Wesley (author);Liu, Jianghong (author)
Atomic Force Microscopy: Fundamental Concepts and Laboratory Investigations
- Year: 2019
- Author: Wesley C. Sanders (Author)
Forensic Gait Analysis-Principles and Practice
- Year: 2020
- Author: Ivan Birch (Author); Michael Nirenberg (Author); Wesley Vernon (Author); Maria Birch (Author)
![Logik für Informatiker [Lecture notes]](https://api.ebook-journey.com/libgen-covers/1618000/9385a507d2e18baa7966591cc392fab3-g.jpg)
![Introduction to Category Theory and Categorical Logic [Lecture notes]](https://api.ebook-journey.com/libgen-covers/1618000/760fb57ccdc4bcc638a8f0ad40902451-g.jpg)
Introduction to Category Theory and Categorical Logic [Lecture notes]
- English
- Year: 2017
- Author: Thomas Streicher
![Categorical Models of Constructive Logic [Lecture notes]](https://api.ebook-journey.com/libgen-covers/1618000/1ed17b828c9c18b398f1a393338d7b06-g.jpg)
Categorical Models of Constructive Logic [Lecture notes]
- English
- Year: 2013
- Author: Thomas Streicher
![Allgemeine Algebra für Informatiker und Wirtschaftsinformatiker [Lecture notes]](https://api.ebook-journey.com/libgen-covers/1618000/00d50ae6119d14b502e3fb1b3d4d437b-g.jpg)
Allgemeine Algebra für Informatiker und Wirtschaftsinformatiker [Lecture notes]
- German
- Year: 2002
- Author: Thomas Streicher
Semantics of type theory: correctness, completeness and independence results
- DJVU
- English
- Year: 1991
- Author: Streicher, Thomas
