Results of search for 'su:"Computer programs"' › Dr.B.R. Ambedkar Central Library catalog

Results
		Theory and application of a bottom-up syntax-directed translator / Harvey Abramson. by Abramson, Harvey. Material type: Book Publisher: New York : Academic Press, 1973Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.45 Ab838 Th. Place hold Log in to add tags Add to cart (remove)
		The correctness problem in computer science / edited by R.S. Boyer and J. Strother Moore. Material type: Book Publisher: London ; Academic Press, 1981Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.30287 B6958 Co. Place hold Log in to add tags Add to cart (remove)
		A compiler generator / W. M. McKeeman, J. J. Horning [and] D. B. Wortman. by McKeeman, W. M. Material type: Book Publisher: Englewood Cliffs, N.J. : Prentice-Hall, 1970Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 651.8 M1947 Co. Place hold Log in to add tags Add to cart (remove)
		Formal methods of program verification and specification / H.K. Berg ... [et al.] Material type: Book Publisher: Englewood Cliffs, N.J. : Prentice-Hall, c1982Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.14 B4526 Fo. Place hold Log in to add tags Add to cart (remove)
		Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker. by Bakker, J. W. de. Material type: Book Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, c1980Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.30287 B1795 Ma. Place hold Log in to add tags Add to cart (remove)
		Program test methods : based on the proceedings of the Computer Program Test Methods Symposium held at the University of North Carolina, Chapel Hill, June 21-23, 1972 / edited by William C. Hetwel. Material type: Book Publisher: Englewood Cliffs, N.J. : Prentice-Hall, 1973Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.30287 C7395 Pr. Place hold Log in to add tags Add to cart (remove)
		No cover image available Compiler construction : an advanced course / F.L. Bauer ... [et al.] ; edited by F.L. Bauer and J. Eickel. Material type: Book Publisher: New York : Springer-Verlag, 1976Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.453 B3262 Co,2. Place hold Log in to add tags Add to cart (remove)
		Compiler construction / William M. Waite, Gerhard Goos. by Waite, W. M. Material type: Book Publisher: New York : Springer-Verlag, c1984Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.453 W1349 Co. Place hold Log in to add tags Add to cart (remove)
		The anatomy of a compiler / John A. N. Lee. by Lee, John A. N. Material type: Book Publisher: New York : Van Nostrand Reinhold , 1974Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.453 L5134 An,2. Place hold Log in to add tags Add to cart (remove)
		A laboratory manual for compiler and operating system implementation / Maurice H. Halstead. by Halstead, Maurice H. Material type: Book Publisher: New York : American Elsevier Pub., 1974Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.453 H166 La. Place hold Log in to add tags Add to cart (remove)
		Elements of software science / Maurice H. Halstead. by Halstead, Maurice H. Material type: Book Publisher: New York : North-Holland, c1977Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.3 H166 El. Place hold Log in to add tags Add to cart (remove)
		Program behavior : models and measurements / Jeffrey R. Spirn. by Spirn, Jeffrey R. Material type: Book Publisher: New York : Elsevier, c1977Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.3 Sp329 Pr. Place hold Log in to add tags Add to cart (remove)
		Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981 / edited by B. Chandrasekaran, S. Radicchi. Material type: Book Publisher: Amsterdam ; North-Holland Pub., 1981Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.30287 Su643 Co. Place hold Log in to add tags Add to cart (remove)
		A programming methodology in compiler construction / J. Lewi ... [et al.]. Material type: Book Publisher: Amsterdam ; North-Holland Pub., 1979-1982Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (2). Location(s): Science 005.453 L583 Pr. Place hold Log in to add tags Add to cart (remove)
		Practical experience of machine translation : proceedings of a conference London, 5-6 November 1981 / organised by Aslib and the Translators, Guild of the Institute of Linguists with the co-sponsorship of the Commission of the European Communities ; edited by Veronica Lawson. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1982Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.45 C76049 Pr. Place hold Log in to add tags Add to cart (remove)
		The foundations of program verification / Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer. by Loeckx, Jacques. Material type: Book Publisher: Stuttgart : B. G. Teubner, 1987Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.14 L822 Fo,2. Place hold Log in to add tags Add to cart (remove)
		Methods and tools for compiler construction : an advanced course / edited by B. Lorho. Material type: Book Publisher: Cambridge, Cambridgeshire ; Cambridge University Press, 1984Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.453 L889 Me. Place hold Log in to add tags Add to cart (remove)
		30 computer programs for the homeowner, in BASIC / by David Chance. by Chance, David. Material type: Book Publisher: Blue Ridge Summit, Pa. : Tab Books, c1982Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.362 C3607 Th. Place hold Log in to add tags Add to cart (remove)
		A computer system for checking proofs / by Scott D. Johnson. by Johnson, Scott D. Material type: Book Publisher: Ann Arbor, Mich. : UMI Research Press, c1982Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.14 J6372 Co. Place hold Log in to add tags Add to cart (remove)
		No cover image available Automated code generators for compilers / E. Chu ... [et al.] Material type: Book Publisher: El Segundo, California : Computer Sciences, 1978Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 005.453 C4704 Au. Place hold Log in to add tags Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 105 results.