This book constitutes the refereed proceedings of the second International Conference on Biomimetic and Biohybrid Systems, Living Machines 2013, held in London, UK, in July/August 2013. Meer
This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into the marketplace. Meer
This book constitutes the refereed proceedings of the 13th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2014, held in Dublin, Ireland, in September 2014. Meer
Dieses essential gibt eine kompakte Einführung in die Ergodentheorie, die Dynamische Systeme mit Methoden der Maßtheorie untersucht. Lesende lernen wundervolle Resultate von herausragenden Mathematikern des 20. Meer
Motivation for This Book The OPC Foundation provides specifications for data exchange in industrial au- mation. There is a long history of COM/DCOM-based specifications, most pro- nent OPC Data Access (DA), OPC Alarms and Events (A&E), and OPC Historical Data Access (HDA), which are widely accepted in the industry and implemented by almost every system targeting industrial automation. Meer
In diesem Buch erfahren Wirtschaftswissenschaftler, wie Firmen nach Hackerangriffen vom Markt verschwinden und wie Hacker Aktienkurse beeinflussen können. Meer
Nowadays, newly developed software is often already obsolete by the time it is introduced. The object-oriented concept provides a solution to this "crisis," by allowing objects to be used in a wide range of programs. Meer
This book constitutes the proceedings of the 14th International Conference on Transport Systems Telematics, TST 2014, held in Katowice/Kraków and Ustroń, Poland, in October 2014. Meer
Dieses anschauliche Lehrbuch vermittelt Methoden zur Beurteilung und Förderung der eigenen Kreativität und verknüpft diese mit der Nutzung aller Office-Anwendungen. Meer
Der Zufall ist uns unheimlich. Wir dachten, es gäbe ihn nicht, hinter allem stehe Gott oder eine vernünftige Erklärung. Aber wir wissen heute: Es gibt ihn. Meer
Reinforcement learning has developed as a successful learning approach for domains that are not fully understood and that are too complex to be described in closed form. Meer
Sie sind ein erfolgreicher Hacker, finden jede Sicherheitslücke, überwinden jede Firewall und sind es gewohnt, immer an Ihr Ziel zu kommen? Dann haben wir jetzt schlechte Nachrichten für Sie: Dieses Buch wird Ihnen das Leben schwer machen! Meer
Ziel des Buches ist es, dem Leser fundierte Grundkenntnisse in Datenbanken und SQL zu vermitteln. Das Buch richtet sich an Anwendungsprogrammierer, die mit Hilfe von SQL auf Datenbanken zugreifen und an alle, die Datenbanken entwerfen oder erweitern wollen. Meer
Die Arbeit mit digitalen Bilddaten, allen voran fotorealistische Darstellungen, erfordert Überlegungen zu Qualität und Größe. Wer grafische Informationen dieser Art vervielfältigen möchte, hat daher immer eine Entscheidung über die Auflösung zu treffen. Meer
With the ever-growing power of generating, transmitting, and collecting huge amounts of data, information overloadis nowan imminent problemto mankind. Meer
Programming languages are often classified according to their paradigms, e.g. imperative, functional, logic, constraint-based, object-oriented, or aspect-oriented. Meer
Welcome to the 8th International Conference on Service Oriented Computing (ICSOC 2010), held in San Francisco, December 2010. These proceedings rep- sent high-quality research and industry papers, tutorials, demos, and posters that showcase new developments in service oriented computing and related ? Meer
Locally computable (NC0) functions are "simple" functions for which every bit of the output can be computed by reading a small number of bits of their input. Meer
While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. 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