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: V. Vijayakumar
Publisher: Springer
ISBN: 3319303481
Category : Technology & Engineering
Languages : en
Pages : 508

View

Book Description
This proceedings volume contains selected papers that were presented in the 3rd International Symposium on Big data and Cloud Computing Challenges, 2016 held at VIT University, India on March 10 and 11. New research issues, challenges and opportunities shaping the future agenda in the field of Big Data and Cloud Computing are identified and presented throughout the book, which is intended for researchers, scholars, students, software developers and practitioners working at the forefront in their field. This book acts as a platform for exchanging ideas, setting questions for discussion, and sharing the experience in Big Data and Cloud Computing domain.​

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 : 686

View

Book Description

Author: Sneh Saurabh
Publisher: Cambridge University Press
ISBN: 100920081X
Category : Technology & Engineering
Languages : en
Pages : 715

View

Book Description
A textbook on the fundamentals of VLSI design flow, covering the various stages of design implementation, verification, and testing.

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: Lawrence Rauchwerger
Publisher: Springer Nature
ISBN: 3030352250
Category : Computers
Languages : en
Pages : 313

View

Book Description
This book constitutes the proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2017, held in College Station, TX, USA, in October 2017. The 17 full papers presented together with abstracts of 5 keynote talks, 11 invited speakers and 4 poster papers in this volume were carefully reviewed and selected from 26 submissions. LCPC encourages submissions that go outside its original scope of scientific computing to diverse areas that are enable or enhanced by the power of parallel systems such as mobile computing, big data, relevant aspects of machine learning, data centers, cognitive computing, etc. LCPC strongly encourages personal interaction and technical discussions along the initial material.

Author: Mary Elizabeth Stevens
Publisher:
ISBN:
Category : Electronic data processing
Languages : en
Pages : 136

View

Book Description