What Computing Is All About
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer New York

9781461276395, 9781461227106
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficiency of Programs

1993 ◽  
pp. 173-182
Author(s):  
Jan L. A. Snepscheut

The Halting Problem and Formal Proofs

1993 ◽  
pp. 121-138
Author(s):  
Jan L. A. Snepscheut
Keyword(s):  
Formal Proofs ◽  
Halting Problem

Regular Expressions

1993 ◽  
pp. 53-73
Author(s):  
Jan L. A. Snepscheut
Keyword(s):  
Regular Expressions

A Program Notation

1993 ◽  
pp. 23-51
Author(s):  
Jan L. A. Snepscheut

Recursive Descent Parsing

1993 ◽  
pp. 101-120
Author(s):  
Jan L. A. Snepscheut

Implementation Issues: Compilation

1993 ◽  
pp. 315-356
Author(s):  
Jan L. A. Snepscheut

Program Inversion

1993 ◽  
pp. 219-251
Author(s):  
Jan L. A. Snepscheut
Keyword(s):  
Program Inversion

Some Programming Heuristics

1993 ◽  
pp. 139-172
Author(s):  
Jan L. A. Snepscheut

Integrated Circuits

1993 ◽  
pp. 75-99
Author(s):  
Jan L. A. Snepscheut
Keyword(s):  
Integrated Circuits

Grammars

1993 ◽  
pp. 11-21
Author(s):  
Jan L. A. Snepscheut
Load More ...
Sign in / Sign up

Export Citation Format

Share Document