-
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology 电子书下载
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.After a quick intr ...
09-29 [ None ]
-
-
导读维特根斯坦《逻辑哲学论》 - Wittgenstein’s ‘Tractatus Logico-Philosophicus’: A Reader’s Guide 电子书下载
-编辑推荐- 《逻辑哲学论》是维特根斯坦在世时正式出版的唯一一部哲学著作,它改变了20世纪上半叶的哲学方向,是20世纪最重要的哲学著作之一,对该书中观点的透彻理解是全面把握维特根斯坦卓越思想的关键环节。本书对这部异常艰涩和难读的文本提供了一个清晰而详尽的导 ...
06-02 [ None ]
-
-
-
New Chinese Course in Business Newsreading: Advanced 2 - 新汉语经济新闻阅读教程-高级篇(下) 电子书下载
Год: 2006.Категория: Учебник.Язык курса: Китайский.Автор: Wang Huiling.Издательство: Beijing Daxue Chubanshe.Формат: pdf.ISBN: 7- ...
05-04 [ None ]
-
The Professionals Guide to Fair Value. ; Preparing and Reading Financial Statements 电子书下载
An all-encompassing guide to the elements and basics of fair value With the important role fair value is playing in the creation ...
05-07 [ None ]
-
-
Numerical Analysis: Using MATLAB and Spreadsheets 2nd Edition - Steven T. Karris 电子书下载
Numerical Analysis: Using MATLAB and Spreadsheets 2nd Edition - Steven T. KarrisSteven T. Karris ...
02-05 [ computer ]
-
How James Joyce Made His Name: A Reading of the Final Lacan (Contemporary Theory) 电子书下载
In this lucid and compelling analysis of Lacan`s twenty-third seminar, “Le Sinthome,” Roberto Harari points to new psychoanalytic ...
06-30 [ None ]
-
Reading and taking notes (OU skills for study) 电子书下载
Knowing how to read effectively and when to take appropriate notes can help you make swift progress during your course. This book ...
04-10 [ None ]
-
ExamWise® Volume 1 CFA 2008 Level I Certification With Preliminary Reading Assignments For Chartered Financial Analyst (With Download Software) (Examwise) 电子书下载
ABOUT THE BOOK: Start Here to pass the CFA Level I exam Use This Concept Check 400 Question and Answer Workbook to Study for ...
05-01 [ None ]
-
-
-
Mastering TypeScript: Build enterprise-ready, modular web applications using TypeScript 4 and modern frameworks, 4th Edition 电子书下载
This book is a guide to the TypeScript language, from basic concepts to advanced features, and will get you up and running quickl ...
02-09 [ None ]
-
The Missing Readme - Chris Riccomini and Dmitriy Ryaboy 电子书下载
The Missing Readme - Chris Riccomini and Dmitriy RyaboyChris Riccomini and Dmitriy Ryaboy ...
02-05 [ computer ]
-
Reading Science Fiction 电子书下载
Science Fiction is illuminated by world class scholars and fiction writers, who introduce the history, concepts and contexts nece ...
10-08 [ None ]
-
Communication Patterns - Jacqui Read 电子书下载
Communication Patterns - Jacqui ReadJacqui Read ...
02-05 [ computer ]