Hacker's Delight


Henry S. Warren Jr. - 2002
    Aiming to tell the dark secrets of computer arithmetic, this title is suitable for library developers, compiler writers, and lovers of elegant hacks.

Complexity: A Guided Tour


Melanie Mitchell - 2009
    Based on her work at the Santa Fe Institute and drawing on its interdisciplinary strategies, Mitchell brings clarity to the workings of complexity across a broad range of biological, technological, and social phenomena, seeking out the general principles or laws that apply to all of them. Richly illustrated, Complexity: A Guided Tour--winner of the 2010 Phi Beta Kappa Book Award in Science--offers a wide-ranging overview of the ideas underlying complex systems science, the current research at the forefront of this field, and the prospects for its contribution to solving some of the most important scientific questions of our time.

Mathematics 1001: Absolutely Everything That Matters in Mathematics in 1001 Bite-Sized Explanations


Richard Elwes - 2010
    Distilled into 1001 mini-essays arranged thematically, this unique book moves steadily from the basics through to the most advanced areas of math, making it the ideal guide for both the beginner and the math wiz.The book covers all of the fundamental mathematical disciplines:Geometry Numbers Analysis Logic Algebra Probability and statistics Applied mathematics Discrete mathematics Games and recreational mathematics Philosophy and metamathematicsExpert mathematician Richard Elwes explains difficult concepts in the simplest language with a minimum of jargon. Along the way he reveals such mathematical magic as how to count to 1023 using just 10 fingers and how to make an unbreakable code.Enlightening and entertaining, Mathematics 1001 makes the language of math come alive.

Embedded Android: Porting, Extending, and Customizing


Karim Yaghmour - 2011
    You'll also receive updates when significant changes are made, as well as the final ebook version. Embedded Android is for Developers wanting to create embedded systems based on Android and for those wanting to port Android to new hardware, or creating a custom development environment. Hackers and moders will also find this an indispensible guide to how Android works.

Semiconductor Physics and Devices: Basic Principles


Donald A. Neamen - 1992
    The goal of this book is to bring together quantum mechanics, the quantum theory of solids, semiconductor material physics, and semiconductor device physics in a clear and understandable way.

Probably Approximately Correct: Nature's Algorithms for Learning and Prospering in a Complex World


Leslie Valiant - 2013
    We nevertheless muddle through even in the absence of theories of how to act. But how do we do it?In Probably Approximately Correct, computer scientist Leslie Valiant presents a masterful synthesis of learning and evolution to show how both individually and collectively we not only survive, but prosper in a world as complex as our own. The key is “probably approximately correct” algorithms, a concept Valiant developed to explain how effective behavior can be learned. The model shows that pragmatically coping with a problem can provide a satisfactory solution in the absence of any theory of the problem. After all, finding a mate does not require a theory of mating. Valiant’s theory reveals the shared computational nature of evolution and learning, and sheds light on perennial questions such as nature versus nurture and the limits of artificial intelligence.Offering a powerful and elegant model that encompasses life’s complexity, Probably Approximately Correct has profound implications for how we think about behavior, cognition, biological evolution, and the possibilities and limits of human and machine intelligence.

The Man Who Knew Too Much: Alan Turing and the Invention of the Computer


David Leavitt - 2006
    Then, attempting to break a Nazi code during World War II, he successfully designed and built one, thus ensuring the Allied victory. Turing became a champion of artificial intelligence, but his work was cut short. As an openly gay man at a time when homosexuality was illegal in England, he was convicted and forced to undergo a humiliating "treatment" that may have led to his suicide.With a novelist's sensitivity, David Leavitt portrays Turing in all his humanity—his eccentricities, his brilliance, his fatal candor—and elegantly explains his work and its implications.

Linked: How Everything Is Connected to Everything Else and What It Means for Business, Science, and Everyday Life


Albert-László Barabási - 2002
    Albert-László Barabási, the nation’s foremost expert in the new science of networks and author of Bursts, takes us on an intellectual adventure to prove that social networks, corporations, and living organisms are more similar than previously thought. Grasping a full understanding of network science will someday allow us to design blue-chip businesses, stop the outbreak of deadly diseases, and influence the exchange of ideas and information. Just as James Gleick and the Erdos–Rényi model brought the discovery of chaos theory to the general public, Linked tells the story of the true science of the future and of experiments in statistical mechanics on the internet, all vital parts of what would eventually be called the Barabási–Albert model.

AC/DC: The Savage Tale of the First Standards War


Tom McNichol - 2006
    The savagery of this electrical battle can hardly be imagined today. The showdown between AC and DC began as a rather straightforward conflict between technical standards, a battle of competing methods to deliver essentially the same product, electricity. But the skirmish soon metastasized into something bigger and darker. In the AC/DC battle, the worst aspects of human nature somehow got caught up in the wires; a silent, deadly flow of arrogance, vanity, and cruelty. Following the path of least resistance, the war of currents soon settled around that most primal of human emotions: fear. "AC/DC" serves as an object lesson in bad business strategy and poor decision making. Edison's inability to see his mistake was a key factor in his loss of control over the "operating system" for his future inventions—not to mention the company he founded, General Electric.

Vector Mechanics for Engineers: Statics


Ferdinand P. Beer - 1977
    Following on the success of the first six editions of the series, this work introduces theoretical and pedagogical innovations in statics, dynamics, and mechanics of materials education.

The Mathematical Universe: An Alphabetical Journey Through the Great Proofs, Problems, and Personalities


William Dunham - 1994
    . .he believes these ideas to be accessible to the audience he wantsto reach, and he writes so that they are. -- NatureIf you want to encourage anyone's interest in math, get them TheMathematical Universe. * New Scientist

Electrical Engineering: Principles and Applications


Allan R. Hambley - 1996
    Emphasizing the basic concepts of the field, this book covers circuit analysis, digital systems, electronics, and electromechanics. This book develops theoretical and experimental skills and experiences in the following areas: basic circuit analysis and measurement, first- and second-order transients, steady-state ac circuits, resonance and frequency response, digital logic circuits, microcontrollers (68HC11), computer-based instrumentation, diode circuits, electronic amplifiers, field-effect and bipolar junction transistors, operational amplifiers, ac and dc machines, and more. For engineers or any other professionals who need a solid foundation in the basics of circuits, digital systems, analog electronics, and electromechanics.

Types and Programming Languages


Benjamin C. Pierce - 2002
    The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

Computational Complexity


Sanjeev Arora - 2007
    Requiring essentially no background apart from mathematical maturity, the book can be used as a reference for self-study for anyone interested in complexity, including physicists, mathematicians, and other scientists, as well as a textbook for a variety of courses and seminars. More than 300 exercises are included with a selected hint set.

Humble Pi: A Comedy of Maths Errors


Matt Parker - 2019
    Most of the time this math works quietly behind the scenes . . . until it doesn't. All sorts of seemingly innocuous mathematical mistakes can have significant consequences.Math is easy to ignore until a misplaced decimal point upends the stock market, a unit conversion error causes a plane to crash, or someone divides by zero and stalls a battleship in the middle of the ocean.Exploring and explaining a litany of glitches, near misses, and mathematical mishaps involving the internet, big data, elections, street signs, lotteries, the Roman Empire, and an Olympic team, Matt Parker uncovers the bizarre ways math trips us up, and what this reveals about its essential place in our world. Getting it wrong has never been more fun.