Lecture Notes in Artificial Intelligence 2143 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20012001 年出版818 页ISBN：3540424644
Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20072007 年出版245 页ISBN：9783540730989
Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20052005 年出版343 页ISBN：3540289313
Lecture Notes in Artificial Intelligence 3571 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20052005 年出版1028 页ISBN：3540273263
Lecture Notes in Computer Science 3062 Applications of Graph Transformations With Industrial Relevan
AGTIVE 20032004 年出版500 页ISBN：3540221204
Lecture Notes in Computer Science 4054 Formal Methods and Stochastic Models for Performance Evaluati
EPEW 20062006 年出版238 页ISBN：3540353623
SUPERCONVERGENCE ANALYSIS AND A POSTERIORI ERROR ESTIMATION IN FINITE ELEMENT METHODS
NINGNING YAN2008 年出版229 页ISBN：9787030212993
本书总结了作者及合作者近十几年来在有限元高精度算法（主要是超收敛分析）及有限元后验误差分析方面的主要成果，其中包括许多已发表或尚未发表的成果。...
Lecture Notes In Control and Information Sciences 366 Lagrangian and Hamiltonian Methods For Nonline
Francesco Bullo2007 年出版398 页ISBN：
METHODS IN ENZYMOLOGY VOLUME 203 MOLECULAR DESIGN AND MODELING：CONCEPTS AND APPLICATIONS PART B
UNCLEIC ACIDS2222 年出版0 页ISBN：
WESTERN ARTISTS AND INDIA CREATIVE INSPIRATIONS IN ART AND DESIGN WITH 381 ILLUSTRATIONS
294 IN COLOUR2013 年出版275 页ISBN：0500516881
