Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

Dates: 1970 – 1974

You searched for subject:(Software). Showing records 1 – 8 of 8 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Warwick

1. Welch, Peter Hug. The minimal continuous semantics of the lambda-calculus.

Degree: PhD, 1974, University of Warwick

 A semantics of the ƛ-calculus is presented which is different from any of the lattice models, so far analysed, of Scott and the term models… (more)

Subjects/Keywords: 510; QA76 Electronic computers. Computer science. Computer software

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Welch, P. H. (1974). The minimal continuous semantics of the lambda-calculus. (Doctoral Dissertation). University of Warwick. Retrieved from http://wrap.warwick.ac.uk/72113/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.476834

Chicago Manual of Style (16th Edition):

Welch, Peter Hug. “The minimal continuous semantics of the lambda-calculus.” 1974. Doctoral Dissertation, University of Warwick. Accessed July 19, 2019. http://wrap.warwick.ac.uk/72113/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.476834.

MLA Handbook (7th Edition):

Welch, Peter Hug. “The minimal continuous semantics of the lambda-calculus.” 1974. Web. 19 Jul 2019.

Vancouver:

Welch PH. The minimal continuous semantics of the lambda-calculus. [Internet] [Doctoral dissertation]. University of Warwick; 1974. [cited 2019 Jul 19]. Available from: http://wrap.warwick.ac.uk/72113/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.476834.

Council of Science Editors:

Welch PH. The minimal continuous semantics of the lambda-calculus. [Doctoral Dissertation]. University of Warwick; 1974. Available from: http://wrap.warwick.ac.uk/72113/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.476834


University of Warwick

2. Hitchcock, Peter. An approach to formal reasoning about programs.

Degree: 1974, University of Warwick

 This thesis presents a formal apparatus which is adequate both to express the termination and correctness properties of programs and also the necessary induction rules… (more)

Subjects/Keywords: 005.3; QA76 Electronic computers. Computer science. Computer software

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hitchcock, P. (1974). An approach to formal reasoning about programs. (Doctoral Dissertation). University of Warwick. Retrieved from http://wrap.warwick.ac.uk/78807/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.459278

Chicago Manual of Style (16th Edition):

Hitchcock, Peter. “An approach to formal reasoning about programs.” 1974. Doctoral Dissertation, University of Warwick. Accessed July 19, 2019. http://wrap.warwick.ac.uk/78807/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.459278.

MLA Handbook (7th Edition):

Hitchcock, Peter. “An approach to formal reasoning about programs.” 1974. Web. 19 Jul 2019.

Vancouver:

Hitchcock P. An approach to formal reasoning about programs. [Internet] [Doctoral dissertation]. University of Warwick; 1974. [cited 2019 Jul 19]. Available from: http://wrap.warwick.ac.uk/78807/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.459278.

Council of Science Editors:

Hitchcock P. An approach to formal reasoning about programs. [Doctoral Dissertation]. University of Warwick; 1974. Available from: http://wrap.warwick.ac.uk/78807/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.459278


McMaster University

3. Mailvaganam, Gajananda Nandakumar. An Adaptive Control Algorithm for a CNC Milling Machine.

Degree: MEngr, 1974, McMaster University

  The purpose of this project was to develop an Adaptive Control Algorithm for a CNC milling machine. The milling machine is controlled by a… (more)

Subjects/Keywords: adaptive; control; algorithm; CNC; Milling; machine; software; Time Base Generator

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mailvaganam, G. N. (1974). An Adaptive Control Algorithm for a CNC Milling Machine. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/19603

Chicago Manual of Style (16th Edition):

Mailvaganam, Gajananda Nandakumar. “An Adaptive Control Algorithm for a CNC Milling Machine.” 1974. Masters Thesis, McMaster University. Accessed July 19, 2019. http://hdl.handle.net/11375/19603.

MLA Handbook (7th Edition):

Mailvaganam, Gajananda Nandakumar. “An Adaptive Control Algorithm for a CNC Milling Machine.” 1974. Web. 19 Jul 2019.

Vancouver:

Mailvaganam GN. An Adaptive Control Algorithm for a CNC Milling Machine. [Internet] [Masters thesis]. McMaster University; 1974. [cited 2019 Jul 19]. Available from: http://hdl.handle.net/11375/19603.

Council of Science Editors:

