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

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture Notes in Computer Science #4501)

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May 2007. The 22 revised full papers presented together with 12 revised short papers and two invited talks cover all current research issues in propositional and quantified Boolean formula satisfiability testing.

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings (Lecture Notes in Computer Science #5584)

This volume contains the papers presented at SAT 2009: 12th International Conference on Theory and Applications of Satis?ability Testing, held from June 30 to July 3, 2009 in Swansea (UK). The International Conference on Theory and Applications of Satis?ability Testing (SAT) started in 1996 as a series of workshops, and, in parallel with the growthof SAT, developedinto the main eventfor SAT research. This year’sc- ference testi?ed to the strong interest in SAT, regarding theoretical research,- searchonalgorithms,investigationsintoapplications,anddevelopmentofsolvers and software systems. As a core problem of computer science, SAT is central for many research areas, and has deep interactions with many mathematical s- jects. Major impulses for the development of SAT came from concrete practical applications as well as from fundamental theoretical research. This fruitful c- laboration can be seen in virtually all papers of this volume. There were 86 submissions (completed papers within the scope of the c- ference). Each submission was reviewed by at least three, and on average 4. 0 Programme Committee members. The Committee decided to accept 45 papers, consisting of 34 regular and 11 short papers (restricted to 6 pages). A main n- elty was a “shepherding process”, where 29% of the papers were accepted only conditionally, and requirements on necessary improvements were formulated by the ProgrammeCommittee and its installment monitored by the “shepherd” for thatpaper(using possibly severalroundsoffeedback).

Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science #6175)

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science #7317)

This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings.

Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings (Lecture Notes in Computer Science #7962)

This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013. The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers). The focus of the papers in on following topics: maximum satisfiability, encodings and applications, solver techniques and algorithms, clique-width and SAT, propositional proof complexity, parameterized complexity.

Theory and Evidence in Comparative Politics and International Relations (New Visions in Security)

This book explores the epistemology and the methodology of political knowledge and social inquiry: what can we know, and how do we know? Contributing authors offer answers, addressing the purpose and methods of research and analyzing concepts, including the relationship of theory and evidence and the importance of medicine to social science.

Theory and Experiment: Recent Insights and New Perspectives on Their Relation (Synthese Library #195)

This is not "another collection of contributions on a traditional subject." Even more than we dared to expect during the preparatory stages, the papers in this volume prove that our thinking about science has taken a new turn and has reached a new stage. The progressive destruction of the received view has been a fascinating and healthy experience. At present, the period of destruction is over. A richer and more equilibrated analysis of a number of problems is possible and is being cru'ried out. In this sense, this book comes right on time. We owe a lot to the scholars of the Kuhnian period. They not only did away with obstacles, but in several respects instigated a shift in attention that changed history and philosophy of science in a irreversible way. A c1earcut example - we borrow it from the paper by Risto Hilpinen - concerns the study of science as a process, Rnd not only as a result. Moreover, they apparently reached several lasting results, e.g., concerning the tremendous impact of theoretical conceptions on empirical data. Apart from baffling people for several decades, this insight rules out an­ other return to simple-minded empiricism in the future.

Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993 (Workshops in Computing)

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from almost every member of the Section, from our long-term academic visitors, and from those who have recently left us. The papers fall into four broad areas: • semantics • concurrency • logic • specification with some papers spanning a number of disciplines. The subject material varies from work on mathematical foundations to practical applications of this theory, expressing the Section's commitment to both the foundations of computer science, and the application of theory to real computing problems. In preparing the workshop and these proceedings, care was taken to ensure that there were papers overviewing a field, as well as ones whose primary aim was to present new scientifIc results. This had a dual purpose: to bring our Section members up to speed in some of the areas being worked on by the Section; and to provide the reader of the proceedings not only with a good introduction to many of the specifIc areas being investigated by the Section, but also with details of some of our latest results. All the papers presented at the workshop were revised following comments made by the workshop participants, and all were subsequently reviewed by at least two people before producing the fInal versions contained in this volume.

Theory and History: The Political Thought of E.P. Thompson (Routledge Revivals)

First published in 1997, the aim of this book is to look at the historical materialism of E.P. Thompson while introducing him as a political thinker of distinction. The study examines many aspects of Thompson’s life and work to give a comprehensive statement on his theory of historical change. It surveys the intellectual background from which he emerged; the core values of socialist humanism as understood by his generation of the Left; his contribution to history from below; his critique of structuralist Marxism; and his practical input to political dissent. The scope of this study covers fifty years of socialist polemics and offers an insight into the battles which were fought out between the old and new Left until the collapse of command-economy communism in 1989. Throughout the work of Thompson is presented as a testimony to a lineage of social thinkers as well as to the ideal of the common weal much cherished by radical practitioners of the past.

Theory and History: The Political Thought of E.P. Thompson (Routledge Revivals)

First published in 1997, the aim of this book is to look at the historical materialism of E.P. Thompson while introducing him as a political thinker of distinction. The study examines many aspects of Thompson’s life and work to give a comprehensive statement on his theory of historical change. It surveys the intellectual background from which he emerged; the core values of socialist humanism as understood by his generation of the Left; his contribution to history from below; his critique of structuralist Marxism; and his practical input to political dissent. The scope of this study covers fifty years of socialist polemics and offers an insight into the battles which were fought out between the old and new Left until the collapse of command-economy communism in 1989. Throughout the work of Thompson is presented as a testimony to a lineage of social thinkers as well as to the ideal of the common weal much cherished by radical practitioners of the past.

Theory and Method in Higher Education Research (Theory and Method in Higher Education Research #6)

Higher education research is a developing field internationally, which is attracting more and more researchers from a great variety of disciplinary backgrounds within and beyond higher education institutions. As such, it is an arena within which a wide range of theories, methods and methodologies are being applied. This volume of Theory and Method in Higher Education Research contains analyses and discussions of, amongst others, relational working, corpus linguistics, data dialogues, instrumental variables, participatory pedagogy, diverse participation, policy discourse, quality management and knowledge structures of research.

Theory and Method in Higher Education Research (Theory and Method in Higher Education Research #6)

Higher education research is a developing field internationally, which is attracting more and more researchers from a great variety of disciplinary backgrounds within and beyond higher education institutions. As such, it is an arena within which a wide range of theories, methods and methodologies are being applied. This volume of Theory and Method in Higher Education Research contains analyses and discussions of, amongst others, relational working, corpus linguistics, data dialogues, instrumental variables, participatory pedagogy, diverse participation, policy discourse, quality management and knowledge structures of research.

Theory and Methodology of World Development: The Writings of Andre Gunder Frank (Evolutionary Processes in World Politics)

This book brings together key, incisive writings (published and unpublished) of the late Andre Gunder Frank on world development and world history. The selections provide the reader with a historical tracing of Gunder Frank's conceptual thinking on development, through to his views on world history, world development and globalization.

Theory and Methods in Political Science (Political Analysis)

A broad-ranging and pluralistic textbook which highlights the rich variety of approaches to studying politics. Written by an international team of experts, this fully revised fourth edition offers cutting-edge coverage from fundamental to contemporary issues. Integrating guides to further reading and clear examples of how research methods can be applied, it enables readers to feel confident about taking their study of politics forward.An ideal foundation for study and research in political science, this textbook will be essential to students at any stage of their degree. It serves as core reading on undergraduate and postgraduate political analysis, theory and methods courses. In demonstrating how independent research is undertaken in political science, the book allows students and early career researchers to begin thinking about formulating their own research agendas.This new edition:- Leads the way with fresh new ideas and perspectives with the help of new co-editor Vivien Lowndes- Includes new chapters on post-structuralism as a theoretical approach and on 'big data' as a methodological resource- Offers an international perspective on political science, with discussion of global as well as domestic politics and a range of international cases and examples.

Theory and Methods in Political Science; Fourth Editon (Political Analysis)

This leading text provides an ideal foundation for study and research in political science, bringing together renowned figures in the field to introduce the key approaches and methods used in the study of politics. The fully revised fourth edition features a considerable updating in the team of contributors and the range of coverage and examples.

Theory and Methods in Political Science (PDF)

This edition of this text introduces students in an accessible way to the approaches and methods of political science. The book has been systematically revised throughout with most chapters entirely new to this edition. The second edition features substantial extra coverage of methodological issues, an additional chapter on the philosophical underpinnings of the study of politics and a simplified structure for the presentation of theories and approaches.

Theory and Politics / Theorie und Politik: Festschrift zum 70. Geburstag für Carl Joachim Friedrich

Theory and Practical Issues on Cellular Automata: Proceedings of the Fourth International Conference on Cellular Automata for Research and Industry, Karlsruhe,4-6 October 2000

This book contains all full papers presented at ACRI 2000, the Fourth International Conference on Cellular Automata for Research and Industry, held at the University of Karlsruhe (Germany), 4 - 6 October, 2000. The continuation of and growing interest in research on Cellular Automata models for real world phenomena indicates the feasibility of this approach. A quick glance at the table contents of this book shows that results came from such different areas as biology, economics, physics, traffic flow and urban development. This work is complemented by contributions on the implementation and evaluation of software for Cellular Automata simulation, which is a necessary (but of course in no way sufficient) ingredient for the successful application of Cellular Automata. Applying Cellular Automata without trying to understand their behavior, in depth would be an unfortunate development. But as properties and power in earlier years it was again one of the strong points of ACRI to bring together researchers not only from different application areas but also from theory. Of course, this is reflected by the list of accepted contributions which also comprise theoretical papers and even papers which certainly belong to the intersection of several fields. Examples are the generation and recognition of geometrical patters and the influence of possible failures on the power of CA which obviously are of relevance also to applications.

Theory and Practice (The Seminars of Jacques Derrida)

Theory and Practice is a series of nine lectures that Jacques Derrida delivered at the École Normale Supérieure in 1976 and 1977. The topic of “theory and practice” was associated above all with Marxist discourse and particularly the influential interpretation of Marx by Louis Althusser. Derrida’s many questions to Althusser and other thinkers aim at unsettling the distinction between thinking and acting. Derrida’s investigations set out from Marx’s “Theses on Feuerbach,” in particular the eleventh thesis, which has often been taken as a mantra for the “end of philosophy,” to be brought about by Marxist practice. Derrida argues, however, that Althusser has no such end in view and that his discourse remains resolutely philosophical, even as it promotes the theory/practice pair as primary values. This seminar also draws fascinating connections between Marxist thought and Heidegger and features Derrida’s signature reconsideration of the dichotomy between doing and thinking. This text, available for the first time in English, shows that Derrida was doing important work on Marx long before Specters of Marx. As with the other volumes in this series, it gives readers an unparalleled glimpse into Derrida’s thinking at its best—spontaneous, unpredictable, and groundbreaking.

Theory and Practice (The Seminars of Jacques Derrida)

Theory and Practice is a series of nine lectures that Jacques Derrida delivered at the École Normale Supérieure in 1976 and 1977. The topic of “theory and practice” was associated above all with Marxist discourse and particularly the influential interpretation of Marx by Louis Althusser. Derrida’s many questions to Althusser and other thinkers aim at unsettling the distinction between thinking and acting. Derrida’s investigations set out from Marx’s “Theses on Feuerbach,” in particular the eleventh thesis, which has often been taken as a mantra for the “end of philosophy,” to be brought about by Marxist practice. Derrida argues, however, that Althusser has no such end in view and that his discourse remains resolutely philosophical, even as it promotes the theory/practice pair as primary values. This seminar also draws fascinating connections between Marxist thought and Heidegger and features Derrida’s signature reconsideration of the dichotomy between doing and thinking. This text, available for the first time in English, shows that Derrida was doing important work on Marx long before Specters of Marx. As with the other volumes in this series, it gives readers an unparalleled glimpse into Derrida’s thinking at its best—spontaneous, unpredictable, and groundbreaking.

Theory and Practice (The Seminars of Jacques Derrida)

Theory and Practice is a series of nine lectures that Jacques Derrida delivered at the École Normale Supérieure in 1976 and 1977. The topic of “theory and practice” was associated above all with Marxist discourse and particularly the influential interpretation of Marx by Louis Althusser. Derrida’s many questions to Althusser and other thinkers aim at unsettling the distinction between thinking and acting. Derrida’s investigations set out from Marx’s “Theses on Feuerbach,” in particular the eleventh thesis, which has often been taken as a mantra for the “end of philosophy,” to be brought about by Marxist practice. Derrida argues, however, that Althusser has no such end in view and that his discourse remains resolutely philosophical, even as it promotes the theory/practice pair as primary values. This seminar also draws fascinating connections between Marxist thought and Heidegger and features Derrida’s signature reconsideration of the dichotomy between doing and thinking. This text, available for the first time in English, shows that Derrida was doing important work on Marx long before Specters of Marx. As with the other volumes in this series, it gives readers an unparalleled glimpse into Derrida’s thinking at its best—spontaneous, unpredictable, and groundbreaking.

Theory and Practice (The Seminars of Jacques Derrida)

Theory and Practice is a series of nine lectures that Jacques Derrida delivered at the École Normale Supérieure in 1976 and 1977. The topic of “theory and practice” was associated above all with Marxist discourse and particularly the influential interpretation of Marx by Louis Althusser. Derrida’s many questions to Althusser and other thinkers aim at unsettling the distinction between thinking and acting. Derrida’s investigations set out from Marx’s “Theses on Feuerbach,” in particular the eleventh thesis, which has often been taken as a mantra for the “end of philosophy,” to be brought about by Marxist practice. Derrida argues, however, that Althusser has no such end in view and that his discourse remains resolutely philosophical, even as it promotes the theory/practice pair as primary values. This seminar also draws fascinating connections between Marxist thought and Heidegger and features Derrida’s signature reconsideration of the dichotomy between doing and thinking. This text, available for the first time in English, shows that Derrida was doing important work on Marx long before Specters of Marx. As with the other volumes in this series, it gives readers an unparalleled glimpse into Derrida’s thinking at its best—spontaneous, unpredictable, and groundbreaking.

Theory and Practice (The Seminars of Jacques Derrida)

Now in paperback, nine lectures from Jacques Derrida that challenge the influential Marxist distinction between thinking and acting. Theory and Practice is a series of nine lectures that Jacques Derrida delivered at the École Normale Supérieure in 1976 and 1977. The topic of “theory and practice” was associated above all with Marxist discourse and particularly the influential interpretation of Marx by Louis Althusser. Derrida’s many questions to Althusser and other thinkers aim at unsettling the distinction between thinking and acting. Derrida’s investigations set out from Marx’s “Theses on Feuerbach,” in particular the eleventh thesis, which has often been taken as a mantra for the “end of philosophy,” to be brought about by Marxist practice. Derrida argues, however, that Althusser has no such end in view and that his discourse remains resolutely philosophical, even as it promotes the theory/practice pair as primary values. This seminar also draws fascinating connections between Marxist thought and Heidegger and features Derrida’s signature reconsideration of the dichotomy between doing and thinking. This text, available for the first time in English, shows that Derrida was doing important work on Marx long before Specters of Marx. As with the other volumes in this series, it gives readers an unparalleled glimpse into Derrida’s thinking at its best—spontaneous, unpredictable, and groundbreaking.

Theory and Practice: An Essay in Human Intentionalities (Jerusalem Van Leer Foundation #3)

Theory and Practice: A History of Two Centuries of Dutch Mathematics Education (International Studies in the History of Mathematics and its Teaching)

This book describes and analyses the history of Dutch mathematics education from the point of view of the changing motivations behind the teaching of mathematics over a 200 year period. During the course of the 19th century, mathematics in the Netherlands developed from a topic for practitioners into a school topic that was taught to almost all pupils of secondary education. As mathematics teaching gradually lost its practical orientation and became more and more motivated on the basis of its supposed formative value, the HBS (Hogere Burgerschool), the Dutch variant of the German Realschule, became the dominant school of thought for mathematics pedagogy. This book examines the gradual development of the field, culminating in the country-wide adoption of Realistic Mathematics Education as the new method of mathematics teaching. This book is important for anyone who is interested in the history of mathematics education. It provides an interesting perspective on the development of mathematics education in a country that, in many aspects, went its own way.