Call Number (LC) Title Results
QA267 .S56 2015eb Theory of computation : for B.E. (IT, CS), MCA, BSc, BCA, MSc and other computer courses / 1
QA267 .S6913 Abstract automata
Abstract automata / 		2
QA267 .S7 1967a Automaton theory and learning systems / 1
QA267 .S75 2007eb A textbook on automata theory / 1
QA267 .S765 Proceedings /
Structure in complexity theory : proceedings of the conference held at the. 		3
QA267 .S765 1986 Structure in complexity theory proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986 / 2
QA267 .S766 2001 Supervision of Petri nets / 1
QA267 .S83 1995 Efficient checking of polynomials and proofs and the hardness of approximation problems / 1
QA267 .S83 1995eb Efficient checking of polynomials and proofs and the hardness of approximation problems / 1
QA267 .S88 1998 Symbolic rewriting technique / 1
QA267 .S97 1977 Mathematical foundations of computer science, 1977 proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 / 1
QA267 .S98 1983 Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen /
Logic and machines decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen / 		2
QA267 .S987 1994 Turing machines with sublogarithmic space / 2
QA267 .Sch889 2012 Proofs and Computations
Proofs and Computations. 		3
QA267 .T43 2003 Term rewriting systems / 1
QA267 .T46 Theoretical computer science. 1
QA267 .T47 Theoretical computer science : 5th GI-conference, Karlsruhe, March 23-25, 1981 / 1
QA267 .T47 1981 Theoretical computer science 5th GI-conference, Karlsruhe, March 23-25, 1981 / 1
QA267 .T473 1982 Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 / 1
QA267 .T67 1995 Discrete-event system theory : an introduction / 1