Program Construction
International Summer School »

Kurze Geschichte der Informatik
Kurze Geschichte der Informatik »

Elementare Aussagenlogik
 »

Historische Notizen zur Informatik
Historische Notizen zur Informatik »

Origins and Foundations of Computing
The book examines how intellectual developments in logic and mathematics were gradually matched by technical solutions in first mechanics and then electronic... »

Algorithmic Language and Program Development
 »

Informatik 1
Eine einführende Übersicht »

Informatik 2
Eine einführende Übersicht »

Informatik
Information, Assoziatives Datenfeld, Soziales Netzwerk, Liste der standardisierten Ports, Informatikstudium, Organic Computing, Turingmaschine mit Zusatzeing... »

Decrypted Secrets
In today's unsafe and increasingly wired world cryptology plays a vital role in protecting communication channels, databases, and software from unwanted intr... »