-
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 ]
-
In Silico: 3D Animation and Simulation of Cell Biology with Maya and MEL - Jason Sharpe, Charles John Lumsden and Nicholas Woolridge 电子书下载
In Silico: 3D Animation and Simulation of Cell Biology with Maya and MEL - Jason Sharpe, Charles John Lumsden and Nicholas WoolridgeJason Sharpe, Char ...
02-05 [ computer ]
-
Make: Getting Started with Arduino 4th Edition - Massimo Banzi and Michael Shiloh 电子书下载
Make: Getting Started with Arduino 4th Edition - Massimo Banzi and Michael ShilohMassimo Banzi and Michael Shiloh ...
02-05 [ computer ]
-
-
液压系统AMESim计算机仿真指南 电子书下载
《液压系统AMESim计算机仿真指南》着重介绍利用AMESim仿真软件进行液压元件及系统模型的建立和使用该软件进行数字仿真的基本方法;通过循序渐进的方式,介绍了用AMESim进行系统仿真的基本操作过程和常用技巧;最后,通过液压系统及液压元件的建模实例,讲解了 ...
02-27 [ None ]
-
-
-
Advanced Perl Programming 2nd Edition - Simon Cozens 电子书下载
Advanced Perl Programming 2nd Edition - Simon CozensSimon Cozens ...
02-05 [ computer ]
-
Mosfet Modeling for VlSI Simulation: Theory And Practice (International Series on Advances in Solid State Electronics) (International Series on Advances in Solid State Electronics and Technology) 电子书下载
The book deals with the MOS Field Effect Transistor (MOSFET) models that are derived from basic semiconductor theory. Various mod ...
04-04 [ None ]
-
Circuit Analysis II with MATLAB Computing and Simulink SimPowerSystems Modeling 电子书下载
This text is written for use in a second course in circuit analysis. It encompasses a spectrum of subjects ranging from the most ...
05-26 [ None ]
-
Sencha Touch in Action - Jesus Garcia, Anthony De Moss and Mitchell Simoens 电子书下载
Sencha Touch in Action - Jesus Garcia, Anthony De Moss and Mitchell SimoensJesus Garcia, Anthony De Moss and Mitchell Simoens ...
02-05 [ computer ]
-
-
-
Raspberry Pi Cookbook 3rd Edition - Dr. Simon Monk 电子书下载
Raspberry Pi Cookbook 3rd Edition - Dr. Simon MonkDr. Simon Monk ...
02-05 [ computer ]
-
《如何启动黄金圈思维》[英]西蒙·斯涅克(Simon Sinek) / 戴维·米德(David Mead) / 彼得·多克尔(Peter Docker) 电子书下载
内容简介:你是否经常感到有些困惑,激励我们每天努力工作、学习、生活与不断前行的内在动机到底是什么?你是否已经喝够了太多千篇一律的鸡汤,在你对工作生活丧失热情的时候,那些“做你喜欢的事”“找到你最大的快乐所在”之类的建议虽然很正确,但却无法真的付诸行动。的确,在完成一些事情的时候会感到快乐,比如升职、 ...
10-14 [ life ]
-
Siemens SIMATIC Технологические функции CPU 31xC. Руководство 电子书下载
Издание 10/2001Это руководство дает полный обзор встроенных технологических функций CPU 31xC (Позиционирование, Счет, Двухточечно ...
10-10 [ None ]
-
Modeling and Simulation of Systems Using MATLAB and Simulink 电子书下载
Not only do modeling and simulation help provide a better understanding of how real-world systems function, they also enable us t ...
05-26 [ None ]
-
Windows Phone 7 in Action - Timothy Binkley-Jones, Massimo Perga and Michael Sync 电子书下载
Windows Phone 7 in Action - Timothy Binkley-Jones, Massimo Perga and Michael SyncTimothy Binkley-Jones, Massimo Perga and Michael Sync ...
02-05 [ computer ]