io-port.net

first | previous | 1 | next | last

Result 1 to 6 of 6 total

io-port 02224339 Wedekind, H.; Inhetveen, R.; Ortner, E.

Informatik als grundbildung. (English)

Inform. Spektrum 28, No. 1, 48-52 (2005).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02224325 Wedekind, H.; Inhetveen, R.; Ortner, E.

Informatik als Grundbildung. (English)

Inform. Spektrum 27, No. 6, 551-556 (2004).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02224320 Wedekind, H.; Ortner, E.; Inhetveen, R.

Riskmanagement und IT-Sicherheit Informatik als Grundbildung. (English)

Inform. Spektrum 27, No. 5, 476-480 459-466 (2004).

PDF XML AMS-TeX TEXT BIBTeX DOI DOI

io-port 05470331 Wedekind, Hartmut; Goerz, Guenter; Koetter, Rudolf; Inhetveen, Ruediger

Modeling, simualtion, visualization: Current tasks of computer science. (Modellierung, Simulation, Visualisierung: Zu aktuellen Aufgaben der Informatik.) (English)

Inform. Spektrum 21, No. 5, 265-272 (1998).

Classification: H.1.1 I.6.0 I.6.1 I.6.5 J.6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50326867 Inhetveen, Rüdiger; Luft, Alfred L.

Abstraktion, idealisierung und modellierung bei der spezifikation, konstruktion und verifikation von software-systemen (English)

Angewandte Informatik 25, No. 12, 541-548 (1983).

PDF XML AMS-TeX TEXT BIBTeX

io-port 03882405 Inhetveen, Rüdiger

Ein konstruktiver Weg zur Semantik der "möglichen Welten". (German)

Argumentation, approaches to theory formation, Conf. Groningen 1978, Stud. Lang. Companion Ser. 8, 133-141 (1982).

PDF XML AMS-TeX TEXT BIBTeX

first | previous | 1 | next | last

Result 1 to 6 of 6 total