形式语义学基础 [专著]/陈意云编著,合肥,中国科学技术大学出版社,1994.3,7-312-00533-0,5,237页26cm,TP301.2/C49
形式语义学的稳定论域理论/陈仪香著,北京,科学出版社,2003,7-03-011264-4,205页20cm,TP301.2/C497
Combinatorics on Words [专著]:Progress and Perspectives/Edited by Larry J.Cummings,Ontario,Academic Press Canada,1983,0-12-198820-1,ix,405p.21cm,TP301.2/C971
Languages, compilers, and tools for embedded systems:ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 2000 : proceedings /Jack Davidson, Sang Lyul Min (eds.),N.Y.,Tata Institute of Fundamental Research,2001.,3-540-41781-8,viii,220p.fig.,tab.,TP301.2/D252
精通正则表达式:第3版/(美)Jeffrey E.F.Friedl著;余晟译,北京,电子工业出版社,2007,978-7-121-04684-1,515页25cm,TP301.2/F831
正则表达式经典实例/(美)Jan Goyvaerts,(美)Steven Levithan著;郭耀译,北京,人民邮电出版社,2010,978-7-115-22832-1,457页24cm,TP301.2/G722
形式语言与自动机导论:英文版/(美)Peter Linz著,北京,机械工业出版社,2004,7-111-15310-3,15,410页24cm,TP301.2/L610
形式语言与自动机导论/(美)Peter Linz著;孙家骕等译,北京,机械工业出版社,2005,7-111-16788-0,289页26cm,TP301.2/L610
Computer Literacy:Survival kit,for the Apple II,lle Family of Computers/Arthur Luehrmann,Herbert Peckham,Maidenhead,McGraw-Hill Book Co.,1984,0-07-049206-9,xiii,417p.ill.23cm,TP301.2/L926