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

Computer Science in Sport: Research and Practice (Routledge Research in Sport and Exercise Science)

Computers are a fundamentally important tool in sport science research, sports performance analysis and, increasingly, in coaching and education programmes in sport. This book defines the field of ‘sport informatics’, explaining how computer science can be used to solve sport-related problems, in both research and applied aspects. Beginning with a clear explanation of the functional principles of hardware and software, the book examines the key functional areas in which computer science is employed in sport, including: knowledge discovery and database development data acquisition, including devices for measuring performance data motion tracking and analysis systems modelling and simulation match analysis systems e-learning and multimedia in sports education Bridging the gap between theory and practice, this book is important reading for any student, researcher or practitioner working in sport science, sport performance analysis, research methods in sport, applied computer science or informatics.

Computer Science in Sport: Research and Practice (Routledge Research in Sport and Exercise Science)

Computers are a fundamentally important tool in sport science research, sports performance analysis and, increasingly, in coaching and education programmes in sport. This book defines the field of ‘sport informatics’, explaining how computer science can be used to solve sport-related problems, in both research and applied aspects. Beginning with a clear explanation of the functional principles of hardware and software, the book examines the key functional areas in which computer science is employed in sport, including: knowledge discovery and database development data acquisition, including devices for measuring performance data motion tracking and analysis systems modelling and simulation match analysis systems e-learning and multimedia in sports education Bridging the gap between theory and practice, this book is important reading for any student, researcher or practitioner working in sport science, sport performance analysis, research methods in sport, applied computer science or informatics.

Computer Science in Sport: Modeling, Simulation, Data Analysis and Visualization of Sports-Related Data

