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
methods in enzymology The unfolded protein response and cellular stress. Part C (volume 491)
edited by by P. Michael Conn2011 年出版413 页ISBN：012385928X
涂英主编2010 年出版249 页ISBN：9787302216360
本书作者根据程序设计课程的基本要求及多年的教学经验，在体系结构的设计上循序渐进，介绍了Visual Basic 6.0中文版的开发环境、对象和事件驱动的概念、运算符和表达式、数据输入输出、程序的基本结构等，并根据...
A SURVEY OF BASIC MATHEMATICS FOURTH EDITION
FRED W.SPARKS，CHARLES SPARKS REES2222 年出版543 页ISBN：0070599025
邱李华等编著2007 年出版309 页ISBN：7111214749
本书在第一版基础上更新、修订了很多内容，循序渐进、深入浅出，注重程序设计基本概念和基本方法的介绍，同时包含了大量常见的算法的分析。...
