Im Zentrum der Praktischen Informatik steht die Programmierung eines Rechners. Programmierung bedeutet im Wesentlichen die Übertragung von Funktionen des menschlichen Denkens auf einen Digitalrechner. Meer
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Meer
Kompakt und leicht verständlich führt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von der Syntax über Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt. Meer
This book presents the most interesting talks given at ISSE 2011 – the forum for the inter-disciplinary discussion of how to adequately secure electronic business processes. Meer
The maintenance of long-living software systems is an essential topic in today’s software engineering practice and research. Software Architecture Restructuring is an important task to adjust these systems to current requirements and to keep them maintainable. Meer
Data replication by employing quorum systems is an important concept to improve operation availability on data objects in distributed systems that have strong data consistency demands. Meer
Die professionellen Anwendungen für die wichtigsten betriebswirtschaftlichen Aufgaben unterliegen während der Entwicklung und im Verlauf der Nutzung vielfältigen Kontrollen. Meer
Eine große Wissensbasis ist eine Voraussetzung für eine Vielzahl von Anwendungen im Bereich der automatischen Sprachverarbeitung, wie Frage-Antwort- oder Information-Retrieval-Systeme. Meer
Autoren, Illustratoren und Verlage stehen vor einer neuen und in ihren Auswirkungen noch nicht vollständig greifbaren Evolutionsstufe des digitalen Contents. Meer
Role-based access control (RBAC) is a widely used technology to control information flows as well as control flows within and between applications in compliance with restrictions implied by security policies, in particular, to prevent disclosure of information or access to resources beyond restrictions defined by those security policies. Meer
Le tecnologie informatiche, grazie all’utilizzo di Internet, soprattutto negli ultimi anni, hanno assunto il ruolo del “dispositivo integrato di comunicazione sociale” potenzialmente in grado di esercitare azioni di condizionamento sull’uomo. Meer
Dalle origini a oggi, i videogiochi hanno dimostrato di aver acquisito una forte identità espressiva, delineando nuove forme di comunicazione e proponendo l’accesso a nuovi tipi di competenze legate alla sfera digitale dei New Media. Meer
In passato, l’arte della “scrittura nascosta” (meglio nota come crittografia) era per lo più riferita ad un insieme di metodi per nascondere il contenuto di un dato messaggio agli occhi di lettori non autorizzati. Meer
This textbook contains the essential knowledge in modeling, simulation, analysis, and applications in dealing with biological cellular control systems. Meer
The demand for large-scale dependable, systems, such as Air Traffic Management, industrial plants and space systems, is attracting efforts of many word-leading European companies and SMEs in the area, and is expected to increase in the near future. Meer
Il testo, giunto alla sua seconda edizione, è concepito per studenti di un primo corso di reti logiche nelle Facoltà di Ingegneria e di Scienze. Il testo fornisce una solida conoscenza delle basi teoriche delle reti logiche. Meer
Today, people are in an era of digitally mediated Human-to-Human Interaction, which cannot provide full sensorial contact and therefore, emotions cannot be communicated completely. Meer
Gli Automi sono modelli matematici di macchine digitali di grande interesse sia dal punto di vista teorico che applicativo. La teoria degli Automi Finiti costituisce una delle parti fondamentali dell’Informatica Teorica. 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