Download or read book Computer Software Cataloging written by Deanne Holzberlein and published by Routledge. This book was released on 2019-12-05 with total page 88 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book, first published in 1985, examines the professional librarians’ needs for cataloging computer software. Examples of software labels, title screens, and catalog cards are used to illustrate how to catalog microcomputer software according to the 1974 Guidelines to Chapter 9 of the Anglo-American Cataloging Rules, 2nd edition. The samples include educational programs, educational games, and business and public disks and cassettes.
Download or read book Computer Software Cataloging Techniques and Examples Mit Abb written by Deanne Holzberlein and published by . This book was released on 1986 with total page 83 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Principles of Model Checking written by Christel Baier and published by MIT Press. This book was released on 2008-04-25 with total page 994 pages. Available in PDF, EPUB and Kindle. Book excerpt: A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field. The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.
Download or read book Processing second edition written by Casey Reas and published by MIT Press. This book was released on 2014-12-19 with total page 663 pages. Available in PDF, EPUB and Kindle. Book excerpt: The new edition of an introduction to computer programming within the context of the visual arts, using the open-source programming language Processing; thoroughly updated throughout. The visual arts are rapidly changing as media moves into the web, mobile devices, and architecture. When designers and artists learn the basics of writing software, they develop a new form of literacy that enables them to create new media for the present, and to imagine future media that are beyond the capacities of current software tools. This book introduces this new literacy by teaching computer programming within the context of the visual arts. It offers a comprehensive reference and text for Processing (www.processing.org), an open-source programming language that can be used by students, artists, designers, architects, researchers, and anyone who wants to program images, animation, and interactivity. Written by Processing's cofounders, the book offers a definitive reference for students and professionals. Tutorial chapters make up the bulk of the book; advanced professional projects from such domains as animation, performance, and installation are discussed in interviews with their creators. This second edition has been thoroughly updated. It is the first book to offer in-depth coverage of Processing 2.0 and 3.0, and all examples have been updated for the new syntax. Every chapter has been revised, and new chapters introduce new ways to work with data and geometry. New “synthesis” chapters offer discussion and worked examples of such topics as sketching with code, modularity, and algorithms. New interviews have been added that cover a wider range of projects. “Extension” chapters are now offered online so they can be updated to keep pace with technological developments in such fields as computer vision and electronics. Interviews SUE.C, Larry Cuba, Mark Hansen, Lynn Hershman Leeson, Jürg Lehni, LettError, Golan Levin and Zachary Lieberman, Benjamin Maus, Manfred Mohr, Ash Nehru, Josh On, Bob Sabiston, Jennifer Steinkamp, Jared Tarbell, Steph Thirion, Robert Winter
Download or read book Library of Congress Catalog written by Library of Congress and published by . This book was released on 1971 with total page 1012 pages. Available in PDF, EPUB and Kindle. Book excerpt: Beginning with 1953, entries for Motion pictures and filmstrips, Music and phonorecords form separate parts of the Library of Congress catalogue. Entries for Maps and atlases were issued separately 1953-1955.
Download or read book Catalog of the United States Geological Survey Library written by U.S. Geological Survey Library and published by . This book was released on 1976 with total page 776 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Catalog of the United States Geological Survey Library written by and published by . This book was released on 1974 with total page 774 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Paper Machines written by Markus Krajewski and published by MIT Press. This book was released on 2011-08-19 with total page 222 pages. Available in PDF, EPUB and Kindle. Book excerpt: Why the card catalog—a “paper machine” with rearrangeable elements—can be regarded as a precursor of the computer. Today on almost every desk in every office sits a computer. Eighty years ago, desktops were equipped with a nonelectronic data processing machine: a card file. In Paper Machines, Markus Krajewski traces the evolution of this proto-computer of rearrangeable parts (file cards) that became ubiquitous in offices between the world wars. The story begins with Konrad Gessner, a sixteenth-century Swiss polymath who described a new method of processing data: to cut up a sheet of handwritten notes into slips of paper, with one fact or topic per slip, and arrange as desired. In the late eighteenth century, the card catalog became the librarian's answer to the threat of information overload. Then, at the turn of the twentieth century, business adopted the technology of the card catalog as a bookkeeping tool. Krajewski explores this conceptual development and casts the card file as a “universal paper machine” that accomplishes the basic operations of Turing's universal discrete machine: storing, processing, and transferring data. In telling his story, Krajewski takes the reader on a number of illuminating detours, telling us, for example, that the card catalog and the numbered street address emerged at the same time in the same city (Vienna), and that Harvard University's home-grown cataloging system grew out of a librarian's laziness; and that Melvil Dewey (originator of the Dewey Decimal System) helped bring about the technology transfer of card files to business.
Download or read book Art of abstract photography written by Gottfried Jäger and published by Arnoldsche Verlagsanstalt GmbH. This book was released on 2002 with total page 328 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is based on the lectures and discussions held during the 21st Bielefeld Symposium on Photography and the Media. The meeting was explicitly aimed at raising public awareness of the art of abstract photography.
Download or read book National Union Catalog written by and published by . This book was released on 1981 with total page 584 pages. Available in PDF, EPUB and Kindle. Book excerpt: Includes entries for maps and atlases.
Download or read book Library of Congress Catalogs written by Library of Congress and published by . This book was released on 1976 with total page 656 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Foundations of Analog and Digital Electronic Circuits written by Anant Agarwal and published by Elsevier. This book was released on 2005-07-01 with total page 1009 pages. Available in PDF, EPUB and Kindle. Book excerpt: Unlike books currently on the market, this book attempts to satisfy two goals: combine circuits and electronics into a single, unified treatment, and establish a strong connection with the contemporary world of digital systems. It will introduce a new way of looking not only at the treatment of circuits, but also at the treatment of introductory coursework in engineering in general. Using the concept of ''abstraction,'' the book attempts to form a bridge between the world of physics and the world of large computer systems. In particular, it attempts to unify electrical engineering and computer science as the art of creating and exploiting successive abstractions to manage the complexity of building useful electrical systems. Computer systems are simply one type of electrical systems. +Balances circuits theory with practical digital electronics applications.+Illustrates concepts with real devices.+Supports the popular circuits and electronics course on the MIT OpenCourse Ware from which professionals worldwide study this new approach.+Written by two educators well known for their innovative teaching and research and their collaboration with industry.+Focuses on contemporary MOS technology.
Download or read book Design of axial flux permanent magnet low speed machines and performance comparison between radial flux and axial flux machines written by Asko Parviainen and published by . This book was released on 2005 with total page 153 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book The National union catalog 1968 1972 written by and published by . This book was released on 1973 with total page 650 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Theoretical Neuroscience written by Peter Dayan and published by MIT Press. This book was released on 2005-08-12 with total page 477 pages. Available in PDF, EPUB and Kindle. Book excerpt: Theoretical neuroscience provides a quantitative basis for describing what nervous systems do, determining how they function, and uncovering the general principles by which they operate. This text introduces the basic mathematical and computational methods of theoretical neuroscience and presents applications in a variety of areas including vision, sensory-motor integration, development, learning, and memory. The book is divided into three parts. Part I discusses the relationship between sensory stimuli and neural responses, focusing on the representation of information by the spiking activity of neurons. Part II discusses the modeling of neurons and neural circuits on the basis of cellular and synaptic biophysics. Part III analyzes the role of plasticity in development and learning. An appendix covers the mathematical methods used, and exercises are available on the book's Web site.
Download or read book Handbook on Battery Energy Storage System written by Asian Development Bank and published by Asian Development Bank. This book was released on 2018-12-01 with total page 123 pages. Available in PDF, EPUB and Kindle. Book excerpt: This handbook serves as a guide to deploying battery energy storage technologies, specifically for distributed energy resources and flexibility resources. Battery energy storage technology is the most promising, rapidly developed technology as it provides higher efficiency and ease of control. With energy transition through decarbonization and decentralization, energy storage plays a significant role to enhance grid efficiency by alleviating volatility from demand and supply. Energy storage also contributes to the grid integration of renewable energy and promotion of microgrid.
Download or read book Research Methods in Human Development written by Paul C. Cozby and published by WCB/McGraw-Hill. This book was released on 1989 with total page 300 pages. Available in PDF, EPUB and Kindle. Book excerpt: For undergradute social science majors. A textbook on the interpretation and use of research. Annotation copyright Book News, Inc. Portland, Or.
