Structure and Interpretation of Computer Programs


Harold Abelson - 1984
    This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises. In addition, all the programs have been reworked to run in any Scheme implementation that adheres to the IEEE standard.

Universe


Roger A. Freedman - 1998
    It places the basics of astronomy and the process of science within the grasp of introductory students. Package Universe, Eighth Edition with FREE Starry Night CD!use Package ISBN 0-7167-9564-7 SPLIT VOLUMESIn addition to the complete 28-chapter version of Universe, two shorter versions are also available:Universe: The Solar System, Third Edition(Chapters 1-16 and 28)0-7167-9563-9; w/FREE Starry Night CD, 0-7167-9562-0Universe: Stars and Galaxies, Third Edition(Chapters 1-8 which includes a two-chapter overview of the solar system) and Chapters 16-28)0-7167-9561-2; w/FREE Starry Night CD, 0-7167-9565-5

The Large Scale Structure of Space-Time


Stephen Hawking - 1973
    These singularities are places where space-time begins or ends, and the presently known laws of physics break down. They will occur inside black holes, and in the past are what might be construed as the beginning of the universe. To show how these predictions arise, the authors discuss the General Theory of Relativity in the large. Starting with a precise formulation of the theory and an account of the necessary background of differential geometry, the significance of space-time curvature is discussed and the global properties of a number of exact solutions of Einstein's field equations are examined. The theory of the causal structure of a general space-time is developed, and is used to study black holes and to prove a number of theorems establishing the inevitability of singualarities under certain conditions. A discussion of the Cauchy problem for General Relativity is also included in this 1973 book.

Elementary Principles of Chemical Processes [With CDROM]


Richard M. Felder - 1978
    It provides a realistic, informative, and positive introduction to the practice of chemical engineering.

Calculus for Dummies


Mark Ryan - 2003
    Others who have no intention of ever studying the subject have this notion that calculus is impossibly difficult unless you happen to be a direct descendant of Einstein. Well, the good news is that you can master calculus. It's not nearly as tough as its mystique would lead you to think. Much of calculus is really just very advanced algebra, geometry, and trig. It builds upon and is a logical extension of those subjects. If you can do algebra, geometry, and trig, you can do calculus.Calculus For Dummies is intended for three groups of readers:Students taking their first calculus course - If you're enrolled in a calculus course and you find your textbook less than crystal clear, this is the book for you. It covers the most important topics in the first year of calculus: differentiation, integration, and infinite series.Students who need to brush up on their calculus to prepare for other studies - If you've had elementary calculus, but it's been a couple of years and you want to review the concepts to prepare for, say, some graduate program, Calculus For Dummies will give you a thorough, no-nonsense refresher course.Adults of all ages who'd like a good introduction to the subject - Non-student readers will find the book's exposition clear and accessible. Calculus For Dummies takes calculus out of the ivory tower and brings it down to earth. This is a user-friendly math book. Whenever possible, the author explains the calculus concepts by showing you connections between the calculus ideas and easier ideas from algebra and geometry. Then, you'll see how the calculus concepts work in concrete examples. All explanations are in plain English, not math-speak. Calculus For Dummies covers the following topics and more:Real-world examples of calculus The two big ideas of calculus: differentiation and integration Why calculus works Pre-algebra and algebra review Common functions and their graphs Limits and continuity Integration and approximating area Sequences and series Don't buy the misconception. Sure calculus is difficult - but it's manageable, doable. You made it through algebra, geometry, and trigonometry. Well, calculus just picks up where they leave off - it's simply the next step in a logical progression.

Applied Cryptography: Protocols, Algorithms, and Source Code in C


Bruce Schneier - 1993
    … The book the National Security Agency wanted never to be published." –Wired Magazine "…monumental… fascinating… comprehensive… the definitive work on cryptography for computer programmers…" –Dr. Dobb's Journal"…easily ranks as one of the most authoritative in its field." —PC Magazine"…the bible of code hackers." –The Millennium Whole Earth CatalogThis new edition of the cryptography classic provides you with a comprehensive survey of modern cryptography. The book details how programmers and electronic communications professionals can use cryptography—the technique of enciphering and deciphering messages-to maintain the privacy of computer data. It describes dozens of cryptography algorithms, gives practical advice on how to implement them into cryptographic software, and shows how they can be used to solve security problems. Covering the latest developments in practical cryptographic techniques, this new edition shows programmers who design computer applications, networks, and storage systems how they can build security into their software and systems. What's new in the Second Edition? * New information on the Clipper Chip, including ways to defeat the key escrow mechanism * New encryption algorithms, including algorithms from the former Soviet Union and South Africa, and the RC4 stream cipher * The latest protocols for digital signatures, authentication, secure elections, digital cash, and more * More detailed information on key management and cryptographic implementations

How to read and do proofs


Daniel Solow - 1982
    Shows how any proof can be understood as a sequence of techniques. Covers the full range of techniques used in proofs, such as the contrapositive, induction, and proof by contradiction. Explains how to identify which techniques are used and how they are applied in the specific problem. Illustrates how to read written proofs with many step-by-step examples. Includes new, expanded appendices related to discrete mathematics, linear algebra, modern algebra and real analysis.

Semiconductor Device Fundamentals


