Graphics Gems V is the newest volume in "The Graphics Gems Series." It is intended to provide the graphics community with a set of practical tools for implementing new ideas and techniques, and to offer working solutions to real programming problems. These tools are written by a wide variety of graphics programmers from industry, academia, and research. The books in the series have become essential, time-saving tools for many programmers.
Key Features
* Latest collection of graphics tips in The Graphics Gems Series written by the leading programmers in the field
* Contains over 50 new gems displaying some of the most recent and innovative techniques in graphics programming
* Includes gems covering ellipses, splines, Bezier curves, and ray tracing
* Disk included containing source code from the gems available in both IBM and Macintosh versions

This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.

This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de veloped - from being a promising theoretical model to being a full-fledged lan guage for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or com puters communicate by means of some more or less formal rules). The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. However, it has been the intention to write the book in such a way that it also becomes attractive to readers who are more interested in applications than the underlying mathematics. This means that a large part of the book is written in a style which is closer to an engineering textbook (or a users' manual) than it is to a typical textbook in theoretical computer science. The book consists of three separate volumes. The first volume defines the net model (i. e. , hierarchical CP-nets) and the basic concepts (e. g. , the different behavioural properties such as deadlocks, fair ness and home markings). It gives a detailed presentation of many small exam ples and a brief overview of some industrial applications. It introduces the for mal analysis methods. Finally, it contains a description of a set of CPN tools which support the practical use of CP-nets.

Vim is a fast and efficient text editor that will make you a faster and more efficient developer. It's available on almost every OS, and if you master the techniques in this book, you'll never need another text editor. In more than 120 Vim tips, you'll quickly learn the editor's core functionality and tackle your trickiest editing and writing tasks. This beloved bestseller has been revised and updated to Vim 7.4 and includes two brand-new tips and five fully revised tips.A highly configurable, cross-platform text editor, Vim is a serious tool for programmers, web developers, and sysadmins who want to raise their game. No other text editor comes close to Vim for speed and efficiency; it runs on almost every system imaginable and supports most coding and markup languages.Learn how to edit text the "Vim way": complete a series of repetitive changes with The Dot Formula using one keystroke to strike the target, followed by one keystroke to execute the change. Automate complex tasks by recording your keystrokes as a macro. Discover the "very magic" switch that makes Vim's regular expression syntax more like Perl's. Build complex patterns by iterating on your search history. Search inside multiple files, then run Vim's substitute command on the result set for a project-wide search and replace. All without installing a single plugin! Two new tips explain how to run multiple ex commands as a batch and autocomplete sequences of words."Practical Vim, Second Edition" will show you new ways to work with Vim 7.4 more efficiently, whether you're a beginner or an intermediate Vim user. All this, without having to touch the mouse.What You Need: Vim version 7.4

The Scientific Programmer's Toolkit: Turbo Pascal Edition presents a complete software environment for anyone writing programs in mathematical, engineering, or science areas. This toolkit package is designed for use with Turbo Pascal, the de facto standard Pascal system for PC and compatible machines.
The book and its software provides an integrated software library of programming tools. The programs and routines fall into three categories: graphical, mathematical, and utilities. Routines are further subdivided into three levels that reflect the experience of the user. For graphics and text handling routines there is also a Level 0, which provides an interface to the machine operating system. By using hierarchically structured routines, the clearly written text, and a wide range of example programs, software users can construct a user-friendly interface with minimal effort. The levels structure makes it easy for newcomers to use the Toolkit, and with growing experience, users can achieve more elaborate effects.
The Scientific Programmer's Toolkit will be useful to consultants, researchers, and students in any quantitative profession or science, in private or public sector research establishments, or in secondary and higher education.

"It is the first book that I have read that makes STL quickly usable by working programmers" Francis Glassborow, Chair of The Association of C & C++ Users (ACCU) STL for C++ programmers Leen Ammeraal The Standard Template Library (STL) provides many useful and generally applicable programming tools. This book combines reference material and a well-paced tutorial to get you past the basics quickly. Small, complete programs illustrate the key STL features such as containers, algorithms, iterators and function objects. A section is devoted to the new string data type. All STL algorithms are formally presented by their prototypes and then informally described to show how to use them in practice. Concepts are well illustrated with a large number of example programs all of which are available via ftp (for access details please refer to the preface of the book or Wiley’s website). Finally, special examples are given to explain the advanced notions of function objects and function adaptors, including predicates, binders and negators.

sed & awk describes two text manipulation programs that are mainstays of the UNIX programmer's toolbox. This edition covers the sed and awk programs as they are mandated by the POSIX standard and includes discussion of the GNU versions of these programs.

A must-read for makers, tinkerers, fixers and creators, The Repair Shop's Dominic Chinea shares his knowledge and enthusiasm for the history and practical uses of tools. This book is a beautifully-illustrated celebration of 140 essential tools, their history, their unique appeal and how they are used by creative people to make just about anything. From the workhorses designed to fuel the industrial revolution to the specialist tools that allow highly-skilled artisans to produce ornate creations, this book shines a light on the most interesting tools found in the workshop of expert craftsman Dom Chinea - popular presenter on the BBC's award-winning The Repair Shop. A tool is an object with endless possibilities. Contained within each item is the chance to create, to inspire, to repair and improve. It's no wonder that scientific studies have shown humans are hardwired to appreciate hardware! From the workhorses designed to fuel the industrial revolution to the specialist tools that allow highly-skilled artisans to produce ornate creations, this book shines a light on the most interesting tools found in the workshop of expert craftsman Dom Chinea. With each entry accompanied by a stunning illustration, this book will become a trusted reference for all creators and craftspeople. Turn the page to explore: - Striking illustrations by award-winning artist Lee John Philips highlight the beauty of each tool. - Creative profiles summarising each tool, its history and how to care for it. - Top tips and insights that Dom has gained through years of experience. - A beautiful gift book with a vintage design. A must-read for makers, tinkerers, fixers and creators, Dom Chinea shares his knowledge and enthusiasm for the history and practical uses of tools.

From hand-forged axes of the Viking conquests to the American homesteader's felling axe, this is a tool that has shaped human history like few others. American Axe pays tribute to this iconic instrument of settlement and industry, with rich history, stunning photography, and profiles of the most collectible vintage axes such as The Woodslasher, Keen Cutter, and True Temper Perfect. Combining his experiences as a forester, axe collector, and former competitive lumberjack, author Brett McLeod conveys the allure of this deceptively simple woodcutting implement and celebrates the resurging interest in its story and use.

Presenting information in a dense, compact way that appeals to the experienced developer, this book is ideal as a technologist's desk reference and is not meant to be read from cover to cover. Throughout, it takes a new approach, focusing on practical tasks like connecting to the database, retrieving data, and working with transactions, rather than rehashing much of the MSDN documentation.

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.
The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.

This coherently written book is the final report on the IPSEN project on Integrated Software Project Support Environments devoted to the integration of tools for the development and maintenance of large software systems.
The theoretical and application-oriented findings of this comprehensive project are presented in the following chapters: Overview: introduction, classification, and global approach; The outside perspective: tools, environments, their integration, and user interface; Internal conceptual modeling: graph grammar specifications; Realization: derivation of efficient tools, Current and future work, open problems; Conclusion: summary, evaluation, and vision. Also included is a comprehensive bibliography listing more than 1300 entries and a detailed index.

This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995.
The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The papers included in the book are devoted to refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, temporal and modal logics, techniques for real-time, hybrid and probabilistic systems, and value-passing systems.

The Software Engineering and Knowledgebase Systems (SOFfEKS) Research Group of the Department of Computer Science, Concordia University, Canada, organized a workshop on Incompleteness and Uncertainty in Information Systems from October 8-9, 1993 in Montreal. A major aim of the workshop was to bring together researchers who share a concern for issues of incompleteness and uncertainty. The workshop attracted people doing fundamental research and industry oriented research in databases, software engineering and AI from North America, Europe and Asia. The workshop program featured six invited talks and twenty other presentations. The invited speakers were: Martin Feather (University of Southern CalifornialInformation Systems Institute) Laks V. S. Lakshmanan (Concordia University) Ewa Orlowska (Polish Academy of Sciences) z. Pawlak (Warsaw Technical University and Academy of Sciences) F. Sadri (Concordia University) A. Skowron (Warsaw University) The papers can be classified into four groups: rough sets and logic, concept analysis, databases and information retrieval, and software engineering. The workshop opened with a warm welcome speech from Dr. Dan Taddeo, Dean, Faculty of Engineering and Computer Science. The first day's presentations were in rough sets, databases and information retrieval. Papers given on the second day centered around software engineering and concept analysis. Sufficient time was given in between presentations to promote active interactions and numerous lively discussions. At the end of two days, the participants expressed their hope that this workshop would be continued."

Mosaic for Windows is an informative book on how to use the most popular Internet navigation tool ever developed. By focussing on the PC Windows version of Mosaic (NCSA, AIR Mosaic, and Spyglass), including Web browsers like NetScape, WinWeb and WebSurfer, this book will provide an easy-to-follow guide to using a PC and Mosaic to browse, collect, and discover information and resources across the entire electronic world.

The purpose of this book is to present a project from the ESPRIT Specific Programme of European Research and Development in Information Technology, project number 6310, known as MMTCA: Multimedia Toolbox for Cooperative Applications. This project ran from 1992 to 1994, and concluded with a product which is probably of great usefulness to all business organisations. MMTCA enables managers to set up arrangements or to delegate tasks involving cooperation between people in different places using standard Windows software tools for what-you-see-is-what-I-see (wySIWIS) cooperation. MMTCA is the only product that delivers all of these points. Several trends in 1994 lead the authors to believe that MMTCA will become more important over the coming months: * the continuing popularity of personal computers and Microsoft's Windows operating system, * the growing importance of computer-supported cooperative work, and * the availability of powerful networks and satellites for wide-area communica tions. In MMTCA it is not necessary for the manager to know anything about com puter programming, but merely to have a user's working knowledge of the appli cation software (spreadsheets etc.) that is used in his office. The MMTCA approach envisages two stages where MMTCA's facilities are used: * by the manager: setting up or organising work to be done, * by the participants: carrying out the resulting tasks.

Master key carpentry skills, from simple joinery techniques to fine woodworking. Learn about basic woodworking techniques to more advanced types of wood joints, finishing, woodturning, and furniture restoration. This book provides all the information you need to become a master carpenter. It's the ultimate step-by-step guide to essential woodworking tips and tricks. Inside the pages of this beginners guide, you'll find: - Over 100 key techniques and 20 easy projects to get you started - Clear step-by-step photography and easy-to-follow instructions - Advice on all major wood types and veneers and how to use them - Tips and tricks on restoring old furniture This visual guide is packed with clear instructions, detailed photography, and expert advice on how to master more than 20 woodcraft techniques such as joinery and finishing. Discover how to get the best out of your woodworking tools by learning how to use and maintain them. This informative guide also includes a visual directory of all major wood types and veneers, explaining what they are best used for and tips on how to work with them. Woodworking 101 This updated edition includes a fresh design and brand-new photography making the step-by-step techniques and projects even clearer to understand. The ideal gift for Father's Day, or for anyone who's looking for an introduction to carpentry. Complete the Series: Fully illustrated and easy to use, the DK Step by Step series covers all the essential skills and techniques you need to succeed in a specific activity. Once you've mastered key carpentry skills with Woodwork Step by Step, sharpen up your survival skills with Knots Step by Step.

Construct, analyze, and visualize networks with networkx, a Python language module. Network analysis is a powerful tool you can apply to a multitude of datasets and situations. Discover how to work with all kinds of networks, including social, product, temporal, spatial, and semantic networks. Convert almost any real-world data into a complex network--such as recommendations on co-using cosmetic products, muddy hedge fund connections, and online friendships. Analyze and visualize the network, and make business decisions based on your analysis. If you're a curious Python programmer, a data scientist, or a CNA specialist interested in mechanizing mundane tasks, you'll increase your productivity exponentially. Complex network analysis used to be done by hand or with non-programmable network analysis tools, but not anymore! You can now automate and program these tasks in Python. Complex networks are collections of connected items, words, concepts, or people. By exploring their structure and individual elements, we can learn about their meaning, evolution, and resilience. Starting with simple networks, convert real-life and synthetic network graphs into networkx data structures. Look at more sophisticated networks and learn more powerful machinery to handle centrality calculation, blockmodeling, and clique and community detection. Get familiar with presentation-quality network visualization tools, both programmable and interactive--such as Gephi, a CNA explorer. Adapt the patterns from the case studies to your problems. Explore big networks with NetworKit, a high-performance networkx substitute. Each part in the book gives you an overview of a class of networks, includes a practical study of networkx functions and techniques, and concludes with case studies from various fields, including social networking, anthropology, marketing, and sports analytics. Combine your CNA and Python programming skills to become a better network analyst, a more accomplished data scientist, and a more versatile programmer. What You Need: You will need a Python 3.x installation with the following additional modules: Pandas (>=0.18), NumPy (>=1.10), matplotlib (>=1.5), networkx (>=1.11), python-louvain (>=0.5), NetworKit (>=3.6), and generalizesimilarity. We recommend using the Anaconda distribution that comes with all these modules, except for python-louvain, NetworKit, and generalizedsimilarity, and works on all major modern operating systems.

This book contains the revised selected papers of 4 workshops held in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC) in November 2017 in Denver, CO, USA, and in November 2018 in Dallas, TX, USA: the 6th and 7th International Workshop on Extreme-Scale Programming Tools, ESPT 2017 and ESPT 2018, and the 4th and 5th International Workshop on Visual Performance Analysis, VPA 2017 and VPA 2018. The 11 full papers of ESPT 2017 and ESPT 2018 and the 6 full papers of VPA 2017 and VPA 2018 were carefully reviewed and selected for inclusion in this book. The papers discuss the requirements for exascale-enabled tools as well as new approaches of applying visualization and visual analytic techniques to large-scale applications. Topics of interest include: programming tools; methodologies for performance engineering; tool technologies for extreme-scale challenges (e.g., scalability, resilience, power); tool support for accelerated architectures and large-scale multi-cores; tool infrastructures and environments; evolving/future application requirements for programming tools and technologies; application developer experiences with programming and performance tools; scalable displays of performance data; case studies demonstrating the use of performance visualization in practice; data models to enable scalable visualization; graph representation of unstructured performance data; presentation of high-dimensional data; visual correlations between multiple data sources; human-computer interfaces for exploring performance data; and multi-scale representations of performance data for visual exploration.

