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

Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings (Lecture Notes in Computer Science #12678)

This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).

Logics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings (Lecture Notes in Computer Science #8761)

This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. They are organized in topical sections named: description logics; automated reasoning; logics for uncertain reasoning; non-classical logics; answer-set programming; belief revision; dealing with inconsistency in ASP and DL; reason about actions and causality; system descriptions; short system descriptions; and short papers. The book also contains 4 full paper invited talks.

Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings (Lecture Notes in Computer Science #4160)

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006. The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The papers cover a range of topics within the remit of the Conference, such as logic programming, description logics, non-monotonic reasoning, agent theories, automated reasoning, and machine learning.

Logics in Artificial Intelligence: European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings (Lecture Notes in Computer Science #2424)

Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science #14281)

This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (Lecture Notes in Computer Science #5293)

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.

Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings (Lecture Notes in Computer Science #6341)

Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science #10021)

This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings (Lecture Notes in Computer Science #1919)

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Atlantis Studies in Computing #3)

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been successfully applied to formalize several properties of interactive plays in multi-entities systems modeled as multi-agent games.

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

Logik für Informatiker: Eine Einführung (Leitfäden und Monographien der Informatik)

Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? (Studienbücher Informatik)

Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt: Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.

LogiQL: A Query Language for Smart Databases

LogiQL is a new state-of-the-art programming language based on Datalog. It can be used to build applications that combine transactional, analytical, graph, probabilistic, and mathematical programming. LogiQL makes it possible to build hybrid applications that previously required multiple programming languages and databases. In this first book to co

Logische und Funktionale Programmierung: Grundlagen einer Kombination (Künstliche Intelligenz)

Logische und Methodische Grundlagen der Entwicklung verteilter Systeme: Unter Mitarbeit von Alexander Malkis

Softwareentwicklung erfordert – ausgehend von informellen Problemstellungen – Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. Zur Bewältigung dieser Aufgaben hat die Informatik eine Reihe grundlegender Ansätze und Methoden entwickelt, die in zwei Bänden in einem einheitlichen Rahmen zusammengefasst und an Beispielen erläutert werden. Der erste Band widmet sich der Spezifikationen von Daten- und Rechenstrukturen, der Spezifikation und Implementierung sowie dem Nachweis der Korrektheit funktionaler, prozeduraler und objektorientierter Programme. Der zweite Band dieses umfassenden und zugleich grundlagenorientierten Werkes behandelt softwareintensive Systeme und ihre Darstellung durch Zustandsmaschinen, nebenläufige Programme mit gemeinsamen Variablen, Datenflussprogramme, Schnittstellspezifikation, Zeitfluss, Architektur verteilter Systeme, Prozessmodellierung, Verfeinerung und spezifische Formalismen wie CSP, TLA und prädikative Spezifikation.Dies schließt unter anderem auch Themen wie Korrektheitsbeweise in Hinblick auf Sicherheit und Lebendigkeit sowie schrittweise Verfeinerung ein. Insbesondere werden im Buch die Grundlagen für eine wissenschaftlich abgesicherte Entwicklung von Programmen gelegt.

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

Dieses Buch vermittelt Studierenden und Praktikern die Grundlagen der System- und ProgrammentwicklungIn diesem Buch stellen Manfred Broy und Alexander Malkis die wesentlichen Grundlagen und Methoden der Programmentwicklung vor. Die Autoren vermitteln Studierenden der Informatik und Praktikern aus dem Bereich Software-Engineering, wie sie grundlegende Aufgaben der Programmentwicklung auf wissenschaftlicher Basis verstehen und bewältigen. Sie fassen alle behandelten wissenschaftlichen Ansätze und Methoden übersichtlich zusammen und führen diese anhand von praktischen Beispielen näher aus.Die Kernthemen des Werks im ÜberblickDas Buch „Logische und Methodische Grundlagen der Programm- und Systementwicklung“ widmet sich folgenden Themen:? Algebraische Spezifikationen von Daten- und Rechenstrukturen ? Spezifikation und Implementierung ? Nachweis der Korrektheit für funktionale, sequenzielle und objektorientierte Programmierung? Korrektheits- und Terminierungsbeweise? Design-by-Contract ? Schrittweise Verfeinerung

Logischer Entwurf digitaler Systeme (Hochschultext)

Bücher über die Arbeitsweise und den Entwurf logischer oder digitaler Systeme weisen unserer Meinung nach häufig einen Schönheitsfehler auf (manche mehr, manche weniger): sie trennen zu wenig die Betrachtung des funktionellen Ver­ haltens solcher Systeme von der Betrachtung ihres tee h n i sc he n Verhaltens. Das Standardbuch über Digitaltechnik enthält in der Regel die Definition einer Schalt­ algebra sowie Methoden der Beschreibung und Minimierung von Schaltnetzen und Schaltwerken, aber zum Beispiel auch die Darlegung der Arbeitsweise von Dioden und Transistoren als logische Verknüpfungselemente, den Aufbau und die Arbeitsweise von Ferritkern-Speichern, und wenn es modern ist, wird es auch die schaltungs mäßige Realisierung von integrierten Verknüpfungselementen behandeln. Wir wollen hierdurch keineswegs ausdrücken, daß die Fragen des technischen Auf­ baus von logischen Systemen nicht sehr wichtig sind und einer theoretischen Durch­ dringung wie einer Anleitung zum praktischen Handeln bedürfen. Diese Fragen je­ doch zum Bestandteil eines Lehrbuchs zu machen, birgt bei dem atemberaubenden Tempo der technischen Entwicklung ständig die Gefahr in sich, daß ihre Darstellung bereits in dem Augenblick veraltet ist, in dem das Buch im Druck erscheint. Die aktuellsten Informationen auf diesem Gebiet sind zwangsläufig die Handbücher der Schal tkrei s -Hersteller.

Logischer Entwurf digitaler Systeme

Mit dieser Neuauflage liegt der Klassiker der Digitaltechnik nun in der vierten Auflage vor. Das Buch behandelt Prinzipien und Methoden für den Entwurf digitaler Systeme. Dabei stehen Betrachtungen auf der Logikschaltungsebene bis zur Registertransferebene im Vordergrund. Spezielle Technologien werden insoweit berücksichtigt, wie sie einen grundlegenden Einfluss auf den Schaltungsentwurf haben. Folgende Themen werden besonders gründlich behandelt: Der Logikalkül der Mathematik, Durchschalt- und Verknüpfungstechnik für Logik- und Speicherbausteine, Asynchrontechnik vom Petri-Netz zur Schaltung, Synchrontechnik mit parallel arbeitenden Werken sowie Zusammenbau von applikationsspezifischen ICs und programmierbaren Universalrechnern. In der vierten Auflage wurde die Strukturierung und somit die Lesbarkeit des Buches weiter verbessert. Die vielen Zeichnungen und anwendungsorientierten Aufgaben unterstützen dies zusätzlich. Die Lösungen wurden noch gründlicher ausgearbeitet. Neu aufgenommen wurden die Verwendung programmiersprachlicher Ausdrucksmittel sowie Anwendungen aus der Signalverarbeitung. Das Buch ermöglicht einen systematischen Einstieg in den Entwurf digitaler Systeme. Es vermittelt dem Leser die notwendigen Grundlagen zum Verstehen weiterführender Literatur. Mit LEVis und COVis stehen zusätzlich zwei Visualisierungs-/Simulationsprogramme zur Verfügung, die übers Internet unter der URL http://rosw.cs.tu-berlin.de/sonstiges zugänglich sind.

Logischer Entwurf digitaler Systeme Beispiele und Übungen (Hochschultext)

Logistic Core Operations with SAP: Inventory Management, Warehousing, Transportation, and Compliance

“Logistic Core Operations with SAP” not only provides an overview of core logistics processes and functionality—it also shows how SAP’s Business Suite covers logistic core operations, what features are supported, and which systems can be used to implement end-to-end processes in the following logistic core disciplines: Procurement, Distribution, Transportation, Warehouse Logistics and Inventory Management, and Compliance and Reporting. In this context the authors not only explain their integration, the organizational set-up, and master data, but also which solution fits best for a particular business need. This book serves as a solid foundation for understanding SAP software. No matter whether you are a student or a manager involved in an SAP implementation, the authors go far beyond traditional function and feature descriptions, helping you ask the right questions, providing answers, and making recommendations. The book assists you in understanding SAP terminology, concepts and technological components as well as their closed-loop integration. Written in a clear, straight-forward style and using practical examples, it contains valuable tips, illustrative screenshots and flowcharts, as well as best practices—showing how business requirements are mapped into software functionality.

Logistic Core Operations with SAP: Procurement, Production and Distribution Logistics

“Logistic Core Operations with SAP” not only provides an overview of core logistics processes and functionality—it also shows how SAP’s Business Suite covers logistic core operations, what features are supported, and which systems can be used to implement end-to-end processes in the following logistic core disciplines: Procurement, Distribution, Transportation, Warehouse Logistics and Inventory Management, and Compliance and Reporting. In this context the authors not only explain their integration, the organizational set-up, and master data, but also which solution fits best for a particular business need. This book serves as a solid foundation for understanding SAP software. No matter whether you are a student or a manager involved in an SAP implementation, the authors go far beyond traditional function and feature descriptions, helping you ask the right questions, providing answers, and making recommendations. The book assists you in understanding SAP terminology, concepts and technological components as well as their closed-loop integration. Written in a clear, straight-forward style and using practical examples, it contains valuable tips, illustrative screenshots and flowcharts, as well as best practices—showing how business requirements are mapped into software functionality.

Logistical Excellence: It's Not Business As Usual

Benefit from the practices of the best logistics managers One of the nation's top authorities on logistics management presents a focused interpretation of research findings to help managers improve logistical competency within their organizations. Zeroing in on the best practices of successful logistic managers - and well supported by statistical evidence this handbook provides a sequential model as well as extensive coverage of Electronic Data Interchange in the logistics process. You'll find out why logistics must play an increasingly critical role in overall corporate strategy in the coming years, and why its managers must learn to better manage change. Special emphasis is placed on the development of strategic alliances to increase corporate speed and quality. Throughout the eight chapters, an action-oriented case dialogue facilitates interest and ease of reading.

Logistics 4.0 and Future of Supply Chains (Accounting, Finance, Sustainability, Governance & Fraud: Theory and Application)

This book provides a detailed theoretical background of Logistics 4.0 using real-world examples and case studies and proposes a methodological framework to understand the technological revolutions happening in the present day from the perspective of logistics management. With the fourth industrial revolution, new technologies, such as artificial intelligence, cloud computing, 3D printers and the Internet of Things started to take greater prominence in the world of business. One of the sectors most affected by changes brought on by this Industry 4.0 is logistics, which has given rise to the concept of Logistics 4.0. Covering a wide range of topics on Logistics 4.0, such as warehousing, big data, 3D printing, robotics and cloud computing, this book would be a valuable read for those involved in logistics management, academics and students in the areas of supply chain management, logistics, industry 4, and big data. .

Logistics and Fulfillment for e-business: A Practical Guide to Mastering Back Office Functions for Online Commerce

Logistics and fulfillment management is unglamorous, complex and expensive, but it is one of the primary factors determining whether an e-business will be profitable. Many enterprises (large and small) rush into the e-business model without adequate consi