Aiming to tell the dark secrets of computer arithmetic, this title is suitable for library developers, compiler writers, and lovers of elegant hacks.

    The applications and computations in operations research are emphasized. Significantly revised, this text streamlines the coverage of the theory, applications, and computations of operations research. Numerical examples are effectively used to explain complex mathematical concepts. A separate chapter of fully analyzed applications aptly demonstrates the diverse use of OR. The popular commercial and tutorial software AMPL, Excel, Excel Solver, and Tora are used throughout the book to solve practical problems and to test theoretical concepts. New materials include Markov chains, TSP heuristics, new LP models, and a totally new simplex-based approach to LP sensitivity analysis.

    It explores the critical concepts while also examining why they are relevant. The core content is presented within the framework of predicting products, proposing mechanisms, and solving synthesis problems. Readers will fine-tune the key skills involved in solving those types of problems with the help of interactive, step-by-step instructions and problems.

    The text examines the basics of analog image analysis while placing greater emphasis on digitally based systems and analysis techniques. The presentation is discipline neutral, so students in any field of study can gain a clear understanding of these systems and their virtually unlimited applications.

    The accompanying CD-ROM features a special student version of the award-winning virtual planetarium software Starry Night plus software animations and videos, all illustrations from the text, interactive Q&A and exercises, and supplementary resources. Material can be updated periodically from the Freeman Web site. www.whfreeman.com/astronomy. There is an online study guide offering a CD-Web guide, chapter objectives, key terms, review questions, Starry Night observations exercises and online tutorials.

    The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

    The book covers the fundamental aspects of analysis and design, and also discusses practical requirements such as safety, feasibility, and economy of structural elements. It is hoped that the text would also serve as an introduction to postgraduate students. Practicing civil engineers and consultants who need a review of current practice and current IS specifications will also find it useful as a reference.

    

    Table of contents: supply systems mechanical design of overhead lines overhead line insulators corona transmission line constants performance of short and medium transmission lines performance of long transmission lines underground cables dc distribution ac distribution insulation resistance of a system interference of power lines with neighboring communication lines extra high voltage ac transmission high voltage direct current (hvdc) transmission construction, testing and commissioning of overhead lines neutral grounding voltage control power system stability power flow studies objective type questions with answers index

    Intuition and computational abilities are stressed. Original material on DE and multiple integrals has been expanded.

    Each

    Written by two of the best-known names in categorical logic, Conceptual Mathematics is the first book to apply categories to the most elementary mathematics. It thus serves two purposes: first, to provide a key to mathematics for the general reader or beginning student; and second, to furnish an easy introduction to categories for computer scientists, logicians, physicists, and linguists who want to gain some familiarity with the categorical method without initially committing themselves to extended study.

    This best-selling text offers a concise yet thorough presentation of engineering mechanics theory and application. The material is reinforced with numerous examples to illustrate principles and imaginative, well-illustrated problems of varying degrees of difficulty. The text is committed to developing students' problem-solving skills and includes pedagogical features that have made Hibbeler synonymous with excellence in the field. Engineering Mechanics features Photorealistic figures and over 400 key figures have been rendered in often 3D photo quality detail to appeal to visual learners. An improved accompanying Student Study Pack provides chapter-by-chapter study materials as well as a tutorial on free body diagrams. Engineering Mechanics features a complete OneKey course with editable homework, solutions, animations, Active Book, and PHGA. Visit www.prenhall.com/hibbelerinfo to learn more.

    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.