Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Volume 53; Issue 1

Theoretical Computer Science

Volume 53; Issue 1
1

Editorial Board

Журнал:
Theoretical Computer Science
Рік:
1987
Мова:
english
Файл:
PDF, 110 KB
english, 1987
2

A categorical treatment of pre- and post-conditions

Eric G. Wagner
Журнал:
Theoretical Computer Science
Рік:
1987
Мова:
english
Файл:
PDF, 1.32 MB
english, 1987
3

Classical and incremental attribute evaluation by means of recursive procedures

G. Filé
Журнал:
Theoretical Computer Science
Рік:
1987
Мова:
english
Файл:
PDF, 2.37 MB
english, 1987
4

Random walks, Gaussian processes and list structures

G. Louchard
Журнал:
Theoretical Computer Science
Рік:
1987
Мова:
english
Файл:
PDF, 1.21 MB
english, 1987
5

Eleventh colloquium on trees in algebra and programming

P. Franchi-Zannettacci
Журнал:
Theoretical Computer Science
Рік:
1987
Файл:
PDF, 35 KB
1987
6

Probabilistic Ianov's schemes

D. Frutos Escrig
Журнал:
Theoretical Computer Science
Рік:
1987
Мова:
english
Файл:
PDF, 1.77 MB
english, 1987
7

Building exact computation sequences

Alex Pelin, Jean H. Gallier
Журнал:
Theoretical Computer Science
Рік:
1987
Мова:
english
Файл:
PDF, 1.73 MB
english, 1987
8

Derivation of efficient programs for computing sequences of actions

Alberto Pettorossi
Журнал:
Theoretical Computer Science
Рік:
1987
Мова:
english
Файл:
PDF, 960 KB
english, 1987