This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tübingen in December 1989. Meer
The purpose of the Conference on Optimal Control of Partial Differential Equations was to bring together leading experts in this field and to exchange ideas and information about recent advances in control theory connected with partial differential equations. Meer
Dieses Buch behandelt zwei internationale Standards der Graphischen Datenverarbeitung (Computer Graphics). CGI (Computer Graphics Interface) definiert eine Schnittstelle zu interaktiven graphischen Ausgabegeräten. Meer
GWAI-83, die siebte deutsche Fachtagung über Künstliche Intelligenz, fand vom 19.-23. Sept. 1983 in Dassel/Solling statt. Der Wechsel des Konferenzortes gegenüber dem fast schon traditionellen Bad Honnef in den davorliegenden Jahren war durch den Anstieg der Teilnehmerzahl nötig geworden. Meer
Der Fachausschuss "Programmiersprachen und Programmentwicklung" der Gesellschaft für Informatik e. V. veranstaltet am 8. und 9. März 1984 seine 8. Fachtagung. Meer
In diesem Buch wird die Multisensordatenverarbeitung bei Roboteranwendungen umfassend behandelt. Zunächst werden die wesentlichen Grundlagen der Informationsverarbeitung von Sensordaten dargestellt. Meer
Das Buch liefert einen fundierten Einstieg in das Gebiet der graphischen Datenverarbeitung. Es behandelt die geometrischen Grundlagen der gebräuchlichsten Kurven-, Flächen- und Körperdarstellungen, die auch bei der rechnergestützten Konstruktion (CAD) Anwendung finden. Meer
The development of database technology has currently reached the stage of deductive database systems which use Horn clauses for defining relations. An important characteristic of these systems is the clear separation of logic and control. Meer
Die Fachtagung Prozeßrechensysteme '91 steht in der Tradition der Prozeßrechnertagungen, die seit 1974 mit großem Erfolg in der Bundesrepublik Deutschland veranstaltet wurden. Meer
Private clouds allow for managing multiple databases under one roof, avoiding unnecessary resource management. Private cloud solutions can be applied in sectors such as healthcare, retail, and software. Meer
Component Models and Systems for Grid Applications is the essential reference for the most current research on Grid technologies. This first volume of the CoreGRID series addresses such vital issues as the architecture of the Grid, the way software will influence the development of the Grid, and the practical applications of Grid technologies for individuals and businesses alike. Meer
Digital Video offers comprehensive coverage of the MPEG-2 audio/visual digital compression standard. The treatment includes the specifics needed to implement an MPEG-2 Decoder, including the syntax and semantics of the coded bitstreams. Meer
Electronics has become the largest industry, surpassing agriculture, auto, and heavy metal industries. It has become the industry of choice for a country to prosper, already having given rise to the phenomenal prosperity of Japan, Korea, Singapore, Hong Kong, and Ireland among others. Meer
Data compression is now indispensable to products and services of many industries including computers, communications, healthcare, publishing and entertainment. Meer
This book initiates a new digital multimedia standards series. The purpose of the series is to make information about digital multimedia standards readilyavailable. Meer
This text is a light technical introduction to the three technical foundations for multimedia applications across the Internet: communications (principles, technologies and networking), compressive encoding of digital media, and Internet protocol and services. Meer
This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. Meer
Many books teach computational statistics. Until now, however, none has shown how to write a good program. This book gives statisticians, biostatisticians and methodologically-oriented researchers the tools they need to develop high-quality statistical software. Meer
Als je jouw studieboeken gekocht hebt bij hanzestudybook.nl, kun je geselecteerde titels moeiteloos terugverkopen aan Noordhoff.
Geen vragen, geen gedoe en lekker duurzaam.
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books