<--- Back to Details
First PageDocument Content
Procedural programming languages / Electrologica X1 / ALGOL 60 / ALGOL / Edsger W. Dijkstra / THE multiprogramming system / Pascal / Centrum Wiskunde & Informatica / Compiler / Computing / Software engineering / Programming language theory
Date: 2012-12-19 06:08:10
Procedural programming languages
Electrologica X1
ALGOL 60
ALGOL
Edsger W. Dijkstra
THE multiprogramming system
Pascal
Centrum Wiskunde & Informatica
Compiler
Computing
Software engineering
Programming language theory

Add to Reading List

Source URL: oai.cwi.nl

Download Document from Source Website

File Size: 1,96 MB

Share Document on Facebook

Similar Documents

Theoretical computer science / Software engineering / Computing / Formal methods / Logic in computer science / Constraint programming / Electronic design automation / Satisfiability modulo theories / SMT / Solver / Pascal / Semantics

The SMT-LIB Standard Version 2.6 Clark Barrett Pascal Fontaine Release:

DocID: 1xVWs - View Document

Laboratoire de mathématiques Blaise Pascal, UMR 6620 Publications 2016 CNRS & université Clermont Auvergne

DocID: 1xVMr - View Document

Computing / Routing protocols / Data transmission / Network architecture / Internet architecture / Internet Standards / Internet protocols / Routing algorithms / Constraint / Open Shortest Path First / Link-state routing protocol / Router

1 Computing Minimal Update Sequences for Graceful Router-wide Reconfigurations Francois Clad1 , Stefano Vissicchio2 , Pascal Mérindol1 , Pierre Francois3 and Jean-Jacques Pansiot1 1

DocID: 1xVAh - View Document

Approche géométrique de la théorie de l’indice via les groupoïdes. Claire Debord Université Blaise Pascal Laboratoire de Mathématiques, UMR 6620 CNRS-UBP

DocID: 1xVrq - View Document

N◦ d’ordre : 407 UNIVERSITÉ BLAISE PASCAL, Clermont-Ferrand Laboratoire de Mathématiques, UMR CNRS-UBPMÉMOIRE D’HABILITATION À DIRIGER DES RECHERCHES EN

DocID: 1xVoK - View Document