Mailvaganam GN. An Adaptive Control Algorithm for a CNC Milling Machine. [Masters Thesis]. McMaster University; 1974. Available from: http://hdl.handle.net/11375/19603


University of Warwick

4. Marchent, Brian Gerald. Interactive computer programs for the computer aided design of linear microwave circuits.

Degree: PhD, 1973, University of Warwick

 The objective of this thesis was to develop the basic techniques and computer programs for the interactive on-line computer aided design of linear microwave circuits.… (more)

Subjects/Keywords: 005.3; QA76 Electronic computers. Computer science. Computer software; TK Electrical engineering. Electronics Nuclear engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Marchent, B. G. (1973). Interactive computer programs for the computer aided design of linear microwave circuits. (Doctoral Dissertation). University of Warwick. Retrieved from http://wrap.warwick.ac.uk/97339/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.464889

Chicago Manual of Style (16th Edition):

Marchent, Brian Gerald. “Interactive computer programs for the computer aided design of linear microwave circuits.” 1973. Doctoral Dissertation, University of Warwick. Accessed July 19, 2019. http://wrap.warwick.ac.uk/97339/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.464889.

MLA Handbook (7th Edition):

Marchent, Brian Gerald. “Interactive computer programs for the computer aided design of linear microwave circuits.” 1973. Web. 19 Jul 2019.

Vancouver:

Marchent BG. Interactive computer programs for the computer aided design of linear microwave circuits. [Internet] [Doctoral dissertation]. University of Warwick; 1973. [cited 2019 Jul 19]. Available from: http://wrap.warwick.ac.uk/97339/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.464889.

Council of Science Editors:

Marchent BG. Interactive computer programs for the computer aided design of linear microwave circuits. [Doctoral Dissertation]. University of Warwick; 1973. Available from: http://wrap.warwick.ac.uk/97339/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.464889


Portland State University

5. Fiala, Douglas Wrenn. Moment-curvature-thrust relationships in hybrid members.

Degree: MS(M.S.) in Applied Science, Applied Science, 1972, Portland State University

  In order to overcome the difficulties encountered in closed form solutions, moment-curvature-thrust relationships are developed for hybrid and nonhybrid cross sections utilizing an open… (more)

Subjects/Keywords: Structural analysis (Engineering)  – Computer programs; Strains and stresses; Computer and Systems Architecture; Software Engineering; Systems Architecture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fiala, D. W. (1972). Moment-curvature-thrust relationships in hybrid members. (Masters Thesis). Portland State University. Retrieved from http://pdxscholar.library.pdx.edu/open_access_etds/740

Chicago Manual of Style (16th Edition):

Fiala, Douglas Wrenn. “Moment-curvature-thrust relationships in hybrid members.” 1972. Masters Thesis, Portland State University. Accessed July 19, 2019. http://pdxscholar.library.pdx.edu/open_access_etds/740.

MLA Handbook (7th Edition):

Fiala, Douglas Wrenn. “Moment-curvature-thrust relationships in hybrid members.” 1972. Web. 19 Jul 2019.

Vancouver:

Fiala DW. Moment-curvature-thrust relationships in hybrid members. [Internet] [Masters thesis]. Portland State University; 1972. [cited 2019 Jul 19]. Available from: http://pdxscholar.library.pdx.edu/open_access_etds/740.

Council of Science Editors:

Fiala DW. Moment-curvature-thrust relationships in hybrid members. [Masters Thesis]. Portland State University; 1972. Available from: http://pdxscholar.library.pdx.edu/open_access_etds/740


University of Florida

6. Plankey, Francis William, 1945-. Hadamard transform and programmed scan multi-element analysis multiplex versus single channel atomic fluorescence spectrometry.

Degree: 1974, University of Florida

Subjects/Keywords: Background noise; Flames; Fluorescence; Hypertension; Monochromators; Shot noise; Signals; Software; Spectrometers; Wavelengths; Chemistry thesis Ph. D; Fluorescence spectroscopy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Plankey, Francis William, 1. (1974). Hadamard transform and programmed scan multi-element analysis multiplex versus single channel atomic fluorescence spectrometry. (Thesis). University of Florida. Retrieved from http://ufdc.ufl.edu/AA00004927

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Plankey, Francis William, 1945-. “Hadamard transform and programmed scan multi-element analysis multiplex versus single channel atomic fluorescence spectrometry.” 1974. Thesis, University of Florida. Accessed July 19, 2019. http://ufdc.ufl.edu/AA00004927.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Plankey, Francis William, 1945-. “Hadamard transform and programmed scan multi-element analysis multiplex versus single channel atomic fluorescence spectrometry.” 1974. Web. 19 Jul 2019.

