Call Number (LC) Title Results
QA267 .B79 1990 The collected works of J. Richard Büchi / 1
QA267 .C33 1994 Information and randomness : an algorithmic perspective / 1
QA267 .C33 2002 Information and randomness : an algorithmic perspective / 1
QA267 .C34 1988 Theories of computational complexity / 1
QA267 .C34 1988eb Theories of computational complexity 1
QA267 .C35 Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 /
Category theory applied to computation and control proceedings of the first international symposium, San Francisco, February 25-26, 1974 / 		2
QA267 .C37 2019 Carl Adam Petri : ideas, personality, impact / 1
QA267 .C48 1987 Algorithmic information theory /
Algorithmic Information Theory / 		3
QA267 .C485 2001 Exploring randomness / 2
QA267 .C49 1987 Information randomness & incompleteness : papers on algorithmic information theory / 1
QA267 .C5 1992 Information-theoretic incompleteness / 1
QA267 .C52 2000 Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers / 1
QA267 .C523 2002 Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers / 1
QA267 .C524 2003 Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings / 1
QA267 .C5242 2004eb Implementation and application of automata 9th international conference, CIAA 2004, Kingston, Canada, July 22-24, 2004 : revised selected papers / 1
QA267 .C5243 2005 Implementation and application of automata 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005 : revised selected papers / 1
QA267 .C5245 2006 Implementation and application of automata 11th international conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006 : proceedings / 1
QA267 .C5245 2006eb Implementation and application of automata 11th international conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006 : proceedings / 1
QA267 .C5246 2007eb Implementation and application of automata 12th international conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007 : revised selected papers / 1
QA267 .C5247 2008eb Implementation and application of automata 13th international conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008 : proceedings / 1