Skip to main content
View Cart

Books in Computer science

The Computing collection presents a range of foundational and applied content across computer and data science, including fields such as Artificial Intelligence; Computational Modelling; Computer Networks, Computer Organization & Architecture, Computer Vision & Pattern Recognition, Data Management; Embedded Systems & Computer Engineering; HCI/User Interface Design; Information Security; Machine Learning; Network Security; Software Engineering.

  • CAFE: An Industrial-Strength Algebraic Formal Method

    • 1st Edition
    • K. Futatsugi + 2 more
    • English
    This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees.The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or completely new ones, written especially for this book. In this regard, the book is not a usual postpublication after a workshop. Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a manual, reference, or tutorial of CafeOBJ. Probably the best description is that it is a collection of papers that investigate how to use, or to make it easy to use, CafeOBJ. Reflecting the diverse nature of the project and its participants (most of the authors are participants to the project), the papers, put together, offer a comprehensive picture from this methodological perspective.Some papers deal with various advanced aspects of the language, such as rewriting logic and behavioural logic. For rewriting logic, a couple of significant applications were reported. In particular, UML, now considered de facto standard language for modelling systems, is the subject of one paper. For behavioural logic, new methodological guidelines are presented. Some papers shed new light on a more traditional paradigm in the language; order-sorted equational specifications. One paper, in particular, deal with a way to associate CafeOBJ with object-oriented programming. The other papers deal with environments for writing and vertifying specifications written in CafeOBJ. Underlying those papers are two major considerations: user interfaces for manipulating specifications, and systematic supports for proofs. All the environments explained in the papers assume and support distributed computing, and de facto standard network technologies, such as WWW and http, are incorporated.

  • De-interlacing

    A Key Technology for Scan Rate Conversion
    • 1st Edition
    • Volume 9
    • E.B. Bellers + 1 more
    • English
    'To interlace or not to interlace' is a hot issue currently. Traditionally interlace has been part of the video standard as it reduces the transmission and display demands, while hardly affecting the perceived quality of the pictures.With the current explosion of new video formats due to emerging technologies as multimedia PC's, videotelephony and flat matrix display the question whether or not interlace is a relict from the past is more relevant than ever.This book provides a broad overview of advanced motion estimation and de-interlacing techniques to enable a profound scientific basis for answering the above question. An extensive evaluation of the algorithms, including many screen photographs is an imt part of the book. But also system questions, such as whether interlace is a good choice in combination with modern video compression methods (MPEG), and which currently would be the optional choice for a display format are extensively treated.The combination of scientific profoundness and completions, with the focus on practical hot issues, makes the book unique in its kind.

  • Parallel Programming in OpenMP

    • 1st Edition
    • Rohit Chandra + 5 more
    • English
    The rapid and widespread acceptance of shared-memory multiprocessor architectures has created a pressing demand for an efficient way to program these systems. At the same time, developers of technical and scientific applications in industry and in government laboratories find they need to parallelize huge volumes of code in a portable fashion. OpenMP, developed jointly by several parallel computing vendors to address these issues, is an industry-wide standard for programming shared-memory and distributed shared-memory multiprocessors. It consists of a set of compiler directives and library routines that extend FORTRAN, C, and C++ codes to express shared-memory parallelism.Parallel Programming in OpenMP is the first book to teach both the novice and expert parallel programmers how to program using this new standard. The authors, who helped design and implement OpenMP while at SGI, bring a depth and breadth to the book as compiler writers, application developers, and performance engineers.

  • Mission Critical Windows 2000 Server Administration

    • 1st Edition
    • Syngress
    • English
    Announcing the "Mission Critical" series from Syngress Media - providing crucial coverage of the topics necessary for IT professionals to perform and succeed on the job. Mission Critical Windows 2000 Server Administration cuts to the chase and provides system administrators with the most important features of the operating system. There's no "hand-holding", no basic definitions of functions, no step-by-step guidelines - just high-level coverage of the critical components of Windows 2000 that system administrators must know.

  • Managing Reference Data in Enterprise Databases

    • 1st Edition
    • Malcolm Chisholm
    • English
    Reference data plays a key role in your business databases and must be free from defects of any kind. So why is it so hard to find information on this critical topic? Recognizing the dangers of taking reference data for granted, Managing Reference Data in Enterprise Databases gives you precisely what you've been seeking: A complete guide to the implementation and management of reference data of all kinds.This book begins with a thorough definition of reference data, then proceeds with a detailed examination of all reference data issues, fully describing uses, common difficulties, and practical solutions. Whether you're a database manager, architect, administrator, programmer, or analyst, be sure to keep this easy-to-use reference close at hand.

  • VHDL Coding and Logic Synthesis with Synopsys

    • 1st Edition
    • Weng Fook Lee
    • English
    This book provides the most up-to-date coverage using the Synopsys program in the design of integrated circuits. The incorporation of "synthesis tools" is the most popular new method of designing integrated circuits for higher speeds covering smaller surface areas.Synopsys is the dominant computer-aided circuit design program in the world. All of the major circuit manufacturers and ASIC design firms use Synopsys. In addition, Synopsys is used in teaching and laboratories at over 600 universities.

  • Embedded Microcontroller Interfacing for M-COR ® Systems

    • 1st Edition
    • G. Jack Lipovski
    • English
    The "M·CORE" family of microprocessors is the latest 32-bit integrated circuit from Motorola designed to be a multi-purpose "micro-controller." The processor architecture has been designed for high performance and cost-sensitive embedded control applications with particular emphasis on reduced power consumption. This is the first book on the programming of the new language instruction set using the M·CORE chip.Embedded Microcontroller Interfacing for M·CORE Systems is the third of a trio of books by G. Jack Lipovski from the University of Texas. The first two books are on assembly language programming for the new Motorola 6812 16-bit microcontroller, and were written to be textbooks and professional references. This book was written at the request of the Motorola design team for the professional users of its new and very successful M·CORE chip microcontrollers. Written with the complete cooperation and input of the M·CORE design engineers at their headquarters in Austin, Texas, this book covers all aspects of the programming software and hardware of the M·CORE chip.

  • Data Warehousing

    Using the Wal-Mart Model
    • 1st Edition
    • Paul Westerman
    • English
    At 70 terabytes and growing, Wal-Mart's data warehouse is still the world's largest, most ambitious, and arguably most successful commercial database. Written by one of the key figures in its design and construction, Data Warehousing: Using the Wal-Mart Model gives you an insider's view of this enormous project. Continuously drawing from this example, the author teaches you the general principles and specific techniques you need to understand to be a valuable part of your organization's own data warehouse project, however large or small. You'll emerge with a practical understanding of both the business and technical aspects of building a data warehouse for storing and accessing data in a strategically useful way.What further sets this book apart is its focus on the informational needs of retail companies-including both market and organizational issues that affect the data's collection and use. If retail is your field, this book will prove especially valuable as you develop and implement your company's ideal data warehouse solution.

  • An Introduction to NURBS

    With Historical Perspective
    • 1st Edition
    • David F. Rogers
    • English
    The latest from a computer graphics pioneer, An Introduction to NURBS is the ideal resource for anyone seeking a theoretical and practical understanding of these very important curves and surfaces. Beginning with Bézier curves, the book develops a lucid explanation of NURBS curves, then does the same for surfaces, consistently stressing important shape design properties and the capabilities of each curve and surface type. Throughout, it relies heavily on illustrations and fully worked examples that will help you grasp key NURBS concepts and deftly apply them in your work. Supplementing the lucid, point-by-point instructions are illuminating accounts of the history of NURBS, written by some of its most prominent figures. Whether you write your own code or simply want deeper insight into how your computer graphics application works, An Introduction to NURBS will enhance and extend your knowledge to a degree unmatched by any other resource.

  • BASIC Stamp

    An Introduction to Microcontrollers
    • 2nd Edition
    • Claus Kuhnel + 1 more
    • English
    BASIC Stamp: An Introduction to Microcontrollers introduces microcontroller theory using the Parallax BASIC Stamp I, II, and IIsx. The BASIC Stamp microcontroller is based on Microchip's PIC hardware with some modifications and is very approachable for beginning users. Once the basic theory is established, BASIC Stamp, 2/E walks the reader through applications suitable for designers as well as the home hobbyist. These applications can be used as is or as a basis for further modifications to suit specific design needs. BASIC Stamp, 2/E thoroughly explains the hardware base of the BASIC Stamp microcontroller including internal architecture, the peripheral functions, as well as providing the technical data sheets for each kind of chip. The authors also explain the BASIC Stamp development systems including DOS and Windows-based tools in tremendous detail. As an added feature, BASIC Stamp, 2/E includes full instructions for using PBASIC programming and formatting. The book provides many specific applications for microcontroller use, complete with programming instructions, including: single instructions, multiple instructions, interfacing directions, and more complex applications such as motion detection, light measurement, and home automation.

Related subjects