Vancouver:

Plankey, Francis William 1. Hadamard transform and programmed scan multi-element analysis multiplex versus single channel atomic fluorescence spectrometry. [Internet] [Thesis]. University of Florida; 1974. [cited 2019 Jul 19]. Available from: http://ufdc.ufl.edu/AA00004927.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Plankey, Francis William 1. Hadamard transform and programmed scan multi-element analysis multiplex versus single channel atomic fluorescence spectrometry. [Thesis]. University of Florida; 1974. Available from: http://ufdc.ufl.edu/AA00004927

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Florida

7. Banerjee, Arun Kanti, 1942-. Plastic stress waves in prestressed thin-walled tubes: numberical analysis by rate-dependent theories, by Arun K. Banerjee.

Degree: 1972, University of Florida

Subjects/Keywords: Combined stress; Elastic waves; Kinematics; Plastics; Shear stress; Software applications; Stress relaxation; Stress waves; Unloading; Velocity; Engineering Sciences thesis Ph. D; Plasticity; Stress waves

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Banerjee, Arun Kanti, 1. (1972). Plastic stress waves in prestressed thin-walled tubes: numberical analysis by rate-dependent theories, by Arun K. Banerjee. (Thesis). University of Florida. Retrieved from http://ufdc.ufl.edu/AA00047886

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Banerjee, Arun Kanti, 1942-. “Plastic stress waves in prestressed thin-walled tubes: numberical analysis by rate-dependent theories, by Arun K. Banerjee.” 1972. Thesis, University of Florida. Accessed July 19, 2019. http://ufdc.ufl.edu/AA00047886.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Banerjee, Arun Kanti, 1942-. “Plastic stress waves in prestressed thin-walled tubes: numberical analysis by rate-dependent theories, by Arun K. Banerjee.” 1972. Web. 19 Jul 2019.

Vancouver:

Banerjee, Arun Kanti 1. Plastic stress waves in prestressed thin-walled tubes: numberical analysis by rate-dependent theories, by Arun K. Banerjee. [Internet] [Thesis]. University of Florida; 1972. [cited 2019 Jul 19]. Available from: http://ufdc.ufl.edu/AA00047886.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Banerjee, Arun Kanti 1. Plastic stress waves in prestressed thin-walled tubes: numberical analysis by rate-dependent theories, by Arun K. Banerjee. [Thesis]. University of Florida; 1972. Available from: http://ufdc.ufl.edu/AA00047886

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Florida

8. Cottrell, David Baldwin, 1946-. Data acquisition and reduction of high resolution gamma-ray spectra.

Degree: 1973, University of Florida

Subjects/Keywords: Data smoothing; Gamma ray spectrum; Mathematical independent variables; Noise spectra; Photopeaks; Point estimators; Software; Spectral index; Spectral methods; Spectral resolution; Chemistry thesis Ph. D; Gamma ray spectrometry  – Computer programs; Nuclear activation analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cottrell, David Baldwin, 1. (1973). Data acquisition and reduction of high resolution gamma-ray spectra. (Thesis). University of Florida. Retrieved from http://ufdc.ufl.edu/UF00097572

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Cottrell, David Baldwin, 1946-. “Data acquisition and reduction of high resolution gamma-ray spectra.” 1973. Thesis, University of Florida. Accessed July 19, 2019. http://ufdc.ufl.edu/UF00097572.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Cottrell, David Baldwin, 1946-. “Data acquisition and reduction of high resolution gamma-ray spectra.” 1973. Web. 19 Jul 2019.

Vancouver:

Cottrell, David Baldwin 1. Data acquisition and reduction of high resolution gamma-ray spectra. [Internet] [Thesis]. University of Florida; 1973. [cited 2019 Jul 19]. Available from: http://ufdc.ufl.edu/UF00097572.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Cottrell, David Baldwin 1. Data acquisition and reduction of high resolution gamma-ray spectra. [Thesis]. University of Florida; 1973. Available from: http://ufdc.ufl.edu/UF00097572

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.