Dieses Kompendium bietet die umfassende Einführung in Theorie, Geschichte und Praxis des Informationsdesigns. Verständlich und anschaulich beschreiben die Autoren dessen Grundpfeiler - von Textdesign und Signaletik bis hin zu Informationsvisualisierung und -didaktik. Meer
This two-volume set is assembled following the 2008 International Conference on Computational Science and Its Applications, ICCSA 2008, a premium int- national event held in Perugia, Italy, from June 30 to July 3, 2008. Meer
This two-volume set is assembled following the 2008 International Conference on Computational Science and Its Applications, ICCSA 2008, a premium int- national event held in Perugia, Italy, from June 30 to July 3, 2008. Meer
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Meer
This volume contains most of the papers presented at the
workshop on research directions in high-level parallel
programming languages, held at Mont Saint-Michel, France, in
June 1991. Meer
The vision of ubiquitous computing and ambient intelligence describes a world of technology which is present anywhere, anytime in the form of smart, sensible devices that communicate with each other and provide personalized services. Meer
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Complex Motion, IWCM 2004, held in Schloss Reisensburg, Günzburg, Germany, in October 2004. Meer
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Engineering Self-Organising Applications, ESOA 2006, held in Hakodate, Japan in May 2006. Meer
This volume contains the proceedings of the third
International Workshop on Computer Aided Verification, CAV
'91, held in Aalborg, Denmark, July 1-4, 1991. Meer
The Scandinavian Workshop on Algorithm Theory (SWAT) is a biennial int- national conferenceintended as a forum for researchersin the area of design and analysisofalgorithmsanddatastructures. Meer
This book constitutes the thoroughly refereed joint post-proceedings of three international workshops organized by the Japanese Society for Artificial Intelligence, held in Tokyo, Japan in June 2006 during the 20th Annual Conference JSAI 2006. Meer
This book constitutes the refereed proceedings of the Third International Conference on Image and Signal Processing, ICISP 2008, held in Cherbourg-Octeville, France, in July 2008. Meer
This volume contains selected papers presented at the
seventeenth Colloquiumon Trees in Algebra and Programming
(CAAP) held jointly with the European Symposium on
Programming (ESOP) in Rennes, France, February 26-28, 1992
(the proceedings of ESOP appear in LNCS 582). Meer
TheThirdIAPRTC3WorkshoponArti?cialNeuralNetworksinPatternRec- nition, ANNPR 2008, was held at Pierre and Marie Curie University in Paris (France), July 2–4, 2008. Meer
This volume contains the proceedings of LATIN '92, a
theoretical computer science symposium (Latin American
Theoretical Informatics) held in S o Paulo, Brazil in April
1992. Meer
Die Forschungs- und Entwicklungsaufgaben der Informations-
und Kommunikationstechnik werden immer vielschichtiger und
komplexer. Vor diesemHintergrund veranstaltete die Deutsche
Physikalische Gesellschaft, die Gesellschaft f}r Informatik
und die Informationstechnische Gesellschaft im VDE eine
Fachtagung, auf der grundlagenorientierte und
anwendungsbezogene Schwerpunkte er|rtert wurden. Meer
In diesem Buch wird ein Verfahren vorgestellt, mit dem
Induktionsbeweise vonExistenzaussagen automatisch gef}hrt
werden k|nnen. Es ist ein deduktives
Programmsyntheseverfahren, das ausgehend von
Existenzaussagen, die als formale Programmspezifikationen
aufgefa~t werden, rekursive Programme erzeugt. Meer
Grundlage dieses Buches bildet die Wissensbasis des
LILOG-Systems als integraler Bestandteil der zweiten
prototypischen Implementierung eines textverstehenden
Systems, die im Wissenschaftlichen Zentrum der IBM
Deutschland GmbH in Kooperation mit mehreren Universit{ten
realisiert wurde. Meer
This book presents a unique examination of mobile robots and embedded systems, from introductory to intermediate level. It is structured in three parts, dealing with Embedded Systems (hardware and software design, actuators, sensors, PID control, multitasking), Mobile Robot Design (driving, balancing, walking, and flying robots), and Mobile Robot Applications (mapping, robot soccer, genetic algorithms, neural networks, behavior-based systems, and simulation). Meer
L systems are language-theoretic models for developmental
biology. They wereintroduced in 1968 by Aristid Lindenmayer
(1925-1989) and have proved to be among the most beautiful
examples of interdisciplinary science, where work in one
area induces fruitful ideas and results in other areas. 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