Informatik (15 755 Artikel)

An Introduction

The aim of this monograph is to present some recent research work on the combinatorial aspects of the theory of semigroups which are of great inter est for both algebra and theoretical computer sci...

This book is devoted to the state-of-the-art in all aspects of fireworks algorithm (FWA), with particular emphasis on the efficient improved versions of FWA. It describes the most substantial theor...

Firmware -- Heute.- Firmware Engineering: An Extensive Update.- Software Engineering -- Firmware Engineering.- Spezifikation von Firmware.- Firmware Development Systems, a Survey.- Firmware-Entwurf...

The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a family of formal specification languages...

Maple is a computer algebraic system with a fast-growing number of users in schools, universities, and other institutions. Intended for anyone who is encountering Maple for the first time, provides...

Künstliche Intelligenz ist ein Treiber der digitalen Transformation von Unternehmen, welche die gesamte Organisation, einschließlich ihrer Strukturen, Prozesse und Mitarbeitender berührt.Die AI Tom...

This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory. This...

This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory. This...

So gelingt der Einstieg ins Informatikstudium! Schließen Sie Wissenslücken, die Ihnen im Studium das Leben schwer machen könnten. Dieser Vorkurs präsentiert Ihnen alles Wesentliche Schritt für Schr...

1 Einleitung.- 1.1 Assoziativprozessoren.- 1.2 Aufbau eines Assoziativspeichers.- 1.3 Assoziativspeicheroperationen.- 1.4 Strukturen wortorientierter Assoziativspeicher.- 1.5 Arbeitsweise und Eigen...

If numeric data from the Web are brought together, natural scientists can compare climate measurements with estimations, financial analysts can evaluate companies based on balance sheets and daily ...

ThisvolumeconstitutestheproceedingsoftheFifthInternationalConferenceon Flexible Query Answering Systems, FQAS 2002, held in Copenhagen, Denmark on October 27-29, 2002. FQAS is the premier conferenc...

The 27 full papers and 10 short papers presented were carefully reviewed and selected from 43 submissions. The papers present emerging research trends with a special focus on flexible querying and ...

ThisvolumeconstitutestheproceedingsoftheSixthInternationalConferenceon Flexible Query Answering Systems, FQAS 2004, held in Lyon, France, on June 24-26, 2004. FQAS is the premier conference for res...