Robert F. Pierret - 1995
    Problems are designed to progressively enhance MATLAB-use proficiency, so students need not be familiar with MATLAB at the start of your course. Program scripts that are answers to exercises in the text are available at no charge in electronic form (see Teaching Resources below). *Supplement and Review Mini-Chapters after each of the text's three parts contain an extensive review list of terms, test-like problem sets with answers, and detailed suggestions on supplemental reading to reinforce students' learning and help them prepare for exams. *Read-Only Chapters, strategically placed to provide a change of pace during the course, provide informative, yet enjoyable reading for students. *Measurement Details and Results samples offer students a realistic perspective on the seldom-perfect nature of device characteristics, contrary to the way they are often represented in introductory texts. Content Highlig

Advanced Engineering Mathematics


Erwin Kreyszig - 1968
    The new edition provides invitations - not requirements - to use technology, as well as new conceptual problems, and new projects that focus on writing and working in teams.

All the Mathematics You Missed


Thomas A. Garrity - 2001
    This book will offer students a broad outline of essential mathematics and will help to fill in the gaps in their knowledge. The author explains the basic points and a few key results of all the most important undergraduate topics in mathematics, emphasizing the intuitions behind the subject. The topics include linear algebra, vector calculus, differential and analytical geometry, real analysis, point-set topology, probability, complex analysis, set theory, algorithms, and more. An annotated bibliography offers a guide to further reading and to more rigorous foundations.

Language, Proof and Logic: Text and CD


Jon Barwise - 1999
    The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.The package includes four pieces of software:Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs;Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems.Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu.The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.

Deep Learning


Ian Goodfellow - 2016
    Because the computer gathers knowledge from experience, there is no need for a human computer operator to formally specify all the knowledge that the computer needs. The hierarchy of concepts allows the computer to learn complicated concepts by building them out of simpler ones; a graph of these hierarchies would be many layers deep. This book introduces a broad range of topics in deep learning.The text offers mathematical and conceptual background, covering relevant concepts in linear algebra, probability theory and information theory, numerical computation, and machine learning. It describes deep learning techniques used by practitioners in industry, including deep feedforward networks, regularization, optimization algorithms, convolutional networks, sequence modeling, and practical methodology; and it surveys such applications as natural language processing, speech recognition, computer vision, online recommendation systems, bioinformatics, and videogames. Finally, the book offers research perspectives, covering such theoretical topics as linear factor models, autoencoders, representation learning, structured probabilistic models, Monte Carlo methods, the partition function, approximate inference, and deep generative models.Deep Learning can be used by undergraduate or graduate students planning careers in either industry or research, and by software engineers who want to begin using deep learning in their products or platforms. A website offers supplementary material for both readers and instructors.

Ordinary Differential Equations


Morris Tenenbaum - 1985
    Subsequent sections deal with integrating factors; dilution and accretion problems; linearization of first order systems; Laplace Transforms; Newton's Interpolation Formulas, more.

Facts and Mysteries in Elementary Particle Physics


Martinus Veltman - 2003
    We are introduced to the known particles of the world we live in. An elegant explanation of quantum mechanics and relativity paves the way for an understanding of the laws that govern particle physics. These laws are put into action in the world of accelerators, colliders and detectors found at institutions such as CERN and Fermilab that are in the forefront of technical innovation. Real world and theory meet using Feynman diagrams to solve the problems of infinities and deduce the need for the Higgs boson.Facts and Mysteries in Elementary Particle Physics offers an incredible insight from an eyewitness and participant in some of the greatest discoveries in 20th century science. From Einstein's theory of relativity to the elusive Higgs particle, this book will fascinate and educate anyone interested in the world of quarks, leptons and gauge theories.This book also contains many thumbnail sketches of particle physics personalities, including contemporaries as seen through the eyes of the author. Illustrated with pictures, these candid sketches present rare, perceptive views of the characters that populate the field.The Chapter on Particle Theory, in a pre-publication, was termed “superbly lucid” by David Miller in Nature (Vol. 396, 17 Dec. 1998, p. 642).

An Introduction to Modern Cosmology


Andrew Liddle - 2003
    The Big Bang Cosmology is explored, looking at its observational successes in explaining the expansion of the Universe, the existence and properties of the cosmic microwave background, and the origin of light elements in the universe. Properties of the very early Universe are also covered, including the motivation for a rapid period of expansion known as cosmological inflation. The third edition brings this established undergraduate textbook up-to-date with the rapidly evolving observational situation. This fully revised edition of a bestseller takes an approach which is grounded in physics with a logical flow of chapters leading the reader from basic ideas of the expansion described by the Friedman equations to some of the more advanced ideas about the early universe. It also incorporates up-to-date results from the Planck mission, which imaged the anisotropies of the Cosmic Microwave Background radiation over the whole sky. The Advanced Topic sections present subjects with more detailed mathematical approaches to give greater depth to discussions. Student problems with hints for solving them and numerical answers are embedded in the chapters to facilitate the reader's understanding and learning. Cosmology is now part of the core in many degree programs. This current, clear and concise introductory text is relevant to a wide range of astronomy programs worldwide and is essential reading for undergraduates and Masters students, as well as anyone starting research in cosmology.