Informatik (15.089 Artikel)

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z...

1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the onl...

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, , held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three ...

1 Was ist Information?.- 1.1 Der Informations-Begriff.- 1.2 Information in der betrieblichen Kommunikation.- 1.3 Zusammenhang zwischen Information und Daten.- 1.4 Schlußfolgerungen.- 2 Was ist Info...

Die Autorin stellt einen Gestaltungsrahmen für die wirtschaftswissenschaftliche EDV-Grundausbildung vor. Damit sollen einerseits breite Kenntnisse auf dem Gebiet der Informationsverarbeitung und de...

DE

1 Einleitung.- 1.1 Motivation.- 1.2 Ausdruckskraft kontra Verarbeitung.- 1.3 Aufbau der Arbeit.- 2 Logische Grundbegriffe.- 2.1 Prädikatenlogik.- 2.2 Herbrand-Interpretationen.- 2.3 Resolution.- 2....

1 Einleitung.- 1.1 Bedeutung der Zuverlässigkeit und ihrer Berechnung.- 1.2 Zuverlässigkeitsbewertung bei der Systementwicklung.- 1.3 Grundlegende Begriffe und Konzepte.- 2 Elementare Zuverlässigke...

"Dieses Buch kann Leben retten, und nicht nur das virtuelle im Internet!" Ellen Green, nzmedia "Liebe Eltern, tun Sie ihren Kindern den Gefallen, und kaufen Sie dieses Buch!" R. Allenberry, 2nd Lif...

Renommierte Gestalter verschiedenster Disziplinen stellen unterschiedlichste Positionen zur Gestaltung vor. Die sehr persönlichen Gespräche mit national und international bekannten Designern geben ...

Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited...

o++oPS (ottoProgrammingScript) is intended to simplify and generalize SQL; it uses repeating groups (hierarchies) and has several powerful but easy to use operations for selection, restructuring, c...

Sicherheit in der drahtlosen Kommunikation

Wie viele Präsentationen haben Sie in Ihrem Berufsleben bereits verfolgt? Und Hand aufs Herz: Wie viele davon haben einen bleibenden Eindruck bei Ihnen hinterlassen? Wirklich gute Präsentationen si...

This is an open access book.