This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS’99) held in Tsukuba, Japan, November 11–13, 1999, and hosted by the Electrotechnical Laboratory (ETL). Meer
ICICS’99, the Second International Conference on Information and C- munication Security, was held in Sydney, Australia, 9-11 November 1999. The conference was sponsored by the Distributed System and Network Security - search Unit, University of Western Sydney, Nepean, the Australian Computer Society, IEEE Computer Chapter (NSW), and Harvey World Travel. Meer
This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001. Meer
Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness. Meer
Der Band enth{lt die Tagungsbeitr{ge der 4. Fachtagung
"Informatik und Schule" unter dem Thema "Informatik: Wege
zur Vielfalt beim Lehren und Lernen. Meer
A variety of formalisms have been developed to address such
aspects of handling imperfect knowledge as uncertainty,
vagueness, imprecision, incompleteness, and partial
inconsistency. Meer
This book collects the scientific papers presented at the
2nd Congress of the Italian Association for Artificial
Intelligence, held in Palermo in October 1991. Meer
This book constitutes the thoroughly refereed post-proceedings of the Web- and Database-Related Workshops held during the NetObjectDays international conference NODe 2002, in Erfurt, Germany, in October 2002. Meer
This book presents 10 chapters on various aspects of intelligent information agents contributed by members of the respective AgentLink special interest group. Meer
This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is about scenarios. Scenarios of system behavior. It con centrates on reactive systems, be they software or hardware, or combined computer-embedded systems, including distributed and real-time systems. Meer
Dieses Hand- und Arbeitsbuch stellt die Konzepte und Anwendungstechniken von Linux vor. Viele Einzelheiten werden zusammenhängend und verständlich dargestellt. Meer
The role of singular trajectories in control theory is analysed in this volume that contains about 60 exercieses and problems. A section is devoted to the applications of singular trajectories to the optimisation of batch reactors. Meer
These are the proceedings of CT-RSA 2003, the Cryptographers’ Track at RSA Conference 2003. The proceedings of CT-RSA 2001 and CT-RSA 2002 were published in Springer-Verlag’s Lecture Notes in Computer Science series as LNCS 2020 and LNCS 2271, respectively. Meer
The proceedings of the fourth Vienna Development Method
Symposium, VDM'91, are published here in two volumes.
Previous VDM symposia were held in 1987 (LNCS 252), 1988
(LNCS 328), and 1990 (LNCS 428). Meer
The proceedings of the fourth Vienna Development Method
Symposium, VDM '91, are published here in two volumes.
Previous VDM symposia were held in 1987 (LNCS 252), 1988
(LNCS 328), and 1990 (LNCS 428). Meer
This volume contains selected papers from the symposium "New
Results and NewTrends in Computer Science" held in Graz,
Austria, June 20-21, 1991. The symposium was organized to
give a wide-ranging overview of new work in the field on the
occasion of the fiftieth birthday of the editor of the
volume. Meer
This volume presents the proceedings of the Seventh
International Workshop on Computational Geometry, CG'91,
held at the University of Berne, Switzerland, March 21/22,
1991. Meer
Every year we witness acceleration in the availability, deployment, and use of distributed applications. However building increasingly sophisticated applications for extant and emerging networked systems continues to be challenging for several reasons: – Abstract models of computation used in distributed systems research often do not fully capture the limitations and the unpredictable nature of realistic distributed computing platforms; – Fault-tolerance and ef? Meer
Seit vielen Jahren sind Rechner bei der Automatisierung
technischer Prozesseunverzichtbar. Dabei reicht die Palette
der eingesetzten Systeme von Kleinstsystemen auf einer
einfachen Europakarte bis zu sehr teuren
Multiprozessorarchitekturen. Meer
Seit der Erfindung des Buchdruckes wurden Schriften und die
Entwicklung der Schriftformen wesentlich von der Technologie
gepr{gt. Durch die Einbeziehungvon Computern bei der
Herstellung von Gedrucktem wurde es erforderlich, Buchstaben
in digitaler Form verf}gbar zu machen. 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