The Cambridge Extra Mural Board, which celebrated its centenary in 1973, was the first extra-mural department in any university, and is important both as a pioneer, much copied elsewhere, and because it was instrumental in the founding of other kinds of institution, including university colleges. Dr Welch has written a detailed history of the board and its predecessor, the Local Lectures Syndicate, based primarily on the archive material at Stuart House, Cambridge. The book will interest social and educational historians and those actively concerned with adult education.

Laser printer down and don't know where to begin? Convinced that the local repair shop is not being completely honest? Avoid the hassle of having to reinvent the wheel when trying to troubleshoot and repair monochrome laser printers without the necessary guide. With "Fix Your Laser Printer and Save a Bundle," confidently diagnose those repairs or have the peace of mind that what the repair shop is saying is correct.

"Fix Your Laser and Save a Bundle" includes:

• Troubleshooting tips for monochrome laser printers from Hewlett-Packard, Apple, IBM/Lexmark and Panasonic.
• Diagrams and visual defect drawings to better aid in troubleshooting specific problems.
• Error codes and their meanings.
• Part lists with manufactures part numbers.
• Replacement parts sources.

Paul Lapsansky has accumulated over ten years of experience servicing laser printers and has amassed this experience into a wealth of troubleshooting tips to bring to you in "Fix Your Laser Printer and Save a Bundle."

