These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23–25 January 2002 in the city of Grenoble in the heart of the French Alps. Meer
TheInternationalWorkshoponPracticeandTheoryinPublicKeyCryptog- phyPKC2002washeldattheMaisondelaChimie,situatedintheverycenter ofParis,FrancefromFebruary12to14,2002. Meer
In today's world, smart cards play an increasingly important role in everyday life. We encounter them as credit cards, loyalty cards, electronic purses, health cards, and as secure tokens for authentication or digital signature. Meer
This volume continues the tradition established in 2001 of publishing the c- tributions presented at the Cryptographers’ Track (CT-RSA) of the yearly RSA Security Conference in Springer-Verlag’s Lecture Notes in Computer Science series. Meer
In den letzten Jahren hat sich der Workshop "Bildverarbeitung für die Medizin" durch erfolgreiche Veranstaltungen etabliert. In übersichtlicher Form das breite Spektrum universitärer und industrieller Anwendung und Forschung dargestellt. Meer
Given the huge amount of information in the internet and in practically every domain of knowledge that we are facing today, knowledge discovery calls for automation. Meer
The ideas of uncertain variables based on uncertain logics have been introduced and developed for a wide class of uncertain systems. The purpose of this mo- graph is to present basic concepts, definitions and results concerning the uncertain variables and their applications to analysis and decision problems in uncertain systems described by traditional mathematical models and by knowledge rep- sentations. Meer
BUcher Uber Digitalrechner behandeln meistens ausfUhrlich die Grundlagen des Entwurfs von Schaltnetzen und Schaltwer ken, Fragen der Codierung, der arithmetischen Algorithmen und die Wirkung der Maschinenbefehle. Meer
Neuentwickelte Software ist heute oft schon zum Zeitpunkt Ihrer Einführung veraltet. Einen Ausweg aus dieser Krise bietet der objektorientierte Ansatz: Anwendungen werden als Software-Objekte modelliert, die sowohl die Eigenschaften als auch das Verhalten von Objekten aus der realen Welt beschreiben. Meer
Thisvolumecontainsthe?nalproceedingsoftheSeventhWorkshoponOpen Hypermedia Systems (OHS7), the Third Workshop on Structural Computing (SC3),andtheThirdWorkshoponAdaptiveHypermedia(AH3). Meer
With 133 registered participants from 27 countries, including 19 participants fromindustry,theInternationalSymposiumonGraphDrawing2001(GD2001) that took place in Vienna, September 23–26, 2001, clearly demonstrated that the graph drawing community is still growing. Meer
This book constitutes the thoroughly refereed post-proceedings of the 8th Panhellenic Conference on Informatics, PCI 2001, held in Nicosia, Cyprus in November 2001. Meer
This thesis is a summary of my work as a research assistant in the Computer Engineering Research Group of the Computer Science Department at Brandenburg Technical University, Cottbus, Germany. Meer
Annually sponsored by the Korea Institute of Information Security and Crypt- ogy (KIISC), the fourth International Conference on Information Security and Cryptology (ICISC2001) was held at the 63 Building in Seoul, Korea, Dec- ber 6–7, 2001. Meer
This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002. Meer
This textbook is intended to give an introduction to and an overview of sta- of-the-art techniques in the design of complex embedded systems. The book title is SAMOS for two major reasons. Meer
This book presents the state of the art in software visualization and thus attempts to establish it as a field on its own. Based on a seminar held at Dagstuhl Castle in May 2001, the book offers topical sections on:
- algorithm animation
- software visualization and software engineering
- software visualization and education
- graphs in software visualization
- and perspectives of software visualization. Meer
The annual colloquium on information retrieval research provides an opportunity for both new and established researchers to present papers describing work in progress or ? Meer
Bucher uber Rechnerorganisation, Rechnerstrukturen oder Rechnerarchitektur be handeln ublicherweise die Hardware und die Software digitaler Rechner als getrenn te Gebiete. 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