Published 1976
by Institute of Electrical and Electronics Engineers in New York .
Written in English
Edition Notes
| Statement | sponsored by the IEEE Computer Society"s Technical Committee on Mathematical Foundations of Computing (et al.). |
| Contributions | Institute of Electrical and Electronics Engineers. Computer Society. Technical Committee on mathematical Foundations of Computing. |
| ID Numbers | |
|---|---|
| Open Library | OL14419912M |
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.
