M. Sharples 1. 1 The Collaborative Tradition Collaborative writing is nothing new. The description below is from the introduction to a book published in 1911: Every page, however, has been debated and passed by the three of us… Meer
We hope that all readers will find the papers included in this volume of interest. All were presented at the 14th BCS IRSG Research Colloquium held at Lancaster University on 13th-14th April 1992. The papers display very well the scope and breadth of information retrieval, as indeed did the workshop… Meer
The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA… Meer
The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and strength, becoming one of the largest computing science research groups at Glasgow and earning an international reputation… Meer
ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in the early eighties. These proceedings comprise the contributions to ACP94, the first workshop devoted to ACP… Meer
Each year there are improvements in safety-critical system technology. These arise both from developments in the contributing technologies, such as safety engineering, software engineering, human factors and risk assessment, and from the adoption or adaptation of appropriate techniques from other… Meer
In this paper a nearly perfected concept of basic training in the field of "Computer Integrated Manufacturing (CIM)" has been explained. With the help of detailed studies conducted in part by the Department of Technology and Education… Meer
Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems… Meer
The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler of Linz in the late 80’s to include those computer theoretical and practical developments as tools to solve problems in System Science… Meer
This edition has been called ‘startlingly up-to-date’, and in this corrected second printing you can be sure that it’s even more contemporaneous. It surveys from a unified point of view both the modern state and the trends of continuing development in various branches of number theory… Meer
This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19–21, 2003… Meer
The papers in this collection were presented at the 7th International Con- rence on Logic Programming and Nonmonotonic Reasoning (LPNMR-7) in Fort Lauderdale, Florida, USA, during January 6–8, 2004. The previous meetings in this series were held in Washington, DC, USA (1991), Lisbon, Portugal… Meer
The ongoing compression of computing facilities into small and mobile devices like handhelds, portables or even wearable computers will enhance ubiquitous information processing. The basic paradigm of such pervasive computing is the combination of strongly decentralized and distributed computing… Meer
Computer haben als universelle Maschinen das moderne Leben nicht nur durchdrungen, sie verändern durch ihre vielfältige Funktionalität auch jede Art der Kommunikation und damit der Organisation und der Arbeitsabläufe… Meer
Der Band bietet eine grundlegende Einführung in das Thema Linux für mobile Endgeräte wie z. B. PDAs (Personal Digital Assistants) oder Mobiltelefone. Der Autor erläutert zunächst die Spezifika sogenannter eingebetteter Systeme und erklärt dann, was beim Einsatz von Linux als Betriebssystem zu… Meer
Das diesem Übungsbuch zugrunde liegende zweibändige Lehrbuch zur Mikrorechner-Technik bietet eine leichtverständliche Einführung in den Aufbau und die Funktionsweise von Mikrorechnern, d.h. von universell einsetzbaren und programmierbaren Digitalrechnern, die als Kern einen oder mehrere… Meer
In diesem Band stellt der Autor den Aufbau aller wichtigen Standards für das Colormanagement in der Druckproduktion dar. Ausgehend von den Stärken und Schwächen der Standards entwickelt der Autor praxisorientierte Strategien für die effiziente Produktion von der Übergabe digitaler Fotos über die… Meer
This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected… Meer
Research on the multifaceted aspects of modeling, analysis, and synthesis of - man gesture is receiving growing interest from both the academic and industrial communities. On one hand, recent scienti?c developments on cognition, on - fect/emotion, on multimodal interfaces, and on multimedia have… Meer
The Workshop on Approximation and Online Algorithms (WAOA 2003) focused on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems have a large number of applications ar- ing from a variety of ?elds… Meer
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
