-
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 ]
-
-
Writing and Publishing Scientific Papers: A Primer for the Non-English Speaker 电子书下载
Gábor Lövei`s scientific communication course for students and scientists explores the intricacies involved in publishing primary ...
10-08 [ None ]
-
-
-
-
《Spring实战》Craig Walls第4版文字版 电子书下载
Craig Walls是Pivotal的高级工程师,是Spring Social和Spring Sync的项目领导者,同时也是Manning出版社《Spring In Action》的作者,目前这本书已经更新到了第四版。他非常热心于Spring框架的推广,经常在当地的用户组和会议上演讲并在博客上撰写 ...
09-16 [ computer ]
-
Dependency Injection Principles, Practices, and Patterns - Steven Van Deursen and Mark Seemann 电子书下载
Dependency Injection Principles, Practices, and Patterns - Steven Van Deursen and Mark SeemannSteven Van Deursen and Mark Seemann ...
02-05 [ computer ]
-
-
-
Service-Oriented Architecture Governance for the Services Driven Enterprise - Eric A. Marks 电子书下载
Service-Oriented Architecture Governance for the Services Driven Enterprise - Eric A. MarksEric A. Marks ...
02-05 [ computer ]
-
Service-Oriented Architecture Compass Business Value Planning and Enterprise Roadmap 电子书下载
Praise for Service-Oriented Architecture Compass "A comprehensive roadmap to Service-Oriented Architecture (SOA). SOA is, in rea ...
08-29 [ None ]
-
-
-
-
Oracle Database 11g SQL - Jason Price 电子书下载
Oracle Database 11g SQL - Jason PriceJason Price ...
02-05 [ computer ]
-
Just Spring Integration - Madhusudhan Konda 电子书下载
Just Spring Integration - Madhusudhan KondaMadhusudhan Konda ...
02-05 [ computer ]
-