Catalog of Copyright Entries. Third Series PDF Download

Author: Library of Congress. Copyright Office
Publisher: Copyright Office, Library of Congress
ISBN:
Category : Copyright
Languages : en
Pages : 1480

View

Book Description

Author: Tiziana Margaria
Publisher: Springer Nature
ISBN: 3031197569
Category : Computers
Languages : en
Pages : 437

View

Book Description
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

Author: Jacob Gaboury
Publisher: MIT Press
ISBN: 0262045036
Category : Computers
Languages : en
Pages : 323

View

Book Description
How computer graphics transformed the computer from a calculating machine into an interactive medium, as seen through the histories of five technical objects. Most of us think of computer graphics as a relatively recent invention, enabling the spectacular visual effects and lifelike simulations we see in current films, television shows, and digital games. In fact, computer graphics have been around as long as the modern computer itself, and played a fundamental role in the development of our contemporary culture of computing. In Image Objects, Jacob Gaboury offers a prehistory of computer graphics through an examination of five technical objects--an algorithm, an interface, an object standard, a programming paradigm, and a hardware platform--arguing that computer graphics transformed the computer from a calculating machine into an interactive medium. Gaboury explores early efforts to produce an algorithmic solution for the calculation of object visibility; considers the history of the computer screen and the random-access memory that first made interactive images possible; examines the standardization of graphical objects through the Utah teapot, the most famous graphical model in the history of the field; reviews the graphical origins of the object-oriented programming paradigm; and, finally, considers the development of the graphics processing unit as the catalyst that enabled an explosion in graphical computing at the end of the twentieth century. The development of computer graphics, Gaboury argues, signals a change not only in the way we make images but also in the way we mediate our world through the computer--and how we have come to reimagine that world as computational.

Author: Library of Congress. Copyright Office
Publisher:
ISBN:
Category : Copyright
Languages : en
Pages : 1480

View

Book Description
The record of each copyright registration listed in the Catalog includes a description of the work copyrighted and data relating to the copyright claim (the name of the copyright claimant as given in the application for registration, the copyright date, the copyright registration number, etc.).

Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 206

View

Book Description

Author: Ilias O. Pappas
Publisher: Springer Nature
ISBN: 3030396347
Category : Computers
Languages : en
Pages : 186

View

Book Description
This book constitutes papers from the workshops held at the 18th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2019, which took place in Trondheim, Norway, in September 2019. The 11 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 33 submissions to the following workshops: DTIS: Digital Transformation for an Inclusive Society TPSIE: Trust and Privacy Aspects of Smart Information Environments 3(IT): Innovative Teaching of Introductory Topics in Information Technology CROPS: CROwd-Powered e-Services

Author:
Publisher:
ISBN:
Category : Computer engineering
Languages : en
Pages : 1164

View

Book Description

Author: Ciel Michèle Carter
Publisher: New York : Macmillan Information
ISBN:
Category : Computers
Languages : en
Pages : 264

View

Book Description
Critical, evaluative reviews of computer science reference sources. Good starting point for learning the computer reference literature or to find a source of needed information. Published 1974.

Author:
Publisher:
ISBN:
Category : Electronic industries
Languages : en
Pages : 542

View

Book Description

Author: Stichting Studiecentrum voor Administratieve Automatisering
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 212

View

Book Description