Eingebettete Systeme werden aufgrund ihrer Spezialisiertheit zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches Verständnis der Verifikationsproblematik erforderlich. Meer
Requirements-Engineering befasst sich mit Vorgehensweisen zur Präzisierung der Problemstellung zu Beginn einer Systementwicklung. Ziel ist es, die Qualität zu verbessern und Fehlverhalten zu vermeiden, um Entwicklungskosten zu senken. Meer
Die grundlegenden Prinzipien von Mikrocontrollern und Mikroprozessoren: Detailliert erläutern die Autoren den neuesten Stand der Technik, alle wichtigen Entwicklungstendenzen und den aktuellen Forschungsstand. Meer
Aufbauend auf den Grundlagen der Kognition bietet Band 1 eine umfassende Einführung in den Entwurf interaktiver Systeme. Von den Eingabegeräten bis zum Dialogdesign werden alle wichtigen Aspekte der Gestaltung fensterbasierter Systeme anhand von Fallbeispielen aus der industriellen Praxis ausführlich diskutiert. Meer
Ontologien haben durch die aktuellen Entwicklungen des Semantic Web große Beachtung erfahren, da jetzt Technologien bereitgestellt werden, die eine Verwendung von Ontologien in Informationssystemen ermöglichen. Meer
This book constitutes the refereed proceedings of the Third European Conference on Ambient Intelligence, AmI 2009, held in Salzburg, Austria, in November 2009. Meer
This book constitutes the refereed proceedings of two joint events - the International Workshop on Software Measurement, IWSM 2009 and the International Conference on Software Process and Product Measurement, Mensura 2009, held in Amsterdam, The Netherlands, in November 2009. Meer
This book constitutes the reviewed proceedings of the 5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks, ALGOSENSORS 2009, held in Rhodes, Greece, July 10-11, 2009. Meer
The working group WG 11.4 of IFIP ran an iNetSec conference a few times in the past, sometimes together with IFIP security conference, sometimes as a stand-alone workshop with a program selected from peer-reviewed submissions. Meer
The 16th Workshop on Selected Areas in Cryptography (SAC 2009) was held at the University of Calgary,in Calgary, Alberta, Canada, during August 13-14, 2009. Meer
Scheduled transportation networks give rise to very complex and large-scale networkoptimization problems requiring innovative solution techniques and ideas from mathematical optimization and theoretical computer science. Meer
Das Buch bietet anhand von LEGO Mindstorms NXT-Robotern einen anschaulichen Einstieg in die Informatik. Nach einer allgemeinen Einführung in informationstechnische Prinzipien und Komponenten werden in Teil 2 die NXT-Elemente behandelt. Meer
Algorithmen bilden das Herzstück jeder nichttrivialen Anwendung von Computern, und die Algorithmik ist ein modernes und aktives Gebiet der Informatik. Meer
NFC ist eine systematische Weiterentwicklung von kontaktloser Smartcard- und Reader-Technologie. Das Buch „Anwendungen und Technik von NFC“ ist das Standardwerk zur NFC-Technologie. Meer
The Japanese original edition of "FEM for Springs" was published in 1997, to com memorate the 50th anniversary of Japan Society for Spring Research (JSSR). Meer
This book describes a new class of computing devices which are becoming omnipresent in everyday life. They make information access and processing easily available for everyone from anywhere at any time. Meer
The last two decades have witnessed an enormous growth with regard to ap plications of information theoretic framework in areas of physical, biological, engineering and even social sciences. Meer
This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes state-of-the-art verification procedures for them. Meer
The field of biologically inspired computation has coexisted with mainstream computing since the 1930s, and the pioneers in this area include Warren McCulloch, Walter Pitts, Robert Rosen, Otto Schmitt, Alan Turing, John von Neumann and Norbert Wiener. Meer
It is over 20 years since the functional data model and functional programming languages were first introduced to the computing community. Although developed by separate research communities, recent work, presented in this book, suggests there is powerful synergy in their integration. 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