| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstracts to forthcoming papers
|
|
|
1975
|
|
1-4 |
p. 305-306
|
artikel
|
| 2 |
Accelerating convergence of one-step methods for the numerical solution of ordinary differential equations
|
Waltson, D. E.
|
|
1968
|
|
1-4 |
p. 23-33
|
artikel
|
| 3 |
A class of explicit preconditioned conjugate gradient methods for solving large finite element systems
|
Lipitakis, Elias A.
|
|
1992
|
|
1-4 |
p. 189-206
|
artikel
|
| 4 |
A comparative study of invariant imbedding and superposition
|
Nelson, Paul
|
|
1972
|
|
1-4 |
p. 195-207
|
artikel
|
| 5 |
A comparison of two parallel algorithms for the symmetric eigenproblem
|
Clint, M.
|
|
1984
|
|
1-4 |
p. 291-302
|
artikel
|
| 6 |
A cooley-tukey algorithm for the slant transform
|
Ahmed, N.
|
|
1976
|
|
1-4 |
p. 331-338
|
artikel
|
| 7 |
A decidable word problem without equivalent canonical term rewriting system
|
Deleage, J. L.
|
|
1989
|
|
1-4 |
p. 67-74
|
artikel
|
| 8 |
AEPL: An extensible programming language
|
Katzenelson, Jacob
|
|
1975
|
|
1-4 |
p. 3-35
|
artikel
|
| 9 |
A generalization of the cyclic towers of hanoi: an iterative solution
|
Er, M. C.
|
|
1984
|
|
1-4 |
p. 129-140
|
artikel
|
| 10 |
A general purpose message traffic simulation system
|
Kaplan, David
|
|
1975
|
|
1-4 |
p. 273-287
|
artikel
|
| 11 |
A general strategy on the bandwidth minimization (BM) problem
|
Mai, Shao-Wen
|
|
1984
|
|
1-4 |
p. 319-337
|
artikel
|
| 12 |
A global flow analysis algorithm
|
Kennedy, Ken
|
|
1971
|
|
1-4 |
p. 5-15
|
artikel
|
| 13 |
A linear model for gauss elimination
|
Kayel, Robert G.
|
|
1972
|
|
1-4 |
p. 279-298
|
artikel
|
| 14 |
A mathematical theory of the value of information
|
Hurley, Wesley V.
|
|
1975
|
|
1-4 |
p. 97-146
|
artikel
|
| 15 |
A method for pogram analysis and Its applications to program-correctness problems
|
Huang, J. C.
|
|
1976
|
|
1-4 |
p. 203-227
|
artikel
|
| 16 |
A method for the approximation of distributions
|
Dupuy, Maryvonne
|
|
1974
|
|
1-4 |
p. 121-142
|
artikel
|
| 17 |
A model for discrete-variable linear programming
|
Moroz, A.I.
|
|
1975
|
|
1-4 |
p. 1-19
|
artikel
|
| 18 |
A model for the formal definition of programming languages
|
Culik, Karel
|
|
1973
|
|
1-4 |
p. 315-345
|
artikel
|
| 19 |
A modified algorithm for the numerical solution of singular integral equations with index equal to 1
|
Ioakimidis, N. I.
|
|
1984
|
|
1-4 |
p. 65-75
|
artikel
|
| 20 |
A modified algorithm for the simultaneous extraction of polynomial roots
|
Straeter, T. A.
|
|
1972
|
|
1-4 |
p. 271-277
|
artikel
|
| 21 |
A Monte Carlo study of back-scattered gamma radiation from a broad beam normally incident on an infinitely thick slab
|
Biro, George G.
|
|
1975
|
|
1-4 |
p. 179-188
|
artikel
|
| 22 |
A multilevel flow control statement
|
Franta, W. R.
|
|
1976
|
|
1-4 |
p. 297-307
|
artikel
|
| 23 |
A multiplexing theorem and generalisation of R-transform
|
Wagh, M. D.
|
|
1975
|
|
1-4 |
p. 163-171
|
artikel
|
| 24 |
An algorithm for the on-line computation of fourier spectra
|
Ahmed, N.
|
|
1973
|
|
1-4 |
p. 361-370
|
artikel
|
| 25 |
An algorithm for the solution of systems of logical equations
|
Grigor'yan, Yu.G.
|
|
1975
|
|
1-4 |
p. 51-57
|
artikel
|
| 26 |
An algorithm for tracing live variables based on a straightened program graph
|
Beatty, J. C.
|
|
1975
|
|
1-4 |
p. 97-108
|
artikel
|
| 27 |
Analysis of buffer behavior with asynchronous arrival and output processes
|
Bassiouni, M. A.
|
|
1989
|
|
1-4 |
p. 1-12
|
artikel
|
| 28 |
An equivalence relation on suffix codes defined by generalized regular languages
|
Zhang, Shuhua
|
|
1990
|
|
1-4 |
p. 15-24
|
artikel
|
| 29 |
An incomplete factorization iterative technique for elliptic equations
|
Krishna, Lala B.
|
|
1990
|
|
1-4 |
p. 245-259
|
artikel
|
| 30 |
An initial value method for fredholm integral equations of convolution type
|
Kagiwada, H. H.
|
|
1968
|
|
1-4 |
p. 143-155
|
artikel
|
| 31 |
An introduction to transformational grammars
|
Moyne, J. A.
|
|
1968
|
|
1-4 |
p. 169-181
|
artikel
|
| 32 |
An iterative method for computing generalized inverses
|
Tewarson, R. P.
|
|
1971
|
|
1-4 |
p. 65-74
|
artikel
|
| 33 |
An optimal schedule for printing and binding
|
Chin, Francis
|
|
1984
|
|
1-4 |
p. 117-127
|
artikel
|
| 34 |
A note on a family of acceptors for some families of developmental languages
|
Rozenberg, Gregorz
|
|
1976
|
|
1-4 |
p. 261-266
|
artikel
|
| 35 |
A note on bicoloured digraph grammar systems
|
Wood, Derick
|
|
1973
|
|
1-4 |
p. 301-308
|
artikel
|
| 36 |
A note on the numerical solution of the schrodinger equation
|
Evans, D. J.
|
|
1990
|
|
1-4 |
p. 169-174
|
artikel
|
| 37 |
A phase spectrum for binary fourier Representation
|
Ahmed, N.
|
|
1971
|
|
1-4 |
p. 85-101
|
artikel
|
| 38 |
Approximate inverse preconditionings for sparse linear systems
|
Cosgrove, J. D. F.
|
|
1992
|
|
1-4 |
p. 91-110
|
artikel
|
| 39 |
A practical chebyshev collocation method for differential equations
|
Boateng, G. K.
|
|
1975
|
|
1-4 |
p. 59-79
|
artikel
|
| 40 |
A Programming Style
|
Maly, Kurt
|
|
1975
|
|
1-4 |
p. 309-325
|
artikel
|
| 41 |
A rapid method of approximating the asymptote to an iterative sequence
|
Klein, Bertram
|
|
1975
|
|
1-4 |
p. 91-95
|
artikel
|
| 42 |
A recursive partitioning algorithm for inverting tridiagonal matrices
|
Chawla, M. M.
|
|
1990
|
|
1-4 |
p. 153-158
|
artikel
|
| 43 |
Array automata and operations on array languages
|
Krithivasan, Kamala
|
|
1974
|
|
1-4 |
p. 3-30
|
artikel
|
| 44 |
A search technique for functional approximation
|
Shah, M.J.
|
|
1975
|
|
1-4 |
p. 193-198
|
artikel
|
| 45 |
A semantic extension of BNF
|
Maurer, Ward Douglas
|
|
1972
|
|
1-4 |
p. 157-176
|
artikel
|
| 46 |
A simple system for generating efficient lexical scans
|
Knobe, Bruce
|
|
1972
|
|
1-4 |
p. 141-148
|
artikel
|
| 47 |
A sixth order method for the integration of two point boundary value problems
|
Usmani, Riaz A.
|
|
1973
|
|
1-4 |
p. 349-360
|
artikel
|
| 48 |
A sparse matrix scheme for the computer analysis of structures
|
Jennings, Alan
|
|
1968
|
|
1-4 |
p. 1-21
|
artikel
|
| 49 |
A statistical analysis of the towers of hanoi problem
|
Chan, Tat-Hung
|
|
1989
|
|
1-4 |
p. 57-65
|
artikel
|
| 50 |
A syntax-directed parser for recalcitrant grammars
|
Abrahams, Paul W.
|
|
1972
|
|
1-4 |
p. 105-115
|
artikel
|
| 51 |
A theory of boolean integration
|
Liang, Ping
|
|
1990
|
|
1-4 |
p. 83-91
|
artikel
|
| 52 |
Automatically finding linear functions that make evaluations and recognize patterns
|
Slagie, James R.
|
|
1970
|
|
1-4 |
p. 201-220
|
artikel
|
| 53 |
A vectorizable variant of pgcr methods for unsymmetric linear systems
|
Xing-Ping, Liu
|
|
1992
|
|
1-4 |
p. 291-300
|
artikel
|
| 54 |
B-fuzzy grammars
|
Mizumoto, M.
|
|
1975
|
|
1-4 |
p. 343-368
|
artikel
|
| 55 |
Block jacobi preconditioning of the conjugate gradient method on a vector processor
|
Hegland, Markus
|
|
1992
|
|
1-4 |
p. 71-89
|
artikel
|
| 56 |
Block preconditioned iterative methods
|
Evans, D. J.
|
|
1984
|
|
1-4 |
p. 77-95
|
artikel
|
| 57 |
Book Reviews
|
Wood, Derick
|
|
1972
|
|
1-4 |
p. 189-192
|
artikel
|
| 58 |
Book reviews
|
|
|
1975
|
|
1-4 |
p. 313-314
|
artikel
|
| 59 |
Book reviews
|
Wood, Derick
|
|
1975
|
|
1-4 |
p. 157-160
|
artikel
|
| 60 |
Book Reviews
|
Grishman, Ralph
|
|
1971
|
|
1-4 |
p. 49-50
|
artikel
|
| 61 |
Book Reviews
|
Wood, Derick
|
|
1976
|
|
1-4 |
p. 309-310
|
artikel
|
| 62 |
Book reviews and notices
|
|
|
1975
|
|
1-4 |
p. 88-89
|
artikel
|
| 63 |
Book reviews and notices
|
|
|
1975
|
|
1-4 |
p. 189-191
|
artikel
|
| 64 |
Book reviews and notices
|
|
|
1975
|
|
1-4 |
p. 235-237
|
artikel
|
| 65 |
Book reviews and notices
|
Grimsdale, R. L.
|
|
1968
|
|
1-4 |
p. 183-190
|
artikel
|
| 66 |
Calculating the probability of information loss in centralized supervisory systems
|
Lanin, M.I.
|
|
1975
|
|
1-4 |
p. 73-87
|
artikel
|
| 67 |
Causes of instabilities in numerial integration techniques
|
Distefano, G. Paul
|
|
1968
|
|
1-4 |
p. 123-142
|
artikel
|
| 68 |
Characterizations of regular and context-free matrices
|
Krithivasan, Kamala
|
|
1974
|
|
1-4 |
p. 229-245
|
artikel
|
| 69 |
Competitive strategy models for the construction industry
|
Shaffer, L.R.
|
|
1975
|
|
1-4 |
p. 251-272
|
artikel
|
| 70 |
Completeness of a top-down declarative error diagnoser
|
Yan, Song Yuan
|
|
1989
|
|
1-4 |
p. 103-116
|
artikel
|
| 71 |
Computation of the pade table
|
Longman, I. M.
|
|
1971
|
|
1-4 |
p. 53-64
|
artikel
|
| 72 |
Computer graphic display
|
Muspratt, M. A.
|
|
1970
|
|
1-4 |
p. 259-268
|
artikel
|
| 73 |
Constructing bimodal convex hexagons
|
Olariu, Stephan
|
|
1990
|
|
1-4 |
p. 1-5
|
artikel
|
| 74 |
Constructions for alternating finite automata
|
Fellah, A.
|
|
1990
|
|
1-4 |
p. 117-132
|
artikel
|
| 75 |
Context free languages in biological systems
|
Herman, Gabor T.
|
|
1975
|
|
1-4 |
p. 369-391
|
artikel
|
| 76 |
Convergence analysis of the modified sor (MSOR) method
|
Yeyios, A. K.
|
|
1990
|
|
1-4 |
p. 231-244
|
artikel
|
| 77 |
Convergence of bpsd method for T(q, r) matrix
|
Jia-Gan, Hu
|
|
1992
|
|
1-4 |
p. 41-51
|
artikel
|
| 78 |
Convergence results of an approximation method for constrained saddle point problems
|
Crisci, M. R.
|
|
1984
|
|
1-4 |
p. 53-64
|
artikel
|
| 79 |
Conversion of limited entry decision tables to computer programs
|
Zaki, Ahmed S.
|
|
1984
|
|
1-4 |
p. 3-22
|
artikel
|
| 80 |
Developmental systems with finite axiom sets Part II. systems with interactions
|
Rozenberg, G.
|
|
1974
|
|
1-4 |
p. 281-304
|
artikel
|
| 81 |
Developmental systems with fragmentation
|
Rozenberg, G.
|
|
1976
|
|
1-4 |
p. 177-191
|
artikel
|
| 82 |
Development of non-linear transformations for improving convergence of sequences
|
Levin, David
|
|
1973
|
|
1-4 |
p. 371-388
|
artikel
|
| 83 |
Development systems with finite axiom sets
|
Rozenberg, G.
|
|
1974
|
|
1-4 |
p. 43-68
|
artikel
|
| 84 |
Drop tolerance preconditioning for incompressible viscous flow
|
D'azevedo, E. F.
|
|
1992
|
|
1-4 |
p. 301-312
|
artikel
|
| 85 |
Dynamic programming solutions of mildly non-linear elliptic problems over irregular regions
|
Jain, P. C.
|
|
1976
|
|
1-4 |
p. 231-239
|
artikel
|
| 86 |
Editorial board
|
|
|
1974
|
|
1-4 |
p. 1
|
artikel
|
| 87 |
Editorial board
|
|
|
1984
|
|
1-4 |
p. 1
|
artikel
|
| 88 |
Editorial board
|
|
|
1975
|
|
1-4 |
p. 1
|
artikel
|
| 89 |
Editorial board
|
|
|
1992
|
|
1-4 |
p. 1
|
artikel
|
| 90 |
Editorial board
|
|
|
1989
|
|
1-4 |
p. 1
|
artikel
|
| 91 |
Editorial board
|
|
|
1990
|
|
1-4 |
p. 1
|
artikel
|
| 92 |
Editorial board
|
|
|
1971
|
|
1-4 |
p. 1
|
artikel
|
| 93 |
Editor's note
|
Rustin, Randall
|
|
1971
|
|
1-4 |
p. 1
|
artikel
|
| 94 |
Editor's note
|
|
|
1973
|
|
1-4 |
p. 300
|
artikel
|
| 95 |
Embedding Markov normal algorithms within the λ-calculus
|
Ledgard, Henry F.
|
|
1972
|
|
1-4 |
p. 131-140
|
artikel
|
| 96 |
Error estimation in the integration of ordinary differential equations
|
Usmani, R. A.
|
|
1976
|
|
1-4 |
p. 241-256
|
artikel
|
| 97 |
Explicitly preconditioned conjugate gradient method for the solution of unsymmetric linear systems
|
Kaporin, Igor E.
|
|
1992
|
|
1-4 |
p. 169-187
|
artikel
|
| 98 |
Extension of the Goodman-Lance method of adjoints
|
Roberts, S. M.
|
|
1971
|
|
1-4 |
p. 75-84
|
artikel
|
| 99 |
Finite difference methods and group analysis for a class of quasilinear-hyperbolic equations
|
Fazio, R.
|
|
1989
|
|
1-4 |
p. 151-160
|
artikel
|
| 100 |
Finite element software for mini-computers
|
Eldin, Sharaf A.
|
|
1990
|
|
1-4 |
p. 43-68
|
artikel
|
| 101 |
Formal schemes for language translations
|
Culik, K.
|
|
1971
|
|
1-4 |
p. 17-48
|
artikel
|
| 102 |
Full period quadratic hashing
|
Atkinson, L. V.
|
|
1974
|
|
1-4 |
p. 177-189
|
artikel
|
| 103 |
Gaussian integration of functions with branch point singularities
|
Rabinowitz, Philip
|
|
1970
|
|
1-4 |
p. 297-306
|
artikel
|
| 104 |
Generalized langford languages
|
Marcus, Monica
|
|
1989
|
|
1-4 |
p. 97-101
|
artikel
|
| 105 |
Global minimization of univariate functions by sequential polynomial approximation
|
Hansen, Pierre
|
|
1989
|
|
1-4 |
p. 183-193
|
artikel
|
| 106 |
Homomorphism types and some of their applications in model theory and algebraic linguistics
|
Solomon, Stephan-Ylan
|
|
1970
|
|
1-4 |
p. 319-341
|
artikel
|
| 107 |
IFIP congress 71
|
|
|
1970
|
|
1-4 |
p. 279-282
|
artikel
|
| 108 |
III Conditioned systems of linear algebraic equations
|
Gavurin, N.K.
|
|
1975
|
|
1-4 |
p. 36-50
|
artikel
|
| 109 |
Implementation and numerical results of an approximation method for constrained saddle point problems
|
Crisci, M. R.
|
|
1984
|
|
1-4 |
p. 163-179
|
artikel
|
| 110 |
Incomplete block-factorization preconditioners for solving three-dimensional elliptic difference equations on systolic processors
|
Vassilevski, P. S.
|
|
1992
|
|
1-4 |
p. 341-364
|
artikel
|
| 111 |
Indian parallelism on unary ol systems
|
Nirmal, Nalinakshi
|
|
1989
|
|
1-4 |
p. 13-18
|
artikel
|
| 112 |
Integration of second order linear differential equation with mixed boundary conditions
|
Usmani, Riaz A.
|
|
1973
|
|
1-4 |
p. 389-397
|
artikel
|
| 113 |
Invariant imbedding and fredholm integral equations with displacement kernels on an infinite interval
|
Kagiuwada, H. H.
|
|
1970
|
|
1-4 |
p. 221-229
|
artikel
|
| 114 |
Iterative methods for solving sparse linear systems with a parallel preconditioner
|
Zilli, G.
|
|
1992
|
|
1-4 |
p. 111-119
|
artikel
|
| 115 |
Iterative solutions to non-linear fourth order differential equations through multi-integral methods
|
Sharma, Rakesh K.
|
|
1989
|
|
1-4 |
p. 219-226
|
artikel
|
| 116 |
JL systems with non-fragmented axioms: The hierarchy
|
Ruohonen, Keijo
|
|
1975
|
|
1-4 |
p. 143-156
|
artikel
|
| 117 |
Large-numbered multicolor milu preconditioning on sx-3/14
|
Doi, Shun
|
|
1992
|
|
1-4 |
p. 143-152
|
artikel
|
| 118 |
Lar(m, c, l) grammars
|
Bermudez, Manuel E.
|
|
1989
|
|
1-4 |
p. 27-45
|
artikel
|
| 119 |
Linear precedence functions for weak precedence grammars
|
Aho, A. V.
|
|
1972
|
|
1-4 |
p. 149-155
|
artikel
|
| 120 |
Literal homomorphisms of ol-languagest
|
Culik, K.
|
|
1974
|
|
1-4 |
p. 247-267
|
artikel
|
| 121 |
Machine simulation of intelligence
|
Pitrat, Jacques
|
|
1975
|
|
1-4 |
p. 147-177
|
artikel
|
| 122 |
Macro OL-systemsf macro
|
Culik, K.
|
|
1975
|
|
1-4 |
p. 327-342
|
artikel
|
| 123 |
Maximizing the number of spanning trees of networks based on cycle basis representation
|
Tseng, S. S.
|
|
1989
|
|
1-4 |
p. 47-56
|
artikel
|
| 124 |
Mesh independence of galerkin approach by preconditioning
|
Adam, Dumitru
|
|
1989
|
|
1-4 |
p. 227-236
|
artikel
|
| 125 |
Methode directe de recherche du point de selle d'une fonctlonnelle convexe-concave et application aux problemes variationnels elliptiques avec deux controles antagonistes
|
Sciarrino, Morgan J.
|
|
1974
|
|
1-4 |
p. 143-175
|
artikel
|
| 126 |
Methodes numeriques pour i'ecoulement laminaire d'un fluide rigide viscoplastique incompressible
|
Cea, par J.
|
|
1972
|
|
1-4 |
p. 225-255
|
artikel
|
| 127 |
Modelling dynamic economic problems on the analog computer
|
Engel, Alfred
|
|
1975
|
|
1-4 |
p. 289-311
|
artikel
|
| 128 |
Modified oci scheme for two-point boundary-value problems
|
Nasr, H.
|
|
1990
|
|
1-4 |
p. 195-205
|
artikel
|
| 129 |
Naturality of the conditional and the recursion
|
Nistal, J.L. Freire
|
|
1990
|
|
1-4 |
p. 7-14
|
artikel
|
| 130 |
Necessary and sufficient conditions for a power language to be deterministic
|
Shyamasundar, R. K.
|
|
1975
|
|
1-4 |
p. 133-142
|
artikel
|
| 131 |
Node-label controlled graph grammars with context conditions
|
Von Solms, S. H.
|
|
1984
|
|
1-4 |
p. 39-49
|
artikel
|
| 132 |
Numerical interpolation and differentiation of multivariable functions
|
Ichida, Kozo
|
|
1974
|
|
1-4 |
p. 111-120
|
artikel
|
| 133 |
Numerical solution of two-point boundary value problems
|
Palekar, M. G.
|
|
1974
|
|
1-4 |
p. 191-195
|
artikel
|
| 134 |
On a family of acceptors for some classes of developmental languages
|
Rozenberg, Grzegorz
|
|
1974
|
|
1-4 |
p. 199-228
|
artikel
|
| 135 |
On artificial machine learning: some ideas in search of a theory
|
Davis, Morton
|
|
1976
|
|
1-4 |
p. 315-329
|
artikel
|
| 136 |
On classical and modern marriage problems
|
Hwang, J. S.
|
|
1989
|
|
1-4 |
p. 19-26
|
artikel
|
| 137 |
On efficiently computing the product of two binary relations
|
van Leeuwen, Jan
|
|
1976
|
|
1-4 |
p. 193-201
|
artikel
|
| 138 |
One-sided rational chebyshev approximation
|
Dunham, Charles B.
|
|
1984
|
|
1-4 |
p. 303-307
|
artikel
|
| 139 |
On finding optimal covers
|
Mayoh, B. H.
|
|
1968
|
|
1-4 |
p. 57-73
|
artikel
|
| 140 |
On some families of languages related to developmental systems
|
Cnulik, Karel
|
|
1974
|
|
1-4 |
p. 31-42
|
artikel
|
| 141 |
On the characterization of certain classes of developmental languages by automata
|
Von Solms, S. H.
|
|
1975
|
|
1-4 |
p. 125-132
|
artikel
|
| 142 |
On the convergence of inexact quasi-newton methods
|
Moret, I.
|
|
1989
|
|
1-4 |
p. 117-137
|
artikel
|
| 143 |
On the convergence of some generalized iterative methods with preconditioning
|
Evans, D. J.
|
|
1992
|
|
1-4 |
p. 19-28
|
artikel
|
| 144 |
On the correct elimination of chain productions from lr parsers
|
Schmitz, Lothar
|
|
1984
|
|
1-4 |
p. 99-116
|
artikel
|
| 145 |
On the numerical evaluation of an oscillating infinite series III
|
Tezer, Munevver
|
|
1990
|
|
1-4 |
p. 175-183
|
artikel
|
| 146 |
On the Q.R. algorithm with shift
|
Lebaud, C.
|
|
1970
|
|
1-4 |
p. 343-358
|
artikel
|
| 147 |
On the reduction of a sparse matrix to hessenberg form
|
Tewarson, R. P.
|
|
1970
|
|
1-4 |
p. 283-295
|
artikel
|
| 148 |
On the relations between the degree of synchronization and the degree of nondeterminism in k-limited and uniformly k-limited tol systems
|
Dassow, Jurgen
|
|
1990
|
|
1-4 |
p. 69-82
|
artikel
|
| 149 |
On the robustness of modified incomplete factorization methods
|
Notay, Y.
|
|
1992
|
|
1-4 |
p. 121-141
|
artikel
|
| 150 |
On the Sethi-Ullman algorithm
|
Chen, Stephen
|
|
1975
|
|
1-4 |
p. 37-55
|
artikel
|
| 151 |
On the solution of a quasi-tridiagonal system of linear equations
|
Pickering, W. M.
|
|
1984
|
|
1-4 |
p. 181-191
|
artikel
|
| 152 |
On the structure of systematic prefix codes
|
Lassez, Jean-Louis
|
|
1972
|
|
1-4 |
p. 177-188
|
artikel
|
| 153 |
On the transformation of symmetric sparse matrices to the triple diagonal form
|
Tewarson, R. P.
|
|
1970
|
|
1-4 |
p. 247-258
|
artikel
|
| 154 |
On two-level grammars
|
De Graaf, J.
|
|
1984
|
|
1-4 |
p. 269-288
|
artikel
|
| 155 |
Optimization in stochastic models
|
Gurin, L.S.
|
|
1975
|
|
1-4 |
p. 221-235
|
artikel
|
| 156 |
Parallel breadth-first search algorithms for trees and graphs
|
Ghosh, Ratan K.
|
|
1984
|
|
1-4 |
p. 255-268
|
artikel
|
| 157 |
Parallel distributive partitioned sorting methods
|
Yousif, Nadia Y.
|
|
1984
|
|
1-4 |
p. 231-254
|
artikel
|
| 158 |
Parallel generation of infinite images
|
Nivat, M.
|
|
1990
|
|
1-4 |
p. 25-42
|
artikel
|
| 159 |
Parallelizable restarted iterative methods for nonsymmetric linear systems. II: parallel implementation
|
Joubert, Wayne D.
|
|
1992
|
|
1-4 |
p. 269-290
|
artikel
|
| 160 |
Parallelizable restarted iterative methods for nonsymmetric linear systems. part I: Theory
|
Joubert, Wayne D.
|
|
1992
|
|
1-4 |
p. 243-267
|
artikel
|
| 161 |
Parallel OL-languages
|
Siromoney, Rani
|
|
1975
|
|
1-4 |
p. 109-123
|
artikel
|
| 162 |
Parallel preconditioned conjugate-gradient type algorithms for general sparsity structures
|
Filippone, Salvatore
|
|
1992
|
|
1-4 |
p. 159-167
|
artikel
|
| 163 |
Parallel-vector computation with high-p element-by-element methods
|
Barragy, E.
|
|
1992
|
|
1-4 |
p. 329-339
|
artikel
|
| 164 |
Partition-extrapolation methods for numerical quadratures
|
Squire, William
|
|
1975
|
|
1-4 |
p. 81-91
|
artikel
|
| 165 |
Preconditioned iterative methods for elliptic problems on decomposed domains
|
Phillips, Timothy N.
|
|
1992
|
|
1-4 |
p. 5-18
|
artikel
|
| 166 |
Prefix codes and isomorphic automata
|
Lassez, J. L.
|
|
1973
|
|
1-4 |
p. 309-314
|
artikel
|
| 167 |
Safety of code motion
|
Kennedy, Ken
|
|
1972
|
|
1-4 |
p. 117-130
|
artikel
|
| 168 |
Scaled runge-kutta-nystrom methods for the second order differential equation y = f(x,y)
|
Papageorgiou, G.
|
|
1989
|
|
1-4 |
p. 139-150
|
artikel
|
| 169 |
Sequential least-squares prediction based on spectral analysis
|
Nicholson, H.
|
|
1972
|
|
1-4 |
p. 257-270
|
artikel
|
| 170 |
SETL implementation:data structures, primitives, and storage management
|
Henry, Warren S.
|
|
1974
|
|
1-4 |
p. 77-94
|
artikel
|
| 171 |
Simple and optimal extrapolations for first order iterations
|
Hallett, A.J. Hughes
|
|
1984
|
|
1-4 |
p. 309-318
|
artikel
|
| 172 |
Singular integral equations— the convergence of the gauss-jacobi quadrature method
|
Gerasoulis, Apostolos
|
|
1984
|
|
1-4 |
p. 143-161
|
artikel
|
| 173 |
Singular perturbations for coupled second order boundary value difference systems
|
Jodar, L.
|
|
1990
|
|
1-4 |
p. 185-193
|
artikel
|
| 174 |
Six nonterminals are enough for generating each r.e. language by a matrix grammar
|
Paun, Gheorghe
|
|
1984
|
|
1-4 |
p. 23-37
|
artikel
|
| 175 |
Software paging in an interpretive environment
|
Maly, Kurt
|
|
1974
|
|
1-4 |
p. 69-75
|
artikel
|
| 176 |
Solution of polynomial equations by method of steepest descent
|
Viswanathan, K.
|
|
1970
|
|
1-4 |
p. 193-199
|
artikel
|
| 177 |
Solving systems of nonlinear equations [image omitted] In using a rotating hyperplane in [image omitted]
|
Grapsa, T. N.
|
|
1990
|
|
1-4 |
p. 133-151
|
artikel
|
| 178 |
Some infinite integrals involving products of exponential and bessel functions
|
Tezer, Munevver
|
|
1989
|
|
1-4 |
p. 207-217
|
artikel
|
| 179 |
Some notes on ETOL-languages
|
Von Solms, S. H.
|
|
1976
|
|
1-4 |
p. 285-296
|
artikel
|
| 180 |
Some results concerning automata on two-dimensional tapes
|
Ibarra, Oscar H.
|
|
1974
|
|
1-4 |
p. 269-279
|
artikel
|
| 181 |
Some results in differential approximation
|
Lew, Art
|
|
1970
|
|
1-4 |
p. 231-245
|
artikel
|
| 182 |
S.S.O.R. Preconditioning behaviour withrespect to the relaxation parameter, in the case of by plane discretizationof 3d-problems
|
Giraud, Luc
|
|
1992
|
|
1-4 |
p. 153-158
|
artikel
|
| 183 |
Study of algorithmic properties of chebyshev coefficients
|
Ahmed, N.
|
|
1970
|
|
1-4 |
p. 307-317
|
artikel
|
| 184 |
Synthesis of automatic control systems with random inputs I
|
Sokolov, N.I.
|
|
1975
|
|
1-4 |
p. 58-72
|
artikel
|
| 185 |
Systolic algorithm for the solution of dense linear equations
|
Lin, Chau-Jy
|
|
1990
|
|
1-4 |
p. 159-167
|
artikel
|
| 186 |
Systolic trellis automatata
|
Culik, Karel
|
|
1984
|
|
1-4 |
p. 195-212
|
artikel
|
| 187 |
Table of the waiting time distribution for the constant service queue (M/D/1)
|
Oliver, Robert M.
|
|
1968
|
|
1-4 |
p. 35-56
|
artikel
|
| 188 |
Teaching theory of one class of perceptions
|
Glushkow, V.M.
|
|
1975
|
|
1-4 |
p. 199-221
|
artikel
|
| 189 |
The arithmetic mean preconditioner for multivector computers
|
Galligani, Emanuele
|
|
1992
|
|
1-4 |
p. 207-222
|
artikel
|
| 190 |
The automatic transformational analysis of english sentences: An implementation
|
Hobbs, Jerry R.
|
|
1976
|
|
1-4 |
p. 267-283
|
artikel
|
| 191 |
The decomposition principle for linear programs
|
Harvey, R.P.
|
|
1975
|
|
1-4 |
p. 20-35
|
artikel
|
| 192 |
The effect of global extrapolation on the phase-lag of symmetric methods for solving periodic initial value problems
|
Khaliq, A. Q. M.
|
|
1989
|
|
1-4 |
p. 161-169
|
artikel
|
| 193 |
The equality of EOL languages and codings of ol languages
|
Ehrenfeucht, A.
|
|
1974
|
|
1-4 |
p. 95-104
|
artikel
|
| 194 |
The implicit function theorem for solving systems of nonlinear equations in [image omitted]
|
Grapsa, Theodoula N.
|
|
1989
|
|
1-4 |
p. 171-181
|
artikel
|
| 195 |
The logic theorist in LISP
|
Millstein, R.
|
|
1968
|
|
1-4 |
p. 111-122
|
artikel
|
| 196 |
The methods of adjoints and complementary functions in two-point boundary value problems
|
Roberts, S. M.
|
|
1970
|
|
1-4 |
p. 269-277
|
artikel
|
| 197 |
The modified preconditioned jacobi method for iterative solution of linear systems of equations
|
Evans, D. J.
|
|
1992
|
|
1-4 |
p. 53-69
|
artikel
|
| 198 |
The non-overlapping domain decomposition multiplicative schwarz method
|
Haase, Gundolf
|
|
1992
|
|
1-4 |
p. 223-242
|
artikel
|
| 199 |
The object-oriented paradigm and automata theory
|
Mulder, E.
|
|
1989
|
|
1-4 |
p. 75-96
|
artikel
|
| 200 |
The problem of self-organizing perceptrons
|
Glushkov, V.M.
|
|
1975
|
|
1-4 |
p. 239-250
|
artikel
|
| 201 |
The tanh transformation for singular integrals
|
Evans, G. A.
|
|
1984
|
|
1-4 |
p. 339-358
|
artikel
|
| 202 |
The theoretical aspects of the generalized conjugate gradient method pplied to least squares problems
|
Evans, D. J.
|
|
1990
|
|
1-4 |
p. 207-229
|
artikel
|
| 203 |
The transformation and analysis of networks by means of computer algorithms
|
Pape, Uwe
|
|
1968
|
|
1-4 |
p. 75-110
|
artikel
|
| 204 |
Third and fourth order accuracy schemes for two dimensional hyperbolic equations
|
Zwas, Gideon
|
|
1972
|
|
1-4 |
p. 209-223
|
artikel
|
| 205 |
Third-order linearly implicit l-stable methods for stiff differential equations
|
Scraton, R. E.
|
|
1989
|
|
1-4 |
p. 195-205
|
artikel
|
| 206 |
Three approaches to the quantitative definition of information
|
Kolmogorov, A. N.
|
|
1968
|
|
1-4 |
p. 157-168
|
artikel
|
| 207 |
Time-bounded controlled bidirectional grammars
|
Hogendorp, Jan Anne
|
|
1990
|
|
1-4 |
p. 93-115
|
artikel
|
| 208 |
Two algorithms for determining a minimum independent dominating set
|
Loukakis, E.
|
|
1984
|
|
1-4 |
p. 213-229
|
artikel
|
| 209 |
Two-parameter parallel jacobi-type method and its convergence
|
Jia-Gan, Hu
|
|
1992
|
|
1-4 |
p. 29-40
|
artikel
|
| 210 |
Vectorizable preconditioners for mixed finite element solution of second-order elliptic problems
|
Ewing, Richard E.
|
|
1992
|
|
1-4 |
p. 313-327
|
artikel
|
Tijdschrift beschrijving