Results of search for 'su:"Formal languages"' › Matheson Library catalog

Matheson Library

Empowering Knowledge, Inspiring Discovery

Welcome to the Matheson Library

Explore our vast collection of resources.

Learn and Grow

Your journey to knowledge starts here.

Connect with Us

Join the Matlis community for lifelong learning.

Discover New Worlds

Books that inspire and empower.

Digital Resources

Access journals, articles, and more.

Collaborate and Innovate

Spaces designed for teamwork.

Events and Workshops

Learn from experts and peers.

History and Heritage

Preserving stories and memories.

Our Mission

Empowering education for all.

Future Ready

Building knowledge for tomorrow.

Your search returned 7 results.

Not what you expected? Check for suggestions

Results
	1.	No cover image available Elements of the theory of computation Harry R. Lewis, Christos H. Papadimitriou by Lewis, Harry R Papadimitriou, Christos H Series: Prentice-Hall software series Material type: Text; Format: print Publication details: Englewood Cliffs, N.J. Prentice-Hall c1981 Availability: Items available for loan: Matheson Library (1)Call number: 511 L674e. Add to cart (remove)
	2.	No cover image available Computers in language research formal methods editedby Walter A. Sedelow Jr., and Sally Yeates Sedelow by Sedelow, Walter A Sedelow, Sally Yeates, 1931- Series: Trends in linguistics : Studies and monographs ; v. 5 Material type: Text; Format: print Publication details: The Hague Mouton 1979 Availability: Items available for loan: Matheson Library (1)Call number: 410.285 C738. Add to cart (remove)
	3.	No cover image available Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Elaine J. Weyuker. by Davis, Martin Weyuker, Elaine J Series: Computer science and applied mathematics Material type: Text; Format: print Publication details: New York : Academic Press, c1983 Availability: Items available for loan: Matheson Library (2)Call number: 001.6401 D263, ... Add to cart (remove)
	4.	No cover image available Formal description of programming concepts--II proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982 edited by Dines Bjorner by IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirschen, Germany) Bjorner, D. (Dines), 1937- IFIP Technical Committee 2--Programming Material type: Text; Format: print Publication details: Amsterdam North-Holland Pub. Co. 1983 Availability: Items available for loan: Matheson Library (1)Call number: 001.642 I23f 1982. Add to cart (remove)
	5.	No cover image available Formal description of programming concepts proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 ed. by Erich J. Neuhold by IFIP Working Conference on Formal Description of Programming Concepts (St. Andrews, N.B : (1977) Neuhold, Erich J Material type: Text; Format: print Publication details: Amsterdam North-Holland Pub. Co. 1978 Availability: Items available for loan: Matheson Library (1)Call number: 001.642 I23. Add to cart (remove)
	6.	No cover image available Introduction to automata theory, languages, and computation John E. Hopcroft, Jeffrey D. Ullman by Hopcroft, John E, 1939- Ullman, Jeffrey D, 1942- Series: Addison-Wesley series in computer science Material type: Text; Format: print Publication details: Reading, Mass Addison-Wesley c1979 Availability: Items available for loan: Matheson Library (1)Call number: 629.8312 H791i. Add to cart (remove)
	7.	Biblical semantic logic : a preliminary analysis / Arthur Gibson. by Gibson, Arthur Material type: Text; Format: print Publication details: Oxford : Basil Blackwell, c1981 Availability: Items available for loan: Matheson Library (1)Call number: 220.01 G448. Add to cart (remove)