Browse Results

Select your format based upon: 1) how you want to read your book, and 2) compatibility with your reading tool. To learn more about using Bookshare with your device, visit the Help Center.

Here is an overview of the specialized formats that Bookshare offers its members with links that go to the Help Center for more information.

• Bookshare Web Reader - A customized reading tool for Bookshare members offering all the features of DAISY with a single click of the "Read Now" link.
• DAISY (Digital Accessible Information System) - A digital book file format. DAISY books from Bookshare are DAISY 3.0 text files that work with just about every type of access technology that reads text. Books that contain images will have the download option of ‘DAISY Text with Images’.
• BRF (Braille Refreshable Format) - Digital Braille for use with refreshable Braille devices and Braille embossers.
• MP3 (MPEG audio layer 3) - Provides audio only with no text. These books are created with a text-to-speech engine and spoken by Kendra, a high quality synthetic voice from Ivona. Any device that supports MP3 playback is compatible.
• DAISY Audio - Similar to the DAISY option above; however, this option uses MP3 files created with our text-to-speech engine that utilizes Ivonas Kendra voice. This format will work with Daisy Audio compatible players such as Victor Reader Stream and Read2Go.
• EPUB - A standard e-book format that can be read on many tools, such as iBooks, Readium or others.
• Word - Accessible Word output, which can be unzipped and opened in any tool that allows .docx files

Unifying Themes in Complex Systems VII: Proceedings of the Seventh International Conference on Complex Systems

The International Conference on Complex Systems (ICCS) creates a unique atmosphere for scientists of all fields, engineers, physicians, executives, and a host of other professionals to explore common themes and applications of complex system science. With this new volume, Unifying Themes in Complex Systems continues to build common ground between the wide-ranging domains of complex system science.

Unifying Themes in Complex Systems , Vol. V: Proceedings of the Fifth International Conference on Complex Systems

The International Conference on Complex Systems (ICCS) creates a unique atmosphere for scientists of all fields, engineers, physicians, executives, and a host of other professionals to explore common themes and applications of complex system science. With this new volume, Unifying Themes in Complex Systems continues to build common ground between the wide-ranging domains of complex system science.

Unifying Themes in Complex Systems X: Proceedings of the Tenth International Conference on Complex Systems (Springer Proceedings in Complexity)

The International Conference on Complex Systems (ICCS) offers a unique interdisciplinary venue for researchers from the physical and biological sciences, social sciences, psychology and cognitive science, engineering, medicine, human systems, and global systems. This proceedings volume gathers selected papers from the conference. The New England Complex Systems Institute (NECSI) has been instrumental in the development of complex systems science and its applications. NECSI pursues research, education, knowledge dissemination, and community development efforts around the world to promote the study of complex systems and its application for the benefit of society. NECSI hosts the International Conference on Complex Systems and publishes the NECSI Book.

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Lecture Notes in Computer Science #10134)

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of combination of formal notations and theories of programming that define in various different ways many common notions, such as abstraction refinement, choice, termination, feasibility, locality, concurrency, and communication. They also show that despite many differences, such theories may be unified in a way that greatly facilitates their study and comparison.

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (Lecture Notes in Computer Science #5713)

Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers (Lecture Notes in Computer Science #4010)

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006. The book presents 14 revised full papers. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He, UTP 2006 focused on the most significant results and raised awareness of the benefits of unifying theoretical frameworks.

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (Lecture Notes in Computer Science #8963)

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.

Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings (Lecture Notes in Computer Science #6445)

Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (Lecture Notes in Computer Science #11885)

This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP community. One of the papers is from the distinguished invited speaker Tony Hoare himself. Nine other additional papers compose this volume, covering several aspects of Unifying Theories of Programming.

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science #7681)

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures (Lecture Notes in Computer Science #8050)

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems, hybrid systems, cyber physical systems, and present techniques such as inductive theorem proving, model checking, correction by construction through refinement and model transformations, synthesis, and computer algebra. Two of the courses are explicitly related to Hoare and He's Unifying Theories of Programming.

Unimagined Futures – ICT Opportunities and Challenges (IFIP Advances in Information and Communication Technology #555)

This Festschrift, Unimagined Futures – ICT Opportunities and Challenges, is the first Festschrift in the IFIP AICT series. It examines key challenges facing the ICT community today. While addressing the contemporary challenges, the book provides the opportunity to look back to help understand the contemporary scene and identify appropriate future responses to them. Experts in different areas of the ICT scene have contributed to this IFIP 60th anniversary book, which will be a key input to the ICT community worldwide on setting policy priorities and agendas for the coming decade. In addition, a number of contributions look specifically at the role of professionals and of national, regional, and global organizations in disseminating the benefits of ICT to humanity worldwide.

Uninformed: Why People Seem to Know So Little about Politics and What We Can Do about It

Research polls, media interviews, and everyday conversations reveal an unsettling truth: citizens, while well-meaning and even passionate about current affairs, appear to know very little about politics. Hundreds of surveys document vast numbers of citizens answering even basic questions about government incorrectly. Given this unfortunate state of affairs, it is not surprising that more knowledgeable people often deride the public for its ignorance. Some experts even think that less informed citizens should stay out of politics altogether. As Arthur Lupia shows in Uninformed, this is not constructive. At root, critics of public ignorance fundamentally misunderstand the problem. Many experts believe that simply providing people with more facts will make them more competent voters. However, these experts fail to understand how most people learn, and hence don't really know what types of information are even relevant to voters. Feeding them information they don't find relevant does not address the problem. In other words, before educating the public, we need to educate the educators. Lupia offers not just a critique, though; he also has solutions. Drawing from a variety of areas of research on topics like attention span and political psychology, he shows how we can actually increase issue competence among voters in areas ranging from gun regulation to climate change. To attack the problem, he develops an arsenal of techniques to effectively convey to people information they actually care about. Citizens sometimes lack the knowledge that they need to make competent political choices, and it is undeniable that greater knowledge can improve decision making. But we need to understand that voters either don't care about or pay attention to much of the information that experts think is important. Uninformed provides the keys to improving political knowledge and civic competence: understanding what information is important to and knowing how to best convey it to them.

Uninterrupted Knowledge Creation: Process Philosophy and Autopoietic Perspectives (SpringerBriefs in Business)

A common charge leveled against the autopoietic perspective is that it does not explain change or, consequently, knowledge creation. This book demonstrates that knowledge creation is not always an ongoing process, as is claimed in many process philosophy and autopoietic research works. The author introduces the idea of recursivity, which represents the explanatory potential for uninterrupted knowledge creation and paves the way for interaction between process (e.g. production) and stability (e.g. structure). The book describes the nature and role of recursivity in detail, especially in terms of how a system’s structure and production become media for one another. The book also acknowledges the value of the systems perspective on organizations in management studies, but suggests a different approach to defining systems, one that includes autopoietic elements.

Unique Chips and Systems (Computer Engineering Series)

Which came first, the system or the chip? While integrated circuits enable technology for the modern information age, computing, communication, and network chips fuel it. As soon as the integration ability of modern semiconductor technology offers presents opportunities, issues in power consumption, reliability, and form-factor present challenges. The demands of emerging software applications can only be met with unique systems and chips. Drawing on contributors from academia, research, and industry, Unique Systems and Chips explores unique approaches to designing future computing and communication chips and systems.The book focuses on specialized hardware and systems as opposed to general-purpose chips and systems. It covers early conception and simulation, mid-development, application, testing, and performance. The chapter authors introduce new ideas and innovations in unique aspects of chips and system design, then go on to provide in-depth analysis of these ideas. They explore ways in which these chips and systems may be used in further designs or products, spurring innovations beyond the intended scopes of those presented. International in flavor, the book brings industrial and academic perspectives into focus by presenting the full spectrum of applications of chips and systems.

Unique Chips and Systems (Computer Engineering Series)

Which came first, the system or the chip? While integrated circuits enable technology for the modern information age, computing, communication, and network chips fuel it. As soon as the integration ability of modern semiconductor technology offers presents opportunities, issues in power consumption, reliability, and form-factor present challenges. The demands of emerging software applications can only be met with unique systems and chips. Drawing on contributors from academia, research, and industry, Unique Systems and Chips explores unique approaches to designing future computing and communication chips and systems.The book focuses on specialized hardware and systems as opposed to general-purpose chips and systems. It covers early conception and simulation, mid-development, application, testing, and performance. The chapter authors introduce new ideas and innovations in unique aspects of chips and system design, then go on to provide in-depth analysis of these ideas. They explore ways in which these chips and systems may be used in further designs or products, spurring innovations beyond the intended scopes of those presented. International in flavor, the book brings industrial and academic perspectives into focus by presenting the full spectrum of applications of chips and systems.

Unique Radio Innovation for the 21st Century: Building Scalable and Global RFID Networks

Are you an engineer or a researcher developing RFID systems? Are you a manager considering deploying RFID-based applications? If so, this book is for you. Covering modern RFID systems, the challenges to RFID implementation are addressed using specific industrial research examples and common integration issues. The primary focus is on answering questions surrounding building scalable global Internet-based RFID networks. Key topics include RFID data management, RFID data processing and integration, Real-Time Locating Systems (RTLS) and sensors. The book considers the challenges of and solutions to building and exploiting global networks to guarantee one of the most important business drivers for modern RFID technology: traceability. The authors have drawn together RFID applications from the retail supply chain, asset and product lifecycle management, anti-counterfeiting and cold chain management to explore how global traceability networks can be created using RFID and sensor technologies. They present insights from world’s leading research laboratories.

Unit and Ubiquitous Internet of Things

Although the Internet of Things (IoT) will play a key role in the development of next generation information, network, and communication technologies, many are still unclear about what makes IoT different from similar concepts.Answering fundamental questions about IoT architectures and models, Unit and Ubiquitous Internet of Things introduces essen

Unit and Ubiquitous Internet of Things

Although the Internet of Things (IoT) will play a key role in the development of next generation information, network, and communication technologies, many are still unclear about what makes IoT different from similar concepts.Answering fundamental questions about IoT architectures and models, Unit and Ubiquitous Internet of Things introduces essen

Unit Testing in Java: How Tests Drive the Code (The Morgan Kaufmann Series in Software Engineering and Programming)

Software testing is indispensable and is one of the most discussed topics in software development today. Many companies address this issue by assigning a dedicated software testing phase towards the end of their development cycle. However, quality cannot be tested into a buggy application. Early and continuous unit testing has been shown to be crucial for high quality software and low defect rates. Yet current books on testing ignore the developer's point of view and give little guidance on how to bring the overwhelming amount of testing theory into practice. Unit Testing in Java represents a practical introduction to unit testing for software developers. It introduces the basic test-first approach and then discusses a large number of special issues and problem cases. The book instructs developers through each step and motivates them to explore further. - Shows how the discovery and avoidance of software errors is a demanding and creative activity in its own right and can build confidence early in a project. - Demonstrates how automated tests can detect the unwanted effects of small changes in code within the entire system. - Discusses how testing works with persistency, concurrency, distribution, and web applications. - Includes a discussion of testing with C++ and Smalltalk.

Unite the Tribes: Ending Turf Wars for Career and Business Success

No matter what business you're in, at the end of the day, it's all about people. Workers are people, and so are managers. Every day, millions of people wake up, get dressed, and go to work. The fact that all of them do different jobs and have different levels of authority has been used for ages to divide us. The truth of the matter, however, is that we're all just trying to make a living and provide for the ones we love—and that's a powerful common bond. If you can grasp that one concept, you'll have the power to change your world for the better in ways that you never dreamed possible. When you reach people at this fundamental level—letting them know that you care about what's important to them and showing what's in it for them personally when they join forces with you—nothing is beyond your grasp. Unite the Tribes: Ending Turf Wars for Career and Business Success presents the "Ten Pillars of the Empire" for just this purpose. You don't have to become a great charismatic leader to make them work. Each pillar speaks to you as an individual employee and shows you how to improve both your career and the company's bottom line in a practical and organized manner. These principles and tactics are designed for the real world, where things inevitably do not always go right. The pillars are at once practical, sensible, and applicable in the hectic realities of the workplace because they focus on people, which you'll come to see as the most unstoppable force in a company's dynamic. The workforce doesn't have to settle for less any longer. Working together, we have the power to build a better tomorrow. Unite, and be invincible!

Unite the Tribes: Ending Turf Wars for Career and Business Success

* Real world perspectives and language, not theoretical * Corporate building from the front line, not the boardroom * Practical and unconventional tactics from a corporate veteran * Audio CD with value-added talks available online

The United States of Anonymous: How the First Amendment Shaped Online Speech

In The United States of Anonymous, Jeff Kosseff explores how the right to anonymity has shaped American values, politics, business, security, and discourse, particularly as technology has enabled people to separate their identities from their communications. Legal and political debates surrounding online privacy often focus on the Fourth Amendment's protection against unreasonable searches and seizures, overlooking the history and future of an equally powerful privacy right: the First Amendment's protection of anonymity. The United States of Anonymous features extensive and engaging interviews with people involved in the highest profile anonymity cases, as well as with those who have benefited from, and been harmed by, anonymous communications. Through these interviews, Kosseff explores how courts have protected anonymity for decades and, likewise, how law and technology have allowed individuals to control how much, if any, identifying information is associated with their communications. From blocking laws that prevent Ku Klux Klan members from wearing masks to restraining Alabama officials from forcing the NAACP to disclose its membership lists, and to refusing companies' requests to unmask online critics, courts have recognized that anonymity is a vital part of our free speech protections. The United States of Anonymous weighs the tradeoffs between the right to hide identity and the harms of anonymity, concluding that we must maintain a strong, if not absolute, right to anonymous speech.

Units und Utilities für Turbo Pascal: Die professionelle Toolbox für die Softwareentwicklung unter Turbo Pascal ab Version 6.0

Unity 2017 2D Game Development Projects: Create Three Interactive And Engaging 2d Games With Unity 2017

2D games are everywhere! Timeless and popular, 2D games represent a substantial segment of the games market. The Unity engine has revolutionized the gaming industry, by making it easier for game developers to create quality games on a budget. If you are looking for a guide to create 2D games using Unity 2017, look no further. With this book, you will learn all the essentials of 2D game development by creating three real-world games in a step-by-step manner throughout the course of this book.