scientific article
From MaRDI portal
Publication:3284160
zbMath0101.34503MaRDI QIDQ3284160
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)
Related Items
Asynchronous optimization of part logistics routing problem, Dependently typed array programs don't go wrong, A new topological indicator for chaos in mechanical systems, Unnamed Item, Dilated Floor Functions That Commute, Unnamed Item, On the Expressive Power of Query Languages for Matrices, The number of irreducible polynomials over finite fields with vanishing trace and reciprocal trace, On the approximation of Euclidean SL via geometric method, Folding left and right matters: Direct style, accumulators, and continuations, An extension of FORTRAN containing finite difference operators, Foundations for entailment checking in quantitative separation logic, A modeling framework for adaptive collective defense: crisis response in social-insect colonies, Pointfree expression and calculation: From quantification to temporal logic, Unnamed Item, APLicative Programming with Naperian Functors, Bayesian discrimination: a method for choosing among competing digital simulation models, The Impact of the Lambda Calculus in Logic and Computer Science, Perfect radar pulse compression via unimodular Fourier multipliers, A dynamic programming approach to the multiple-choice multi-period knapsack problem and the recursive APL2 code, An Introduction to Approximate Bayesian Computation, Euclid, Fibonacci, and Pascal—recursed!, Specification and execution of composite trading activities, Indicator Function and Hattendorff Theorem, Procédures optimales pour le classement des $t$ meilleurs articles parmi $n$ au moyen de comparaisons binaires, Population mixture models and clustering algorithms, Minimizing roundoff errors of prefix sums via dynamic construction of Huffman trees, Staircase and fractional part functions, Management of wind power variations in electricity system investment models. A parallel computing strategy, Exploring interactions in high-dimensional tables: a bootstrap alternative to log-linear models, APL, Automatic generation of aggregate operators in ALGOL 68, Optimum binary search trees, Unnamed Item, Introduction to enhanced C (EC), Higher level programming and data abstractions—a case study using enhanced C, Unnamed Item, Orthogonal parallel processing in Vector Pascal, Conversion of programs between computers: Interpreters, simulators and compilers, Hermitian dual-containing narrow-sense constacyclic BCH codes and quantum codes
