Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This accessible compendium serves as a companion to the title Giants of Computing, examining a collection of significant technology firms that have helped to shape the field of computing and its impact on society. Each company is introduced with a brief account of its history, followed by a concise account of its key contributions. The selection covers a diverse range of historical and contemporary organizations from pioneers of e-commerce to influential social media companies. Topics and features: Presents information on early computer manufacturers, such as EMCC / Sperry / Unisys, Leo Computers, and Zuse KG Reviews important mainframe and minicomputer companies, including IBM, Amdahl, and DEC Examines the contributions to the field of semiconductors made by Intel, Texas Instruments, and Motorola Describes companies that have been active in developing home and personal computers, such as Sinclair Research, Commodore, Apple, Atari, and Dell Surveys the notable research centers Bell Labs, Xerox PARC, and the Software Engineering Institute Discusses the impact of Ericsson and Motorola in the field of telecommunications, and of SAP and Oracle in the area of enterprise software and business computing Considers the achievements of the e-commerce companies Amazon and eBay, as well as the browser wars between Microsoft and Netscape Provides a review of the social media companies Facebook and Twitter Includes coverage of such prominent companies as Adobe, Cisco, Google, HP, and Unimation Suitable for the general reader, this concise and easy-to-read reference will be of interest to anyone curious about the important role played by different technology firms in forming today’s digital world. .

Computer. Automation --- computers --- computergeschiedenis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Emphasizing both XAML/C# and HTML5/JavaScript, this book provides readers with all the tools, ideas, and inspiration to begin Windows Universal App development for Windows 10. Real World Windows 10 Development addresses developers who want to break into this market by providing detailed explanations of the various aspects of Universal App development. Written by authors with deep knowledge in Windows 10 universal app development, you will learn how to make the most of the Windows 10 SDK to build applications that can be published on IoT devices, phones, tablets, laptops, desktops, Xbox, HoloLens, and the Surface Hub. Readers will learn how to: Extend the appeal of their native, web-based, or universal apps with media, shell integration, and inter-app communications Build adaptive user interfaces that scale to the screen dimensions they are displayed on Add monetization Introduce mapping What if you already have pre-existing software in the form of native win32 applications or a website? Real World Windows 10 Development tackles this by providing detailed tutorials on the approaches used to leverage your existing code investment. Finally, Real World Windows 10 Development provides a step-by-step walk through of the various approaches developers can use to distribute their universal apps. In this book, you’ll get: Detailed descriptions of Windows 10 app development Samples emphasizing the use of HTML5/JavaScript and XAML/C# Adherence to Windows 10 guidelines for successful app acceptance .

Computer science --- computers --- computerkunde

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Thousands of different programming languages exist, and many more are being created each year, yet all those involved in such work must acknowledge that it is "the highest goal of programming-language design to enable good ideas to be elegantly expressed" These are the words of Sir Charles Antony Richard Hoare, or Tony Hoare to his colleagues and friends, a man who has inspired generations of researchers in computer science. His work, grounded in practical programming, has had a profound impact on the evolution of the field. This includes the development of Hoare logic and Communicating Sequential Processes (CSP). Reflections on the Work of C.A.R. Hoare presents a comprehensive edited survey of all aspects of these subjects, with original contributions by more than 30 international leaders in the field. The book, while honoring Hoare's important contributions, assembles a collection of chapters showing the state of the art in programming languages, sequential programs, concurrency, and unified theories of programming. Topics and features: Provides a scientific biography of Tony Hoare Demonstrates a principled combination of CSP and functional programming, and a CSP semantics for the π-calculus Reviews methods for proving Hoare formulae Investigates developments in game semantics and semantics based on the state monad Examines the satisfiability problem, void safety, and issues of auxiliary variables Introduces type families in Haskell and a description of Quicksort in Orc Describes an experiment using the Tokeneer archive, and a correctness proof of cryptographic protocols based on the Shadow Security model Presents a representation of CSP as a bigraphical reactive system, and shows how simple entities can be related to CSP processes Discusses the problem-frames approach, and explores algebraic properties of the new programming combinators This accessible monograph is an ideal overview of theoretical and empirical evolution in programming logic and semantics of programming languages. It will serve as an invaluable resource for professionals, researchers, libraries, and students who are interested in broadening their knowledge in all of the areas covered.

Computer. Automation --- computers --- computergeschiedenis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This thirs volume of the three-volume set (CCIS 1193, 1194, 1195) constitutes the refereed proceedings of the First International Conference on Applied Technologies, ICAT 2019, held in Quito, Ecuador, in December 2019. The 124 full papers were carefully reviewed and selected from 328 submissions. The papers are organized according to the following topics: technology trends; computing; intelligent systems; machine vision; security; communication; electronics; e-learning; e-government; e-participation. .

Computer. Automation --- computers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes refereed proceedings of the First International Conference on Smart Technologies, Systems and Applications, held in Quito, Ecuador, in December 2019. The 27 full papers and 3 short papers presented were carefully reviewed and selected from 90 submissions. The papers of this volume are organized in topical sections on smart technologies; smart systems; smart trends and applications.

Computer. Automation --- computers