This volume contains the refereed proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, held in May 2011 in Vancouver, Canada. Meer
Mit dem Praxisbuch bereiten die Autoren Orientierungswissen für die Modernisierung der Informations- und Kommunikations-Infrastrukturen für die Unternehmens-IT der Zukunft auf. Meer
IDT (Intelligent Decision Technologies) seeks an interchange of research on intelligent systems and intelligent technologies which enhance or improve decision making in industry, government and academia. Meer
Webanwendungen bilden in Unternehmen zahlreiche sensible Geschäftsprozesse ab – ob mit Kunden, mit Mitarbeitern, Partnern und Zulieferern. Daher sind Webapplikationen ein Sicherheitsrisiko für Unternehmen und ihr Schutz von entscheidender Bedeutung. Meer
This volume constitutes the selected papers of the 5th International Conference on Metadata and Semantic Research, MTSR 2011, held in Izmir, Turkey, in October 2011. Meer
This book constitutes the proceedings of the 13th Pacific Rim Conference on Multimedia, held in Singapore during December 4-6, 2012.
The 59 revised full papers presented were carefully reviewed and selected from 106 submissions for the main conference and are accompanied by 23 presentations of 4 special sessions. Meer
Biological systems are a source of inspiration in the development of small autonomous sensor nodes. The two major types of optical vision systems found in nature are the single aperture human eye and the compound eye of insects. Meer
This book constitutes the refereed proceedings of the 12th International Conference on Cryptology in India, INDOCRYPT 2011, held in Chennai, India, in December 2011. Meer
This fascinating book examines some of the characteristics of technological/engineering models that are likely to be unfamiliar to those who are interested primarily in the history and philosophy of science and mathematics, and which differentiate technological models from scientific and mathematical ones. Meer
Dieses Buch bietet eine praktische Einführung in die Software ARIS
Der ARIS Architect 10 der Software AG ist eines der weltweit führenden Prozessmodellierungstools. Meer
This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. Meer
The two-volume set LNAI 7094 and LNAI 7095 constitutes the refereed proceedings of the 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, held in Puebla, Mexico, in November/December 2011. Meer
Dieses Buch führt Sie in die wichtigsten Entwurfsprinzipien und Konzepte der Softwaretechnik ein
Entwurfsprinzipien, auch Design Patterns, sind bewährte, einfache und klare Denkkonzepte des Software Engineering, welche Entwicklern helfen, hochwertige Softwaresysteme zu konstruieren. Meer
This book constitutes the proceedings of the 13th International Conference on Web Information Systems Engineering, WISE 2012, held in Paphos, Cyprus, in November 2012. Meer
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 13th International Middleware Conference, held in Montreal, Canada, in December 2012. Meer
The two-volume set LNCS 7649 + 7650 constitutes the refereed proceedings of the 11th International Semantic Web Conference, ISWC 2012, held in Boston, MA, USA, in November 2012. Meer
This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. Meer
The purpose of this book is to present a methodology for designing and tuning fuzzy expert systems in order to identify nonlinear objects; that is, to build input-output models using expert and experimental information. Meer
Dieses Buch ist der erste Band "in der Reihe "Beitrage zur Graphischen Datenverar beitung". Mit dieser Reihe will das Zentrum fUr Graphische Datenverarbeitung (ZGDV) an der TH Darmstadt die fachlichen Inhalte seiner Veranstaltungen einer breiten (jffentlichkeit zur VerfUgung stellen. Meer
Introduction to the temporal logic of - in particular paral-
lel - programs.Divided into three main parts: - Presenta-
tion of the pure temporal logic: language, semantics, and
proof theory; - Representation of programs and their proper-
ties within the language of temporal logic; - Application of
the logical apparatus to the verification of program proper-
ties including a new embedding of Hoare's logic into the
temporal framework. 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