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 (39)
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 ⋮ 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
This page was built for publication:
