This volume contains revisedversions of selected papers presented at the Fourth Australian Workshop on Distributed Arti?cial Intelligence (DAK’91), together with a set of invited papers. Each paper has been reviewed by at least two program committee members… Meer
These proceedings collect the papers selected for the 2nd International Conf- ence on Interoperating GeographicInformationSystems held in Zur ¨ ich, Switz- land, 10–12 March, 1999. Interoperabilityhasbecomeanissueinmanyareasofinformationtechnology in the last decade… Meer
In July 1998, a summer school in cryptology and data security was organized atthecomputersciencedepartmentofAarhusUniversity,Denmark.Thistook place as a part of a series of summer schools organized by the European Edu- tional Forum, an organizationconsisting of the researchcenters TUCS (Finland)… Meer
Autonomousagents andmultiagentsystems are computationalsystems inwhich several (semi-)autonomous agents interact each other or work together to p- form some set of tasks or satisfy some set of goals. These systems may involve computationalagents that are homogeneous or heterogeneous, they may… Meer
The Fourth International Conference on Reliable Software Technologies, Ada- Europe’99, took place in Santander, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda and Ada Spain, and it was organized by… Meer
This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in… Meer
This volume constitutes the refereed proceedings of the Second International Conference on Scale-Space Theories in Computer Vision, Scale-Space'99, held in Corfu, Greece, in September 1999. The 36 revised full papers and the 18 revised posters presented in the book were carefully reviewed and… Meer
DISC, the International Symposium on DIStributed Computing, is an annual forum for research presentations on all facets of distributed computing. This volume includes 23 contributed papers and an invited lecture, all presented at DISC ’99, held on September 27-29, 1999 in Bratislava, Slovak… Meer
CHARME’99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988)… Meer
Immer mehr mittelständische Unternehmen produzieren Software, die sie für ihre Kunden termin- und kostengerecht sowie in akzeptabler Qualität entwickeln müssen. Es gibt jedoch kaum praxisgerechte Methoden zur Softwareentwicklung, die sie unterstützen könnten. Das Fachbuch schließt diese Lücke… Meer
The CQRE [Secure] conference provides a new international forum giving a close-up view on information security in the context of rapidly evolving economic processes. The unprecedented reliance on computer technology has transformed the previous technical side-issue "information security" to a… Meer
This book constitutes the refereed proceedings of the 7th European Workshop on Software Process Technology, EWSPT 2000, held in Kaprun, Austria in February 2000 in conjunction with a meeting of the European ESPRIT IV Project for Process Instance Evolution (PIE)… Meer
In 1992 we initiated a research project on large scale distributed computing systems (LSDCS). It was a collaborative project involving research institutes and universities in Bologna, Grenoble, Lausanne, Lisbon, Rennes, Rocquencourt, Newcastle, and Twente… Meer
idealcompanionwhen dealingwith thechallengesposedbyunified IPinter networking. In the first chapter, you will learn about the realm ofIP and its addressing techniques, IPv4 and IPv6, along with associated counterparts… Meer
This book explains the basic use of the software package called MuPAD and gives an insight into the power of the system. M u PAD is a so-called computer algebra system, which is developed mainly at the University of Paderborn in Germany… Meer
The two-volume set LNCS 1842/1843 constitutes the refereed proceedings of the 6th European Conference on Computer Vision, ECCV 2000, held in Dublin, Ireland in June/July 2000. The 116 revised full papers presented were carefully selected from a total of 266 submissions… Meer
The 2nd International Conference on Product Focused Software Process - provement(PROFES2000)continuedthesuccessofthePROFES’99conference. It was organized in Oulu, Finland, June 20-22, 2000. The PROFES conference has its roots in the PROFES Esprit project (http://www.ele.vtt.?/profes/), but by 1999… Meer
Die Kryptologie, eine jahrtausendealte "Geheimwissenschaft", gewinnt zusehends praktische Bedeutung für den Schutz von Kommunikationswegen, Datenbanken und Software. Neben ihre Nutzung in rechnergestützten öffentlichen Nachrichtensystemen ("public keys") treten mehr und mehr rechnerinterne… Meer
This volume is a post-event proceedings volume and contains selected papers based on presentations given, and vivid discussions held, during two workshops held in Taormina in 2003 and 2004. The 30 thoroughly revised papers presented are organized in the following topical sections: recognition of… Meer
This book constitutes the refereed proceedings of the 6th International Conference on Wired/Wireless Internet Communications, WWIC 2008, held in Tampere, Finland, in May 2008. The 18 revised full papers presented were carefully reviewed and selected from 67 submissions… 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