THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 6th INTERNATIONAL CONFERENCE
SAT 20032004 年出版530 页ISBN：3540208518
The Algorithms and Principles of Non-photorealistic Graphics
耿卫东2010 年出版359 页ISBN：9787308066006
本书为计算机科学研究专著，将着重介绍用计算机代替画家手中的画布、颜料和笔，交互式模拟画家的手工绘画效果；计算机自动创作创作二维装饰图案和美术图案的方法等。...
THE ANALYSIS AND COGNITION OF BASIC MELODIC STRUCTURES THE IMPLICATION-REALIZATION MODEL
NARMOUR2222 年出版485 页ISBN：0226568458
Magnetohydrodynamic stability of tokamaks
Hartmut Zohm2015 年出版244 页ISBN：3527412327
APPLICATIONS OF TOXICOGENOMICS IN SAFETY EVALUATION AND RISK ASSESSMENT
DARRELL R.ROVERHOF AND B.BHASKAR GOLLAPUDI2011 年出版377 页ISBN：0470449820
Lecture Notes in Computer Science 2987 Foundations of Software Science and Computation Structures 7t
FOSSACS 20042004 年出版528 页ISBN：3540212981
Lecture Notes in Computer Science 3441 Foundations of Software Science and Computation Structures 8t
FOSSACS 20052005 年出版521 页ISBN：3540253882
Lecture Notes in Computer Science 3921 Foundations of Software Science and Computation Structures 9t
FOSSACS 20062006 年出版447 页ISBN：3540330453
