Dieser Band dokumentiert ein Kolloquium mit dem Titel 'Informatik im Kreuzungspunkt von Numerisch...

Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Co...

Modern information processing systems show such complex properties as distribution, parallelism, ...

In a time of multiprocessor machines, message switching networks and process control programming ...

In computing science design plays an eminently important role. By now, it is quite clear that the...

Embedded systems have long become essential in application areas in which human control is imposs...

The systematic development of software systems is a centraltask of computing science. A s...

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the form...

Das Buch führt in die Grundlagen der Softwaretechnik ein. Dabei liegt sein Fokus auf der systemat...

InhaltsangabeInformation und ihre Repräsentation.- Rechenstrukturen und Algorithmen.- Programmier...

Dieses Lexikon bietet anschauliche und verständliche Informationen betreffend der theoretischen I...