Automated Verification of Concurrent Search Structures
Automated Verification of Concurrent Search Structures Siddharth Krishna,Microsoft Research,Cambridge, Nisarg Patel,New ...
Cambridge 第14页
125 Problems in Text Algorithms: with Solutions
125 Problems in Text Algorithms: with Solutions Hardcover – 1 July 2021 by: Maxime Crochemore ,Thierry Lecroq ,Wojciech ...
Competitive Programming in Python: 128 Algorithms to Develop your Coding Skills
Competitive Programming in Python: 128 Algorithms to Develop your Coding Skills by Christoph Dürr Publisher finelybook 出...
Mathematics for Machine Learning
Mathematics for Machine Learning by: Marc Peter Deisenroth Publisher finelybook 出版社: Cambridge University Press (23 Apr...
Linear Algebra (Cambridge Mathematical Textbooks)
Linear Algebra (Cambridge Mathematical Textbooks) by: Elizabeth S. Meckes and Mark W. Meckes ASIN: 1107177901 Publisher ...
Introduction to IoT
Introduction to IoT by: Sudip Misra ,Anandarup Mukherjee ,Arijit Roy Publisher finelybook 出版社: Cambridge University Pre...
Networked Microgrids
Networked Microgrids by: Peng Zhang Publisher finelybook 出版社: Cambridge University Press; 1st edition (July 31,2021) La...
Introduction to Applied Linear Algebra: Vectors,Matrices,and Least Squares
Introduction to Applied Linear Algebra: Vectors,Matrices,and Least Squares by: Stephen Boyd and Lieven Vandenberghe Publ...
Automotive Ethernet,3rd Edition
Automotive Ethernet by: Kirsten Matheus and Thomas Königseder Publisher finelybook 出版社: Cambridge University Press; 3rd...
Resource Allocation for Wireless Networks
Resource Allocation for Wireless Networks: Basics,Techniques,and Applications by: Zhu Han and K. J. Ray Liu Publisher fi...