Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. Meer
Da Sie dieses Buch in der Hand halten, wissen Sie bereits, wie wichtig gute Benutzungsoberflächen für den Erfolg einer Software sind – sei es für eine Webseite, eine App oder jedes andere Programm. Meer
In diesem Buch lernen Sie anschaulich und praxisnah, wie Sie ein gutes Webinar organisieren, produzieren und live durchführen.
Sie erhalten Antworten auf die Fragen: Was sind Webinare überhaupt? Meer
Künstliche Intelligenz ist zum vielschichtigen Gegenstand ethischer Debatten geworden. Ob Richtlinien fairer Digitalisierung und vertrauenswürdiger Algorithmen, Gestaltung nachhaltiger Geschäftsmodelle, informatische Grundbildung in Schulen oder Existenzfragen freiheitlich-demokratischer Gesellschaften – KI-Ethik steht vor komplexen Herausforderungen. Meer
This book constitutes the proceedings of the 6th International Conference on Software and Data Technologies, ICSOFT 2011, held in Seville, Spain, in July 12011. Meer
Schummeln ist neben Schwindeln mit Sicherheit Teil menschlichen Lebens. Es fängt schon im Kindergarten an mit Klauen von Spielsachen oder von Süßigkeiten. Meer
This book constitutes the proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2013, held in Valparaíso, Chile, in March 2013. Meer
This book was prepared as the Final Publication of COST Action IC0703 "Data Traffic Monitoring and Analysis: theory, techniques, tools and applications for the future networks". Meer
Part of any software development is to regularly inform management about the progress and any problems of the project. This book presents various test parameters and metrics that can be used to vividly illustrate the progress of a software test and easily identify any need for action. Meer
This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 18th International Conference on Parallel Computing, Euro-Par 2012, held in Rhodes Islands, Greece, in August 2012. Meer
This book constitutes the refereed conference proceedings of the 12th International Symposium, W2GIS 2013, held in Banff, Canada, in April 2013. The 11 revised full papers and 5 short papers presented were carefully selected from 28 submissions. Meer
Dieses Buch entwickelt die relevanten Facetten von Wertschätzung und zeigt die Verbindung zu Wertschöpfung in Zeiten von Industrie 4.0, der Digitalisierung und des Klimawandels auf. Meer
This volume contains the papers of the 9th International Conference on Computing and Information Technology (IC2IT 2013) held at King Mongkut's University of Technology North Bangkok (KMUTNB), Bangkok, Thailand, on May 9th-10th, 2013. Meer
This book constitutes the thoroughly refereed conference proceedings of the First International Workshop on New Frontiers in Mining Complex Patterns, NFMCP 2012, held in conjunction with ECML/PKDD 2012, in Bristol, UK, in September 2012. Meer
This book constitutes the refereed post-proceedings of the 9th International Conference on Adaptive Multimedia Retrieval, AMR 2011, held in Barcelona, Spain, in July 2011. Meer
This book constitutes the refereed conference proceedings of the 12th IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2013, held in Athens, Greece, in April 2013. Meer
After a long period of research, development, test and trial, relational database management systems are at last being marketed in force. The feedback from early installations of these systems is overwhelmingly positive. Meer
The development of the internet, particularly the World Wide Web, is currently hitting its limits—both technically and socio-culturally, as well as economically. Meer
Dieses Buch ist für angehende Fachinformatiker, IT-System-Elektroniker, IT-Systemkaufleute und Informatikkaufleute geschrieben, die kurz vor der Prüfung stehen. Meer
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Information Security and Cryptology, ICISC 2012, held in Seoul, Korea, in November 2012. 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