Automate your computing systems with Puppet, the popular configuration management framework. Through code samples and real-world examples, this concise introduction shows you how to use Puppet tools and templates to organize and execute configuration plans on your *nix servers. Learn how to manage pools of servers and virtual instances, and discover how Puppet helps you administer access control. If you're familiar with system administration and Ruby language basics, this book is the ideal way to get up to speed on this open source framework. Install Puppet and learn its manifest syntax and built-in functions Store configurations in a central location with Puppet Master, and define which configurations apply to which nodes Build a framework to create user accounts in place of LDAP or Kerberos KDC Apply techniques to execute and manage server configurations with MCollective Use Puppet as an auditing tool to ensure that configurations are correct Gather information on the nodes you manage with the Facter library

The annoyance factor for individual users whose email is crammed with pitches for pornography, absurd moneymaking schemes, and dubious health products is fierce. But for organizations, the cost of spam in lost productivity and burned bandwidth is astronomical. While society is grappling with a solution to the burgeoning crisis of spam proliferation, the pressure is on system administrators to find a solution to this massive problem in-house. And fast.

Sys admins can field scores of complaints and spend months testing software suites that turn out to be too aggressive, too passive, or too complicated to setup only to discover that SpamAssassin (SA), the leading open source spam-fighting tool, is free, flexible, powerful, highly-regarded, and remarkably effective. The drawback? SpamAssassin's lack of published documentation.

