Call Number (LC) Title Results
QA267 .P47 2009 Perspectives in concurrency theory : a festschrift for P.S. Thiagarajan / 1
QA267 .P48 2008 The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing Machine /
The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine / 		2
QA267 .P553 1997 Theories of computability / 1
QA267 .P7 2007 Prediction and discovery : AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning : Prediction and Discovery, June 25-29, 2006, Snowbird, Utah / 2
QA267 .P753 Synthesis of digital automata /
Synthesis of digital automata 		2
QA267 .P76 2005 Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / 1
QA267 .P76 2005eb Processes, terms and cycles steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / 1
QA267 .P87 2010 Automata for branching and layered temporal structures and investigation into regularities of infinite transition systemes / 1
QA267 .R4513 1985 Petri nets : an introduction / 1
QA267 .R46 2010 Applications of automata theory and algebra : via the mathematical theory of complexity to biology, physics, psychology, philosophy, and games / 1
QA267 .R4713 1990 The mathematics of Petri-nets / 1
QA267 .R473 2007eb Rewriting, computation and proof essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday / 1
QA267 .R48 1987 Rewriting techniques and applications Bordeaux, France, May 25-27, 1987, proceedings / 2
QA267 .R48 1996 Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / 2
QA267 .R48 1997 Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings / 1
QA267 .R48 1998eb Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings / 1
QA267 .R48 2000 Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings / 2
QA267 .R53 2008 Automata, computability and complexity : theory and applications / 1
QA267 .R54 2014eb Formal languages, automata and numeration systems. 2
QA267 .R67 Picture languages formal models for picture recognition / 1