§1 1. Printing primes: An example of WEB. The following program is essentially the same as Edsger Dijkstra’s “first example of step-wise program composition,” found on pages 26–39 of his Notes on Structured Prog

Source URL: www.literateprogramming.com

• Programming language theory
• Prime number
• ALGOL 68
• C++ classes
• Number theory
• Formula for primes
• On-Line Encyclopedia of Integer Sequences
• Integer sequences
• Mathematics
• Numbers

Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3

Source URL: research.microsoft.com

• Semantics
• HTML
• Model theory
• Predicate logic
• Subroutines
• Typeof
• Foreach loop
• Tree traversal
• H1
• Computing
• Software engineering
• Logic

Beelden, voorbeelden en nabeelden. Over Anno Dijkstra’s Nabeeld. Rob van Gerwen Wijsbegeerte, Faculteit Geesteswetenschappen Universiteit Utrecht

Source URL: www.phil.uu.nl

Individualizing Noise Reduction in Hearing Aids Tjeerd Dijkstra, Adriana Birlutiu, Perry Groot and Tom Heskes Radboud University Nijmegen

Source URL: www.phon.ucl.ac.uk

• Waves
• Sound
• Noise reduction
• Hearing impairment
• Image noise
• Clipping
• Signal-to-noise ratio
• Hearing aid
• Roadway noise
• Audio engineering
• Noise
• Electronics

Note: the electronic PDF-version of this document contains hyperlinks for easy reference. Proposal for a Formal Methods 2008 Tutorial Formal Methods and Signal Processing Raymond Boute, INTEC—Ghent University, boute@i

Source URL: www.fm2008.abo.fi

• Formal methods
• Theoretical computer science
• Media technology
• Signal processing
• Edsger W. Dijkstra
• SIGNAL
• Systems modeling
• Algorithm
• Electrical engineering
• Computing
• Computer science
• Software engineering

The Utrecht Agda Compiler Submitted to TFP 2015 Philipp Hausmann, Atze Dijkstra, and Wouter Swierstra Universiteit Utrecht, Netherlands http://www.uu.nl

Source URL: www.staff.science.uu.nl

• Functional languages
• Type theory
• Procedural programming languages
• Agda
• Data types
• Functional programming
• Haskell
• Dependent type
• Generalized algebraic data type
• Software engineering
• Computing
• Computer programming

Microsoft PowerPoint - ICSE2008_SE40_BroyV0.2.ppt

Source URL: icse08.upb.de

• Science
• Manfred Broy
• Friedrich L. Bauer
• Engineering
• Reliability engineering
• Software engineer
• Edsger W. Dijkstra
• Systems engineering
• Application software
• Software engineering
• Computing
• Software engineers

Working in the Netherlands contributing authors  stephanie dijkstra, han van der horst, peter kranenburg, bart van meijl, nannette ripmeester and liane van de vrugt the dutch employment market The Netherlands is known

Source URL: www.labourmobility.com

• Labour law
• Termination of employment
• Employment compensation
• Social programs
• Labour relations
• Temporary work
• Severance package
• Unemployment
• Dismissal
• Human resource management
• Employment
• Management

RESEARCH ESSAY CONSISTENT PARTIAL LEAST SQUARES PATH MODELING1 Theo K. Dijkstra Faculty of Economics and Business, University of Groningen, Nettelbosje 2, 9747 AE Groningen THE NETHERLANDS {}

Source URL: www.misq.org

• Structural equation modeling
• Multicollinearity
• Least squares
• Generalized least squares
• Variance
• Instrumental variable
• Ordinary least squares
• Reliability engineering
• Internal consistency
• Statistics
• Regression analysis
• Partial least squares regression

REMCO DIJKSTRA (VVD): ‘Groene groei als exportproduct’ Binnenkort komt staatssecretaris Wilma Mansveld met haar beleidsplan ‘Van Afval naar Grondstof’. De titel past precies in het straatje van Remco

Source URL: www.verenigingafvalbedrijven.nl