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

Theoretical Aspects of Computing - ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings (Lecture Notes in Computer Science #7521)

This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Lecture Notes in Computer Science #9399)

This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category theory; automata and formal languages; concurrency; constraints, logic and semantic; software architecture and component-based design; and verification.

Theoretical Computer Science: 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings (Lecture Notes in Computer Science #7604)

This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in Amsterdam, The Netherlands, in September 2012. The 25 revised full papers presented, together with one invited talk, were carefully reviewed and selected from 48 submissions. New results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field.

Theoretical Computer Science: 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings (Lecture Notes in Computer Science #2841)

Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings (Lecture Notes in Computer Science #3701)

Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings (Lecture Notes in Computer Science #8705)

This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 26 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. [Suggestion--please check and add more if needed] TCS-2014 consisted of two tracks, with separate program committees, which dealt respectively with: - Track A: Algorithms, Complexity and Models of Computation, and - Track B: Logic, Semantics, Specification and Verification

Theoretical Computer Science: 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings (Communications in Computer and Information Science #768)

This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2017, held in Wuhan, Hubei, China, in October 2017. The 25 full papers presented were carefully reviewed and selected from 84 submissions. They present relevant trends of current research in the area of algorithms and complexity, software theory and method, data science and machine learning theory.

Theoretical Computer Science: 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings (Communications in Computer and Information Science #882)

This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2018, held in Shanghai, China, in October 2018. The 11 full papers presented were carefully reviewed and selected from 31 submissions. They present relevant trends of current research in the area of algorithms and complexity, software theory and method, data science and machine learning theory.

Theoretical Computer Science: 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings (Lecture Notes in Computer Science #2202)

This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001.The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on lambda calculus and types, algorithms and data structures, new computing paradigms, formal languages, objects and mobility, computational complexitiy, security, and logics and logic programming.

Theoretical Computer Science: 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers (Communications in Computer and Information Science #1069)

This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2019, held in Lanzhou, China, in August 2019. The 11 full papers presented were carefully reviewed and selected from 28 submissions. They present relevant trends of current research in the area of algorithms and complexity, data science and machine learning theory, and computational model.

Theoretical Concepts (LEP Library of Exact Philosophy #10)

to that goal, and it is hoped that it will incorporate further works dealing in an exact way with interesting philosophical issues. Zurich, April 1973 Mario Bunge Preface In this book I have investigated the logical and methodological role of the much debated theoretical concepts in scientific theories. The philosophical viewpoint underlying my argumentation is critical scientific realism. My method of exposition has been to express ideas first in general terms and then to develop and elaborate them within a specific formal framework. It is assumed in the book that the reader has a relatively good knowledge of the basic techniques and results of modern symbolic logic, including model theory. Examples from actual science are mostly from the social sciences. I have deliberately omitted a treatment of a number of characteristic features which are particular to theoretical concepts in the more developed sciences, such as modern physics. This book owes very much to Professor Jaakko Hintikka, to whom I wish to express my deep gratitude. Especially at the begin­ ning of this project in 1968/69 when I was doing research for my doctoral degree at Stanford University I worked with him closely.

Theoretical Concepts and Hypothetico-Inductive Inference (Synthese Library #53)

Conceptual change and its connection to the development of new seien­ tific theories has reeently beeome an intensively discussed topic in philo­ sophieal literature. Even if the inductive aspects related to conceptual change have already been discussed to some extent, there has so far existed no systematic treatment of inductive change due to conceptual enrichment. This is what we attempt to accomplish in this work, al­ though most of our technical results are restricted to the framework of monadic languages. We extend Hintikka's system of inductive logic to apply to situations in which new concepts are introduced to the original language. By interpreting them as theoretica1 concepts, it is possible to discuss a number of currently debated philosophical and methodological problems which have previously escaped systematic and exact treatment. For instance, the role which seientific theories employing theoretical con­ cepts may play within inductive inference can be studied within this framework. From the viewpoint of seientific realism, sueh a study gives outlines for a theory of what we call hypothetico-induetive inference. Some parts of this work which are based on Hintikka's system of in­ ductive logic are fairly technical. However, no previous knowledge of this system is required, but, in general, acquaintance with the basic ideas of elementary logic and probability theory is suffieient. This work is part of a project, originated by Professors Jaakko Hintikka and Raimo Tuomela, concerning the role of theoretical concepts in science.

The Theoretical Individual: Imagination, Ethics and the Future of Humanity

How can the one influence the many? From posing seminal questions about what comprises a human individual, to asking whether human evolution is alive and well, favoring individuals or the species, this work is a daring, up-to-the-minute overview of an urgent, multidisciplinary premise. It explores the extent to which human history provides empirical evidence for the capacity of an individual to exert meaningful suasion over their species, and asks: Can an individual influence the survival of the human species and the planet? If there are to be cultures of transformation dedicated to seeing us all through the Sixth Extinction Spasm, the Anthropocene, inflicting as little biological havoc as possible, what might such orientations—a collective, widespread biophilia, or reverence for nature—look like? In this powerful work, with a combination of data and direct observation, the authors invite readers to explore how such transformations might resonate throughout the human community; in what ways a person might overcome the seemingly insurmountable environmental tumult our species has unleashed; the clear and salient motives, ethics, aspirations and pragmatic idealism he/she might mirror and embrace in order to effect a profound difference—at the individual level—for all of life and life’s myriad habitats. Chapters illuminate an ambitiously broad digest of research from two-dozen disciplines. Those include ecodynamics, biosemiotics, neural plasticity, anthropology, paleontology and the history of science, among others. All converge upon a set of ethics-based scenarios for mitigating ecological damage to ourselves and other life forms. This highly readable and tightly woven treatise speaks to scientists, students and all those who are concerned about ethical activism and the future of the biosphere.Michael Charles Tobias and Jane Gray Morrison are ecological philosophers and animal liberation activists who have worked for decades to help enrich our understanding of ecosystem dynamics and humanity’s ambiguous presence amid that great orchestra that is nature.

Theoretical Introduction to Programming

Including easily digested information about fundamental techniques and concepts in software construction, this book is distinct in unifying pure theory with pragmatic details. Driven by generic problems and concepts, with brief and complete illustrations from languages including C, Prolog, Java, Scheme, Haskell and HTML. This book is intended to be both a how-to handbook and easy reference guide. Discussions of principle, worked examples and exercises are presented. All concepts outside introductory programming are explained with clear demarcation and dependencies so the experienced programmer can quickly locate material. Readable in a linear manner, with short mono-thematic to encourage dipping and reference. Also included are sections on open problems in software theory and practice. While little other than a novice programmer's knowledge is explicitly assumed, a certain conceptual maturity, either through commercial programming or academic training is required – each language is introduced and explained briefly as needed.

Theoretical Knowledge (Synthese Library #326)

In Theoretical Knowledge an original conception of a structure and dynamics of scientific knowledge is proposed. A detailed analysis of the foundations of science performed by the author allowed him to develop new ideas and approaches, to demonstrate how sociocultural factors are incorporated in the process of yielding of new theories. He shows direct and inverse links between foundations of science and new theories and empirical facts evolved from those, how among many potentially possible histories of science a culture selects just those directions which become a real history of science. The author analyses mechanisms of the generation of scientific theories and shows that those are changed in the process of historical development of science. He displays three historical types of scientific rationality (classical, non-classical and post-non-classical, which appears in modern science) and shows features of their coexistence and interplay. It is shown that along with the emerging of post-non-classical rationality science increases the sphere of its worldview applications. Science begins to correlate not only with the basic values of technogenic civilization but also with some values and patterns of traditional cultures. The investigation is based on the extensive literature on the history of natural and social sciences. The reader will find in the book authentic historical reconstructions of the processes of the development of classical and quantum electrodynamics, relativity, and conceptions of evolution in biology.

Theoretical Knowledge in the Mohist Canon (Archimedes #63)

This open access book presents a new translation, interpretation and analysis of selected passages from the so-called Mohist Canon, a Chinese text from ca. 300 BCE, and discusses the role of the text in the world history of science, arguing that it represents an early emergence of theoretical, systematized knowledge that is independent from parallel developments in ancient Greece. It is aimed at historians of science, of knowledge and of philosophy, and generally at readers interested in these topics from an intercultural perspective and particularly with respect to China.

Theoretical Perspectives on Smell

Theoretical Perspective on Smell is the first collection of scholarly articles to be devoted exclusively to philosophical research on olfaction. The essays, published here for the first time, bring together leading theorists working on smell in a format that allows for deep engagement with the emerging field, while also providing those new to the philosophy of smell with a resource to begin their journey. The volume’s 14 chapters are organized into four parts: I. The Importance and Beauty of SmellII. Smell in Time and SpaceIII. What We Perceive through SmellIV. Smell and Other Senses The collection solidifies the area as an important emerging branch of perceptual philosophy by presenting the cutting edge research being done by innovative early career researchers, as well as by those more senior and established within the field.

Theoretical Perspectives on Smell

Theoretical Perspective on Smell is the first collection of scholarly articles to be devoted exclusively to philosophical research on olfaction. The essays, published here for the first time, bring together leading theorists working on smell in a format that allows for deep engagement with the emerging field, while also providing those new to the philosophy of smell with a resource to begin their journey. The volume’s 14 chapters are organized into four parts: I. The Importance and Beauty of SmellII. Smell in Time and SpaceIII. What We Perceive through SmellIV. Smell and Other Senses The collection solidifies the area as an important emerging branch of perceptual philosophy by presenting the cutting edge research being done by innovative early career researchers, as well as by those more senior and established within the field.

Theoretical Physics and Philosophical Problems: Selected Writings (Vienna Circle Collection #5)

l. The work of Ludwig Boltzmann (1844-1906) consists of two kinds of writings: in the first part of his active life he devoted himself entirely to problems of physics, while in the second part he tried to find a philosoph­ 1 ical background for his activities in and around the natural sciences. Most scientists are much more aware of his creative work in physics than of his digressions on the meaning and structure of science. I think in the present case the reason is not so much that most scientists are usually almost entirely occupied with their trade, because Boltzmann's philosophical work is also concerned with the (natural) sciences. I rather believe that the quality and consistency of Boltzmann's purely scientific work is of a more appealing nature than his less structured considerations on human activity in science and in life in general. 2. I think that it may be appropriate for the readers of this anthology to say a few words on the main findings of Boltzmann in physics, since in the end their 'philosophical' inlpact has been larger than the effect of his later writings. Moreover some knowledge of his scientific achievements can be helpful for the understanding and appreciation of the essays printed in this book, which almost all stem from Boltzmann's philosophical period. Boltzmann was one of the main protagonists - at least in continental Europe - of atomistics for explaining the phenomena of physics.

Theoretical Principles of Relational Biology: Space, Time, Organization (Human Perspectives in Health Sciences and Technology #6)

This book proposes the foundation of the relational approach to biology, rejecting the deterministic and reductionist approach of molecular biology. Although biology has made enormous progress in the last seventy years, onto genesis is still conceived as a “revelation” of information (DNA). Recovering the geometric tradition, relational biology conceives scientific and epistemological tools (cause, probability, space etc.) of science in a new way. If probabilistic biology and organicism still proposes a biology based on physics, with a fundamental invariant, relational biology is based on variation: its fundamental invariant is variation, one of the most important elements of life. This is an indispensable book for academics who consider biology from a new theoretical approach, in particular for those working in the domains of cancer, ontogenesis and evolution.

Theoretical Writings (Bloomsbury Revelations)

Alain Badiou is arguably the most original and influential philosopher working in France today. Working against the tide of postmodern orthodoxy, Badiou revitalizes philosophy's perennial attempt to provide a systematic theory of truth. Theoretical Writings presents, in Badiou's own words, 'the theoretical core of [his] Philosophy'. Beginning with the controversial assertion that ontology is mathematics, the chapters step the reader through his key concepts of being, subject and truth via startling re-readings of canonical figures including Spinoza, Kant and Hegel and engagements with poetry, psychoanalysis and radical politics. Theoretical Writings is an indispensable introduction to one of the great thinkers of our time.

Theoretical Writings (Continuum Impacts)

Alain Badiou is arguable the most important and original philosopher working in France today. Swimming against the tide of postmodern orthodoxy, Badiou's work revitalizes philosophy's perennial attempt to provide a systematic theory of truth. This volume presents for the first time in English a comprehensive overview of Badiou's ambitious system. Beginning with Badiou's controversial assertion that ontology is mathematics, this volume sets out his theory of the emergence of truths from the singular relationship between a subject and an event. Also included is a substantial extract from Badiou's forthcoming work on the logics of appearance and the concept of world, presented here in advance of its French publication. Ranging from startling re-readings of canonical figures (Spinoza, Kant and Hegel) to decisive engagements with poetry, psychoanalysis and radical politics, Theoretical Writings is an indispensable introduction to one of the great thinkers of our time.

Theoretical Writings (Athlone Contemporary European Thinkers)

Alain Badiou is arguably the most important and original philosopher working in France today. Swimming against the tide of postmodern orthodoxy, Badiou's work revitalizes philosophy's perennial attempt to provide a systematic theory of truth.This volume presents for the first time in English a comprehensive overview of Badiou's ambitious system. Beginning with Badiou's controversial assertion that ontology is mathematics, this volume sets out his theory of the emergence of truths from the singular relationship between a subject and an event. Also included is a substantial extract from Badiou's forthcoming work on the logics of appearance and the concept of world, presented here in advance of its French publication.Ranging from startling re-readings of canonical figures (Spinoza, Kant and Hegel) to decisive engagements with poetry, psychoanalysis and radical politics, Theoretical Writings is an indispensable introduction to one of the great thinkers of our time.The volume also features a preface written by the author especially for this collection.

Theoretical Writings (Bloomsbury Revelations)

Alain Badiou is arguably the most original and influential philosopher working in France today. Working against the tide of postmodern orthodoxy, Badiou revitalizes philosophy's perennial attempt to provide a systematic theory of truth. Theoretical Writings presents, in Badiou's own words, 'the theoretical core of [his] Philosophy'. Beginning with the controversial assertion that ontology is mathematics, the chapters step the reader through his key concepts of being, subject and truth via startling re-readings of canonical figures including Spinoza, Kant and Hegel and engagements with poetry, psychoanalysis and radical politics. Theoretical Writings is an indispensable introduction to one of the great thinkers of our time.

Theoretische Grundlagen der Informatik

Angesichts der Komplexität der Produkte der modernen Informatik wird eine saubere, theoretische Fundierung immer wichtiger. Das Buch wendet sich an Studierende im ersten Studienabschnitt und an Praktiker und gibt eine Einführung in die theoretischen und zumeist mathematischen Grundlagen der Informatik. Lesern ohne mathematische Vorbildung wird eine Vorstellung von der Denk- und Arbeitsweise der theoretischen Informatik vermittelt. Angesichts der Stoffülle und Komplexität dieses Gebietes werden detaillierte oder auch nur ausführlichere Kenntnisse in theoretischer Informatik wohl dem Spezialisten vorbehalten bleiben. Das Buch ist deshalb betont breit gehalten und zielt auf einen Überblick unterschiedlichster Techniken und Ansätze ab. Der Autor behandelt nach einer Einführung in mathematische Grundbegriffe die klassischen Themen wie formale Sprachen oder Berechenbarkeit, wendet sich aber auch der Semantik von Programmiersprachen und der Codierungstheorie zu und beantwortet die Frage, wie Information gemessen werden kann.