Book picks similar to
Automata and Computability by Dexter C. Kozen
computer-science
reference
mathematics
programming
Algorithms
Robert Sedgewick - 1983
This book surveys the most important computer algorithms currently in use and provides a full treatment of data structures and algorithms for sorting, searching, graph processing, and string processing -- including fifty algorithms every programmer should know. In this edition, new Java implementations are written in an accessible modular programming style, where all of the code is exposed to the reader and ready to use.The algorithms in this book represent a body of knowledge developed over the last 50 years that has become indispensable, not just for professional programmers and computer science students but for any student with interests in science, mathematics, and engineering, not to mention students who use computation in the liberal arts.The companion web site, algs4.cs.princeton.edu contains An online synopsis Full Java implementations Test data Exercises and answers Dynamic visualizations Lecture slides Programming assignments with checklists Links to related material The MOOC related to this book is accessible via the "Online Course" link at algs4.cs.princeton.edu. The course offers more than 100 video lecture segments that are integrated with the text, extensive online assessments, and the large-scale discussion forums that have proven so valuable. Offered each fall and spring, this course regularly attracts tens of thousands of registrants.Robert Sedgewick and Kevin Wayne are developing a modern approach to disseminating knowledge that fully embraces technology, enabling people all around the world to discover new ways of learning and teaching. By integrating their textbook, online content, and MOOC, all at the state of the art, they have built a unique resource that greatly expands the breadth and depth of the educational experience.
Beginning Web Programming with HTML, XHTML and CSS
Jon Duckett - 2004
It follows standards-based principles, but also teaches readers ways around problems they are likely to face using (X)HTML.While XHTML is the "current" standard, the book still covers HTML because many people do not yet understand that XHTML is the official successor to HTML, and many readers will still stick with HTML for backward compatibility and simpler/informal Web pages that don't require XHTML compliance.The book teaches basic principles of usability and accessibility along the way, to get users into the mode of developing Web pages that will be available to as many viewers as possible from the start. The book also covers the most commonly used programming/scripting language -- JavaScript -- and provides readers with a roadmap of other Web technologies to learn after mastering this book to add more functionality to their sites.
Calculus: Early Transcendental Functions
Ron Larson - 1900
Two primary objectives guided the authors in the revision of this book: to develop precise, readable materials for students that clearly define and demonstrate concepts and rules of calculus; and to design comprehensive teaching resources for instructors that employ proven pedagogical techniques and save time. The Larson/Hostetler/Edwards Calculus program offers a solution to address the needs of any calculus course and any level of calculus student. Every edition from the first to the fourth of Calculus: Early Transcendental Functions, 4/e has made the mastery of traditional calculus skills a priority, while embracing the best features of new technology and, when appropriate, calculus reform ideas. Now, the Fourth Edition is part of the first calculus program to offer algorithmic homework and testing created in Maple so that answers can be evaluated with complete mathematical accuracy.
The Elements of Computing Systems: Building a Modern Computer from First Principles
Noam Nisan - 2005
The books also provides a companion web site that provides the toold and materials necessary to build the hardware and software.
Making Games with Python & Pygame
Al Sweigart - 2012
Each chapter gives you the complete source code for a new game and teaches the programming concepts from these examples. The book is available under a Creative Commons license and can be downloaded in full for free from http: //inventwithpython.com/pygame This book was written to be understandable by kids as young as 10 to 12 years old, although it is great for anyone of any age who has some familiarity with Python.
Diaspora
Greg Egan - 1997
Of the discovery of an alien race and of a kink in time that means humanity — whatever form it takes — will never again be threatened by acts of God.
Hands-On Machine Learning with Scikit-Learn and TensorFlow
Aurélien Géron - 2017
Now that machine learning is thriving, even programmers who know close to nothing about this technology can use simple, efficient tools to implement programs capable of learning from data. This practical book shows you how.By using concrete examples, minimal theory, and two production-ready Python frameworks—Scikit-Learn and TensorFlow—author Aurélien Géron helps you gain an intuitive understanding of the concepts and tools for building intelligent systems. You’ll learn how to use a range of techniques, starting with simple Linear Regression and progressing to Deep Neural Networks. If you have some programming experience and you’re ready to code a machine learning project, this guide is for you.This hands-on book shows you how to use:Scikit-Learn, an accessible framework that implements many algorithms efficiently and serves as a great machine learning entry pointTensorFlow, a more complex library for distributed numerical computation, ideal for training and running very large neural networksPractical code examples that you can apply without learning excessive machine learning theory or algorithm details
Let Over Lambda
Doug Hoyte - 2008
Starting with the fundamentals, it describes the most advanced features of the most advanced language: Common Lisp. Only the top percentile of programmers use lisp and if you can understand this book you are in the top percentile of lisp programmers. If you are looking for a dry coding manual that re-hashes common-sense techniques in whatever langue du jour, this book is not for you. This book is about pushing the boundaries of what we know about programming. While this book teaches useful skills that can help solve your programming problems today and now, it has also been designed to be entertaining and inspiring. If you have ever wondered what lisp or even programming itself is really about, this is the book you have been looking for.
E=MC2: Simple Physics: Why Balloons Rise, Apples Fall & Golf BallsGo Awry
Jeff Stewart - 2010
With amusing examples from film, TV, and history, learn how physics affects everything in your surroundings--without the use of mind-bending math or the need for a particle accelerator. With E=MC2, you'll learn: When forces balance: Simple answers to questions such as, "Why do balloons rise while apples fall?" The Good, the Bad, and the Impossible: Why The Good, the Bad, and the Ugly is full of absurdities. (For someone whose characters often uphold the law, Clint Eastwood certainly defies the laws of physics in this film.) AC/DC: but only AC really rocks: Alternating current (AC) is much more complicated than direct current (DC). The voltage is constantly moving between positive and negative; the current therefore flows one way, and then the other (rocking back and forth). Why do I feel this warm glow?: The theory behind how the first stars were born General Relativity and GPS: The strange result of gravity on time is well proven. Compared to the interminable time you experience while stuck in a traffic jam, time literally runs faster (because gravity is weaker) in the orbiting GPS satellites that help your GPS system get its fix. At the speed of light: A refresher on the theory of relativity and an understanding of why--a hundred years later--Einstein's physics still points the way in cutting-edge research. Yu again: In the martial arts movie Crouching Tiger, Hidden Dragon, the rebellious young heroine, Jen Yu, blocks an attacker with her hand without standing or bracing herself. All the while, she holds a cup of tea in her other hand and doesn't spill a drop. Find out why kinetic energy and scalar quantity make her move impossible. It's physics for the rest of us. So why not come along for the ride? Advance at the speed of light through the fundamental laws of physics as they were discovered, proven wrong, and revolutionized. Make this and all of the Blackboard Books(tm) a permanent fixture on your shelf, and you'll have instant access to a breadth of knowledge. Whether you need homework help or want to win that trivia game, this series is the trusted source for fun facts.
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.
Small Animal Surgery
Theresa Welch Fossum - 1997
Coverage includes basic procedures such as spays, castrations, and declaws, as well as more advanced surgeries that might be referred to specialists such as craniotomy, ventral slots, and lung lobectomy. Discussions of general surgical procedures include sterile technique, surgical instrumentation, suturing, preoperative care, and antibiotic use. Key sections provide clinically relevant coverage of soft tissue surgery, orthopedic surgery, and neurosurgery.Over 1500 full color illustrations provide exceptionally clear representations of anatomy and currently accepted surgical techniques, including approaches and closure.Over 600 full color photographs and radiographs offer clear images of specific disorders, diseases, and procedures.Information on the most efficient and cost-saving sterilization techniques including scrubless and waterless preparation solutions.General considerations and clinically relevant pathophysiology sections provide practical information for case management.Step-by-step instructions for surgical techniques are presented in italicized blue type for quick and easy reference.Special icons identify advanced procedures that should be referred to an experienced surgeon or specialist.Color-coded tables and boxes call attention to specific data, offering at-a-glance access to key information such as drug dosages, clinical signs, and analgesic protocols.Anesthesia Protocols provide quick and easy access to recommendations for anesthetizing animals with particular diseases or disorders.A new chapter on Fundamentals of Physical Rehabilitation details the basics of physical rehabilitation for practitioners who want to integrate physical therapy into practice.A new chapter on Principles of Minimally Invasive Surgery that describes the principles of performing surgery with the least instrumentation possible, including instrument selection and care and basic techniques.A new chapter on Surgery of the Eye that discusses diseases and disorders of the eye, their medical management, and corrective surgical procedures.Expanded coverage of perioperative multimodal analgesic therapy.Updated coverage of arthroscopy, canine elbow dysplasia, joint replacement, and management of osteoarthritis.The latest information on state-of-the-art radiologic techniques.
Clean Architecture
Robert C. Martin - 2017
"Uncle Bob" Martin shows how to bring greater professionalism and discipline to application architecture and design.As with his other books, Martin's Clean Architecture doesn't merely present multiple choices and options, and say "use your best judgment": it tells you what choices to make, and why those choices are critical to your success. Martin offers direct, no-nonsense answers to key architecture and design questions like:What are the best high level structures for different kinds of applications, including web, database, thick-client, console, and embedded apps?What are the core principles of software architecture?What is the role of the architect, and what is he/she really trying to achieve?What are the core principles of software design?How do designs and architectures go wrong, and what can you do about it?What are the disciplines and practices of professional architects and designers?Clean Architecture is essential reading for every software architect, systems analyst, system designer, and software manager — and for any programmer who aspires to these roles or is impacted by their work.
Starting Out with Java: From Control Structures Through Objects
Tony Gaddis - 2009
If you wouldlike to purchase both the physical text and MyProgrammingLab search for ISBN-10: 0132989999/ISBN-13: 9780132989992. That packageincludes ISBN-10: 0132855836/ISBN-13: 9780132855839 and ISBN-10: 0132891557/ISBN-13: 9780132891554. MyProgrammingLab should only be purchased when required by an instructor. In "Starting Out with Java: From Control Structures through Objects", Gaddis covers procedural programming control structures and methods before introducing object-oriented programming. As with all Gaddis texts, clear and easy-to-read code listings, concise and practical real-world examples, and an abundance of exercises appear in every chapter. "
Data Smart: Using Data Science to Transform Information into Insight
John W. Foreman - 2013
Major retailers are predicting everything from when their customers are pregnant to when they want a new pair of Chuck Taylors. It's a brave new world where seemingly meaningless data can be transformed into valuable insight to drive smart business decisions.But how does one exactly do data science? Do you have to hire one of these priests of the dark arts, the "data scientist," to extract this gold from your data? Nope.Data science is little more than using straight-forward steps to process raw data into actionable insight. And in Data Smart, author and data scientist John Foreman will show you how that's done within the familiar environment of a spreadsheet. Why a spreadsheet? It's comfortable! You get to look at the data every step of the way, building confidence as you learn the tricks of the trade. Plus, spreadsheets are a vendor-neutral place to learn data science without the hype. But don't let the Excel sheets fool you. This is a book for those serious about learning the analytic techniques, the math and the magic, behind big data.Each chapter will cover a different technique in a spreadsheet so you can follow along: - Mathematical optimization, including non-linear programming and genetic algorithms- Clustering via k-means, spherical k-means, and graph modularity- Data mining in graphs, such as outlier detection- Supervised AI through logistic regression, ensemble models, and bag-of-words models- Forecasting, seasonal adjustments, and prediction intervals through monte carlo simulation- Moving from spreadsheets into the R programming languageYou get your hands dirty as you work alongside John through each technique. But never fear, the topics are readily applicable and the author laces humor throughout. You'll even learn what a dead squirrel has to do with optimization modeling, which you no doubt are dying to know.
Vector Mechanics for Engineers: Statics and Dynamics
Ferdinand P. Beer - 1972
Over the years their textbooks have introduced significant theoretical and pedagogical innovations in statics, dynamics, and mechanics of materials education. At the same time, their careful presentation of content, unmatched levels of accuracy, and attention to detail have made their texts the standard for excellence. The new Seventh Edition of Vector Mechanics for Engineers: Statics and Dynamics continues this tradition. The seventh edition is complemented by a media and supplement package that is targeted to address core course needs for both the student and the instructor.