Programming with Specifications -- an introduction to Anna, a language for specifying ADA programs.
Springer-Verlag, text and monographs in computer science series; 1990, 416 pages, includes bibliography.
Technical Journals, Proceedings, Conferences
Photometric determination of silicon in ferrous ferromagnetic nickel and copper alloys; Bell Telephone System technical publications, Monograph 2129.
AT&T Bell Telephone System technical publications, Monograph 2129, issued October 1953, orig published Annals of Chemistry, Jan. 1953; 4 pages, double-column text.
HyperTalk Beginner's Guide - an Introduction to Scripting 1989.
Apple Computer Inc. Cupertino CA 1989; 150 pages plus foldout Reference Cards at rear (intact), unused.
The Manchester University High-Speed Digital Computer, in, The Journal of the British Institution of Radio Engineers Vol 14 no 6 June 1954.
British Institution of Radio Engineers, London, June 1954, Volume 14 Number 6; pp 237-284,Whole issue.
Thermostat Design for Frequency Standards, Bell Telephone Laboratories Monograph B-338 August 1928, monograph reprint series.
Bell System Technical Journal, Bell Telephone Laboratories NY, monograph B-338, orig published IRE 1928; 5 pages plus blanks at rear, diagrams.
Electrical Wave Filters Employing Quartz Crystals as Elements, Bell Telephone System monograph B-797 Crystallography.
Bell Telephone Laboratories NY no date, published in BSTJ July 1934; 48 pages, diagrams.
Hall Effect and 'Gyrators' employing Magnetic Field independent Orientations in Germanium, Bell Telephone System technical publications, Monograph 2079, October 1953.
AT&T Bell Telephone System technical publications, Monograph 2079, October 1953; orig. published Journal of Applied Physics, Feb. 1953; 10 pages, double-column text, diagrams.
Communications of the ACM, tribute issue to John W Mauchly 1907-1980.
Assoc Computing Machinery, NY, March 1980, volume 23 number 3; pp141-196 + 34 pgs adverts.
PAPAC-00, A Do-It-Yourself Paper Computer, in, Communications of the ACM, September 1959.
Association for Computing Machinery, volume 2, number 9, September 1959, article on pp. 55-59 inclusive; 60 pages plus advertisements, double-column text, illustrations.
Parallel Distributed Processing, volume 2 - Psychological and Biological Models, Explorations in the Microstructure of Cognition.
MIT Press MA, 1986, seventh printing 1988; 611 pages, index, diagrams, references.
Magnetostriction in Permalloy; Bell Telephone Laboratories reprint B-201, August 1926.
Bell Telephone Laboratories 1926, 12 pages, diagrams.
Introduction to The Theory of Games.
McGraw Hill Book Co, NY 1952; 371 pages, Index, Bibliography.
Statistical Encoding for Text and Picture Communication, Bell Telephone System Technical Publications Monograph 3035.
Bell Tel. Labs, NY issued July 1958 printed inside rear cover, published in AIEE Transactions March 1958, 4 pages, triple-column text, references, tables and diagrams.
Reality by Microdata, Screenpro Programming Manual, september 1979.
Microdata Corporation, Irvine, CA 1979, 189 pages.
2 newsletters, January-February 1985, and June-July 1985 (Philadelphia Branch) one announcing Microdata/McDonnell Douglas.
Microdata; and, McDonnell Douglas Computer Systems Company, 1985, 9 pages and 5 pages, stapled, double-column text, reproduced typescript.
Proceedings of the Western Joint Computer Conference 1961, Los Angeles, California.
IRE, AIEE, ACM 1961, 661 pages, double-column text, some illustrations and photographs.
Bipolar LSI Data Book, Monolithic Memories 1980, second edition.
Monolithic Memories, 1980, approx. 200 pages, each Section paginated separately, diagrams, tables, text.
Mathematical Tables and Other Aids to Computation, four individual issues, entire year 1951 complete.
The National Research Council, Wash., D.C. 1951, 271 pages inclusive, references, some illustrations.
Transmission Features of Transcontinental Telephony.
Bell Telephone Laboratories, April 1927, Reprint B-244, AIEE 1926; 24 pages, some illustrations.
Modern Computing Methods 1961.
Notes on Applied Science No. 16, NPL, London 1957, 1961 second edition, fourth impression 1965; 170 pages, index, extensive Biblliography.
Report on the Algorithmic Language ALGOL 60, May 1960; PLUS Revised Report January 1960, in 2 issues of Communications of the ACM.
ACM, volume 3 number 5 (May, 1960) AND volume 6, number 1, January 1963; 2 separate issues of this journal.
![Regeneration Theory (H Nyquist] ,in, The Bell System Technical Journal volume XI no. 1 January...](/pictures/thumb/C3163.jpg?v=1604378068)
Regeneration Theory (H Nyquist] ,in, The Bell System Technical Journal volume XI no. 1 January 1932.
American Telephone & Telegraph, NY 1932; complete separate January issue; 196 pages.
The Bell System Technical Journal volume IX no. 1 January 1940, includes H Nyquist and K W Pfleger, Effect of the Quadrature Component in Single Sideband Transmission.
BSTJ, American Telephone and Telegraph Co, NY 1940; vol IX no. 1, January 1940; whole issue, blue paper wraps, pp 1 - 160 inclusive; photographs, illustrations, references.
A Preliminary Sketch of Formula Algol (2 copies -- one, April 9, 1965; second, Revised July 21, 1965).
Carnegie Institute of Technology, Advanced Research Projects Agency of the Department of Defense (DARPA), Contract SD-146; each version, 52 pages, diagrams, References.
TOOLS FOR MACHINE LITERATURE SEARCHING - semantic code dictionary; equipment; procedures.
Interscience Publishers, NY 1958, first edition; 972 pages, photographs, Index, tables etc.