Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN:3540574999
Genomes and databases on the Internet a practical guide to functions and applications
Paul Rangel and jeremy giovannetti2002 年出版223 页ISBN:189848631X
古平正义,平林奈绪美,水野学,山田英二编著;连雪雅译;郭玫祯主编2008 年出版335 页ISBN:9789866716829