Book picks similar to
An Introduction to Discrete Mathematics, Formal System Specification, and Z by Darrel Ince
an-university-courses
inventory
technical
want-read
The Watch, Thoroughly Revised
Gene Stone - 2006
In the decade since it was published, the international audience of watch lovers and watch collectors has grown exponentially. It’s time for The Watch, Thoroughly Revised. For this new edition, the original author, Gene Stone, is joined by Stephen Pulvirent of Hodinkee.com. Together, they have thoroughly revamped the book to reflect the current state of the watch world, with the addition of new brands, new models, and more focused and nuanced coverage of the traditional brand leaders, including Rolex, Patek Philippe, Omega, and TAG Heuer.
Exceptional C++ Style: 40 New Engineering Puzzles, Programming Problems, and Solutions
Herb Sutter - 2004
This book follows in the tradition of the first two: It delivers new material, organized in bite-sized Items and grouped into themed sections. Readers of the first two books will find some familiar section themes, now including new material, such as exception safety, generic programming, and optimization and memory management techniques. The books overlap in structure and theme, not in content. This book continues the strong emphasis on generic programming and on using the C++ standard library effectively, including coverage of important template and generic programming techniques. Sutter's goal for this third and final book in his set is to present case studies that pull together themes from the previous books. This book also covers important points presented at the C++ Standard Committee where corrections to the Standard have been discussed and accepted.
XML in a Nutshell
Elliotte Rusty Harold - 2001
But you don't need to commit every XML syntax, API, or XSLT transformation to memory; you only need to know where to find it. And if it's a detail that has to do with XML or its companion standards, you'll find it--clear, concise, useful, and well-organized--in the updated third edition of XML in a Nutshell.With XML in a Nutshell beside your keyboard, you'll be able to: Quick-reference syntax rules and usage examples for the core XML technologies, including XML, DTDs, Xpath, XSLT, SAX, and DOM Develop an understanding of well-formed XML, DTDs, namespaces, Unicode, and W3C XML Schema Gain a working knowledge of key technologies used for narrative XML documents such as web pages, books, and articles technologies like XSLT, Xpath, Xlink, Xpointer, CSS, and XSL-FO Build data-intensive XML applications Understand the tools and APIs necessary to build data-intensive XML applications and process XML documents, including the event-based Simple API for XML (SAX2) and the tree-oriented Document Object Model (DOM) This powerful new edition is the comprehensive XML reference. Serious users of XML will find coverage on just about everything they need, from fundamental syntax rules, to details of DTD and XML Schema creation, to XSLT transformations, to APIs used for processing XML documents. XML in a Nutshell also covers XML 1.1, as well as updates to SAX2 and DOM Level 3 coverage. If you need explanation of how a technology works, or just need to quickly find the precise syntax for a particular piece, XML in a Nutshell puts the information at your fingertips.Simply put, XML in a Nutshell is the critical, must-have reference for any XML developer.
Aikido and the Dynamic Sphere: An Illustrated Introduction
Adele Westbrook - 1983
To possess the skills, techniques and attitude of the faithful practitioner of aikido, one must achieve a very high level of integration of the powers of mind and body, the harmonious combination of physical means and ethical motives. By controlling body position and learning how to harmonize important physical and mental abilities, anyone (regardless of size, strength or weight) can fend off attacks using this sophisticated martial art.Written and illustrated by husband/wife team, Oscar Ratti and Adele Westbrook, Aikido and the Dynamic Sphere, with over 1,200 illustrations, includes many Aikido techniques in chapters such as:What is Aikido?The Foundations of AikidoThe Practice of AikidoThe Basic Techniques of NeutralizationAdvanced PracticeAnd more!
Numerical Methods for Scientists and Engineers
Richard Hamming - 1973
Book is unique in its emphasis on the frequency approach and its use in the solution of problems. Contents include: Fundamentals and Algorithms; Polynomial Approximation — Classical Theory; Fourier Approximation — Modern Theory; and Exponential Approximation.
Guitarmaking: Tradition and Technology
William Cumpiano - 1987
Over 450 photographs, drawings, and diagrams reveal in exquisite detail the hows, whys, and how-to's of the traditional craft of guitarmaking, all accompanied by fascinating historical and technical notes. A comprehensive bibliography; a list of tools, materials, and supply sources; and a full index complete this uniquely authoritative reference -- and essential acquisition -- for guitar and craft enthusiasts, woodworkers, and students of instrument making everywhere.
Cuba: A History
Sergio Guerra-Vilaboy - 2010
He is the author of numerous books on Latin American history and is currently the executive secretary of the Association of Latin American and Caribbean Historians.Oscar Loyola-Vega is a professor of history at the University of Havana.
Patterns of Software: Tales from the Software Community
Richard P. Gabriel - 1996
But while most of us today can work a computer--albeit with the help of the ever-present computer software manual--we know little about what goes on inside the box and virtually nothing about software designor the world of computer programming. In Patterns of Software, the respected software pioneer and computer scientist, Richard Gabriel, gives us an informative inside look at the world of software design and computer programming and the business that surrounds them. In this wide-ranging volume, Gabriel discusses such topics as whatmakes a successful programming language, how the rest of the world looks at and responds to the work of computer scientists, how he first became involved in computer programming and software development, what makes a successful software business, and why his own company, Lucid, failed in 1994, tenyears after its inception. Perhaps the most interesting and enlightening section of the book is Gabriel's detailed look at what he believes are the lessons that can be learned from architect Christopher Alexander, whose books--including the seminal A Pattern Language--have had a profound influence on the computer programmingcommunity. Gabriel illuminates some of Alexander's key insights--the quality without a name, pattern languages, habitability, piecemeal growth--and reveals how these influential architectural ideas apply equally well to the construction of a computer program. Gabriel explains the concept ofhabitability, for example, by comparing a program to a New England farmhouse and the surrounding structures which slowly grow and are modified according to the needs and desires of the people who live and work on the farm. Programs live and grow, and their inhabitants--the programmers--need to workwith that program the way the farmer works with the homestead. Although computer scientists and software entrepreneurs will get much out of this book, the essays are accessible to everyone and will intrigue anyone curious about Silicon Valley, computer programming, or the world of high technology.
Blood Lyrics: Poems
Katie Ford - 2014
Blood Lyrics is a mother's song, one seared with the knowledge that her country wages long, aching wars in which not all lives are equal. There is beauty imparted, too, but it arrives at a cost: "Don't say it's the beautiful / I praise," Ford writes. "I praise the human, / gutted and rising."
Taming Text: How to Find, Organize, and Manipulate It
Grant S. Ingersoll - 2011
This causes real problems for everyday users who need to make sense of all the information available, and for software engineers who want to make their text-based applications more useful and user-friendly. Whether building a search engine for a corporate website, automatically organizing email, or extracting important nuggets of information from the news, dealing with unstructured text can be daunting.Taming Text is a hands-on, example-driven guide to working with unstructured text in the context of real-world applications. It explores how to automatically organize text, using approaches such as full-text search, proper name recognition, clustering, tagging, information extraction, and summarization. This book gives examples illustrating each of these topics, as well as the foundations upon which they are built.Purchase of the print book comes with an offer of a free PDF, ePub, and Kindle eBook from Manning. Also available is all code from the book.
Managing The Design Factory: A Product Developer's Toolkit
Donald G. Reinertsen - 1997
In Managing the Design Factory Donald G. Reinertsen presents concepts and practical tools that will be invaluable for anyone trying to get products out of the pipeline and into the market.The first book to put the principles of World Class Manufacturing to work in the development process, Managing the Design Factory combines the powerful analytical tools of queuing, information, and system theories with the proven ideas of organization design and risk management. The result: a methodical approach to consistently hit the "sweet spot" of quality, cost, and time in developing any product. Reinertsen illustrates these concepts with concrete examples drawn from his work with many leading companies across different industries.Fresh and thought-provoking, the book challenges many of the conventional approaches to product development. "There are no best practices," Reinertsen writes, "the idea of best practices is a seductive but dangerous trap." Unlike other books that promote rules and rituals based on benchmarking "best practices," this book focuses on practical tools that account for varied situations. He breaks new ground with a disciplined, quantitative approach for making decisions on critical issues: When should we use a sequential or concurrent process? Centralized or decentralized control? Functional or team organizations?Full of practical techniques, concrete examples, and solid general principles, this is a real toolkit for product developers. Moreover, it is written with the clarity, precision, and humor that are Reinertsen's trademarks. He promises to challenge the thinking of anyone involved in product development.
SSH, The Secure Shell: The Definitive Guide
Daniel J. Barrett - 2001
It supports secure remote logins, secure file transfer between computers, and a unique "tunneling" capability that adds encryption to otherwise insecure network applications. Best of all, SSH is free, with feature-filled commercial versions available as well.SSH: The Secure Shell: The Definitive Guide covers the Secure Shell in detail for both system administrators and end users. It demystifies the SSH man pages and includes thorough coverage of:SSH1, SSH2, OpenSSH, and F-Secure SSH for Unix, plus Windows and Macintosh products: the basics, the internals, and complex applications.Configuring SSH servers and clients, both system-wide and per user, with recommended settings to maximize security.Advanced key management using agents, agent forwarding, and forced commands.Forwarding (tunneling) of TCP and X11 applications in depth, even in the presence of firewalls and network address translation (NAT).Undocumented behaviors of popular SSH implementations.Installing and maintaining SSH systems.Whether you're communicating on a small LAN or across the Internet, SSH can ship your data from "here" to "there" efficiently and securely. So throw away those insecure .rhosts and hosts.equiv files, move up to SSH, and make your network a safe place to live and work.
Calculus
Gilbert Strang - 1991
The author has a direct style. His book presents detailed and intensive explanations. Many diagrams and key examples are used to aid understanding, as well as the application of calculus to physics and engineering and economics. The text is well organized, and it covers single variable and multivariable calculus in depth. An instructor's manual and student guide are available online at http: //ocw.mit.edu/ans7870/resources/Strang/....
Command in War
Martin van Creveld - 1985
This is the first book to deal exclusively with the nature of command itself, and to trace its development over two thousand years from ancient Greece to Vietnam. It treats historically the whole variety of problems involved in commanding armies, including staff organization and administration, communications methods and technologies, weaponry, and logistics. And it analyzes the relationship between these problems and military strategy.In vivid descriptions of key battles and campaigns--among others, Napoleon at Jena, Moltke's K�niggr�tz campaign, the Arab-Israeli war of 1973, and the Americans in Vietnam--Martin van Creveld focuses on the means of command and shows how those means worked in practice. He finds that technological advances such as the railroad, breech-loading rifles, the telegraph and later the radio, tanks, and helicopters all brought commanders not only new tactical possibilities but also new limitations.Although vast changes have occurred in military thinking and technology, the one constant has been an endless search for certainty--certainty about the state and intentions of the enemy's forces; certainty about the manifold factors that together constitute the environment in which war is fought, from the weather and terrain to radioactivity and the presence of chemical warfare agents; and certainty about the state, intentions, and activities of one's own forces. The book concludes that progress in command has usually been achieved less by employing more advanced technologies than by finding ways to transcend the limitations of existing ones.
Digital Lighting & Rendering
Jeremy Birn - 2000
And no matter what software you use, your success in creating realistic-looking illumination, shadows and textures depends on your professional lighting and rendering techniques. In this lavishly illustrated new edition, Pixar's Jeremy Birn shows you how to:Master Hollywood lighting techniques to produce professional results in any 3D application Convincingly composite 3D models into real-world environments Apply advanced rendering techniques using subsurface scattering, global illumination, caustics, occlusion, and high dynamic range images Design realistic materials and paint detailed texture maps Mimic real-life camera properties such as f-stops, exposure times, depth-of-field, and natural color temperatures for photorealistic renderings Render in multiple passes for greater efficiency and creative control Understand production pipelines at visual effects and animation studios Develop your lighting reel to get a job in the industry
