This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. Meer
This book constitutes the refereed proceedings of the Second International Workshop on Post-Quantum Cryptography, PQCrypto 2008, held in Cincinnati, OH, USA, in October 2008. Meer
Thomas Pötsch investigates the channel properties of cellular networks and analyzes the effects that cause inefficient performance of legacy congestion control protocols, such as TCP and its variants, on cellular networks. Meer
Das Buch gewährt einen Einblick in die Architektur eingebetteter Systeme und den Entwicklungsprozess für die sie steuernde Firmware. Die Anforderungen an ein unbeaufsichtigt laufendes Embedded System sowie deren Umsetzung stehen dabei im Fokus. Meer
Andreas Bihlmaier describes a novel method to model dynamic spatial relations by machine learning techniques. The method is applied to the task of representing the tacit knowledge of a trained camera assistant in minimally-invasive surgery. Meer
Trends in Neural Computation includes twenty chapters contributed by leading experts or formed by extending well-selected papers presented in the 2005 International Conference on Natural Computation. Meer
This book shows in detail how to build enterprise-level secure, redundant, and highly scalable services from scratch on top of the open source Linux operating system, suitable for small companies as well as big universities. Meer
Diese Arbeit präsentiert AutoPar, ein neuartiges Verfahren zur Transformation bestehender Software, welches sequenzielle Ausgangsmuster bestimmt und in parallele Softwarearchitekturen umwandelt. Meer
Robotics is still a young science, but we can already identify the people who de?ned its primary course of development. Suguru Arimoto is one of them. Meer
Based on the ontology and semantics of algebra, the computer algebra system Magma enables users to rapidly formulate and perform calculations in abstract parts of mathematics. Meer
Cultural history enthusiasts have asserted the urgent need to protect digital information from imminent loss. Without action, much of what has been created in digital form is likely to become unusable. Meer
Lattice-valued Logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. Meer
Over the last few decades, research on handwriting recognition has made impressive progress. The research and development on handwritten word recognition are to a large degree motivated by many application areas, such as automated postal address and code reading, data acquisition in banks, text-voice conversion, security, etc. Meer
The first complete overview of evolutionary computing, the collective name for a range of problem-solving techniques based on principles of biological evolution, such as natural selection and genetic inheritance. Meer
Attila Jaeger develops an application which notifies a vehicle’s driver of upcoming road weather dangers. This application maps the information evaluated by in-vehicle sensors in order to draw conclusions on the current weather condition. Meer
The author’s main concern is to promote understanding of the basic ideas underlying switching theory. Nothing is taken for granted, whether it is the concept of a logic variable, that of feedback in a latch or sequential circuit, or the necessity to encode internal states. Meer
Since the first edition was published two years ago, much has been done on extend ing the work done on SMART to address new and important areas [3-5,54,79,80, 108-110,116,118-120,122]. Meer
Mika Hirvensalo maps out the new multidisciplinary research area of quantum computing. The text contains an introduction to quantum computing as well as the most important recent results on the topic. Meer
Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction. Meer
This book is a reprint edition that comprises two titles, namely "Synergetics. An Introduction. Nonequilibrium Phase Transitions and Self-Organization in Physics, Chemistry and Biology" and ''Advanced Synergetics. 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