RAMASHRAY ROY AND R·K·SRIVASTAVA1986 年出版245 页ISBN:0803994923
Peter Borwein ; Peter Liljedahl ; Helen Zhai2014 年出版200 页ISBN:0883855744
Lecture Notes in Artificial Intelligence 4002 Finite-State Methods and Natural Language Processing 5
FSMNLP 20052006 年出版312 页ISBN:9783540354673
Lecture Notes in Computer Science 3785 Formal Methods and Software Engineering 7th International Con
ICFEM 20052005 年出版496 页ISBN:3540297979
Lecture Notes in Computer Science 3308 Formal Methods and Software Engineering 6th International Con
ICFEM 20042004 年出版500 页ISBN:3540238417
Lecture Notes in Computer Science 4789 Formal Methods and Software Engineering 9th International Con
ICFEM 20072007 年出版386 页ISBN:9783540766483
Lecture Notes in Computer Science 4260 Formal Methods and Software Engineering 8th International Con
ICFEM 20062006 年出版775 页ISBN:3540474609