"SpamAssassin" by Alan Schwartz, is the only published resource devoted to SpamAssassin and how to integrate it effectively into your networks. This clear, concise guide clarifies the installation, configuration, and use of the SpamAssassin spam-checking system (versions 2.63 and 3.0) for Unix system administrators using the Postfix, Sendmail, Exim, or qmail mail servers, helping administrators make the right integration decision for their particular environments.

It covers concrete advice on how to:

Customize SpamAssassin's rules, and even create new ones Train SpamAssassin's Bayesian classifier, a statistical engine for detecting spam, to optimize it for the sort of email that you typically receive

Block specific addresses, hosts, and domains using third-party blacklists like the one maintained by Spamcop.net.

Whitelist known good sources ofemail, so that messages from clients, coworkers, and friends aren't inadvertently lost.

Configure SpamAssassin to work with newer spam-filtering methods such as Hashcash (www.hashcash.org) and Sender Policy Framework (SPF).

Sys admins, network administrators, and ISPs pay for spam with hours of experimentation and tedious junk email management, frayed user tempers, and their sanity. SpamAssassin, together with this essential book, give you the tools you need to take back your organization's inboxes.

"Detailed, accurate and informative--recommended for spam-filtering beginners and experts alike." --Justin Mason, SpamAssassin development team