Marine想读的书(874)
-
Handbook of Model Checking
Edmund M. Clarke、Thomas A. Henzinger、Helmut Veith、Roderick Bloem / Springer / 2017-11-27 / USD 189.002025-03-01 想读 -
-
-
One Thousand Exercises in Probability: Third Edition
Geoffrey Grimmett、David Stirzaker / Oxford University Press / 2020-92025-02-16 想读 -
-
Auction Theory : Second Edition
Vijay Krishna / Academic Press / 2009-08-26 / USD 79.952025-01-28 想读 -
Making Databases Work : the Pragmatic Wisdom of Michael Stonebraker
Michael L.Brodie / Morgan & Claypool / 2018-12-14 / 99.95$2025-01-11 想读 -
Algorithmic Randomness and Complexity
Rodney G. Downey、Denis R. Hirschfeldt / 2010-11 / $ 111.872025-01-11 想读 -
Introduction to Natural Language Processing
Jacob Eisenstein / The MIT Press / 2019-10-1 / USD 75.002025-01-10 想读 -
Concurrent Programming : Algorithms, Principles, and Foundations
Michel Raynal / Springer / 2012-12-26 / USD 79.952025-01-10 想读 -
The Art of Agile Development, 2nd Edition
James Shore / O'Reilly Media, Inc. / 2021-102024-12-29 想读 -
The Limits of Mathematics : A Course on Information Theory and the Limits of Formal Reasoning (Discrete Mathematics and Theo
Gregory J. Chaitin / Springer / 2002-10-28 / USD 74.952024-12-25 想读 -
Linux System Programming : Talking Directly to the Kernel and C Library
Robert Love / O'Reilly Media / 2013-6-8 / USD 59.992024-09-17 想读 -
Thirty-three Miniatures : Mathematical and Algorithmic Applications of Linear Algebra
Jiří Matoušek / American Mathematical Socity / 2010-6-18 / USD 24.602024-09-08 想读 -