In recent years, computer science in sport has grown extremely, mainly because more and more new data has become available. Computer science tools in sports, whether used for opponent preparation, competition, or scientific analysis, have become indispensable across various levels of expertise nowadays. A completely new market has emerged through the utilization of these tools in the four major fields of application: clubs and associations, business, science, and the media. This market is progressively gaining importance within university research and educational activities.This textbook aims to live up to the now broad diversity of computer science in sport by having more than 30 authors report from their special field and concisely summarise the latest findings. The book is divided into four main sections: data sets, modelling, simulation and data analysis. In addition to background information on programming languages and visualisation, the textbook is framed by history and an outlook. Students with a connection to sports science are given a comprehensive insight into computer science in sport, supported by a didactically sophisticated concept that makes it easy to convey the learning content. Numerous questions for self-testing underpin the learning effect and ensure optimal exam preparation. For advanced students, the in-depth discussion of time series data mining, artificial neural networks, convolution kernels, transfer learning and random forests offers additional value.

Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings (Lecture Notes in Computer Science #2803)

This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gödel Colloquium, KGC 2003 in Vienna, Austria, in August 2003. The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects.

Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September (Lecture Notes in Computer Science #2471)

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; ´ the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials – ‘Introduction to Mu- Calculi’ (Julian Brad?eld) and ‘Parametrized Complexity’ (Martin Grohe) – were given on the previous day.

Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science #1862)

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings (Lecture Notes in Computer Science #6247)

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings (Lecture Notes in Computer Science #4646)

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.

Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings (Lecture Notes in Computer Science #4207)

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science #1683)

The 1999 Annual Conference of the European Association for Computer Science Logic, CSL’99, was held in Madrid, Spain, on September 20-25, 1999. CSL’99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid (UCM). The CSL’99 program committee selected 34 of 91 submitted papers for p- sentation at the conference and publication in this proceedings volume. Each submitted paper was refereed by at least two, and in almost all cases, three di erent referees. The second refereeing round, previously required before a - per was accepted for publication in the proceedings, was dropped following a decision taken by the EACSL membership meeting held during CSL’98 (Brno, Czech Republic, August 25, 1998).

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings (Lecture Notes in Computer Science #2142)

Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (Lecture Notes in Computer Science #1584)

Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings (Lecture Notes in Computer Science #5771)

The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7–11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89 werefollowedby a full paper. The ProgrammeCommittee selected 34 papers for presentation at the conference and publication in these proceedings. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. The awardrecipient for 2009 was Jakob Nordstr¨ om. Citation of the award, abstract of the thesis, and a biographical sketch of the recipient may be found at the end of the proceedings. The award was sponsored for the years 2007–2009 by Logitech S.A.

Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings (Lecture Notes in Computer Science #5213)

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. The 31 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 102 submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award.

Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings (pdf) (Lecture Notes in Computer Science #3210)

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science #3634)

Computer Science Project Work: Principles and Pragmatics

Ninety percent of any Computing Science academic staff are involved with project work at some stage of their working life. Often they have no previous experience of how to handle it, and there are no written guidelines or reference books at the moment. Knowledge and practical experiences are often only disseminated from one institution to another when staff change jobs. This book is the first reference work to fill that gap in the market. It will be of use to lecturers and course designers who want to improve their handling of project work in specific courses, and to department heads and deans who want to learn about overall strategic issues and experiences from other institutions.

Computer Science Protecting Human Society Against Epidemics: First IFIP TC 5 International Conference, ANTICOVID 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers (IFIP Advances in Information and Communication Technology #616)

This book constitutes the refereed post-conference proceedings of the First IFIP TC 5 International Conference on Computer Science Protecting Human Society Against Epidemics, ANTICOVID 2021, held virtually in June 2021.The 7 full and 4 short papers presented were carefully reviewed and selected from 20 submissions. The papers are concerned with a very large spectrum of problems, ranging from linguistics for automatic translation of medical terms, to a proposition for a worldwide system of fast reaction to emerging pandemic.

A Computer Science Reader: Selections from ABACUS

A Computer Science Reader covers the entire field of computing, from its technological status through its social, economic and political significance. The book's clearly written selections represent the best of what has been published in the first three-and-a-half years of ABACUS, Springer-Verlag's internatioanl quarterly journal for computing professionals. Among the articles included are: - U.S. versus IBM: An Exercise in Futility? by Robert P. Bigelow - Programmers: The Amateur vs. the Professional by Henry Ledgard - The Composer and the Computer by Lejaren Hiller - SDI: A Violation of Professional Responsibility by David L. Parnas - Who Invented the First Electronic Digital Computer? by Nancy Stern - Foretelling the Future by Adaptive Modeling by Ian H. Witten and John G. Cleary - The Fifth Generation: Banzai or Pie-in-the-Sky? by Eric A. Weiss This volume contains more than 30 contributions by outstanding and authoritative authors grouped into the magazine's regular categories: Editorials, Articles, Departments, Reports from Correspondents, and Features. A Computer Science Reader will be interesting and important to any computing professional or student who wants to know about the status, trends, and controversies in computer science today.

Computer Science Security: Concepts and Tools

This book serves as a guide to help the reader develop an awareness of security vulnerabilities and attacks, and encourages them to be circumspect when using the various computer resources and tools available today. For experienced users, Computer Science Security presents a wide range of tools to secure legacy software and hardware.Computing has infiltrated all fields nowadays. No one can escape this wave and be immune to security attacks, which continue to evolve, gradually reducing the level of expertise needed by hackers.It is high time for each and every user to acquire basic knowledge of computer security, which would enable them to mitigate the threats they may face both personally and professionally. It is this combined expertise of individuals and organizations that will guarantee a minimum level of security for families, schools, the workplace and society in general.

Computer Science Security: Concepts and Tools

This book serves as a guide to help the reader develop an awareness of security vulnerabilities and attacks, and encourages them to be circumspect when using the various computer resources and tools available today. For experienced users, Computer Science Security presents a wide range of tools to secure legacy software and hardware.Computing has infiltrated all fields nowadays. No one can escape this wave and be immune to security attacks, which continue to evolve, gradually reducing the level of expertise needed by hackers.It is high time for each and every user to acquire basic knowledge of computer security, which would enable them to mitigate the threats they may face both personally and professionally. It is this combined expertise of individuals and organizations that will guarantee a minimum level of security for families, schools, the workplace and society in general.

Computer Science Teacher: Insight into the computing classroom (Bcs Guides To It Roles Ser.)

Increased focus on computer science has recently brought about the new national curriculum in computing. This book explores the role of Computer Science Teacher in a secondary school environment. An overview of secondary school computing is covered, along with what the role encompasses, the attributes, knowledge and skills required to be a success and useful standards, tools, methods and techniques you can employ. Case studies and quotes from schools and current teachers are also included.

Computer Science Teacher: Insight into the computing classroom (Bcs Guides To It Roles Ser.)

Increased focus on computer science has recently brought about the new national curriculum in computing. This book explores the role of Computer Science Teacher in a secondary school environment. An overview of secondary school computing is covered, along with what the role encompasses, the attributes, knowledge and skills required to be a success and useful standards, tools, methods and techniques you can employ. Case studies and quotes from schools and current teachers are also included.

Computer Science -- Theory and Applications: 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings (Lecture Notes in Computer Science #6072)

Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings (Lecture Notes in Computer Science #9139)

This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015.The 25 full papers presented in this volume were carefully reviewed and selected from 61 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical computer science and its applications.