Volume 30; Issue 3

1

Consistency test for simple specifications of automaton systems

Year:
1994
Language:
english
File:
PDF, 469 KB
english, 1994
2

Finite transformers for construction of fractal curves

Year:
1994
Language:
english
File:
PDF, 598 KB
english, 1994
3

Computations in isometry groups of finite metric spaces

Year:
1994
Language:
english
File:
PDF, 1.17 MB
english, 1994
5

Generalized information-lossless automata. I

Year:
1994
Language:
english
File:
PDF, 398 KB
english, 1994
6

Sequential quadratic programming with step control using the lagrange function

Year:
1994
Language:
english
File:
PDF, 364 KB
english, 1994
7

Stability of discrete systems near a multivalued equilibrium

Year:
1994
Language:
english
File:
PDF, 451 KB
english, 1994
8

Dynamic diagnostic and decision procedures under uncertainty

Year:
1994
Language:
english
File:
PDF, 887 KB
english, 1994
10

Probability-theoretical analog of the vector lyapunov function method

Year:
1994
Language:
english
File:
PDF, 453 KB
english, 1994
12

Fault trees—Problems and the modern state of investigations

Year:
1994
Language:
english
File:
PDF, 1.42 MB
english, 1994
13

Economics of software utilization

Year:
1994
Language:
english
File:
PDF, 924 KB
english, 1994
14

Computing the isoperimetric number of a graph

Year:
1994
Language:
english
File:
PDF, 279 KB
english, 1994
15

Approximation of the optimal-time problem for controlled differential inclusions

Year:
1994
Language:
english
File:
PDF, 217 KB
english, 1994
16

Convergence of the solution method for variational inequalities

Year:
1994
Language:
english
File:
PDF, 211 KB
english, 1994
17

Best upper and lower bounds of the generalized binomial distribution

Year:
1994
Language:
english
File:
PDF, 303 KB
english, 1994