Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. Meer
Aufbauend auf gymnasialen Kenntnissen werden die Zusammenhänge zwischen Glasfaser-Festnetz als Grundlage für schnelle Datenübertragung und mobilen Geräten wie Smartphones als Zugang zu Informationen immer und von überall geschildert. Meer
This book is dedicated to Aristid Lindenmayer on the occasion of his 60th birthday on November 17, 1985. Contributions range from mathematics and theoretical computer science to biology. Meer
Als erste Monographie im deutschsprachigen Raum vermittelt das vorliegende Buch eine Konstruktionslehre des Software Engineering über den gesamten Lebenszyklus eines Softwareproduktes. Meer
This book constitutes the refereed proceedings of the Third International Workshop on Systems and Frameworks for Computational Morphology, SFCM 2013, held in Berlin, in September 2013. Meer
Microtechnologies and their corresponding CAD tools have
meanwhile reached alevel of sophistication that requires
the application of theoretical means on all modelling levels
of design and analysis. Meer
Der Einsatz von Software-Entwicklungsumgebungen in
Unternehmen ist heute eine zentrale Aufgabe des
Informationsmanagements. Das vorliegende Buch bietet eine
umfassende Beschreibung der Vorgehensweise bei der Auswahl
und Einf}hrung integrierter CASE-Umgebungen; dar}ber hinaus
werden erste Erfahrungen mit einzelnen CASE-Werkzeugen
vorgestellt. Meer
This book constitutes the refereed proceedings of the 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, held in Angra do Heroísmo, Azores, Portugal, in September 2013. Meer
This book constitutes the refereed proceedings of the 4th International Conference of the CLEF Initiative, CLEF 2013, held in Valencia, Spain, in September 2013. Meer
This two volume set LNAI 8102 and LNAI 8103 constitutes the refereed proceedings of the 6th International Conference on Intelligent Robotics and Applications, ICIRA 2013, held in Busan, South Korea, in September 2013. Meer
Diese beispielorientierte Einführung in das Erstellen modularer Software basiert auf der Programmiersprache Pascal. Von einfachen Programmstrukturen und Unterprogrammtechniken wird über Datenstrukturen und abstrakte Datentypen konsequent zu den Objektklassen hingeführt. Meer
This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September 2013. Meer
This book provides readers with comprehensive details on how the WWW works, complete with definitions and standards. It discusses the latest versions of the transfer protocol (HTTP 1. Meer
At first glance the concepts of time and of Petri nets are quite contrary: while time determines the occurrences of events in a system, classic Petri nets consider their causal relationships and they represent events as concurrent systems. Meer
This book constitutes the thoroughly refereed, selected papers on Cyber Security and Privacy EU Forum 2013, held in Belgium, in April 2013. The 14 revised full papers presented were carefully reviewed and selected from various submissions. Meer
This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2013, held in Hefei, China, in October 2013. Meer
The two-volume set LNCS 8218 and 8219 constitutes the refereed proceedings of the 12th International Semantic Web Conference, ISWC 2013, held in Sydney, Australia, in October 2013. Meer
This book constitutes the proceedings of the 6th International Symposium on Algorithmic Game Theory, SAGT 2013, held in Aachen, Germany, in October 2013. Meer
In computing science design plays an eminently important role. By now, it is quite clear that the issue of proper design of programs within a formal calculus is one of the most interesting and most difficult parts of computing science. Meer
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. 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