- 热门电子书排行
-
-
一本书读懂私募股权投资 电子书下载
-
多目标进化优化 电子书下载
-
告别“蜗居” 电子书下载
-
金粟儒林篇 电子书下载
-
考古学 电子书下载
-
古龙文集·剑客行（下） 电子书下载
-
通缩之问 电子书下载
-
资本主义工商业者的个人改造 电子书下载
-
The Encyclopaedic Cross-Reference Dictionary of the Quran: Arabic-Arabic-English المقدمة فقط: A First Quranic Dictionary Mixing the Traditional Arabic ... and the Non-Arabic Alphabetical Order 电子书下载
-
热夜之梦 电子书下载
-
- 标签列表
-
-
Integrated Formal Methods: 7th International Conference - Michael Leuschel Heike Wehrheim 电子书下载
Integrated Formal Methods: 7th International Conference - Michael Leuschel Heike WehrheimMichael Leuschel Heike Wehrheim ...
02-05 [ computer ]
-
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 ]
-
Formal Models of Operating System Kernels - Iain D. Craig 电子书下载
Formal Models of Operating System Kernels - Iain D. CraigIain D. Craig ...
02-05 [ computer ]
-
Formal Refinement for Operating System Kernels - Iain D. Craig 电子书下载
Formal Refinement for Operating System Kernels - Iain D. CraigIain D. Craig ...
02-05 [ computer ]
-
Formal Concept Analysis: Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings 电子书下载
This volume contains the Proceedings of ICFCA 2005, the 3rd International Conference on Formal Concept Analysis. The ICFCA confer ...
07-10 [ None ]
-
Theories of Programming and Formal Methods - Zhiming Liu, JimWoodcock and Huibiao Zhu 电子书下载
Theories of Programming and Formal Methods - Zhiming Liu, JimWoodcock and Huibiao ZhuZhiming Liu, JimWoodcock and Huibiao Zhu ...
02-05 [ computer ]
-
Crisis and Continuity at the Abbasid Court : Formal and Informal Politics in the Caliphate of al-Muqtadir (295–320-908–32) 电子书下载
The reign of al-Muqtadir (295-320/908-32) is a crucial and controversial epoch in the history of the Abbasid empire. Al-Muqtadir’ ...
09-19 [ None ]
-
A roadmap for formal property verification 电子书下载
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book de ...
08-29 [ None ]
-
-
-
Foundations of Algebraic Specification and Formal Software Development - Donald Sannella and Andrzej Tarlecki 电子书下载
Foundations of Algebraic Specification and Formal Software Development - Donald Sannella and Andrzej TarleckiDonald Sannella and Andrzej Tarlecki ...
02-05 [ computer ]