Suchergebnisse - Gries, David
David Gries

- Treffer 1 – 20 von 78
- Zur nächsten Seite
-
1Multimedia introduction to programming using Java: ProgramLive CD-ROM includedVeröffentlicht 2005Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2General correctness: a unification of partial and total correctnessVeröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Educating the programmer: notation, proofs and the development of programsVeröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4Computing a Fibonacci number in log timeVeröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Cand and cor before and, then or else in ADAVeröffentlicht 1979Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Is sometimes ever better than always?Veröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7Working material: Munich , Germany, July 26 to August 6, 1978[7] - The Schorr-Waite graph marking algorithmvon Gries, DavidVeröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
8A linear sieve algorithm for finding prime numbersVeröffentlicht 1977Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9An introduction to programming: a structured approach using PL/1 and PL/C-7Veröffentlicht 1975Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10An introduction to programming: a structured approach using PL/I and PL/CVeröffentlicht 1973Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11Program schemes with pushdown storesVeröffentlicht 1972Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12Programming by inductionVeröffentlicht 1971Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13The object program produced by the ALCOR-ILLINOIS 7090 compilerVeröffentlicht 1964Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14A logical approach to discrete mathVeröffentlicht 2010Signatur: Wird geladen …
Standort: Wird geladen …Buch -
15A logical approach to discrete mathVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16Developing two of Arsac's funny algorithmsVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
17The science of programmingVeröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
18Fast reliable broadcastsVeröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19Swapping sectionsVeröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20Working material: Munich , Germany, July 26 to August 6, 1978[8] - Language support for program constructionvon Gries, DavidVeröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen …