Book picks similar to
Strategies For Real Time System Specification by Derek J. Hatley
physical-books
shelfari-business
shelfari-business-sw-engineering
shelfari-confirmed
Make or Break: Don't Let Climbing Injuries Dictate Your Success
Dave MacLeod - 2015
Sooner or later, nearly all climbers get injured and it will be injuries that ultimately dictate how far you get in climbing, if you let them. Unfortunately, the data shows it takes over a decade just to get small proportions of medical research adopted in regular practice. Sourcing reliable and up to date advice on preventing and treating finger, elbow, shoulder and other climbing injuries is challenging to say the least. You need to be the expert, because there are so many strands of knowledge and practice to pull together to stay healthy as a climber, and no single source of advice to cover all of these. The book draws together both the cutting edge of peer reviewed sports medicine research, and the subtle concepts of changing your climbing habits and routine to prevent and successfully recover from injuries. It is a handbook on how to take care of yourself as a lifelong climbing athlete. By spanning the fields of climbing coaching, physiotherapy, sports medicine and behavioural science, it goes beyond the general advice on treating symptoms offered by sports medicine textbooks and into much more detail on technique and habits specific to climbing than the existing climbing literature base. You will learn how your current climbing habits are already causing your future injuries and what you can do to change that. If you are already injured, it will prevent you from prolonging your injury with the wrong climbing habits and rehabilitation choices. You will learn how the ingredients of prevention and good recovery come from wildly different sources and how you have been using only a fraction of them. Fully referenced throughout, the practical advice for diagnosis, rehabilitation and prevention of climbing injuries is drawn from up to date peer reviewed sports medicine research.
Global Village Idiot: Dubya, Dunces, and One Last Word Before You Vote
John O'Farrell - 2001
“Just when we thought the lawlessness in Iraq was over,” O’Farrell observes, “even more blatant incidents of looting have begun. With handkerchiefs masking their faces, two rioters roughly the height of George Bush and Donald Rumsfeld kicked in the gates of the largest oilfield and grabbed the keys of the gasoline trucks. ‘Yee-haw! It’s all ours! Millions of barrels of the stuff’ they laughed. ‘Yup!’ added the leader ‘ and this mask guarantees my anonymousinity!’ So after all these years there really is such a person as the Thief of Baghdad. Except strangely his accent sounded vaguely Texan.”A writer for the groundbreaking television show Spitting Image and contributor to the screenplay for the hit movie Chicken Run, O’Farrell meticulously researched his conclusions “by spending five minutes on the internet and then giving up.” And while O’Farrell’s sharpest barbs and stingers have often been written to come out of the mouths of grotesque puppets and Claymation chickens, this time around he keeps the best lines for himself: ‘‘With the election of the 43rd President of the United States, the global village is complete,” O’Farrell writes. “’It has its own global village idiot.’”
A Passion to Win
Sumner Redstone - 2001
A larger-than-life figure in the grand tradition of the Hearsts, Paleys, and Pulitzers, and voted in a recent survey of 600 corporate executives as the number-one most inspiring CEO, this is the man who can truly say, "I am Viacom." A Passion to Win gives a riveting look behind the scenes at the highly charged negotiations that won Redstone both Viacom and Paramount. The book reveals the intense business calculations and strong emotions of Redstone's head-to-head confrontations with such adversaries as Barry Diller and H. Wayne Huizenga. A Passion to Win takes the reader along on the financial roller-coaster ride that began when Blockbuster went into the tank, risking Redstone's fortune and life's work. By the end of that ride, Redstone had righted his company and revolutionized the video industry. In a world of high-visibility corporate battles, Redstone pulls no punches. This is the man who faced down a pack of thugs when they threatened producer Bob Evans during the filming of The Cotton Club. And this is a book that shows the reader what it takes to win. Behind it all is the same iron will that helped Redstone to survive a deadly fire at Boston's Copley Plaza Hotel by clinging with one hand to a third-story ledge before being rescued -- with burns so severe over nearly half his body that doctors feared he would die. Born in a Boston tenement, he graduated first in his class at Boston Latin, went through Harvard in three years, was chosen for a special cryptography unit in the U.S. Army whose assignment was to crack Japanese codes during World War II, then, after Harvard Law School, successfully pleaded cases before the U.S. Court of Appeals and the U.S. Supreme Court -- all of this before embarking on his astounding business career. Never before has Sumner Redstone revealed himself so candidly, and now, with the assistance of writer Peter Knobler (who co-wrote attorney Daniel Petrocelli's bestseller Triumph of Justice, about the O.J. Simpson civil suit), he has produced an inspirational life story that will command major attention.
Quality Is Free
Philip B. Crosby - 1979
Whether you manage a large plant or run your own small business, applying this simple principle of quality control will boost your profits and your career. "Quality Is Free" sets forth easy-to-implement programs, using actual case histories to demonstrate just how well quality control works, and providing important tools for success.
An Introduction to Functional Programming Through Lambda Calculus
Greg Michaelson - 1989
This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.
Introduction to Algorithms
Thomas H. Cormen - 1989
Each chapter is relatively self-contained and can be used as a unit of study. The algorithms are described in English and in a pseudocode designed to be readable by anyone who has done a little programming. The explanations have been kept elementary without sacrificing depth of coverage or mathematical rigor.
Operating Systems: Three Easy Pieces
Remzi H. Arpaci-Dusseau - 2012
Topics are broken down into three major conceptual pieces: Virtualization, Concurrency, and Persistence. Includes all major components of modern systems including scheduling, virtual memory management, disk subsystems and I/O, file systems, and even a short introduction to distributed systems.
Measure Twice Cut Once
Jim Tolpin - 2005
This book teaches how to use measuring tools.
Understanding Computation: From Simple Machines to Impossible Programs
Tom Stuart - 2013
Understanding Computation explains theoretical computer science in a context you’ll recognize, helping you appreciate why these ideas matter and how they can inform your day-to-day programming.Rather than use mathematical notation or an unfamiliar academic programming language like Haskell or Lisp, this book uses Ruby in a reductionist manner to present formal semantics, automata theory, and functional programming with the lambda calculus. It’s ideal for programmers versed in modern languages, with little or no formal training in computer science.* Understand fundamental computing concepts, such as Turing completeness in languages* Discover how programs use dynamic semantics to communicate ideas to machines* Explore what a computer can do when reduced to its bare essentials* Learn how universal Turing machines led to today’s general-purpose computers* Perform complex calculations, using simple languages and cellular automata* Determine which programming language features are essential for computation* Examine how halting and self-referencing make some computing problems unsolvable* Analyze programs by using abstract interpretation and type systems
The Circle Maker Participant's Guide: Praying Circles Around Your Biggest Dreams and Greatest Fears
Mark Batterson - 2011
It's time to enter a whole new level of extreme faith...it's time to become a circle maker!Through the story of Honi the Circle Maker—a man bold enough to draw a circle in the sand and not budge from it until God answered his prayer for his people—bestselling author and pastor Mark Batterson will help you see that who you become is determined by how you pray. Throughout this guide, Batterson:Clearly and practically lays out what prayer looks like and how it shapes and changes us.Shows you the powerful results and modern-day miracles that come from a courageous prayer life.Helps you, your group, and your entire church begin to identify dreams and future miracles to draw prayer circles around.This Participant Guide provides individual and group activities, between session personal studies, and additional background material that will enhance the experience of the video on The Circle Maker DVD (sold separately).Sessions include:1. Becoming a Circle Maker 2. Little People, Big Risks, and Huge Circles 3. Praying Hard and Praying Through 4. Praying is Like PlantingDesigned for use with The Circle Maker Video Study (sold separately).
Programming Collective Intelligence: Building Smart Web 2.0 Applications
Toby Segaran - 2002
With the sophisticated algorithms in this book, you can write smart programs to access interesting datasets from other web sites, collect data from users of your own applications, and analyze and understand the data once you've found it.Programming Collective Intelligence takes you into the world of machine learning and statistics, and explains how to draw conclusions about user experience, marketing, personal tastes, and human behavior in general -- all from information that you and others collect every day. Each algorithm is described clearly and concisely with code that can immediately be used on your web site, blog, Wiki, or specialized application. This book explains:Collaborative filtering techniques that enable online retailers to recommend products or media Methods of clustering to detect groups of similar items in a large dataset Search engine features -- crawlers, indexers, query engines, and the PageRank algorithm Optimization algorithms that search millions of possible solutions to a problem and choose the best one Bayesian filtering, used in spam filters for classifying documents based on word types and other features Using decision trees not only to make predictions, but to model the way decisions are made Predicting numerical values rather than classifications to build price models Support vector machines to match people in online dating sites Non-negative matrix factorization to find the independent features in a dataset Evolving intelligence for problem solving -- how a computer develops its skill by improving its own code the more it plays a game Each chapter includes exercises for extending the algorithms to make them more powerful. Go beyond simple database-backed applications and put the wealth of Internet data to work for you. "Bravo! I cannot think of a better way for a developer to first learn these algorithms and methods, nor can I think of a better way for me (an old AI dog) to reinvigorate my knowledge of the details."-- Dan Russell, Google "Toby's book does a great job of breaking down the complex subject matter of machine-learning algorithms into practical, easy-to-understand examples that can be directly applied to analysis of social interaction across the Web today. If I had this book two years ago, it would have saved precious time going down some fruitless paths."-- Tim Wolters, CTO, Collective Intellect
Python Crash Course: A Hands-On, Project-Based Introduction to Programming
Eric Matthes - 2015
You'll also learn how to make your programs interactive and how to test your code safely before adding it to a project. In the second half of the book, you'll put your new knowledge into practice with three substantial projects: a Space Invaders-inspired arcade game, data visualizations with Python's super-handy libraries, and a simple web app you can deploy online.As you work through Python Crash Course, you'll learn how to: Use powerful Python libraries and tools, including matplotlib, NumPy, and PygalMake 2D games that respond to keypresses and mouse clicks, and that grow more difficult as the game progressesWork with data to generate interactive visualizationsCreate and customize simple web apps and deploy them safely onlineDeal with mistakes and errors so you can solve your own programming problemsIf you've been thinking seriously about digging into programming, Python Crash Course will get you up to speed and have you writing real programs fast. Why wait any longer? Start your engines and code!
C++ Primer Plus
Stephen Prata - 2004
This guide also illustrates how to handle input and output, make programs perform repetitive tasks, manipulate data, hide information, use functions and build flexible, easily modifiable programs.
UML 2 and the Unified Process: Practical Object-Oriented Analysis and Design
Jim Arlow - 2001
Even for people not working with the Unified Process, the book is still of great use. UML 2 and the Unified Process, Second Edition is a must-read for every UML 2 beginner and a helpful guide and reference for the experienced practitioner."--Roland Leibundgut, Technical Director, Zuehlke Engineering Ltd."This book is a good starting point for organizations and individuals who are adopting UP and need to understand how to provide visualization of the different aspects needed to satisfy it. "--Eric Naiburg, Market Manager, Desktop Products, IBM Rational SoftwareThis thoroughly revised edition provides an indispensable and practical guide to the complex process of object-oriented analysis and design using UML 2. It describes how the process of OO analysis and design fits into the software development lifecycle as defined by the Unified Process (UP). UML 2 and the Unified Process contains a wealth of practical, powerful, and useful techniques that you can apply immediately. As you progress through the text, you will learn OO analysis and design techniques, UML syntax and semantics, and the relevant aspects of the UP. The book provides you with an accurate and succinct summary of both UML and UP from the point of view of the OO analyst and designer.This book providesChapter roadmaps, detailed diagrams, and margin notes allowing you to focus on your needs Outline summaries for each chapter, making it ideal for revision, and a comprehensive index that can be used as a reference New to this edition:Completely revised and updated for UML 2 syntax Easy to understand explanations of the new UML 2 semantics More real-world examples A new section on the Object Constraint Language (OCL) Introductory material on the OMG's Model Driven Architecture (MDA) The accompanying website providesA complete example of a simple e-commerce system Open source tools for requirements engineering and use case modeling Industrial-strength UML course materials based on the book
Elements of Programming Interviews in Python: The Insiders' Guide
Adnan Aziz - 2016
See the website for links to the C++ and Java version.Have you ever...Wanted to work at an exciting futuristic company?Struggled with an interview problem thatcould have been solved in 15 minutes?Wished you could study real-world computing problems?If so, you need to read Elements of Programming Interviews (EPI).EPI is your comprehensive guide to interviewing for software development roles.The core of EPI is a collection of over 250 problems with detailed solutions. The problems are representative of interview questions asked at leading software companies. The problems are illustrated with 200 figures, 300 tested programs, and 150 additional variants.The book begins with a summary of the nontechnical aspects of interviewing, such as strategies for a great interview, common mistakes, perspectives from the other side of the table, tips on negotiating the best offer, and a guide to the best ways to use EPI. We also provide a summary of data structures, algorithms, and problem solving patterns.Coding problems are presented through a series of chapters on basic and advanced data structures, searching, sorting, algorithm design principles, and concurrency. Each chapter stars with a brief introduction, a case study, top tips, and a review of the most important library methods. This is followed by a broad and thought-provoking set of problems.A practical, fun approach to computer science fundamentals, as seen through the lens of common programming interview questions. Jeff Atwood/Co-founder, Stack Overflow and Discourse