17th Annual Symposium on Foundations of Computer Science, October 25-27, 1976, Houston, Texas
Read Online
Share

17th Annual Symposium on Foundations of Computer Science, October 25-27, 1976, Houston, Texas by Symposium on Foundations of Computer Science (17th 1976 Houston)

  • 76 Want to read
  • ·
  • 59 Currently reading

Published by Institute of Electrical and Electronics Engineers in New York .
Written in English


Book details:

Edition Notes

Statementsponsored by the IEEE Computer Society"s Technical Committee on Mathematical Foundations of Computing (et al.).
ContributionsInstitute of Electrical and Electronics Engineers. Computer Society. Technical Committee on mathematical Foundations of Computing.
ID Numbers
Open LibraryOL14419912M

Download 17th Annual Symposium on Foundations of Computer Science, October 25-27, 1976, Houston, Texas

PDF EPUB FB2 MOBI RTF

Proceedings of the IEEE Conference on Decision & Control, including the 14th Symposium on Adaptive Processes, December , , Hyatt Regency Houston, Houston, Texas Published: () Colloquium on "Low Bit Rate Image Coding" on Tuesday, 6 June / Published: (). Add to Book Bag Remove from Book Bag. Saved in: October , Published: () IEEE conference record of Eighth Annual Symposium on Switching and Automata Theory papers presented at the Eighth Annual Symposium, University of Texas, October . In: 17th Annual Symposium on Foundations of Computer Science, Houston, Texas, USA, October , pp. 81– IEEE Computer Society Press, Los Alamitos ( Cited by: 16th Annual Symposium on Foundations of Computer Science, October , Published: () Colloquium on "Control Systems Software Reliability for Industrial Applications" on Friday, 6 October / Published: ().

%%% -*-BibTeX-*- %%% ===== %%% BibTeX-file{ %%% author = "Nelson H. F. Beebe", %%% version = "", %%% date = "14 October ", %%% time = " MDT.   Pratt, V.R.: Semantical considerations on floyd-hoare logic. In: 17th Annual Symposium on Foundations of Computer Science, 25–27 October , Houston, Texas, USA, pp. – () Google ScholarCited by: 4. // "Geometric intersection problems" (FOCS ) // In 17th Annual Symposium on Foundations of Computer Science // pages , Houston, Texas, October IEEE. The temporal logic of programs. In Proc. of the 18th Annual Symposium on Foundations of Computer Science. IEEE, Google Scholar Digital Library; V. R. Pratt. Semantical considerations on Floyd-Hoare logic. In 17th Annual Symposium on Foundations of Computer Science, Houston, Texas, USA, October IEEE Computer Society Author: MitschStefan, PlatzerAndré, RetschitzeggerWerner, SchwingerWieland.

UKSim Cambridge, UK March , Institute of Electrical and Electronics Engineers (IEEE). APPEEC Asia-Pacific Power and Energy Engineering Conference. Wuhan, China. March , Institute of Electrical and Electronics Engineers (IEEE). CSIE WRI World Congress on Computer Science and Information Engineer. Los. October 1, , Capetown, South Africa (, 60) University of Capetown, Microsoft symposium Leonardo's Laptop: Human Needs and the New Computing Technologies. October , , Stellenbosch (Capetown), South Africa (, 75) South African Institute of Computer Scientists and Information Technologists VAN EMOE BOAS, P. Preserving order m a forest in less than logarithmic time Conf Rec 16th Annual Symp on the Foundations of Comptr Sol, Oct , pp 20 Robert A. Wagner, On the complexity of the Extended String-to-String Correction Problem, Proceedings of seventh annual ACM symposium on Theory of computing, p, May , Cited by: Association for Computing Machinery (ACM). Proceedings of the 39th ACM Technical Symposium on Computer Science Education, SIG Portland, Oregon: March , Association for Computing Machinery (ACM). CF Proceedings of the Computing Frontiers Conference and co-located workshops. MAW ’08 & WREFT ’ Ischia. Italy. May.