CS
Hacker's Delight 豆瓣 Goodreads
Hacker's Delight
作者: Henry S. Warren Jr. Addison-Wesley 2002 - 7
A collection useful programming advice the author has collected over the years; small algorithms that make the programmer's task easier. * At long last, proven short-cuts to mastering difficult aspects of computer programming * Learn to program at a more advanced level than is generally taught in schools and training courses, and much more advanced than can be learned through individual study/experience. * An instant cult classic for programmers! Computer programmers are often referred to as hackers -- solitary problem solvers engrossed in a world of code as they seek elegant solutions to building better software. While many view these unique individuals as "madmen," the truth is that much of the computer programmer's job involves a healthy mix of arithmetic and logic. In Hacker's Delight, veteran programmer Hank Warren shares the collected wisdom -- namely tips and tricks -- from his considerable experience in the world of application development. The resulting work is an irresistible collection that will help even the most seasoned programmers better their craft. Henry S. Warren Jr. has had a 40-year career with IBM, spanning the computer field from the IBM 704 to PowerPC. He has worked on various military command and control systems, and on the SETL project under Jack Schwartz at NYU. Since 1973 he has been in IBM's Research Division at Yorktown Heights, New York. Here he has done compiler and computer architecture work on the 801 computer and its several variants through PowerPC. Presently he is working on the Blue Gene petaflop computer project. He received his Ph.D. in Computer Science from the Courant Institute at New York University in 1980.
The Healthy Programmer 豆瓣
作者: Joe Kutner Pragmatic Bookshelf 2013 - 6
Small changes to your habits can improve your health—without getting in the way of your work. The Healthy Programmer gives you a daily plan of action that’s incremental and iterative just like the software development processes you’re used to. Every tip, trick, and best practice is backed up by the advice of doctors, scientists, therapists, nutritionists, and numerous fitness experts.
We’ll review the latest scientific research to understand how being healthy is good for your body and mind. You’ll start by adding a small amount of simple activity to your day—no trips to the gym needed. You’ll learn how to mitigate back pain, carpal tunnel syndrome, headaches, and many other common sources of pain.
You’ll also learn how to refactor your diet to properly fuel your body without gaining weight or feeling hungry. Then, you’ll turn the exercises and activities into a pragmatic workout methodology that doesn’t interfere with the demands of your job and may actually improve your cognitive skills.
You’ll also learn the secrets of prominent figures in the software community who turned their health around by making diet and exercise changes. Throughout, you’ll track your progress with a companion iPhone app.
Finally, you’ll learn how to make your healthy lifestyle pragmatic, attainable, and fun. If you’re going to live well, you should enjoy it.
The Pragmatic Programmer 豆瓣 Goodreads Goodreads
8.7 (6 个评分) 作者: Andrew Hunt / David Thomas Addison-Wesley Professional 1999 - 10
本书直击编程陈地,穿过了软件开发中日益增长的规范和技术藩篱,对核心过程进行了审视――即根据需求,创建用户乐于接受的、可工作和易维护的代码。本书包含的内容从个人责任到职业发展,直至保持代码灵活和易于改编重用的架构技术。从本书中将学到防止软件变质、消除复制知识的陷阱、编写灵活、动态和易适应的代码、避免出现相同的设计、用契约、断言和异常对代码进行防护等内容。
Language Implementation Patterns 豆瓣
作者: Terence Parr Pragmatic Bookshelf 2010 - 1
Knowing how to create domain-specific languages (DSLs) can give you a huge productivity boost. Instead of writing code in a general-purpose programming language, you can first build a custom language tailored to make you efficient in a particular domain. The key is understanding the common patterns found across language implementations. "Language Design Patterns" identifies and condenses the most common design patterns, providing sample implementations of each. The pattern implementations use Java, but the patterns themselves are completely general. Some of the implementations use the well-known ANTLR parser generator, so readers will find this book an excellent source of ANTLR examples as well. But this book will benefit anyone interested in implementing languages, regardless of their tool of choice. Other language implementation books focus on compilers, which you rarely need in your daily life. Instead, "Language Design Patterns" shows you patterns you can use for all kinds of language applications. You'll learn to create configuration file readers, data readers, model-driven code generators, source-to-source translators, source analyzers, and interpreters. Each chapter groups related design patterns and, in each pattern, you'll get hands-on experience by building a complete sample implementation. By the time you finish the book, you'll know how to solve most common language implementation problems.
Computer Science 豆瓣
作者: J. Glenn Brookshear Addison Wesley 2011 - 1
Computer Science: An Overview uses broad coverage and clear exposition to present a complete picture of the dynamic computer science field. Accessible to students from all backgrounds, Glenn Brookshear uses a language-independent context to encourage the development of a practical, realistic understanding of the field. An overview of each of the important areas of Computer Science (e.g. Networking, OS, Computer Architecture, Algorithms) provides students with a general level of proficiency for future courses.
The Eleventh Edition features two new contributing authors (David Smith — Indiana University of PA; Dennis Brylow — Marquette University), new, modern examples, and updated coverage based on current technology.
Concrete Mathematics Goodreads 豆瓣
作者: Ronald L. Graham / Donald E. Knuth Addison-Wesley Professional 1994 - 3
This book introduces the mathematics that supports advanced computer programming and the analysis of algorithms. The primary aim of its well-known authors is to provide a solid and relevant base of mathematical skills - the skills needed to solve complex problems, to evaluate horrendous sums, and to discover subtle patterns in data. It is an indispensable text and reference not only for computer scientists - the authors themselves rely heavily on it! - but for serious users of mathematics in virtually every discipline. Concrete Mathematics is a blending of CONtinuous and disCRETE mathematics. "More concretely," the authors explain, "it is the controlled manipulation of mathematical formulas, using a collection of techniques for solving problems." The subject matter is primarily an expansion of the Mathematical Preliminaries section in Knuth's classic Art of Computer Programming, but the style of presentation is more leisurely, and individual topics are covered more deeply. Several new topics have been added, and the most significant ideas have been traced to their historical roots. The book includes more than 500 exercises, divided into six categories.Complete answers are provided for all exercises, except research problems, making the book particularly valuable for self-study. Major topics include: *Sums *Recurrences *Integer functions *Elementary number theory *Binomial coefficients *Generating functions *Discrete probability *Asymptotic methods This second edition includes important new material about mechanical summation. In response to the widespread use of the first edition as a reference book, the bibliography and index have also been expanded, and additional nontrivial improvements can be found on almost every page. Readers will appreciate the informal style of Concrete Mathematics. Particularly enjoyable are the marginal graffiti contributed by students who have taken courses based on this material. The authors want to convey not only the importance of the techniques presented, but some of the fun in learning and using them. 0201558025B04062001
Kalman Filtering 豆瓣
作者: Mohinder S. Grewal / Angus P. Andrews Wiley-Interscience 2001 - 1
". . . an authentic magnum opus worth much more than its weight in gold!"-IEEE Transactions on Automatic Control, from a review of the First Edition
"The best book I've seen on the subject of Kalman filtering . . . Reading other books on Kalman filters and not this one could make you a very dangerous Kalman filter engineer."-Amazon.com, from a review of the First Edition
In this practical introduction to Kalman filtering theory and applications, authors Grewal and Andrews draw upon their decades of experience to offer an in-depth examination of the subtleties, common problems, and limitations of estimation theory as it applies to real-world situations. They provide many illustrative examples drawn from an array of application areas including GPS-aided INS, the modeling of gyros and accelerometers, inertial navigation, and freeway traffic control. In addition, they share many hard-won lessons about, and original methods for, designing, implementing, validating, and improving Kalman filters, including techniques for:
* Representing the problem in a mathematical model
* Analyzing estimator performance as a function of model parameters
* Implementing the mechanization equations in numerically stable algorithms
* Assessing computational requirements
* Testing the validity of results
* Monitoring filter performance in operation
As the best way to understand and master a technology is to observe it in action, Kalman Filtering: Theory and Practice Using MATLAB(r), Second Edition includes companion software in MATLAB(r), providing users with an opportunity to experience first hand the filter's workings and its limitations.
This updated and revised edition of Grewal and Andrews's classic guide is an indispensable working resource for engineers and computer scientists involved in the design of aerospace and aeronautical systems, global positioning and radar tracking systems, power systems, and biomedical instrumentation.
An Instructor's Manual presenting detailed solutions to all the problems in the book is available from the Wiley editorial department.
Hackers and Painters 豆瓣 谷歌图书 Goodreads
8.8 (12 个评分) 作者: 保罗·格雷厄姆 O'Reilly Media 2004 - 5
"In most fields the great work is done early on. The paintings made between 1430 and 1500 are still unsurpassed. Shakespeare appeared just as professional theater was being born, and pushed the medium so far that every playwright since has had to live in his shadow. Albrecht Durer did the same thing with engraving, and Jane Austen with the novel.
Algorithms 豆瓣 Goodreads
作者: Robert Sedgewick / Kevin Wayne Addison-Wesley Professional 2011 - 3
Essential Information about Algorithms and Data Structures A Classic Reference The latest version of Sedgewick,s best-selling series, reflecting an indispensable body of knowledge developed over the past several decades. Broad Coverage Full treatment of data structures and algorithms for sorting, searching, graph processing, and string processing, including fifty algorithms every programmer should know. See
An Introduction to MultiAgent Systems 豆瓣
作者: Michael Wooldridge Wiley 2009 - 6
The eagerly anticipated updated resource on one of the most important areas of research and development: multi-agent systems Multi-agent systems allow many intelligent agents to interact with each other, and this field of study has advanced at a rapid pace since the publication of the first edition of this book, which was nearly a decade ago. With this exciting new edition, the coverage of multi-agents is completely updated to include several areas that have come to prominence in the last several years, including auctions, computational social choice, and markov decision processes. In turn, a variety of topics that were initially considered critical have dwindled in importance, so the coverage of that subject matter is decreased with this new edition. The result of this redefined balance of coverage is a timely and essential resource on a popular topic. Introduces you to the concept of agents and multi-agent systems and the main applications for which they are appropriate Discusses the main issues surrounding the design of intelligent agents and a multi-agent society Delves into a number of typical applications for agent technology Addresses deductive reasoning agents, practical reasoning agents, reactive and hybrid agents, and more Reviews multi-agent decision making, communication and cooperation, and intelligent autonomous agents By the end of the book, you will have a firm grasp on how agents are distinct from other software paradigms and understand the characteristics of applications that lend themselves to agent-oriented software.
The Art of Prolog, Second Edition 豆瓣
作者: Ehud Sterling Leon; Shapiro The MIT Press 1994
This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results, the references have been greatly expanded, and more advanced exercises have been added which have been used successfully in teaching the course.Part II, The Prolog Language, has been modified to be compatible with the new Prolog standard, and the chapter on program development has been significantly altered: the predicates defined have been moved to more appropriate chapters, the section on efficiency has been moved to the considerably expanded chapter on cuts and negation, and a new section has been added on stepwise enhancement -- a systematic way of constructing Prolog programs developed by Leon Sterling.All but one of the chapters in Part III, Advanced Prolog Programming Techniques, have been substantially changed, with some major rearrangements. A new chapter on interpreters describes a rule language and interpreter for expert systems, which better illustrates how Prolog should be used to construct expert systems. The chapter on program transformation is completely new and the chapter on logic grammars adds new material for recognizing simple languages, showing how grammars apply to more computer science examples.
The Fabric of Reality 豆瓣
作者: David Deutsch Penguin 1998 - 3
This is an extraordinary and challenging synthesis of ideas uniting Quantum Theory, and the theories of Computation, Knowledge and Evolution. Deutsch's extraordinary book explores the deep connections between these strands which reveal the fabric of reality in which human actions and ideas play essential roles.
Three Views of Logic: Mathematics, Philosophy, and Computer Science 豆瓣
Three Views of Logic: Mathematics, Philosophy, and Computer Science
作者: Donald W. Loveland / Richard E. Hodel Princeton University Press 2014 - 1
This book is based on an interdisciplinary course on logic offered to upper-level undergraduates at Duke University over a period of more than ten years. Why an interdisciplinary course on logic? Although logic has been a discipline of study in philosophy since ancient times, in recent decades it has played an important role in other disciplines as well. For example, logic is at the core of two programming languages, is used in program verification, has enriched philosophy (and computer science) with non-classical logics that can deal constructively with contradictions, and has shaken the foundations of mathematics with insight into non-computable functions and non-provability. Several of these ideas are treated in this book.
This book addresses select topics drawn from three different areas of logic: proof theory, computability theory, and philosophical logic. A common thread throughout is the application of logic to computers and computation.
Part 1 on Proof Theory introduces a deductive system (resolution logic) that comes from an area of research known as automated deduc- tion.
Part 2 on Computability Theory explores the limits of computation using an abstract model of computers called register machines.
Part 3 on Philosophical Logic presents a certain non-classical logic (relevance logic) and a semantics for it that is useful for automated reasoning systems that must deal with the possibility of inconsistent information.
The three areas from which the special topics are drawn — proof theory, computability theory, and philosophical logic — exhibit the different roles that logic plays in three different disciplines: computer science, mathematics, and philosophy. The three parts of the book were written by a computer scientist, a mathematician, and a philosopher, respectively, and each part was reviewed by the other two authors for accessibility to students in their fields. The three parts of the book are roughly of equal length. The second part, on computability theory, is largely independent of the first, but the third part, on philosophical logic, is best presented after the first two parts.
The Mathematical Theory of Communication 豆瓣
作者: Claude E Shannon / Warren Weaver University of Illinois Press 1998 - 9
Scientific knowledge grows at a phenomenal pace-but few books have had as lasting an impact or played as important a role in our modern world as "The Mathematical Theory of Communication", published originally as a paper on communication theory in the "Bell System Technical Journal" more than fifty years ago. Republished in book form shortly thereafter, it has since gone through four hardcover and sixteen paperback printings. It is a revolutionary work, astounding in its foresight and contemporaneity. The University of Illinois Press is pleased and honored to issue this commemorative reprinting of a classic.
Practical Text Mining and Statistical Analysis for Non-structured Text Data Applications 豆瓣
作者: Gary Miner / John Elder Academic Press 2012 - 1
Practical Text Mining and Statistical Analysis for Non-structured Text Data Applications brings together all the information, tools and methods a professional will need to efficiently use text mining applications and statistical analysis. Winner of a 2012 PROSE Award in Computing and Information Sciences from the Association of American Publishers, this book presents a comprehensive how-to reference that shows the user how to conduct text mining and statistically analyze results. In addition to providing an in-depth examination of core text mining and link detection tools, methods and operations, the book examines advanced preprocessing techniques, knowledge representation considerations, and visualization approaches. Finally, the book explores current real-world, mission-critical applications of text mining and link detection using real world example tutorials in such varied fields as corporate, finance, business intelligence, genomics research, and counter terrorism activities. The world contains an unimaginably vast amount of digital information which is getting ever vaster ever more rapidly. This makes it possible to do many things that previously could not be done: spot business trends, prevent diseases, combat crime and so on. Managed well, the textual data can be used to unlock new sources of economic value, provide fresh insights into science and hold governments to account. As the Internet expands and our natural capacity to process the unstructured text that it contains diminishes, the value of text mining for information retrieval and search will increase dramatically. Features: extensive case studies, most in a tutorial format, allow the reader to 'click through' the example using a software program, thus learning to conduct text mining analyses in the most rapid manner of learning possible; numerous examples, tutorials, power points and datasets available via companion website on Elsevierdirect.com; and glossary of text mining terms provided in the appendix -CD included.
Probability and Computing 豆瓣 Goodreads
作者: Michael Mitzenmacher / Eli Upfal Cambridge University Press 2005 - 1
Assuming only an elementary background in discrete mathematics, this textbook is an excellent introduction to the probabilistic techniques and paradigms used in the development of probabilistic algorithms and analyses. It includes random sampling, expectations, Markov's and Chevyshev's inequalities, Chernoff bounds, balls and bins models, the probabilistic method, Markov chains, MCMC, martingales, entropy, and other topics. The book is designed to accompany a one- or two-semester course for graduate students in computer science and applied mathematics.
Theory of Probability 豆瓣
作者: Harold Jeffreys Oxford University Press, USA 1998 - 11
Another title in the reissued Oxford Classic Texts in the Physical Sciences series, Jeffrey's Theory of Probability, first published in 1939, was the first to develop a fundamental theory of scientific inference based on the ideas of Bayesian statistics. His ideas were way ahead of their time and it is only in the past ten years that the subject of Bayes' factors has been significantly developed and extended. Until recently the two schools of statistics (Bayesian and Frequentist) were distinctly different and set apart. Recent work (aided by increased computer power and availability) has changed all that and today's graduate students and researchers all require an understanding of Bayesian ideas. This book is their starting point.
Cython Goodreads 豆瓣
作者: Kurt W. Smith O'Reilly Media 2015 - 1
Cython can yield massive performance improvements over pure Python—speedups of 3000X are easily attainable for certain patterns. With this book, Kurt Smith shows you how to use Cython to easily wrap C and C++ libraries in Python, handling all the details of memory management for you. By removing the barrier between Python and C, Cython harnesses the best of both languages while remaining familiar and comfortable to Python users.
Cython has proven its usefulness in many foundational projects: Pandas, SymPy, Sage, and dozens of others, both open and closed source. You'll learn how Cython is an essential part of any performance-oriented Python programmer’s arsenal.